基于Pi-演算的信任网络形式化建模

网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨论信任网络节点与Pi-演算的对应关系,给出基于Pi-演算的信任网络建模规则和建模过程,借助pi-演算模型检测工具对提出的信任网络形式化系统进行行为分析与推演,结果表明其具有活性和安全性,且能有效满足用户在信任方面的服务质量需求。     

一种基于π演算的行为建模形式化方法

根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于π演算, π-BFMBM方法能够为人的行为建模提供更为有力地支持.     

任务空间概念模型及其形式化抽象描述

任务空间概念模型对建模与仿真的互操作与重用有着重要的意义，但还没有一个统一的描述方法。文章研究了任务空间概念模型在仿真中的应用，探讨了它与作战想定、作战条令、条例之间的关系，然后对任务空间概念模型进行了形式化抽象描述，从而进一步给出了它的模型层次结构。     

一种数字电路的测试向量生成算法

结合一个实际电路 ,研究了一种可把数字电路故障定位到器件级的测试向量生成算法。该算法首先划分电路功能块 ,然后基于功能测试的思想 ,通过功能块测试向量的迭代生成整个电路的测试向量。还提出了一种基于器件布尔函数建立故障字典的方法 ,这种方法思路清楚 ,软件编程实现方便。     

基于模型驱动工程的形式化模型转换技术

随着仿真系统的复杂性及其仿真模型在各个领域的广泛应用,用户对仿真模型的开发效率和质量提出了更高的要求.针对当前模型驱动工程主要应用于有关仿真软件工具的工程化实现,尚未达到模型层面而未能进行形式化分析,基于模型驱动工程,从元建模、模型转换两个方面设计了领域特定语言及形式化的模型转换体系,以火控通道控制系统为例,将概念模型...     

一种力的动态测试和仿真

介绍一种新研制成功的阶跃力测试装置，并提出了一种新的力仿真测试法，该装置具有两种测试信号输出，其中一路产生力值和波形已知的无质量仿真力；另一路是将无质量仿真力和到有质量的测试系统。输出动态力的曲线，根据系统响应，建立测试系统的动态数学模型，设计系统的动态数字补偿滤波器，用计算机软件对测试系统的动态参数进行补偿，实验结果表明，动态力的测试误差小于1％，该方法可推广用于科学试验和工程应用中。     

基于多Agent系统网管模型的形式化建模

运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。     

一种多神经网络混合模型的学习算法研究

针对混合智能模型的多神经网络结构特征，提出一种模型参数的在线辨识算法。该算法在起始阶段利用混沌优化算法寻找初始点，随后采用BFS法完成参数寻优过程。对处于扰动状态下的预分馏塔的仿真结果表明，该算法可以有效地解决一类多神经网络模型的在线参数辩识问题。     

一种非线性模糊情感模型的研究与仿真

提出了一种基于基本情绪理论和模糊理论的非线性情感模型来实现人机情感交流.在模型中给出了情绪、心境和个性的心理学概念的模糊数学定义,采用非线性系统的状态空间方程来描述情绪和心境的变化过程,方程模拟了人类情感变化中刺激、心境和个性对情绪的影响.仿真研究的结果表明该模型较好的模拟了人类情感变化过程,体现了人类情绪的模糊性和非线性特点.     

黑盒测试技术在LBPACK研制中的应用

本文论述了黑盒测试对控制系统CAD软件基础库的重要性,以LBPACK为对象进行了黑盒测试,并将其测试结果与LINPACK和MATLAB进行了比较。结果表明,本文所提出的黑盒测试技术是可行的,在保证软件的质量和评价其水平方面起到了重要的作用。     

大规模虚拟试验网间信息传输评价模型研究

大规模虚拟试验系统往往需要基于异构网络环境互连的方法搭建,以满足不同试验实体间通信的实时性要求.针对不同互连方法多为经验总结、缺乏理论分析的现状,在已有的同构网络虚拟试验信息传输延迟理论基础上,建立了大规模虚拟试验系统网间实体信息传输延迟模型,定义了以实时感知度和高频感知度为尺度的大规模虚拟试验网间通信评价指标.对典型的四种实时网络与RTI跨协议互连方案分别进行分析,为具体的试验系统搭建提供依据.应用结果表明,该方法对大规模虚拟试验系统的跨协议互连方案的分析与选取具有指导意义.     

导弹总体设计过程中的过程模型研究

针对导弹总体设计过程，提出以过程集成的思想来解决总体设计这个多学科多任务的复杂灵活的设计分析过程，并给出了能够描述导弹总体设计过程各种动态因素的过程模型-IPM，分析了IPM过程建模的相关内容。最后给出了一个应用实例验证了IPM思想的正确性和可行性。     

军事概念模型研究综述

军事概念模型是一切军事建模仿真系统开发的共同起点，军事概念模型及其相关技术是解决建模仿真重用、互操作和VV＆A的关键因素之一，对于军事建模仿真系统开发具有重要的意义。概述了军事概念建模研究的主要内容，包括军事概念模型相关的概念、定义、建模语言、建模过程、关键技术和工具，简介了其用途，并对未来的发展进行了展望。     

基于CPN的可信路由器发现协议建模与仿真分析

为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。     

基于BOM的组件测试研究和实现

基于BOM设计可重用的仿真模型组件是提高成员开发效率的有效途径.组件在构成成员参与仿真之前对其进行验证,这对保证仿真结果的有效性十分重要.在对KD-SmartSim、仿真模型组件及组件测试做了简要的介绍后,对组件和组件测试的意义,原理及方法作了全面的分析:并在此基础上详细阐述了了组件测试工具的设计原理并通过一个例子描述了测试工具的使用方法;最后在应用层次和技术层次对组件测试做了简要的总结性描述.     

任务空间概念模型轻量级形式化校核方法初探

任务空间概念模型是现实世界军事知识的第一层抽象，是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量，任务空间概念模型自身的VV＆A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述，定性描述占主要，定量成分非常少。因此，传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核，提出形式化校核过程。并建立了部分校核模型。