系统运动空间与系统映射论的初步探讨

在研究系统运动的动力和表象问题时,提出了系统运动空间和系统映射论的思想。由于它们在前期研究中解释了一些系统哲学问题,因此论文详细给出了它们及关联概念的定义。利用这些概念研究了自然系统和人工系统的特征,及它们之间的关系。研究表明:自然系统是因素全集到数据全集的映射;而人工系统是可测相关数据到可调节因素的映射。研究解释了人工系统得到的实验数据永远与自然系统产生的数据存在误差;人工系统的功能只是自然系统功能的一部分;人工系统只能无限趋近于自然系统而无法达到的原因。系统运动空间和系统映射论可以解决一些系统层面的问题,并拟在系统可靠性研究领域进行实现,但进一步问题有待研究。     

基于.NET平台PostScript文件解析标引系统设计与实现

从PostScript文件中提取文字及图片信息,是电子出版领域一个新的研究方向.介绍了在.NET平台下设计的PostScript文件解析、标引系统,首先根据系统的实际需求及当前该领域已有的系统研究设计了标引解析系统的架构及功能;接着采用了面向对象、计算机图形学及计算机辅助设计等多种技术实现了关键的数据结构及方法;最后采用.NET设计了PostScript文件解析标引系统框架.实践表明,系统具有更好的义件解析质量及更丰富的功能,有效解决了目前市场上同类系统软件的功能匮乏、操作不便等问题.     

一种脑电波传感器的研究与应用

目前,许多研究机构及个人热衷于研究基于脑电波传感器控制电子类产品的技术,本文主要介绍了Mindband脑电波传感器的研究及应用,给出系统总体框架,并分别介绍硬件及软件部分中的关键技术。最后通过实验环节验证了系统的可行性。     

信息安全与对抗系统研究

本文从信息安全与对抗的整体、宏观、系统层次上出发,论述了信息安全与对抗系统研究、系统建模及建立信息安全与对抗工程系统理论的必要性,讨论了信息安全与对抗系统研究的内容和关键技术,同时给出预期研究目标和部分研究成果。     

复杂系统仿真可信性评估方法研究综述

复杂系统仿真可信性评估方法是复杂系统仿真可信性评估研究的重要内容.论述了复杂系统仿真可信性评估方法研究的意义及国内外研究现状,分析了复杂系统仿真可信性评估方法的研究重点,探讨了定性仿真在复杂系统仿真可信性评估中的应用.指出复杂系统仿真可信性评估方法研究必须从复杂系统仿真可信性评估需求出发,将可信性评估影响因素分析作为突破口,为复杂系统仿真可信性评估实践提供参考.     

一类混沌系统的Hopf分岔控制

针对带参数的混沌系统,运用 Routh-Hurwitz判据及 Hopf分岔理论研究系统存在的动力学行为,设计状态反馈控制器对系统进行 Hopf分岔控制。分析系统参数及控制参数分别对系统稳定性与 Hopf分岔类型的影响,得到了系统稳定及不发生 Hopf分岔的系统参数条件。研究结果表明：控制器中的线性控制部分及非线性控制部分均能改变系统的分岔行为,使系统渐近稳定。数值仿真证明控制器设计的有效性。     

地空导弹战时装备保障仿真系统设计与实现

结合目前装备保障仿真研究现状及应用情况,为解决地空导弹装备战时保障研究的难点问题,开展其战时保障仿真研究。首先确立了仿真系统的总体结构,并在此基础上分析了仿真系统的功能组成和主要任务。保障过程仿真模块之数据访问处理功能项为例说明了仿真系统的内部结构及接口设计。最后完成了整个仿真系统的设计及实现,并进行了仿真验证,仿真结果表明系统的合理性、科学性和可行性,对开展地空导弹战时装备保障研究及部队进行战时保障训练均有很好的借鉴和指导意义。     

基于智能采集模块的MIMO控制系统的设计

介绍了多输入多输出(multi-input and multi-output,MIMO)计算机过程控制系统的硬件组成及功能,给出了系统硬件设计的核心部件智能采集模块的应用及系统的工作原理.结合实际系统运用开发的应用软件进行调试及性能测试,表明基于智能采集模块设计的多变量计算机控制系统能满足性能要求,且实现了各变量之间的弱关联.该系统的设计为多变量解耦算法的研究,冗错技术,整体性及先进高级控制算法模拟研究提供实验平台,填补了该方面的空白,具有一定的创新价值.     

基于Lotus平台的网络辅助教学办公系统的实现

研究Lotus平台下通过J2EE体系架构,实现了融合辅助教学与辅助办公的系统,阐述系统的功能结构及模块设计,进行了工程测试,采用基于角色的资源访问及系统基于工作流运转,提高了系统的安全性及办公效率.     

基于LabVIEW的土工测试系统开发与应用

土工试验是岩土工程研究过程中必不可少的研究手段,针对当前采集系统的不足研究并开发基于LabVIEW程序设计的土工试验数据采集系统。论文介绍了虚拟仪器开发工具LabVIEW程序语言的特点,概述了基于LabVIEW程序的试验数据采集系统的结构及具有的功能模块,提出了多任务间数据共享的方法,讲述了试验远程控制系统的构建思路。在此基础上以直剪试验为例,开发直剪试验数据采集及处理系统,结合研华采集卡和KTR直线位移传感器并进行仪器改装实现了数据采集及处理的自动化。     

Constructive granular systems with universal approximation and fast knowledge discovery

Conventional gradient descent learning algorithms for soft computing systems have the learning speed bottleneck problem and the local minima problem. To effectively solve the two problems, the n-variable constructive granular system with high-speed granular constructive learning is proposed based on granular computing and soft computing, and proved to be a universal approximator. The fast granular constructive learning algorithm can highly speed up granular knowledge discovery by directly calculating all parameters of the n-variable constructive granular system using training data, and then construct the n-variable constructive granular system with any required accuracy using a small number of granular rules. Predictive granular knowledge discovery simulation results indicate that the direct-calculation-based granular constructive algorithm is better than the conventional gradient descent learning algorithm in terms of learning speed, learning error, and prediction error.     

A constructive approach to minimal realization problem of 2D systems

Unlike in the 1D case, it is not always possible to find a minimal state-space realization for a 2D system except for some particular categories. The purpose of this paper is to explore a constructive approach to the minimal Roesser model realization problem for a class of 2D systems which does not belong to the clarified categories. As one of the main results, a constructive realization procedure is first proposed. Based on the proposed procedure, sufficient conditions and explicit construction for minimal realizations of the considered 2D systems are shown. In addition, possible variations and applications of the obtained results are discussed and illustrative examples are presented.     

Stability connection between sampled-data fuzzy control systems with quantization and their approximate discrete-time model

This paper concerns the stability of a sampled-data Takagi-Sugeno (T-S) fuzzy control system with quantization, when a controller design is based on an approximate discrete-time model of the plant without quantization. The motivations come from the facts that digital devices for interfacing a plant with a controller quantize signals and an exact discrete-time model of the T-S fuzzy system is generally not amenable to synthesis process. We show that the concerned system is Lagrange stabilizable by the controller asymptotically stabilizing the approximate discrete-time model. A constructive design algorithm for the developed stability analysis is proposed in terms of linear matrix inequalities.     

A constructive approach for nonlinear system identification usingmultilayer perceptrons

This paper combines a conventional method of multivariable system identification with a dynamic multi-layer perceptron (MLP) to achieve a constructive method of nonlinear system identification. The class of nonlinear systems is assumed to operate nominally around an equilibrium point in the neighborhood of which a linearized model exists to represent the system, although normal operation is not limited to the linear region. The result is an accurate discrete-time nonlinear model, extended from a MIMO linear model, which captures the nonlinear behavior of the system.     

Computer-based derivation and transformations of spatial motion equations of a large space structure in the course of its assembly

A mechanic system of the form of a large space structure being assembled in orbit is considered. The problem of on-line computer-based derivation of the current mathematical model of the spatial motion of a mechanic system with its structure changing when extra bodies or constraints are either added or removed is studied. The problem is solved using Lagrange equations of second kind. In the problem statement, it is required that the computing system linearize the obtained nonlinear Lagrange mathematical model, transform it by reducing it to the principal (normal) coordinates and then pass to more constructive, in terms of synthesizing control laws, modally physical representation. The mathematical technique for solving the listed problems is given. A number of necessary propositions are proved. The examples are given to illustrate that the proposed methods are constructive and can be implemented sufficiently simply in Maple.     

H∞ control of uncertain dynamical fuzzydiscrete-time systems

A new kind of dynamical fuzzy model is proposed to represent discrete-time complex systems which include both linguistic information and system uncertainties. A new stability analysis and control system design approach is then developed for this kind of dynamical fuzzy model. Furthermore, a constructive algorithm is developed to obtain the H(infinity) feedback control law. An example is given to illustrate the application of the method.     

分布式智能故障诊断模型的MAS实现研究

该文分析了基于MAS的分布式智能故障诊断方法和过程,提出并实现了一种任务分解的Agent诊断系统结构及原型系统。在某企业安全监控系统的应用中,该模型能快速、准确地进行故障成因分析,并给出合理的、建设性的决策意见。     

连续计时离散事件系统监控及其可观性

本文提出了一种带有连续时间变量的离散事件系统(称为计时离散事件系统)结构模型.通过讨论计时语言的性质,如封闭性、可控性以及可观性,研究了计时离散事件系统的监控综合问题,并基于这些性质,分别提出了计时离散事件系统在完全可观与部分可观条件下监控器存在的充要条件.     

Executable object modeling with statecharts

Statecharts, popular for modeling system behavior in the structural analysis paradigm, are part of a fully executable language set for modeling object-oriented systems. The languages form the core of the emerging Unified Modeling Language. The authors embarked on an effort to develop an integrated set of diagrammatic languages for object modeling, built around statecharts, and to construct a supporting tool that produces a fully executable model and allows automatic code synthesis. The language set includes two constructive modeling languages (languages containing the information needed to execute the model or translate it into executable code)     

柔性臂协调运动系统的动态反馈镇定

研究柔性臂协调运动系统分布参数模型的镇定问题.基于系统能量关系和正实引理,提出一种构造性的设计方法.所设计的控制器由前馈和动态反馈两部分构成,其中动态反馈部分的传递函数是严格正实的.通过线性算子半群理论和LaSalle不变集原理,证明了闭环系统是渐近稳定的.