基于装备最优使用率的维修决策模型

根据作战单元中装备使用率与武器装备战损维修策略之间的关系,结合战斗过程中武器装备的战损规律和维修规律,运用马尔可夫链理论,建立了一种基于装备最优使用率的战损装备维修策略优化模型。运用这种最优维修策略模型可以达到提高作战单元中武器装备使用率的目的,从而为充分发挥作战单元整体战斗效能找到了一种新的装备维修辅助决策方法。这种维修决策优化模型主要采用量化分析的方法,根据作战单元中装备的战损情况和部队的维修能力制定出最优的维修策略,确定在战斗过程对战损装备进行维修的最优时机,达到提高作战单元整体战斗力的目的,从而为充分发挥作战单元的整体战斗力找到科学的途径。最后,结合实例对模型进行了检验。     

试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质，推理无法进行；关系性质虽然确定，却用文字加以说明，推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

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

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

模糊神经时延 Petri 网的信息融合模型

将模糊逻辑与融合技术相结合得到了一种模糊信息融合方法,然后用时延Ｐｅｔｒｉ网对此信息融合系统建模,并给出了信息融合系统反应时间的一个计算公式。然后将人工神经网络应用到时延Ｐｅｔｒｉ网中,提出了一种多传感器信息融合的模糊神经时延Ｐｅｔｒｉ网模型。     

外军有/无人编组技术分析

有人/无人平台编队可以充分利用无人平台的低成本、可消耗优势,扩展有人平台的作战空间,提高有人平台态势感知、穿透杀伤和生存能力。针对美、英、法、澳、韩等国有/无人编组技术的发展动态进行了调研综述,举例说明了外军有/无人编组在海、陆、空等作战域中的典型应用,并分析了有/无人编组在传输组网、远程测控、自主决策和人机交互等方面的技术挑战和关键技术途径。最后对有/无人编组技术的发展趋势进行了展望,可为未来联合作战体系中的协同作战样式和相关领域的技术研究提供参考借鉴。     

基于SDS-耦合协调度模型的装备质量链耦合协调分析

推进装备高质量发展的关键是增强军队和地方系统跨组织质量管理合力,以此为目标研究两者之间的耦合协调关系。针对传统耦合协调度模型只考虑测算子系统内各个指标对整体有效程度,忽略了指标之间、指标与子系统之间相互作用对整体耦合效应产生影响的问题,采用可持续发展系统（sustainable development system, SDS）协调发展模型与耦合协调度模型结合的方法,在计算耦合度时将各子系统指标受其他子系统的总影响纳入其中,更加科学全面地测量整体耦合协调程度,最后通过实例验证了该方法的可行性。     

随机等分组合条件下轮流对抗的Markov链模型

首先,分析了红蓝双方将各自兵器随机等分组合后,轮流进行火力对抗的状态。然后,推导了对抗过程中状态转移的概率矩阵。从而,建立了随机等分组合条件下轮流对抗的离散Markov链模型。在上述基础上,得出了各方获胜概率及平均对抗次数的计算公式,结合公式内部递归关联的特点,提出了计算上述公式的计算机递归算法。最后,结合歼击机与轰炸机进行火力对抗的实例,介绍了该模型的应用方法。供进一步研究参考。     

“逻辑学”与“独立思考”——俊杰、小弟、豹死、金花、树叶

逻辑思考方法与科学求真精神是现代社会的物质建设和精神建设的前提。逻辑学可以澄清日常用语的歧解 ,并有责任和可能对各种语言的用法进行“理智的重建”。可以通过对一些智力趣题的逻辑解决方法和演示来进行思维训练。但这些不同的训练方法也大有讨论、批评的余地     

国防资源配置理论体系逻辑论

国防资源配置,一直是经济学家关心和不断进行探索的重要课题。文章在较深入地分析马克思、资本主义经济学家和我国现代经济学界的资源配置理论及逻辑的基础上,论述了国防资源配置的逻辑体系,认为其基本逻辑线索是:人们对国防安全品的需求——社会存在可用于军事或国防领域的资源——作为人们利益代表的政府提供国防安全品“生产”的必要条件——大量的国防资源配置行为——供给相应的国防安全品。内容包括国防资源配置的逻辑起点、前提、配置条件、配置行为、逻辑终点等。     

殷海光和黄展骥——兼评黄展骥的“谬误、悖论研究”

殷海光是中国近代重要的思想家 ,是台港现代逻辑的开创者和领军人。在他的启发和引导下 ,黄展骥走上了逻辑学的研究道路 ,并在谬误、悖论研究方面独树一帜 ,形成了“理性批判”和“逻辑实践主义”的独特研究风格