基于CADM的C4ISR体系结构一致性验证方法

近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于特定的体系结构设计工具,不具有通用性.本文提出的基于核心体系结构数据模型（CADM）的体系结构验证方法可以避免这个问题,CADM是C4ISR系统体系结构数据的逻辑模型,本文首先解释了CADM的概念、然后对体系结构数据一致性验证的内容和详细步骤进行阐述,最后通过案例进行说明.     

基于xUML的C4ISR系统可执行对象模型设计

C4ISR系统自身复杂性和军事需求多变性,使得系统设计风险增加,研制难度愈来愈大.把模型驱动体系结构MDA的思想和可执行建模语言xUML引入C4ISR系统的设计研制过程中,详细分析了可执行对象模型对于C4ISR系统研制的意义,给出了基于xUML的C4ISR系统可执行对象模型设计方法和步骤,并通过水面舰船的实例验证了该方法的可行性.该方法对系统结构化分析、动态逻辑验证、性能测量评价,而且在描述能力、可理解性和可分析性等方面比基于Petri网的可执行模型都有很大改善.     

C4ISR系统体系结构的仿真验证方法研究

C4ISR系统体系结构设计在系统研制中的地位和作用越来越受到重视,体系结构设计的质量将直接关系到系统开发的成败.体系结构验证是利用体系结构产品,将其转换为可执行模型,通过分析可执行模型的执行过程和结果,从而验证评估体系结构设计质量的方法.文章研究了体系结构验证的基本思路,利用现有的组件化建模仿真技术与环境,以部分C4ISR体系结构产品为基础构建仿真系统,通过仿真实验来进行体系结构验证,从而为体系结构验证提供技术支持.     

武器装备体系结构可执行模型

探讨了可执行武器装备体系结构的总体框架,分析了建立可执行体系结构的三个阶段,提出了建立可执行模型的方法和步骤。该方法以体系总体描述、系统体系结构、作战活动图、作战顺序图以及作战规则模型等视图产品为基础,通过视图产品到仿真模型的映射机制建立可执行模型。以ExtendSim仿真工具作为可执行模型的运行环境,选取战时情报侦察监视体系作为实例研究,说明了该方法用于武器装备体系结构动态分析是可行的。     

基于SysML系统设计的动态性能效能评价

阐述符合DoDAF标准的SysML系统体系结构设计、设计方案的可执行模型和定量化系统动态性能效能评价。通过作战案例分析,提出了指挥自动化系统体系结构设计过程中建立可执行模型的一般步骤,体系结构设计的可执行模型转化方法,系统性能评价体系的构建和动态性能效能测量方法。从而解决了由系统建模语言(SysML)实现的系统体系结构设计的动态评价问题。     

基于混合体系结构的软件可靠性评估方法与应用

基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。     

基于结构化的C3I体系结构着色Petri网建模方法

结构化分析是构筑C3 I系统体系结构的基本方法 ,着色Petri网模型对于C3 I系统体系结构的功能和性能评价具有重要价值。探讨基于C3 I系统体系结构的结构化分析结果建立着色Petri网模型的方法具有重要意义。简要论述了C3 I系统体系结构的结构化开发方法。提出了一种根据C3 I系统功能体系结构的结构化分析模型建立着色Petri网模型的方法 ,应用实例表明了该方法的可行性和实用性。     

基于DoDAF的有人/无人机协同作战体系结构建模

有人/无人机(manned/unmanned aerial vehicle, MAV/UAV)协同作战是未来战场中重要的空中作战模式。由于MAV/UAV协同作战体系系统复杂、涉及作战节点多,需从系统工程的角度对整体作战体系进行顶层设计,并采用统一的结构框架对该体系结构建模。首先,引入美国国防部体系结构框架(Department of Defense architecture framework, DoDAF),提出一种体系结构快速开发方法,并给出开发步骤。然后,利用视图模型,对MAV/UAV协同作战体系的系统功能、作战任务活动、各作战节点的信息交互及组织关系等建立模型。最后,通过动态仿真对模型进行验证。结果表明,所提作战体系的执行状态与预期的作战流程一致,体系结构设计合理,系统内各作战节点定义及信息体系结构描述具备一致性和协调性。     

基于DoDAF的有人/无人机协同作战体系结构建模

有人/无人机(manned/unmanned aerial vehicle, MAV/UAV)协同作战是未来战场中重要的空中作战模式。由于MAV/UAV协同作战体系系统复杂、涉及作战节点多,需从系统工程的角度对整体作战体系进行顶层设计,并采用统一的结构框架对该体系结构建模。首先,引入美国国防部体系结构框架(Department of Defense architecture framework, DoDAF),提出一种体系结构快速开发方法,并给出开发步骤。然后,利用视图模型,对MAV/UAV协同作战体系的系统功能、作战任务活动、各作战节点的信息交互及组织关系等建立模型。最后,通过动态仿真对模型进行验证。结果表明,所提作战体系的执行状态与预期的作战流程一致,体系结构设计合理,系统内各作战节点定义及信息体系结构描述具备一致性和协调性。     

模型驱动的系统体系结构仿真验证研究

在综合电子信息系统（ｃｏｍｍａｎｄ,ｃｏｎｔｒｏｌ,ｃｏｍｍｕｎｉｃａｔｉｏｎ,ｃｏｍｐｕｔｅｒ,ｉｎｔｅｌｌｉｇｅｎｃｅ,ｓｕｒｖｅｉｌｌａｎｃｅａｎｄｒｅｃｏｎｎａｉｓｓａｎｃｅ,Ｃ４ＩＳＲ）和航天维修等复杂系统建设前,对系统的体系结构进行仿真和验证是降低系统后期开发成本和风 险的有效方法。提出了基于系统体系结构中的活动模型、规则模型、动态模型和数据模型等向统一的Ｓｉｍｕｌｉｎｋ仿真 模型的映射方法,并基于模型驱动架构中的模型转换技术实现了前者向后者的自动转换,不仅能够提高仿真模型构 造的效率,还能保证仿真模型和体系结构模型的一致性。哈勃太空望远镜维修系统的体系结构仿真验证案例说 明了方法不仅能够验证系统体系结构模型之间的逻辑一致性,还能够对系统体系结构的性能进行有效预评估。     

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

正August 10-14,2015Beijing,China The International Congress on Industrial and Applied Mathematics(IClAM)is the premier international congress in the field ofapplied mathematics held every four years under the auspices ofthe International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists and entrepreneurs fiom around the world will gather in Beijing,China for the 8th IClAM to be held at     

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

正~~     

Enterprise resource planning implementation decision & optimization models

To study the uncertain optimization problems on implementation schedule, time-cost trade-off and quality in enterprise resource planning (ERP) implementation, combined with program evaluation and review technique (PERT), some optimization models are proposed, which include the implementation schedule model, the timecost trade-off model, the quality model, and the implementation time-cost-quality synthetic optimization model. A PERT-embedded genetic algorithm (GA) based on stochastic simulation technique is introduced to the optimization models solution. Finally, an example is presented to show that the models and algorithm are reasonable and effective, which can offer a reliable quantitative decision method for ERP implementation.     

A calculus for services innovation

Innovation in the services area - especially in the electronic services （e-services） domain - can be systematically developed by first considering the strategic drivers and foci, then the tactical principles and enablers, and finally the operational decision attributes, all of which constitute a process or calculus of services innovation. More specifically, there are four customer drivers （i.e., collaboration, customization, integration and adaptation）, three business foci （i.e., creation-focused, solution-focused and competition-focused）, six business principles （i.e., reconstruct market boundaries, focus on the big picture not numbers, reach beyond existing demand, get strategic sequence right, overcome organizational hurdles and build execution into strategy）, eight technical enablers （i.e., software algorithms, automation, telecommunication, collaboration, standardization, customization, organization, and globalization）, and six attributes of decision informatics （i.e., decision-driven, information-based, real-time, continuously-adaptive, customer-centric and computationally-intensive）. It should be noted that the four customer drivers are all directed at empowering the individual - that is, at recognizing that the individual can, respectively, contribute in a collaborative situation, receive customized or personalized attention, access an integrated system or process, and obtain adaptive real-time or just-in-time input. The developed process or calculus serves to identify the potential white spaces or blue oceans for innovation. In addition to expanding on current innovations in services and related experiences, white spaces are identified for possible future innovations; they include those that can mitigate the unforeseen consequences or abuses of earlier innovations, safeguard our rights to privacy, protect us from the always-on, interconnected world, provide us with an authoritative search engine, and generate a GDP metric that can adequately measure the growing knowledge economy,     

高速低复杂度可重构L&R算法研究与实现

为满足卫星有效载荷数据传输系统高速、高可靠性的需求, 提出一种基于L&R(Luise and Reggiannini)算法的高速低复杂度可重构频偏恢复实现方案。为便于算法逻辑架构实现, 对算法的函数功能进行分解及模块化设计; 为减少乘法器资源消耗, 采用复用分解的自相关函数模块; 为提高L&R算法的精度, 对导频段自相关函数进行多段叠加。结果表明, 高速低复杂度可重构频偏恢复实现方案解调性能损失接近为0 dB, 且优化后的算法结构相比于直接结构可减少92.59%的乘法器消耗, 拆分的自相关函数功能模块具有可复用性和重构性。该算法的可工作时钟速率高达370.37 MHz, 在高速接收机中具有极高的应用价值。     

论生物系统中的功能不守恒性

根据能量守恒定律，能量一次转换所做的总功应等于输入的总能量。但在生物系统中，能量的转换是多次的，其总功之和大于系统输入的总能量，此现象称之为功能不守恒性。能量转换效率越高，功能差别越大。能量通过细胞水平的多次转换，总功可提高至2倍左右。能量通过生态系统水平多次转换，总功可提高至1．4倍左右。通过系统内各子系统能流之和称为序能，反映了系统有序性大小，它取决于系统输入总能量和能量转换效率。根据序能原理，用GDP^2／9(GDP为国内生产总值，Q为能量总输入)反映人类社会功能和效率，要比单纯用GDP更客观。绿色GDP应同时考虑使GDP^2／Q增长最大和使自然生态系统的序能最大。人的经济行为和动物的行为对策也符合序能原理。     

Dealing with Human Relations in Chinese Systems Practice

This paper is about the Wuli, Shili, Renli (WSR) systems methodology. An important concept within this, Renli, has been developed from Confucian philosophy to clarify to Chinese researchers the necessity of dealing with human relations in systems practice. At present, the only formal means of operationalizing Renli that people are exploring in China is to import from the West methods for organizing debate. However, the concept of Renli suggests that more is needed than methods alone. In particular, facilitation skills are required. It is argued that the development of facilitation skills can be enhanced if researchers can gain both theoretical and practical knowledge of group dynamics, and engage in activities of self-reflection to look at, and alter, their own roles in these dynamics and the wider sociopolitical system. There are therefore three aspects to Renli: the use of systems methods for organizing debate, the acquisition of facilitation skills, and self-reflection geared toward the development of facilitation skills and enhanced critical awareness of the politics of intervention.     

云环境中邮件服务器面向传输的优化设计

随着云计算的发展,新的应用不断涌现,但电子邮件服务依然占有着重要的地位.邮件服务器是一种I/O密集的应用.在云计算时代,越来越多的用户邮件保存在服务器端,邮件在从客户端传输到服务器端之前,邮件或者邮件的部分内容在服务器端可能已经存在.基于这种现象,提出了一种方案,通过引入计算的代价来降低通信量,从而提高邮件服务器的处理能力.对电子邮件的格式和SMTP协议进行了扩充,引入了附件和正文分离传输的模式.在邮件传输时,客户端先计算附件的散列值,并作为正文的一部分传输到服务器端,服务器端再根据散列值来判断附件是否需要传输.     

金工工艺的优化设计

运用价值工程与运筹工程理论, 在金工工艺单项设计指标优化的基础上, 对其设计指标也进行了全面优化。