离散／连续系统仿真语言IHSL

本文介绍了自行研制的离散/连续系统仿真语言IHSL。IHSL是一个通用的仿真语言,适用于广泛的领域。与其它通用语言相比,IHSL具有以下特点:(1)模型,实验,参数分离处理功能;(2)对实体流模型的描述能力;(3)对加工设备和物料处理的建模能力;(4)能与有关软件组成一体化仿真支撑环境.所以IHSL除了作为通用仿真语言使用以外.更适合于对制造系统的建模和仿真。 IHSL是用C语言开发的。目前已能在多种机型上运行。     

用NLP技术实现军用文书自动生成系统设计

军用文书自动生成是C4ISR系统中的关键技术之一 ,是提高指挥效能必不可少的重要环节。通过系统分析 ,阐明了C4ISR系统中军用文书生成系统的一个重要发展方向是基于自然语言处理的文书自动生成 ,并根据军用文书生成过程中的信息流向 ,提出了该系统三模块的结构模型 :信息理解模块、文书信息库模块、文书生成模块 ,进而描述了这三个模块的整体运作流程。该模型对其他领域中基于自然语言理解的文本生成系统也有参考价值。     

Sustainability,Systems Thinking and Professional Practice

This article explores the impact of the new sustainability agenda on the occupational and professional needs of those who have taken educational and training programmes in the environmental field either at undergraduate or postgraduate level or through relevant professional institutions’ continuing professional development programmes. It also describes a one-day workshop for the professionals on sustainable development, based on systems thinking and practice. The workshop provides a model for developing greater understanding and effective action in professional practice, by using dialogue and interprofessional learning to explore approaches to sustainability in a variety of business and professional contexts. It introduces the principles underpinning the concept of sustainability and provides tools to support the integration of sustainable development into professional practice and organisational change.     

创建增进公众理解科学的文化环境的系统观

文化环境对公众理解科学的作用具有积极和消极二重性。建设能增进公众理解科学的文化环境应遵循系统整体原则，首先要明确整体目标，从部分优化做起；其次，要协调要素与要素、系统与环境间的关系，注重整体效益。     

人体生物节律报警原理探讨

<正> 一、问题的提出 人体生物节律理论作为预防事故发生的一种方法,已被广泛地应用于铁路、公路、航空和一般工业企业,并取得了较明显的效果。 人体生物节律理论指出,所有的人,从他们出生之日起,体力、情绪、智力活动分别以23天、28天和33天为一个循环周期,并以正弦曲线的形态     

Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

Ada在操作系统中的应用

Ada已被美国国防部选定为统一的军用实时和并发程序设计语言。它不仅适合编制应用软件,而且适合编制系统软件。操作系统是系统软件的主干项目。Ada在操作系统领域内的应用前景如何?本文讨论利用Ada实现操作系统,试图回答这个普遍关注的问题。     

推广匹配非线性系统变结构鲁棒自适应控制

对于一类不确定非线性系统 ,利用推广匹配条件对系统进行反馈线性化 ,将系统变换成一个具有n-2个积分链和两个含有未知参数和不确定项的方程的非线性系统。在利用极点配置法给出鲁棒自适应滑动模态超平面设计的基础上 ,提出了变结构鲁棒自适应控制律的设计方法 ,并将所提出的设计方法应用于下摆加驱动电机系统的控制律。经仿真研究表明 ,控制效果令人满意。     

Electronic image stabilization system based on global feature tracking

A new robust electronic image stabilization system is presented, which involves feature-point, tracking based global motion estimation and Kalman filtering based motion compensation. First, global motion is estimated from the local motions of selected feature points. Considering the local moving objects or the inevitable mismatch, the matching validation, based on the stable relative distance between the points set is proposed, thus maintaining high accuracy and robustness. Next, the global motion parameters are accumulated for correction by Kalman filteration. The experimental result illustrates that the proposed system is effective to stabilize translational, rotational, and zooming jitter and robust to local motions.     

一种并行C语言编程环境

一种并行C语言编程环境(PCLPE)是为运行Unix操作系统且具有共享存贮器的MIMD并行机设计的并行C语言编程环境,它是由扩充的串行C语言(称为并行C语言)及其支持该语言的环境构成。并行C语言能够描述子进程,共享存贮区,进程间同步以及相关操作。PCLPE简单、易用,并且特别适合编写并行数值处理程序。PCLPE已开始在Masscomp 6600并行机上运行。     

关于建立综合集成立法决策支持系统的设想

该设想将法制系统作为开放的复杂巨系统进行研究,探索将复杂系统理论、计算机网络信息技术与法学理论和法律技术结合,构建人机结合、人网结合的综合集成的立法决策支持体系.该系统将以计算机和网络技术为核心的现代高新技术成果、法学及其相关学科知识、以及法律及相关领域专家体系综合集成,构成高度智能化的人-机-网结合的立法决策支持系统.这个系统不仅具有法律及其相关知识的采集、存储、传递、共享、调用、分析和综合的功能,而且具有对立法及相关问题实现从定性到定量认识的功能,更重要的是具有立法和法学知识创新的功能.它是法律和法学知识的生产系统,既可用来研究法律理论问题,也可用来解决立法实践问题.系统的重点是解决立法系统功能低能化问题.     

基于结构理解的笔迹智能编辑

随着人机界面朝着自然高效的方向发展,手写笔迹的结构分析和智能编辑越来越被人们所关注。给出了一种基于多层次相互作用的结构理解的笔迹智能编辑方法。该方法先自下而上初步提取单字、行、段,然后自上而下利用整体信息对组成信息进行精确分割,提取的信息表示成一个多层次的结构。基于笔迹的结构,用户可以使用笔手势对笔迹进行编辑。实验评估表明,该方法对笔迹的智能编辑具有较好的效果。     

面向复杂系统需求分析的DSL构建

在航空航天领域, 系统的复杂度快速增长, 这对基于模型的系统工程的开展带来巨大的挑战, 尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题, 根据领域建模的思想, 引入领域特定语言(domain specific language, DSL)的概念, 提出一种构建DSL进行需求分析的方法, 并针对基于模型的系统工程(model based system engineering, MBSE)中需求分析的需要构建相应的DSL。首先, 从基于模型的系统工程方法论角度, 对工程应用中的需求捕获与分解进行了分析; 接着, 通过扩展后的GOPPRR(graph object property port role relationship)元元模型依据需要, 构建了DSL的具体语法与语义; 最后, 以具体的系统为例与系统建模语言分析方法做出了对比。结果表明, 所构建的DSL在进行复杂系统的需求分析与建模时, 与实际需要契合, 在各个环节都具有针对性强、形式化的优点, 有利于保证需求分析与建模工作的正确性。     

TranSimSEIT工业过程仿真系统控制站的设计与实现

首先介绍了Ｊａｖａ语言的技术特点，然后结合面向对象系统设计过程，详细介绍了ＴｒａｎＳｉｍ－ＳＥＩＴ工业过程ＤＣＳ仿真培训系统控制站的设计与实现。     

面向导航系统性能仿真的可移植性框架

导航系统性能仿真面临多领域模型集成和分析的困难.研究了仿真模型可移植性(simulation modelportability, SMP2.0)规范,分析了卫星导航系统仿真的基本特点和需求,提出了卫星导航性能仿真的可移植性框架,建立了基于SMP2.0的导航仿真应用架构.该架构包含导航系统模型设计、开发、集成、运行和试验...     

用系统思维构建职业教育的实践教学体系

体系是系统与环境的综合或总和,体系内包含着系统,体系是松散的系统,系统是密集的体系.从系统思维分析,职业教育包括互相结合的理论教学和实践教学两种体系.实践教学由纵向实体机构性的教学质量保证支撑体系、教学目标标准驱动体系和实践教学操作实施系统,与横向要素功用性的教学理念体系、教学活动体系、资源构成体系（即教学指向体系、教学活动体系和教学载体体系）,纵横交叉的亚体系网络构成。这些亚体系与内部结构是保证教学运行和质量的前提。     

构建复杂适应的创业支持系统

创业是经济增长和创新的推动力,也是国家、地区、企业具有可持续发展活力的基础。中国经济的持续、健康、快速发展需要的不仅是资源、机制,还需要创业精神。培育创业精神、提高创业能力必须构建复杂适应的创业支持系统。创业支持系统是由支持创业者创业和吸引创业者前来创业所需要的所有功能和支持主体所构成的系统。     

基于分解的结构复杂Petri网的语言行为描述

Petri网语言是用于系统行为分析的强有力手段，然而给定一个Petri网尤其是结构复杂的网系统。很难直接求解其语言表达式．针对这个问题，通过定义Petri网的库所指标函数，把一个结构复杂的网系统分解成结构简单的子网，即子网中每个变迁的输入库所和输出库所的数目均小于等于1，并分析了这些子网系统的语言特性．利用Petri网语言同步交运算，给出了一种求取结构复杂Petri网的语言表达式的方法，从而为利用网语言分析系统的行为提供了理论依据和方法。     

Robust stability analysis of uncertain discrete-time systems with state delay

The sufficient conditions of stability for uncertain discrete-time systems with state delay have been proposed by some researchers in the past few years, yet these results may be conservative in application. The stability analysis of these systems is discussed, and the necessary and sufficient condition of stability is derived by method other than constructing Lyapunov function and solving Riccati inequality. The root locations of system characteristic polynomial, which is obtained by augmentation approach and Laplace expansion, determine the stability of uncertain discrete-time systems with state delay, the system is stable if and only if all roots lie within the unit circle. In order to analyze robust stability of system characteristic polynomial effectively, Kharitonov theorem and edge theorem are applied. Example shows the practicability of these methods.