从状态空间的角度对定性模拟中一些概念的讨论

定性模拟（ＱＳ）是近１０年来从人工智能中发展起来的一种模拟技术．本文从状态空间的角度讨论了定性模拟中的一些基本概念，在定义定性轨迹的基础上，首次从定性状态转移的角度阐明了定性模拟过程中产生新界标的重要性，同时还给出了定性稳定性的概念和判别条件，这些将增强ＱＳ的全局滤波手段     

HIERARCHICAL SYSTEM CONCEPTS FOR SIMULATION OF HIGH AUTONOMY SYSTEMS

A high autonomy system is an intelligent system with self-determination power. Such a system must perform a variety of functions such as reasoning, planning, sensing, control, and other activities necessary to achieve predefined system objectives over an extended period of time under uncertainties in its environment. Simulation modelling can be a powerful tool for design of such complex autonomy systems. This paper describes the hierarchical, modular system concepts for simulation of high autonomy systems with an example of an intelligent control system called the AIDECS (Al-based, Distributed Environmental Control System). The paper emphasizes on development of methods, in an object-oriented manner, for isomorphic replications of complex hierarchical structures as a means of constructing hierarchical models. We show how polymorphism and inheritance in the object-oriented programming can be exploited to develop such methods in DEVS-Scheme, a realization of the DEVS formalism in a LISP-bascd, object-oriented framework.     

MTS自动事务一致性仿真测试

MTS（Microsoft Transaction Server：微软事务服务器）是Microsoft基于组件的三层C／S（Client/Server:客户机／服务器）结构的核心部件。虽然它提供了自动事务管理机制,但由于应用系统中组件之间相互关系复杂,所以设计开发人员很难在设计阶段恰当地处理组件事务特征的一致性。文中提出了组件事务特征一致性测试的仿真算法,并通过具体实例说明该算法的有效性。     

具有逻辑仿真功能的数字电路测试语言

本文率述了数字电路测试系统中的测试语言的设计以及逻辑功能仿真的实现。     

有限期延迟交货的随机性库存系统的仿真模型

本文基于离散事件系统仿真原理,建立了有限期延迟交货的随机性库存系统的仿真模型,从而可用计算机仿真的方法为物流管理选定最佳库存策略。     

数控仿真技术的回顾与评述

本文在对当前国内外数控切削加工几何仿真和切削过程力学仿真的两个并行发展的研究领域的研究现状和成果的分析评述的基础上，指出了仿真的发展趋势，并提出一种几何仿真和力学仿真相结合的更精确的试切模型。     

多种带保质期的相关商品的库存系统仿真模型

研究了生产商带定货价格折扣、具有随机定货提前期、随机需求种类、随机需求量和需求时间间隔的具有特定保质期限的多种相关商品的库存系统.在此基础上,基于离散系统仿真原理,建立了系统仿真模型,通过仿真实验,对该库存系统模型进行了分析,最后探讨了模型的扩展.该系统仿真模型为销售商制定具有保质期的多种相关商品的库存策略提供了有效的工具.     

分布式面向对象数据库语言OSQL的设计

本文以面向对象的数据模型为理论依据，介绍了数据库语言ＯＳＱＬ的设计思想，该语言既保留了ＳＱＬ原有的特性，又能支持面向对象，对象分布、对象主动行为及多媒体复杂信息的管理，是一个成功的分布式面向对象数据库语言。     

一种时间Petri网的分布仿真算法

本文提出了一种对时间Petri网的扩展方法,并研究了其分布仿真算法。该算法适合对大型、复杂系统进行建模和仿真,并能有效地支持模型重用。     

共轴非对称球面光学系统仿真模型设计

为了优化共轴非对称球面光学系统的设计,对共轴非对称球面光学系统进行了数字化模型的开发,设计了基于计算机仿真的数学模型。在此基础上运用模块化程序设计思想,设计了仿真模型的模块化结构,利用交互技术解决了实验参数的人机交互,并开发了仿真模型核心模块的程序代码,建立了完整的基于计算机系统的共轴非对称球面光学系统仿真模型。该仿真模型实现了系统参数变化时成像效果的自动跟踪模拟,可以为共轴非对称球面光学系统的优化设计提供效果仿真。     

数据库自然语言查询界面

数据库技术的普及使得用户对数据库应用界面的要求越来越高，以往的几类接口都需要用户有较高计算机知识水平，而且必须经过一定的培训，这样就会造成人力物力的浪费而且不利于计算机的普及。本文探讨的是一种更为方便简洁不秀学习即可操作的自然语言界面。     

一种可适应的分布式动态负载平衡策略及其仿真

工作在多用户方式下的大规模并行处理系统，如何保持其资源的有效利用率，缩短任务的响应时间，需要动态负载平衡技术的支持。本文提出并讨论了一种可适应的分布式动态负载平衡策略ＡＲＩＤ，描述了该方法的原理和负载平衡控制协议，分析了该方法的通信开销，以及对系统加速比、任务平均响应时间和系统稳定性的影响，最后，对该方法进行了仿真研究，并与其它动态负载平衡策略作了比较。     

飞机引气系统的建模与故障仿真

飞机引气系统结构复杂,故障类型较多,排故难度大。为深入分析飞机引气系统故障机理,提高故障准确性,根据动量方程、能量守恒和力平衡方程等方法建立高压阀、过压阀、压力调节阀、风扇阀门、预冷器以及引气系统整体的数学模型。采用simulink仿真,得到压力调节阀、风扇阀门以及传感器等部件发生故障时的故障征兆及引气系统各部件参数的动态变化曲线,并详细论述曲线变化过程。仿真结果与故障汇编手册中的结果一致,表明该模型对引气系统故障诊断有重要参考价值。     

随机性的批量制造库存系统的仿真模型

对用计算机仿真技术来研究包含随机因素的批量制造库存系统提出了仿真策略,建立了仿真模型,从而可通过系统仿真的方法来选定最优批量制造库存策略。     

基于ＶＣ＋＋的通信原理实验仿真软件设计

本文提出并完成了基于ＶＣ＋＋的通信原理实验计算机仿真设计。文中结合计算机仿真的基本原理,描述了通信系统仿真模型的建立和实现,分析了仿真结果。     

基于异质模型柔性集成的系统模拟

复杂系统模拟时往往要用到性质差别很大的各种模型。为了最大程度地发挥系统模拟的效果，将异质模型进行柔性集成是作者提出的一种新策略。为了要达到模型柔性集成的目标，本文重点研究了一类具有规范化约定而又能适应异质数学模型集成需要的模型库，并建立模型的规范化描述体系。本文还提出了系统模拟实验框架。通过对一简化的炼油过程模拟实例的研究和运行分析，初步表明本文所提出的策略和理论框架是有效可行的。     

嵌入式网络协议仿真实验系统的设计

计算机网络课程的基本概念以及技术涉及到许多抽象的理论知识和大量的网络协议,使许多初学者感到抽象难懂。为此在PXA255 Xscale架构的处理器和嵌入式Linux操作系统的基础上,构建一个干净环境下的网络协议仿真实验系统,排除了其它网络封包的干扰,模拟真实的计算机网络行为,用于TCP/IP协议簇的仿真教学,让学生更好地理解网络协议交互的各个步骤以及相关协议的通信机制。     

RTX平台下实时仿真系统的设计方法

在一些仿真应用中,由于Windows操作系统较差的实时性从而给许多半物理仿真试验带来了一些不确定的因素.在充分论证的基础上,引入了Ardence公司的基于Windows的硬实时解决方案RTX,并结合某型号导弹仿真课题总结出了Windows环境下RTX实时应用系统的设计方法与开发流程以及RTX下硬件板卡驱动程序的编写,最后将这种设计方法成功应用在该型号导弹飞行仿真系统中.实验证明该仿真系统是可靠的、稳定的,整个实验过程中导弹的飞行数据没有丢失,仿真周期确定,结果正确,RTX仿真程序能够满足系统对实时性和确定性的要求.     

VHDL事件驱动模拟核心库

论述了一个为构造编译型VHDL模拟系统而设计的模拟核心库,它采用事件驱动的模拟算法进行元件调度,使其适用于同步电路和异步电路的模拟,采用多值延迟模型,可同时完成功能验证和时序验证工作;采用多数据类型表示形式,适用于从系统行为级,寄存器传输级到逻辑门级的设计模拟验证工作,模拟核心库使用标准C＋＋语言设计,采用面向对象编程思想构造核心库的结构,并使用C＋＋虚接口为被模拟供简单的建模接口,通过实验证明此模拟核心库具有简单,正确,高效,可扩充和平台通用等优点,适合于编译型模拟系统的构造。     

一种层次的、混合并行离散事件仿真算法

并行仿真算法是并行离散事件仿真中心的核心问题,对于具体的应用系统,采用不同的并行仿真算法将导致其仿真性能大的差异,提出了一种针对于分布环境中特定应用系统仿真的层次的,混合并行离散事件仿真算法,测试和应用表明,和通常的保守机制或者乐观机制相比,能够较大地提高仿真效率,并且具有良好的可扩展性,首先给出了在通信开销不可忽略的环境下,保守机制和乐观机制的性能测试结果和两者适用情况的分析,然后根据测试结果和具体应用系统的特点,提出了层次的,混合并行离散事件仿真算法,给出了LP级和组级算法算,最后对算法进行了测试和性能分析。