黄曲霉毒素速测仪的模块化设计方法

为了快速准确地测定粮食和饲料中黄曲霉毒素的含量,设计了基于C8051F020单片机的黄曲霉毒素速测仪.速测仪采用免疫亲和柱-荧光分光光度法进行检测,克服了传统分析方法在标定标准物和样品预处理过程中的不足,显著降低了对操作人员的毒害和环境的二次污染,提高了分析速度.速测仪硬件电路使用模块化设计方法,以提高仪器运行的稳定性.光电转换元件使用具有极高灵敏度和超快时间响应的端窗式光电倍增管,测量线路使用高精度、低漂移集成电路,保证了仪器的灵敏度和测量精度.速测仪结构紧凑,仪器成本低,重复性好,适合现场速测和普及使用,实际应用效果良好.     

一类相似组合大系统的线性反馈镇定

研究相似组合大系统的二次镇定问题,利用系统的特殊结构导出其二次可稳的条件及（分散）状态反馈控制律律的求解方法,其特点是只需求解两个低阶Ｒｉｃｃａｔｉ方程或不等式,大大简化了控制器的设计。     

Structural Synthesis of Modular Weakly Connected Neural Networks. II. Nuclear Neural Networks

The simplest modular neural network is investigated, in which each module is a single-layer perceptron (a neural kernel). Numerical indices of quality by the criteria of operating speed and plasticity are proposed to characterize structural properties of nuclear neural networks. Based on the indices introduced, optimum procedures of structural synthesis are constructed.     

Structural Synthesis of Modular Weakly Connected Neural Networks. I. Methodology of Structural Synthesis of Modular Neural Networks

Structural models of modular neural networks without loops are considered. The notion of a weakly connected network is introduced. A genetic principle of generation of weakly connected neural networks is proposed, and its reproductive power is proved on the basis of the theory of categories. Algorithmic realizations of structural synthesis are considered. Some examples are given.     

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

An effective means for analyzing and reasoning on software systems is to use formal specifications to simulate their execution. The simulation traces can be used for specification testing and reused for functional testing of the system later in the development process. It is widely acknowledged that, to deal with the complexity of industrial-size systems, specifications must be structured into modules providing abstraction mechanisms and clear interfaces. In our past work, we defined and implemented a method for simulating specifications written in the TRIO temporal logic language, and applied it to functional testing of time-critical industrial systems. In the present paper, we report on a case study with a tool that analyzes TRIO specifications by taking advantage of their modular structure, so as to overcome the well-known state-explosion problem and make the proposed method really scalable. We discuss the fundamental operations and the algorithms on which the tool is based. Then, we illustrate its use in a realistic case study, inspired from an industrial application. Finally, we comment on the overall results in terms of usability of the tool and effectiveness of the approach, and we outline future improvements.     

一类结构不确定的非线性相似组合系统的分散鲁棒镇定

首先描述了两个控制系统的相似性概念,然后讨论了一类结构不确定的非线性相似组合系统的鲁棒镇定问题,设计出一类分散控制器,这种控制器由线性和非线性两部分组成。结果表明,相似结构确定可以简化组合系统鲁棒镇定的判据,最后的算例和仿真表明了本文结论的有效性。     

Combinatorial scheme for management of life cycle: Example for concrete macrotechnology

The paper describes a combinatorial scheme for the analysis and synthesis of product life cycle on the basis of a typical compressed structure: design of materials and manufacturing process. In addition, the following problems are studied: system refinement, series-parallel production process, and multistage design (design of product trajectories). Hierarchical combinatorial morphological approach is proposed. The solving process is based on ordinal expert knowledge. The following phases are examined: design of a basic system morphology, generation of local design alternatives, knowledge acquisition as ordinal estimates for local design alternatives and their compatibility, and synthesis of the best compositions.A realistic numerical example for concrete-macrotechnology (composing of concrete from constituents and selection of manufacturing alternatives) illustrates the approach.     

一类相似广义互联系统的导数-输出反馈鲁棒控制器设计

以广义系统中受限系统等价概念和导数反馈- 输出反馈为基础,定义了一类广义互联系统的相似结构,提出了相似性研究的新方向.这类系 统具有不满足匹配条件的非线性不确定互联项.设计了导数-输出反馈鲁棒分散控制器,使互 联系统在平衡点处渐近稳定.由于控制器本身也具有相似结构,因此易于工程实现.     

基于模块化的大综合PLC实验平台的研究与设计

提出了一种基于模块化设计的柔性大综合PLC实验平台。该实验平台以PLC为核心,融合了单片机技术、无线测控技术、多种上位监控技术、基于以太网和电话网的远程控制技术、变频以及步进电机驱动等技术,可灵活组合不同功能模块完成基础性、综合性、开放性和设计性的几十种实验,为PLC大综合实验平台的设计进行了有益的探索。