军事需求的多层次多视图描述框架

为解决对军事需求理解和描述不统一的问题,从一般意义上探讨了军事需求的概念和特点,并借鉴体系结构框架理论建立了军事需求的多层次多视图结构框架。给出了军事需求总体框架的形式化描述,依次建立了描述军事需求之使命的任务视图、能力视图、系统视图和技术视图的产品体系,最后对军事需求多层次多视图描述中涉及的关键问题进行了分析。建立的描述框架可为军事需求理论研究和实践提供有益的参考。     

任务空间概念模型轻量级形式化校核方法初探

任务空间概念模型是现实世界军事知识的第一层抽象，是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量，任务空间概念模型自身的VV＆A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述，定性描述占主要，定量成分非常少。因此，传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核，提出形式化校核过程。并建立了部分校核模型。     

C2组织信息结构效能测度及综合评估

军事指挥控制(command and control,C2)组织中的效能评估问题是信息化作战中研究的热点。首先通过分析C2组织实体间的关系,形式化描述了C2组织信息结构的基本概念。分别从作战使命层次和作战任务层次设计了指控效率、同步效率和负载率作为其效能测度指标。然后从结构高效性和鲁棒性的角度探讨了测度指标的选择对衡量C2组织信息结构效能的影响。最后,基于加权积模型提出了一种C2组织信息结构效能综合评估方法,并通过一个案例证明了该方法的有效性和稳定性。     

基于概念格的武器装备体系使命能力分析

武器装备体系通过提供相应的能力来支持其使命任务的完成,对能力的度量是武器装备体系效能分析的一个难点.在对武器装备体系使命、任务和能力关系描述的基础上,构建了武器装备体系作战任务-能力概念格,给出了武器装备体系能力缩减和核心能力集的定义,分析了武器装备体系的能力缩减问题,给出了能力支持武器装备体系使命的重要度计算方法.从而比较全面的分析了武器装备体系的使命、任务和能力之间的结构关系和映射关系.     

完成时间限制下的任务-平台关系设计模型及算法

针对指挥控制组织结构设计中任务-平台关系的设计问题,提出了一种使命完成时间限制条件下的问题的设计模型及其求解算法。分析了使命完成时间限制条件下任务-平台关系设计(task platform relation design under mission completion time constraint, TPRDTC)问题的约束条件,建立了以使命执行质量的值最大为目标的问题数学模型。设计了用于求解该模型的循环多动态列表规划(multi-dimensional dynamic list scheduling, MDLS)算法,给出了该算法的详细步骤和流程。最后通过一个联合作战的战役案例,分析并验证了循环MDLS算法对求解TPRDTC问题的有效性和适用性。     

XML仿真想定的Vega可视化研究

仿真想定开发是军事仿真中的重要环节.如何将作战任务从军事自然语言描述最终转换成视景仿真表述,是军事推演仿真中急需解决的问题.主要讨论使用XML技术和Vega技术相结合完成任务计划想定视景仿真的方法.首先描述了军事想定的概念、意义和建模方法,然后通过实例描述了任务计划想定的建模和形式化描述过程,继而阐述了使用Vega视景仿真表现XML想定的方法,最后确认了该思路的可行性,并总结了若干实践经验.     

作战想定的形式化表述方法研究

作战想定是作战仿真中军事与技术沟通的桥梁,需要通过形式化的方式进行有效的表述.从作战需求和仿真系统开发技术出发,通过分析抽象提出了作战想定形式化表述的W5(Who, When, Where, What, hoW)原则,并进而对作战单元的时空运动和使命任务规划方法进行研究,提出了一种基于原子条件和原子行为的任务规划方法,最后介绍了采用这一研究结果开发实现的一个作战仿真系统.     

编队协同反潜概念模型研究

概念建模是当前仿真领域的关键技术之一,被用于连接真实世界和仿真模型,建立概念模型有利于实现仿真间的互操作和促进仿真资源的重用。分析了概念模型的建立过程,简要介绍了统一建模语言UML。结合编队协同反潜的特点,建立了实体、任务、动作和交互的概念模型,并利用UML对协同反潜军事活动进行了形式化描述。所建模型可以减小军事专家与仿真技术人员对该活动的认知偏差,缩短建模与仿真的工作周期。     

卫星测控资源调度CSP模型研究

对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem, CSP)模型,并针对模型进行了求解方法研究。     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~