TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(Tim ed Petri Net)对自动测试系统建模和性能分析的方法。采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率。     

一个分布式并行设计集成框架系统的研究与开发

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基于设计体模型的设计数据管理、基于语义模型的工具封装和基于扩展网络图模型的设计过程管理。YC bridge已在实际设计工作中得到较好的应用     

PETRI网理论在航空电子综合化系统中的应用

提出航空电子综合化系统与PETRI网理论之间的关系,给出航空电子综合化系统组网元素的PETRI网表达方法,以及航空电子综合化系统中指令消息格式的PETRI网模型,并以某型飞机航空电子综合化系统为实例,进行了建模、分析和优化的仿真.     

有交易费的套期保值未定权益的最小债券价值量

讨论带交易费的多种股票的市场模型中未定权益的套期保值定价问题,提出折算函数作为总资产的一种较为合理的衡量方式,并来刻画套期保值策略,从而,利用鞅方法和折算函数的性质,得到带交易费套期保值未定权益的最小债券价值量结果。     

带交易费的市场模型和未定权益套期保值

给出了有交易费的且多种股票参与交易的市场模型,并且讨论在此市场模型下的未定权益套期保值问题,在这一模型中,假定仅债券与股票之间有交易,而不同股票之间不直接进行交易以及交易费率是常数。     

浅淡军用飞机1553B数据总线网络验收

针对如何进行军用飞机1553B 总线网络的验收,对总线长度,绝缘试验,连续试验,阻抗试验,极性试验,输出电性能试验等诸多验收内容进行了必要的理论分析和探讨,并对具体的测试方法进行了系统的归纳和总结,对军用飞机1553B 数据总线网络的系统设计和综合有实用价值。     

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。     

分布式A2C2决策队设计

现代战争的特点是高度的分布式协同作战。面对瞬息万变的战场需求 ,完成分布协同作战的指挥自动化系统 ,就必须能够自动适应战场需求变化 ,不断改变指挥系统组织结构。因此 ,实现指挥自动化系统的中心工作是建立 C2系统自适应变结构决策队组织。论述了建立自适应分布式指挥决策组织结构的有关问题 ,研究了在分布式条件下 ,自适应 C2决策队结构的设计。     

基于BP神经网络的雷达网抗干扰性能综合评估

在分析目前综合评估雷达网抗干扰性能时遇到困难后,探讨了利用BP人工神经网络良好的非线性函数逼近特性来解决这一问题的可行性,并分析了在用这种方法建模评估的过程中需要注意的各种问题;其中侧重对在具体构造评估模型时输入输出评估指标集的确定方法和模型的训练验证方法进行了研究,并进一步分析了建立的模型可能的用途。最后指出这种思路也可以推广到对类似的复杂信息系统的综合评估中。