基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

战场通信网络消息处理模型研究*

针对战场通信网络建模需求,基于 EBI建模框架,提出了面向实体的战场通信网络建模方法,探讨了战场通信网络实体模型的组成结构.重点分析了战场通信网络消息处理模型的作用和功能,给出了消息处理模型的仿真工作流程,对消息处理模型中的消息列表、通信事件列表、网络路由算法进行了阐述,并结合通信节点实体模型中的消息缓冲器,探讨了消息处理模型管理和维护通信事件列表的方法.     

数学建模与创新能力的培养

通过开展数学建模教学 ,将数学教学与解决实际问题有机结合起来 ,培养学生创新能力     

钢丝绳弹性联轴器特性建模

提出一个钢丝绳弹性联轴器特性的数学模型,该数学模型能很好地描述钢丝绳弹性联轴器的迟滞非线性特性.分析表明,钢丝绳弹性联轴器具有软刚度和阻尼大的特性,有利于抑制船舶轴系的振动.     

基于ADAMS软件的轮式车操纵稳定性仿真分析

为了更好地设计评价轮式车辆的操纵稳定性,利用ADAMS软件进行仿真建模分析,再依照相关国家标准进行评价得到客观结论。在汽车设计、评价过程中广泛应用ADAMS软件可以在设计前期对车辆性能进行预测,提高设计质量,缩短设计周期。     

铅酸蓄电池等效电路模型研究

随着电动汽车等技术不断发展,铅酸蓄电池的应用领域不断扩大。数学模型是铅酸蓄电池 研制和应用中重要的研究工具。概括总结了铅酸蓄电池建模方面所取得的一些成果,并着重讨论了等效 电路模型。同时,也在铅酸蓄电池等效电路模型的研究方向和研究方法上作了一些探索。     

综合环网通信协议的研究

本文根据LAN(局域网络)的现状和发展趋势的讨论,指出光纤环网是未来综合业务局网的优选网络,提出了适合于ISRN(综合业务环网)中综合业务交换的帧结构,给出了ISRN中的通信协议的分层描述,提出了实现边界移动的方法,实现了以信令格式和边界可动策略为基础的信令处理软件。     

HESTool:基于层次链知识组织的专家系统工具

提出了任务 (Task)的概念 ,每个任务代表一种知识源。不同的任务可以采用不同知识表示形式及推理策略。一个知识库由一组前向或后向链构成的任务链组成 ,实现了知识库的结构化、可视化 ,支持知识部件的可重用与共享。同时 ,结合可视化技术、数据库技术 ,开发出实用性较强的专家系统工具HESTool,该工具提供了一种知识建模机制     

使用检查维修工作模型的建立

RCMA是制订装备预防性维修大纲的系统方法,可用度是制订军械装备预防性维修周期的主要决策目标,对RCMA七种工作类型之一的使用检查工作建立了以可用度为决策目标的一般模型,举例给出了模型输出结果的特征和敏感性,对几种特殊情况进行了讨论,给出的模型可用于此类问题的维修决策。     

一种对地观测卫星应用任务描述模型

对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分.从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动.在此基础上,使用规划领域定义语言(PDDL)...