纯铜在凝固中微观组织演化的模拟

利用连续准瞬时形核模型和CA模型，结合凝固过程中传热、枝晶尖端生长动力学等因素作用，建立了一个二维元胞自动机模型，并根据这个模型模拟了纯铜铸件在凝固过程中形核、生长的微观过程．将模拟结果与实际组织进行比较表明，该模型可以近似地描述纯铜的凝固组织。     

Intersection of finitely generated congruences over term algebra

We show that it is decidable for any given ground term rewrite systems R and S if there is a ground term rewrite system U such that ↔_U^*=↔_R^*∩↔_S^*. If the answer is yes, then we can effectively construct such a ground term rewrite system U. In other words, for any given finitely generated congruences ρ and τ over the term algebra, it is decidable if ρ∩τ is a finitely generated congruence. If the answer is yes, then we can effectively construct a ground term rewrite system U such that ↔_U^*=ρ∩τ.     

广义人工生命的科学基础(I):工程技术基础

根据广义人工生命研究的特点,作者把系统论、控制论、信息论、人工智能、元胞自动机、L-系统、遗传算法、进化策略、进化规划、耗散结构理论、协同学、突变论、混沌、分形、转基因技术、克隆技术等的研究成果视为人工生命研究的主要科学基础。文章力求对元胞自动机、L-系统、遗传算法、进化策略、进化规划、耗散结构理论、协同学、突变论、混沌、分形和它们与人工生命的关系做系统而扼要的评述,为人工生命研究提供方便。     

基于广义细胞自动机的网络带宽优化

Nowadays,bandwidth allocation schemes in a TCP/IP or ATM network are congestion avoidance oriented.Few scheme has taken global optimization into account,for global optimization problem can not be easily solved by conventional mathematical method due to the complexity and large-scale of massive information system,such as Internet.We present a novel bandwidth allocation scheme based on generalized cellular automaton (GCA).Firstly we introduce how to map network topology into GCA model,then we propose how cells and macro cells interact in our solution.Our simulation results show the scheme leads to global optimization rapidly.     

间歇生产过程的自动机模型

在间歇生产过程中，过程的信息结构由离散状态和连续状态构成．本文以自动机为工具，研究具有混合信息结构的间歇生产过程的描述、控制与优化等问题．     

Vision-based remote control of cellular robots

This paper describes the development and design of a vision-based remote controlled cellular robot. Cellular robots have numerous applications in industrial problems where simple inexpensive robots can be used to perform different tasks that involve covering a large working space. As a methodology, the robots are controlled based on the visual input from one or more cameras that monitor the working area. As a result, a robust control of the robot trajectory is achieved without depending on the camera calibration. The remote user simply specifies a target point in the image to indicate the robot final position.

We describe the complete system at various levels: the visual information processing, the robot characteristics and the closed loop control system design, including the stability analysis when the camera location is unknown. Results are presented and discussed.

In our opinion, such a system may have a wide spectrum of applications in industrial robotics and may also serve as an educational testbed for advanced students in the fields of vision, robotics and control.     

Reduction of Timed Hybrid Systems

We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.     

基于XML的VHDL文档生成器的设计与实现

目前在硬件设计领域，硬件描述语言设计信息的交流还没有一个很好的途径。针对这一问题，提出了生成基于XML的VHDL语言源程序文档的设想，并给出了实现实例。     

Language recognition by two-way deterministic pushdown automata

It is proved that any bounded context-free language can be recognized by a two-way deterministic automaton with a finite-rotary counter.Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 177–181, November–December 2004.This revised version was published online in April 2005 with a corrected cover date.