Implementation of Adaptable Hardware and Software for Changing Environment

实施适应不断变化的环境的硬件和软件

• 批准号: 11480068
• 负责人: WATANABE Katsumasa
• 金额: $ 2.43万
• 依托单位: NARA INSTITUTE OF SCIENCE AND TECHNOLOGY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11480068/
• 关键词: Environmental Adaptability; Re-configurability; Dynamical Re-construction; High Level Synthesis; Timing Verification; OBDD; Quantum Computing; 量子アルゴリズム; 環境適用; 能動形プログラム; 知識ベース; 論理合成; ハードウェアのタイミング検証; 量子計算

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

我们研究的目的是如何构建适应环境变化的硬件和软件。在新型信息系统的设计与实现中，从硬件和软件的总体角度研究了根据环境变化构建可重构系统的方法。通过3年的时间，我们从以下几个方面进行了理论和实践方面的研究。(1)从自适应软件的角度，提出了活动软件的表示和构造、会话编程中对象的自发性和可扩展性，以及优化C编译器在VHDL中生成最优位长变量。通过实例验证了所提方案的有效性。(2)从硬件适应性的角度出发，以具有可重构性的大规模集成电路为例，设计并构建了基于Java处理器的具有动态缩短指令序列、猜测眼球轨迹和独立判断人脸直视能力的大规模集成电路。这些大规模集成电路具有面向硬件的算法和实时响应。(3)在硬件综合与验证方面，提出了一种新的基于二进制决策图约束算子的符号图像计算算法。结果表明，该算法在大规模电路中具有良好的性能和有效性。(4)从环境适应性学习和知识获取的角度出发，提出了一种基于OBDD（ordered BOD）的方法。然后设计了传统特征模型与OBDD之间的相互转换算法。(5)关注量子计算。量子屯计算机可以利用量子并行性来识别环境的动态特性。然后研究了非确定性量子自动机（OFA），并将其与经典量子自动机进行了比较。研究结果从硬件和软件两方面给出了构建环境自适应系统的机制。少

项目成果

K.Nakamura, M.Nakanishi, T.Horiyama, S.Suzuki, S.Kimura, K.Watanabe: "A Real-Time User-Independent Eye Tracking LSI with Environment Adaptability"Proc. Of the 10-th Workshop on Synthesis And System Integration of Mixed Technologies (SASIMI 2001). 357-361

K.Nakamura、M.Nakanishi、T.Horiyama、S.Suzuki、S.Kimura、K.Watanabe：“具有环境适应性的实时用户独立眼动追踪 LSI”Proc。

S. Kimura, D. Dill and S.G. GOvindaraju: "A New Symbolic Image Computation Algorithm Based on BDD Constrain Operator"Proc. of the 10th Workshop on Synthesis And System Integration of Mixed Technologies (SASIMI 2001). 167-171 (2001)

S. Kimura、D. Dill 和 S.G. GOvindaraju：“一种基于 BDD 约束算子的新符号图像计算算法”Proc。

T. Horiyama and T. Ibaraki: "Ordered Binary Decision Diagrams as Knowledge-Bases"Artificial Intelligence. Vol.136/2. 189-213 (2002)

T. Horiyama 和 T. Ibaraki：“作为知识库的有序二元决策图”人工智能。

M. Nakanishi, T. Indoh, K. Hamaguchi and T. Kashiwabara: "On the Power of Non-deterministic Quantum Finite Automata"IEICE Transactions on Information and Systems. E85-D. 327-332 (2002)

M. Nakanishi、T. Indoh、K. Hamaguchi 和 T. Kashiwabara：“论非确定性量子有限自动机的力量”IEICE Transactions on Information and Systems。

T.Horiyama, T.Ibaraki: "Ordered Binary Decision Diagrams as Knowledge-Bases"Artificial Intelligence. 136/2. 189-213 (2002)

T.Horiyama、T.Ibaraki：“作为知识库的有序二元决策图”人工智能。