基于GTST-DMLD的装备RMS综合仿真研究

装备的RMS是装备的重要设计参数,是影响战备完好和全寿命周期费用的关键因素.针对现有RMS仿真方法中存在的问题,以GTST-DMLD作为建模工具,建立起装备功能、装备构成、维修保障系统三者之间关系的描述模型,将其作为装备RMS综合仿真模型的重要组成部分,用于描述部件故障对任务执行的影响和故障部件维修对保障资源的需求.从任务成功的角度出发,构造了基于GTST-DMLD的装备RMS综合仿真模型,制定了仿真流程和仿真算法.以舰船推进系统为例,建立起舰船推进系统的GTST-DMLD描述模型并进行了软件设计,通过仿真试验,得到了反映舰船推进系统RMS设计特性的统计值.GTST-DMLD的引入为构造大型复杂装备的RMS综合仿真系统提供了简单易行的方法,对于RMS指标设计的优化有重要的现实意义.     

基于维修流程框图的维修时间仿真研究

武器系统的维修性是一个重要的性能指标,维修时间是维修性的主要定量参数、是影响装备可用度、战备完好率的重要因素。通过分析常用的维修性指标和维修性预计方法,提出了基于维修流程框图的维修时间仿真方法。维修流程框图是用于表示维修活动的步骤,一般比较复杂,甚至有可能形成大的网络,基于这种情况,建立了基于维修流程框图的自动化维修时间仿真方法。其对武器系统的维修性设计、预计和分析有较好的作用,利用这种维修时间仿真方法开发的软件系统也有一定的实用价值。     

军用飞机保障能力评价建模与仿真

在对军用飞机维修保障过程分析的基础上,运用离散事件建模方法和计算机建模与仿真技术建立了飞机维修保障仿真模型。仿真出飞机使用可用度（A0）、出动架次率（SGR）、备件延误时间（SDT）、系统无故障工作时间（MTBF）等指标,来评价保障能力。仿真模型可以量化分析影响军用飞机保障能力的各种因素,显示、预测保障系统运行状态,提供辅助决策。通过改变任务计划、备件策略、维修策略。做动态敏感性分析。可以评价不同方案的维修保障能力,改进现有维修保障系统。仿真模型目前应用于航空兵部队团级保障能力评价,今后还将对未定型飞机开展维修保障仿真验证。     

某C3I指挥控制系统可靠性维修性设计分析

某C3I指挥控制系统集指挥控制计算机、通信电台、通信控制器于一体,具有情报信息来源广、信息处理实时性强、指挥自动化程度高、野战机动能力强、展开与撤收快等特点。对复杂任务可靠性指标分配进行了分析和探讨,另外从反映其战备完好性、任务成功性、维修人力费用和保障费用等几方面要求对可靠性、维修性参数选择进行了分析。目的旨在提出自己的粗浅看法,期望能为国内同类型装备开展可靠性、维修性制定相应的定量要求提供参考。     

基于边缘计算的舰炮故障预测系统设计

针对舰炮系统在任务执行过程中出现性能退化甚至故障,严重制约装备效能发挥,对维修保障带来极大困难的问题,提出并设计了一种基于边缘计算的舰炮故障预测系统。其在Compact RIO数据采集平台的基础上,以Labview为软件开发环境搭建而成,通过系统引入边缘计算技术架构,在Compact RIO完成数据处理,将数据处理结果上传至上位机,减少了数据传输量,降低了网络带宽的要求,有利于监测系统的集成。该系统设计可以实现舰炮系统状态信号的实时采集、传输、存储、状态监测与故障预测,减少舰炮系统计划外维修次数,降低检维修成本等,显著提高舰炮系统的自主式维修保障能力。     

基本作战单元预防性维修保障过程建模仿真

为分析评价基本作战单元预防性维修保障方案,计算分析预防性维修时间,根据系统工程建模思想描述了基本作战单元的预防性维修过程,提出了故障发生比、更换比和报废比参数,建立了仿真模型,并根据Monte Carlo仿真原理给出仿真算法,为型号工作人员和装备使用人员进行保障性分析提供了理论方法和技术手段,最后以某型飞机组成的基本作战单元为例,对其预防性维修保障方案进行仿真试验验证,分析了预防性维修过程的改进对保障资源和维修时间的影响.     

基于模糊Petri网的保障性定性指标评价中的可信度

针对带权模糊Petri网在评价定性指标中推理机制可信度的主观性和不精确性问题,尝试利用粗糙集理论确定规则可信度,利用模糊隶属度确定结论可信度,从而提高评价的可靠性.最后,结合舰炮装备的一些保障性定性指标,应用带权模糊Petri网的矩阵推理算法,对可信度进行了应用验证,并对指标进行了评价.结果表明此方法是可行的,不仅能定量权衡现役装备综合保障工作的合理性,还可在论证初期规划系统的保障性设计.     

基于多阶段任务系统的成功率建模与仿真

对装备系统在不同任务剖面下的成功率的评估,可以反映装备保障系统的整体效能.由于影响任务成功率的因素较多,关系复杂,目前还没有相应的数学公式进行解析.针对上述问题,采取仿真统计的方法来实现对装备系统任务成功概率的评估.通过任务成功率定义建立任务成功率仿真模型,应用离散事件仿真、蒙特卡罗抽样、数理统计模型等理论建立了一种基于设备参数和使用规则参数的多阶段任务综合仿真原理模型和任务成功率仿真流程.最后将原理模型应用于某舰艇某次训练任务想定,从而说明模型的有效性和实用性,结果表明对任务成功率的仿真评估可以作为使用和管理部门评估保障系统保障能力的依据.     

可拓法在直升机维修保障能力评估中的运用

随着直升机在军事和非军事行动上的广泛使用,对直升机维修保障提出了更高的要求,而对保障能力的评估具有更加重要的现实意义。以人力资源、维修设备、维修管理等作为直升机维修保障能力评估的要素,采用可拓工程方法构建直升机维修保障能力多指标参数的物元可拓模型,将影响直升机维修保障能力指标以定量的形式刻画出来,应用关联函数计算关联度,采用熵法计算指标权重,使评估过程更趋科学合理。     

基于梯形云模型的装备保障训练效果评估研究

装备保障训练效果评估是检验和提高装备保障能力的重要手段,针对装备保障训练效果综合评估工作中定性定量指标转化计算的问题,提出了基于梯形云理论的评估方法,云理论是一种用于处理不确定性和模糊性的数学工具,从知识水平、岗位能力、装备效能情况等方面建立评估体系对维修保障人员训练效果进行分析研究,运用Delphi法建立了装备保障训练效果评估指标体系,在指标选取原则的基础上,运用AHP与指标属性重要度的综合方法进行指标权重的确定,然后通过运用云模型云发生器、云合并算法和云相似度算法等,较好地解决了装备保障训练效果评估中指标的定性描述与定量综合计算的问题,最终通过实例比较表明,所提出的云评估模型所得出的等级评价结果客观而全面,对定性综合评估研究具有参考价值.     

集成运算放大器的虚短虚断概念及在线性运算中的应用

建立理想集成运算放大器的等效模型，讨论集成运算放大器的虚断、虚短、虚地的概念，并运用它们分析集成运放的比例运算。     

prialt in Handel-C: an operational semantics

We describe an operational semantics for the hardware compilation language Handel-C [7], which is a C-like language with channel communication and parallel constructs which compiles down to mainly synchronously clocked hardware. The work in this paper builds on previous work describing the semantics of the “prialt” construct within Handel-C [5] and a denotational semantics for part of the language [6]. We describe a key subset of the language and show how a design decision for the real language, namely that default guards in a prialt statement executed in “zero-time”, has consequences for the complexity of the operational semantics. We present the operational semantics, along with a revised and completed prialt semantics, indicating clearly the interface between them. We then describe a notion of observational equivalence and present an example illustrating how we handle the complexity of nested prialts in default guards.     

Implementing Information Technologies and Operational Excellence: Planning,emergence and randomness in the survival of adaptive manufacturing systems

We explore the why and how of synergies and dysfunctions between Information Technologies (IT) and Operational Excellence (OE). Moving away from the type of analyses that focus on the starting-point and the final stage, we address the evolution of the complex factors involved in the joint deployment of IT and OE that try to transform manufacturing systems. Evidence stems from a longitudinal case study over a period of 11 years (2003–2014) in one of the world’s largest canning factories. Combining quasi-experiments at the systems level with time series data, we compare the evolution of IT implementation in a Lean environment with 17 different assembly lines and 1,100 workers. Thus, building on an evolutionary framework, the paper highlights the simultaneity of planned, random and emergent components in mutations; the influence of the rhythm and sequence of reforms in the construction of capabilities; and the effect of environmental evolution on the type of mutations passed on over time.     

基于事件驱动的系统级仿真器的操作语义

SystemC是一系统级描述语言.与传统的编程语言相比,它具有一些新的编程特性:延迟的事件通告、延迟事件通告的重载、延迟事件通告的取消以及delta-cycle.研究它的操作语义可以为进一步的形式化方面的研究提供基础.     

木马运行机制及行为特征分析

为了更好地识别和查杀木马,介绍了木马程序的组成：被控制端和控制端,分析了控制端和被控制端的运行机制,研完了被控制端程序被植入到目标机器阶段、安装阶段、启动运行阶段及网络通信阶段的行为特征并予以归类,该研究结果对基于行为的木马查杀提供了较完善的行为特征库。     

可信度理论与测试

软件的可靠性估计、程序结构及测试之间存在着重要的联合,针对一个程序及其输入值有限集,可以由测试来处理所精心定义的程序状态。但是,程序测试的基本理论仍不明了,其部分原因是测试的目标不明确,对测试或者测试方法的评价也没有统一的标准,测试不应该以纠错为最终目标,其最终目标应该是精度量被估测软件的可靠性。其于这个目标,需要提出蝗可信度理论,并以它为基础,明确应该使用什么样的测试方法及测试环境。目前可信度理     

Understanding Programming Languages

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

运维安全管理系统方案设计

通过实施IT运维安全管理系统,实现IT系统帐号和口令统一管理,并支持系统帐号分配和口令自动修改等功能,支持运维审计功能,满足IT审计的合规性,规避IT操作风险。     

基于PA95的新型压电陶瓷驱动电源

压电陶瓷驱动电源是压电陶瓷微位移器应用中的关键部件。PA95是一种高压、高精度的MOSFET运算放大器。文章介绍了一种基于PA95的新型压电陶瓷驱动电源,详细介绍了电源复合放大电路部分的设计原理并对其稳定性进行了分析。实验表明该电源具有精度高,驱动能力强,结构简单,稳定性好的特点,在5kHz频率范围内有效实现5V信号到350V的动态放大,最大稳态输出电流120mA。