基于Petri网的半导体晶圆制造系统建模与分析

晶圆制造生产线由于存在回流、并发、资源共享、随机性的重做以及突发性设备故障等现象,使得生产管理及调度问题变得极为复杂。建立描述系统的模型是优化系统性能的前提,指出了用Petri网建立晶圆制造系统模型的优点,建立了一个拥有4个工作中心、8台设备的晶圆制造系统Petri网模型,并对模型进行分析。最后提出了下一步的工作目标。     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于Petri网统一模型的系统开发方法研究

为解决当前系统开发不同阶段采用的方法缺乏继承性与连贯性等问题,提出采用Petri网实现系统统一建模与开发的思想。在现有的子网研究基础上进一步讨论了子网与变迁相互替代前后接口保持一致和子网的基本属性保持等问题;提出了基于Petri网的功能和数据分析方法以及子系统自动划分的思想;对IDEF0和Petri网两种建模方法分析对比,提出IDEF0模型到Petri网模型的转换思路和方法。研究结果有助于以Petri网为统一工具实现系统建模与开发,为解决当前系统开发遇到的问题提供一种新的途径。     

带监督弧的扩展Petri网模型及其应用研究

Petri网是对分布式系统进行分析和建模的图形化工具,它在系统出现并发、冲突和同步等现象时具有很强的描述模拟能力。提出了一种带监督弧的Petri网扩展模型,引入监督弧使复杂的Petri网模型变得简化,而且有利于Petri网模型的模块化设计。最后研究了带监督弧的Petri网应用并作了相应实验仿真,结果验证了监督弧的有效性。     

基于模糊云模型的C4ISR系统效能需求建模与分析方法

在C⁴ISR系统能力需求开发过程中,非功能性需求建模是一个难点,在综合模糊统一建模语言(unified modeling language,UML)与云模型的基础上,提出了一种面向C⁴ISR系统效能需求的建模与分析方法。首先,从系统效能需求建模入手,提出一种兼顾C⁴ISR系统功能和效能综合建模的需求分析框架,并通过扩展传统的UML来提高其领域适用性,实现对效能等模糊信息的建模。其次,结合该框架设计了一种效能云模型逆向生成算法,并提出基于云模型的综合效能评估函数构建方法,可以实现对系统效能的定量分析,评价系统完成使命任务的效果。最后,通过一个精简的区域防空系统案例验证了方法的可行性与正确性。     

基于CPN仿真的排队系统建模及性能分析

排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统.     

基于AADL体系结构模型的构件系统可靠性评估

为了支持新一代航电系统在体系结构设计阶段进行系统可靠性分析和评估,对复杂嵌入式系统利用体系结构分析与设计语言(architecture analysis and design language, AADL)进行系统的建模。提出了一种基于AADL系统体系结构模型的可靠性建模方法,设计出一套转换规则,对AADL体系结构模型的软硬件构件进行模型转换,实现从AADL系统体系结构可靠性模型到系统体系结构广义随机Petri网(system architecture general stochastic Petri net,SAGSPN)的转换,并基于加权的SAGSPN可靠性计算模型对系统进行可靠性评估。最后通过对某飞控系统进行可靠性评估,验证了方法的有效性,证明该方法对航电系统的体系结构设计提供了支持。     

钢铁企业工序能耗模型及其到混杂Petri网的转换

模型方法是研究钢铁企业生产过程中复杂能源消耗系统的重要手段,也是企业系统节能的基础。本文针对现有模型存在的问题,根据钢铁企业能源流程的自身特点,引入系统层次化思想,从工序角度描述能耗状况,提出一种针对钢铁企业的层次化资源驱动工序能耗建模(HRPM)方法,基于该方法实现某钢铁企业焦化工序实例的建模,为复杂能源消耗系统的建模提供可行方法;并给出了HRPM到混杂Petri网模型的转换机制,为分析系统的行为特性打下基础。     

地空导弹训练仿真系统的设计与实现

以一类指令制导地空导弹为对象，设计并研制了地空导弹训练仿真器样机，实现了导弹武器系统的多种训练功能，本文提出了该训练仿真器的设计原则；介绍了武器系统的仿真建模方法、监控台的功能和多媒体演示方案；重点展示了训练仿真系统的硬件结构，软件实现手段以及系统所实现的各种训练模式，并分析了系统的时空一致性。     

诊断多智能体重构过程的Petri网模型

为适应故障诊断中动态变化的环境和满足求解复杂系统全部任务的要求,本文以诊断决策问题的结构及建模过程的层次性为基本思想,提出用立体分层Petri网作为可视化建模支持工具支持嵌套式建模,研究了诊断系统重构的立体分层Petri网框架,并详细分析了诊断系统资源调度的Petri网模型、多智能体诊断系统重构的Petri网模型以及功能智能体执行重构的Petri网模型,全文通过实例说明了Petri网模型的设计方法,最后给出了立体分层Petri网模型的求解方法。     

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,     

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

根据能量守恒定律，能量一次转换所做的总功应等于输入的总能量。但在生物系统中，能量的转换是多次的，其总功之和大于系统输入的总能量，此现象称之为功能不守恒性。能量转换效率越高，功能差别越大。能量通过细胞水平的多次转换，总功可提高至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,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     

基于动力学仿真的多管火箭多因素分析

多管火箭武器的系统效能有多个指标,而每个指标又受到多个因素复合影响。按照武器系统效能分析的递阶层次,梳理了多管火箭性能分析的多因素问题。提出了基于虚拟样机动力学仿真过程多因素问题的数据挖掘方法及分析手段,弥补了传统方法对多因素问题决策分析的不足。并以多管火箭系统效能第四级指标起始扰动的三种影响因素为例进行了研究和验证。