基于风险的城市目标反恐安防策略优化方法

国际安全环境发生重大变化的新形势下,城市涉恐安全面临严峻挑战。基于风险理论,构建了城市目标遭受恐怖袭击风险描述和安防策略优化函数,提出了定量的城市目标反恐安防策略优化方法。并以某高铁站为例,通过模型分析、数据比较和优化反馈,获得其遭受恐怖袭击风险评估、现有安防措施有效性和策略优化结论,验证了方法的有效性,为解决城市涉恐安全问题提供决策和技术支撑。     

子集和问题的分治求解

介绍了求解子集和问题的一个分治算法。设给定的n个正整数为A(1),A(2),…,A(n-1),A(n),给定的子集和为正整数M,算法的时间复杂性为O(nlog2(M+1)+1),空间复杂性为O(n)。当M较小时,算法复杂性优于二表算法的复杂性。     

世界新军事变革进程中后勤领域的主流趋势及应对策略

信息化、小型化、一体化、精确化和职业化是当今世界军事后勤领域变革的五大趋势。我军应对世界军事后勤变革的挑战,需要关注和把握以下问题:顶层设计,沿着中国特色军事变革的基轴搞好后勤系统变革的战略策划;抓住主线,着力突破影响和制约后勤实现转型的"瓶颈"问题;增加投入,为推进中国特色军事变革提供强有力的物质支撑;讲求方法,最大限度地降低军事后勤变革的成本代价:加强调控,建立健全经常化、法制化的后勤变革监控和绩效评估机制。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

秦山三核——年轻人才茁状成长

近几年来,座落在浙江杭州湾畔的秦山捷报频传,最近,秦山三期重水堆核电站又建成投产了！当你来到这里,会看到一派朝气蓬勃、蒸蒸日上的景象。这里的生机和活力,主要来自于一支非常年轻的人才队伍。     

破产企业资源重组模式分析

企业因经营管理不善,造成严重亏损,不能清理到期债务,就要依法宣告破产。破产企业在经历了一系列必要的法律程序后,其有效资源将脱离于原企业,这一有效资源按照市场法则,经过科学整合将达到忧化配置之目的。由低效率、低效益的资源浪费转变为更有效率、更有效益的作用发挥,确保实现国有资产的保值增值,这也是市场经济忧化配置资源的作用之     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

改制以后——天露公司股份制改革纪实

今年3月18日,新疆石河子天露节水设备有限责任公司,顺利通过北京中联认证中心ISO9000质量认证,从而取得了通向国际市场的通行许可证。这是天露节水设备有限责任公司实行股份制改革仅8个月取得的成绩。     

科研院所党建驱动科技创新的策略和路径研究

围绕科研院所党建驱动科技创新主题,分析了研究背景,讨论了党建工作与科技工作的内在关系,提出了党建驱动科技创新的实施策略和路径建议。     

舰船延伸保修策略多方群体冲突交互式决策模型

为推进海军舰船保修模式改革以促进舰船维修保障一体化发展,当前急需确定一种更匹配装备售后发展主流趋势与海军舰船采购制度的舰船保修策略.对当前海军舰船保修4种模式进行界定和优劣势分析,以确定海军舰船保修策略的调整方向,在界定了海军当前可以实施的32种保修策略的基础上,利用逻辑决断法判断当前海军可以实施的16种质保策略.重点利用基于交互式谈判解决多方群体利益冲突的方法建立了决策模型,以解决舰船延伸保修策略决策谈判中不可避免出现的多方利益冲突的问题,算例结果显示一维非更新预防性简单舰船延伸保修策略在多方群体决策中胜出,借助决策模型可分析出在群体决策中占据优势的要点.