Implementation of Adaptable Hardware and Software for Changing Environment

我们研究的目的是如何构建适应环境变化的硬件和软件。在新的信息系统的设计和实现中，我们从硬件和软件的总体角度研究了依赖于环境变化来构建可重构系统的方法。经过3年的时间，我们从以下理论和实践方面进行了研究：(1)从适配软件的角度，提出了行为软件的表示和构造，会话编程中对象的自发性和可扩展性，以及优化C编译器以生成VHDL语言中的最佳位长变量。(2)从硬件可适应性的角度出发，设计并实现了具有动态缩短指令序列能力的JAVA处理器的大规模集成电路，其中大规模集成电路用于猜测眼睛轨迹，大规模集成电路用于确定di…面对更多的人--独立。在硬件综合与验证方面，提出了一种基于BDD(二元决策图)约束算子的符号图像计算算法。从环境适应性学习和知识获取的角度出发，提出了一种基于OBDD(有序BOD)的环境自适应学习方法。然后设计了传统特征模型与OBDD的相互转换算法。(5)关注量子计算。全屯计算机可以利用量子并行来识别环境的动态特征。然后对非确定量子金融自动机(OFA)进行了研究，并与经典的量子金融自动机进行了比较，得到了从硬件和软件两个方面构建具有环境适应性的系统的机制。较少

The aim of our research is how to construct adaptable hardware and software for changing environment. In design and implementat ion of new informat ion systems, we research about methods of const ruct ing re-configurable system depending on changing envi ronment from total view points of hardware and software.Through 3 years, we studied at the fol lowing theoretical and practical aspects.(1) From the view point of adaptable software, we propose about the representat ion and construct ion of act ive software, the spontaneity and extensibility of objects in conversational programming, and optimizing C compiler to generate optimum bit-length variables in VHDL. Then we implement some examples and show the effectiveness of our proposals.(2) From the view point of adaptable hardware, as examples of LSI with re-configurability, we design and construct LSI of Java processor with abiliity to shorten the sequence of instructions dynamically, LSI to guess the eye track and LSI to determine the di … More rect ion of face person-independently. These LSI have hardware oriented algorithms and give response in real time.(3) About hardware synthesis and verification, we propose a new symbolic image computation algorithm based on BDD(Binary Decision Diagram) constrain operator. Then we show good performance and effectiveness of the algorithm to large scale circuits.(4) From the view point of learning and knowledge acquirement for environmental adaptability, we propose a method based on OBDD(ordered BOD). Then we design the algorithms of mutual conversion between conventional character istic model and OBDD.(5) We pay attention to quantum computation. Quantun computers can exploi t quantum paralleiism to recognize the dynamic characteristics of environment. Then we research non-deterministic quantum fin te automata (OFA) and compare OFA with the classical counterparts.As results of the research, we get some mechanism for constructing systems with environmental adaptability in hardware and software totally. Less