SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

军事应用设计活动与作用

随着军队指挥信息系统复杂程度的提高,传统军事需求分析方法已不能完全适应指挥信息系统设计和研发的需要.本文提出了军事应用设计概念,分析了军事应用设计的原则,探讨了军事应用设计的作用,构建了指挥信息系统研发的新模式.     

预警机引导战斗机空战目标分配模型

从预警机引导战斗机空战的角度出发,通过对预警机引导战斗机空战过程的分析,确立了战斗机对敌攻击时应具有的优势函数,建立了基于蚁群算法的空战目标分配模型。最后通过具体仿真算例,证明文中给出的蚁群算法模型能够有效地解决预警机引导战斗机空战目标分配问题。     

以指挥车为中心的火灾现场图像传输系统

火灾事故现场指挥不畅 ,已成为制约消防部队完成灭火救援任务的重要因素之一 ,火灾现场图像传输系统的运用是一个重要的解决方案。论述微波火场图像传输系统的组成、原理 ,并用典型事例说明图像传输的作用。     

水库区的风景开发建设与生态环境保护研究

随着社会经济的发展,水库这一人工湖泊不仅只发挥传统的灌溉、供水、防洪、发电和养殖等作用,作为风景旅游和度假地开发建设越来越受到重视,文章从对库区风景开发建设必要性、条件和原则进行分析,提出库区开发建设必须兼顾生态环境,确保水库的可持续发展。     

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

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

挠性接管在轴对称载荷下的应力应变计算

针对目前挠性接管强度计算存在的不足,在充分考虑骨架层的弯曲刚度和扭转刚度对挠性接管强度影响的基础上,推导出在承受轴对称负荷(拉压、扭矩及内压)时,挠性接管及其加强筋的应变和外力的关系,为挠性接管的结构设计和强度计算提供了理论公式.     

柴油机PID、F并联调速控制研究

为了提高柴油机动态和稳态控制性能,提出了PID、F并联调速控制的方法,并利用Matlab/Simulink工具箱对PID、F交替调速控制和并联调速控制进行了仿真研究,表明Fuzzy-PID并联控制的性能优于常规PID控制和单纯的模糊调速控制以及PID、F交替调速控制的调速性能.     

自行火炮发动机振动仿真研究

针对某型自行火炮柴油发动机系统,采用Matlab软件的Simulink 工具,建立了整个系统的动力学仿真模型。分别对该模型进行正弦、白噪声信号扰动下的仿真,从系统输出转矩和转速的曲线结果分析,证明了该模型具有较好的可信度。该模型的建立为今后深入开展发动机仿真研究提供了基础。     

变结构控制器的仿真模型研究

变结构控制器集中了非线性控制与线性控制的优点,既保证了系统的快速性,又具有良好的跟踪精度。运用控制理论及牛顿运动规律,阐述了变结构控制器的建模机理,重点研究在MATLAB/SIMULINK动态系统仿真环境下,利用已有模块搭建变结构控制器的仿真模型。该仿真模型已被成功地应用于某型自行高炮随动系统的仿真研究中。