多Agent协作环境下的任务分配

对多Agent协作环境下的任务分配机制进行了论述。在合同网的分配机制基础上,提出了一种基于合同网的改进机制———任务列表分配机制。该任务分配机制针对多Agent协作工作时面临的突发性事件,能有效地提高系统的实时处理能力和工作效率。以多机器人系统为例,应用任务列表分配机制,解决突发事件下多机器人任务的再次分配问题,满足了多机器人协调工作的实时性要求。实验和理论证明了其机制的优越性。     

具有紧急消息的航电总线Petri网建模与性能分析

在航空电子综合化系统的设计过程中，总线系统的性能指标与整个航电系统的总体指标有着密切的关系。给出了一套完整的基于确定与随机Petri网的综合航电总线系统的性能评价的模型和算法。通过对总线系统的确定与随机Petri网模型的求解，给出了具有紧急消息的总线系统的两个重要性能指标总线负载、延迟时间，通过对性能曲线的分析，可以为综合航电系统的设计和完善提供重要的理论依据。     

分布式被动传感器网异步采样下的机动目标跟踪

针对分布式被动传感器网的特点，提出了一种异步采样条件下机动目标跟踪方法。该方法采用交互式多模型概率数据互联滤波器跟踪机动目标。为启动滤波器，采用最大似然法估计目标初始状态；为适应异步观测条件，提出了马尔可夫转移概率计算方法。仿真实验表明，在分布式被动传感器网中采用该算法能有效进行机动目标跟踪。     

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

基于CPN建模技术的研究

Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.     

基于Petri网下的哲学家就餐问题的模拟与验证

哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.     

基于Petri网的防空C3I决策系统的建模分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型.并引入了决策时延这一反映指挥决策系统能力的重要指标.对提高C3I决策系统的实时性和准确性做了初步的探讨,证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性.     

我国高校工业设计教育研究

本文介绍了我国工业设计教育现状和现代工业设计教育的特点 ,重点分析了现代工业设计教育与学生的知识构成和现代工业设计师的基本素质的关系 ,简述了设计教育的目的与过程要求 ,并对 2 1世纪的设计教育作了展望     

嵌入式操作系统与嵌入式Linux

嵌入式系统开发早期多应用在工业控制领域以及智能机器人,但随着移动通讯以及智能家电、网络家电的发展,嵌入式系统开发的应用越来越广,它所带来的巨大经济利益吸引众多的国内外厂商投入其中.本文通过嵌入式操作系统与通用操作系统的比较,闸述了嵌入式操作系统独有的特点及其发展前景.并对嵌入式Linux作了详细介绍.