仿真建模与形式化

离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识, 改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用, 回顾了在仿真建模形式化方面所进行的研究工作, 重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。     

对复杂系统建模与仿真的几点重要思考

复杂系统建模与仿真是仿真科学技术的前沿领域，随着科学技术的进步和社会的不断发展，复杂系统的类型、数量及其复杂程度与日俱增。未来复杂系统建模与仿真这方面的研究必将成为热点和焦点。本文通过研究复杂系统的特点和研究现状。阐述了建模与仿真方法学、面向复杂仿真系统的有效建模方法及复杂仿真系统的VV＆A活动。建立了基于Multi-Agent的协同作战计划MAS系统体系结构和复杂仿真系统VV＆A规范技术框架。供仿真工作者讨论和参考。     

复杂系统预期行为仿真的演化建模研究

计算机建模与仿真技术在复杂系统研究中的应用日益受到重视。在复杂系统主动行为划分中,最基本的一类就是预期。这种预期都基于自己内心对外部世界认识的假设模型之上,并不断改进、演化。本文介绍并讨论了复杂系统主体预期行为的演化建模与仿真方法,主要内容包括:理性预期;有限理性;适应有限理性及演化建模,演化计算。讨论了存在的问题,应用前景和发展趋势。     

基于Agent的建模与仿真和离散事件仿真的集成应用研究

基于Agent的建模与仿真(ABMS)和离散事件仿真(DES)同属先进的建模仿真模式,都具备一定处理复杂系统问题的能力。ABMS继承面向对象思想,擅长从微观角度着手分析复杂系统;DES沿用传统的面向过程思想,能对复杂系统整体的宏观行为进行分析。二者在功能上具有互补性。在对两种模式深入分析的基础上,本文提出将二者集成应用的思想,扩展了传统DES事件表的结构,提出将ABMS和DES集成应用的完整框架,并实现了一个支持此框架实现的软件平台——absimlib,充分发挥了两种仿真模式的优势,弥补了单独使用其中任何一种的不足,增强了对复杂系统的建模与仿真能力,且结构简单、易于实现和向分布式环境下扩展。最后以一个防空作战的例子证明此方法的有效性。     

复杂武器系统定性建模与仿真探析

分析复杂武器系统仿真具有的结构特性、人的行为特性、环境特性、交互特性和集成特性,结合定量建模,研究复杂武器系统仿真中适合定性建模与仿真的特点所在,指出武器系统仿真不同于一般民用系统仿真的时序性区别,最后探讨复杂武器系统仿真中定性建模的局限性及其今后的研究方向。     

分层CPN在矿井馈电系统建模中的应用

矿井馈电系统是一种典型的离散事件动态系统。为了有效地对矿井馈电系统仿真,利用分层建模的思想来对矿井馈电系统的建模。对上层系统进行建模时引入复杂变迁,并在此基础上分解复杂变迁,最后利用所得的分层CPN（Hierarchical Colored Petri Net,HCPN）模型作为仿真软件的媒介,验证系统设计的合理性和安全性。通过利用CPN对矿井馈电系统建模,为最终开发出该系统的软件仿真平台奠定了良好的基础。     

面向复杂定性系统的知识建模及联合仿真方法研究

广泛存在于社会经济、国防工业等领域的复杂系统由于其具有系统机理及组成关系复杂、系统内部与环境间交互关系复杂、总体行为呈现非线性、涌现等特点,使得传统的定量建模仿真技术难以描述系统的复杂性特点。以实现定量模型与定性知识混合的系统建模描述与联合仿真为目的,在总结已有建模仿真方法的基础上,提出了复杂系统定性定量综合建模与仿真平台体系结构,并重点研究了定性建模和定性定量联合仿真两大关键技术。研究提出了一种支持定量/定性混合的图形化的复杂系统模糊定性知识建模方法——模糊因果导向图（模糊CDG）并探讨了其语法及推理方式,给出了基于自学习人工神经网络构建隶属云模型的定性定量转换方法。最后给出了研究成果在智能飞行器仿真领域的初步应用,并对进一步的研究工作进行了展望。     

基于SMP2的复杂系统生成式仿真建模方法

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点.     

模型驱动的复杂人机系统过程建模仿真方法

复杂人机系统涉及复杂的技术系统过程、认知决策过程以及人机协同过程,是当前系统工程研究最具挑战的领域之一。建模仿真在很多情况下是分析复杂人机系统过程性能效能的唯一可行选择。分析了复杂人机系统过程建模以及系统仿真模型表示的主要方法。结合平台级作战过程建模应用问题,给出了一种物理域、认知域、模型框架三分的复杂人机系统过程建模框架。在模型驱动方法的指导下,综合运用多方法建模、领域特定建模等方法讨论了复杂人机系统过程仿真模型设计问题。对其他领域的复杂人机系统过程建模仿真问题研究具有示范意义。     

基于网格的HLA/RTI仿真系统互联与资源共享

基于网格技术支撑复杂系统协同建模/仿真过程中的系统建模和仿真运行两个不同阶段,以实现仿真资源的安全共享与重用、协同互操作及优化调度运行。在仿真运行阶段,根据仿真系统特点、实时性要求等级以及资源共享需求的不同,提出采用基于网格的运行控制及信息发布、基于Grid/Web服务的仿真系统互联以及基于网格的联邦成员模型共享与动态组装三种不同的互联与运行模式,并对每种模式适用的应用类型、系统实现体系结构以及关键技术进行了研究与实现。     

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,     

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     

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

根据能量守恒定律，能量一次转换所做的总功应等于输入的总能量。但在生物系统中，能量的转换是多次的，其总功之和大于系统输入的总能量，此现象称之为功能不守恒性。能量转换效率越高，功能差别越大。能量通过细胞水平的多次转换，总功可提高至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协议进行了扩充,引入了附件和正文分离传输的模式.在邮件传输时,客户端先计算附件的散列值,并作为正文的一部分传输到服务器端,服务器端再根据散列值来判断附件是否需要传输.     

金工工艺的优化设计

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

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