基于时延Petri网的CIMS并行智能仿真模型

本文具体讨论了一个为ＣＩＭＳ的运行进行图形仿真服务的并行智能仿真模型。该模型有效地反映了ＣＩＭＳ环境中各工作单元的运行情况，并基于时延Ｐｅｔｒｉ网理论实现了该模型，这一设计思路已在ＳＵＮＳＰＡＲＣ机器上用Ｃ语言完成，达到预期设计目的。     

航天环境仿真数值计算模型设计

为了解决航天环境数值仿真计算中计算模型单一、程序可移植性差、适应性不强等问题，提出了一种利用UML设计航天环境仿真数值计算模型的方法。该方法基于COM思想，首先利用UML进行顶层设计和功能划分，然后采用面向对象语言开发COM组件，将各类分散的、不同运行环境的空间环境模式规范化和集成化。最终利用该方法实现了一个航天环境数值仿真计算工具包SESTK，该工具包集成了空间环境要素计算模式及其相关程序、扩展数据、太阳地磁活动指数数据库等，为用户提供了良好的使用和扩展接口，便于与其他航天仿真软件集成。     

基于Java和XML的系统生物学可视化建模系统

论文讨论了用系统生物学建模语言描述生化反应和基因调控网络模型的方法,设计并实现了系统生物学建模系统BioDesigner。最后利用BioDesigner有效地描述了最小钙振荡模型,并用仿真软件验证了模型的正确性。     

基于Web的多领域可视化建模系统设计与实现

针对单机环境下基于Modelica语言的多领域建模与仿真软件不利于知识共享和积累、软件维护升级困难等不足,研究了B/S架构的多领域建模与仿真技术,设计并开发实现了基于Web的多领域建模系统WebMWorks:采用Silverlight技术和WCF技术等,实现了系统浏览器端的可视化及其与服务器程序的通信.最后,给出了系统运行实例.     

通用DCS仿真环境的研究

该文分析了仿真培训系统对运行环境的基本要求，在研究了其中的关键技术的基础上，设计并实现了仿真培训的网络运行环境，构建了功能完备的教师指令台和仿DCS操作站，编制了基于TCP／IP协议的通讯程序，提出了仿真模型软件片断运行机制和开发工具构造方法。     

铁路防尘自动喷洒系统的模糊自适应PID控制研究

针对大滞后、非线性的自动喷洒试验系统,进行了模糊自适应整定参数的PID控制策略研究.对运煤车防尘自动喷洒系统进行了分析;设计了模糊自适应PID控制器;在MATLAB语言环境下编写仿真控制程序.仿真运行结果表明控制方案的有效性和正确性.     

二容水箱的模糊自适应PID控制研究

针对大滞后、非线性的二容水箱实验系统,进行了模糊自适应整定参数的PID控制策略研究.在该方法中,设计了模糊自适应PID控制,推导控制算法,并在MATLAB语言环境下编写仿真控制程序,仿真运行结果表明控制方案的有效性和正确性。     

基于局域网和NS仿真器的网络模拟

介绍了NS仿真器的基本原理，对局域网环境下基于Linux操作系统和NS仿真器的网络仿真平台设计进行了分析，目的为网络仿真提供一个可靠、廉价、性能优良的运行环境，并以一个例子说明了如何利用该仿真平台进行网络互联仿真。     

基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述

网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。     

嵌入式系统前端开发工具的实现

在嵌入式系统仿真开发环境中,为了能够对嵌入式系统的硬件环境和单片机CPU进行仿真,就必然需要对硬件环境以及CPU作形式化的描述。在硬件描述语言标准VHDL语言基础上,结合C 语言的语法规则,设计并实现了嵌入式系统前端开发工具EHDL语言。本文介绍了EHDL语言的设计思想及编译器实现的主要技术。首先介绍了EHDL语言的设计模型和程序结构,然后介绍EHDL语言编译器的主要实现技术。     

Constraint-based software for concurrent engineering

The Galileo3 programming language for developing product life-cycle design advice software is described. Galileo3's various application-oriented features, the algorithm on which the runtime system is based, and its underlying computational theory are discussed     

Cova: A programming language for cooperative applications

This paper discusses Cova, a novel programming language designed to develop integra-tive cooperative applications and the issues related to the design and implementation of its runtime system.     

Easy-to-use object-oriented parallel processing with Mentat

Mentat, an object-oriented parallel processing system designed to directly address the difficulty of developing architecture-independent parallel programs, is discussed. The Mentat system consists of two components: the Mentat programming language and the Mentat runtime system. The Mentat programming language, which is based on C++, is described. Performance results from implementing the Mentat runtime system on a network of Sun 3 and 4 workstations, the Silicon Graphics Iris, the Intel iPSC/2, and the Intel iPSC/860 are presented     

PiDuce — A project for experimenting Web services technologies

The PiDuce project comprises a programming language and a distributed runtime environment devised for experimenting Web services technologies by relying on solid theories about process calculi and formal languages for XML documents and schemas.The language features values and datatypes that extend XML documents and schemas with channels, an expressive type system with subtyping, a pattern matching mechanism for deconstructing XML values, and control constructs that are based on Milner’s asynchronous pi calculus. The runtime environment supports the execution of PiDuce processes over networks by relying on state-of-the-art technologies, such as XML schema and WSDL, thus enabling interoperability with existing Web services.We thoroughly describe the PiDuce project: the programming language and its semantics, the architecture of the distributed runtime and its implementation.     

Using independence to enable parallelism on multicore computers

A simple programming abstraction based on the notion of independence is introduced as a means for mapping the independence inherent in an algorithm explicitly into its programmed solution. This enables a compiler and runtime system to exploit the independence and achieve efficient parallelism of execution on multicore processors. The constructs needed to express mutual independence among statements are proposed and their implementation in iOberon, an extension of the Active Oberon programming language, is defined. The programming language extensions, runtime support, and performance measurements are described in detail. We believe that this concept of specifying local disjoint program fragments can be applied to other programming languages. Copyright © 2010 John Wiley & Sons, Ltd.     

智能卡的研究与发展

综述了智能卡及ＪＡＶＡ卡的相关技术,智能ＩＣ卡由硬件和操作系统组成 ,可理解成一个计算机系统,智能ＩＣ卡有着完善的安全技术体制,安全性是其最大的特点,近年来,Ｊａｖａ技术与智能卡技术的结合产生了Ｊａｖａ卡,Ｊａｖａ卡是一种新型的智能卡,它基于Ｊａｖａ语言和Ｊａｖａ卡虚拟机ＪＣＶＭ（Ｊａｖａ Ｃａｒｄ Ｖｉｒｔｕａｌ Ｍａｃｈｉｎｅ）,是智能卡发展的方向。     

一种嵌入式操作系统运行时验证方法

作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。     

A taxonomy and catalog of runtime software-fault monitoring tools

A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one to analyze and recover from detected faults, providing additional defense against catastrophic failure. Although runtime monitoring has been in use for over 30 years, there is renewed interest in its application to fault detection and recovery, largely because of the increasing complexity and ubiquitous nature of software systems. We present taxonomy that developers and researchers can use to analyze and differentiate recent developments in runtime software fault-monitoring approaches. The taxonomy categorizes the various runtime monitoring research by classifying the elements that are considered essential for building a monitoring system, i.e., the specification language used to define properties; the monitoring mechanism that oversees the program's execution; and the event handler that captures and communicates monitoring results. After describing the taxonomy, the paper presents the classification of the software-fault monitoring systems described in the literature.