曙光作业管理系统的可用性评价

针对持续发展的高性能计算带来的新需求,我们设计与实现了DCJM机群作业管理系统,并使用了多种高可用保障措施。为了验证其有效性,综合使用可靠性框图、故障树和随机Petri网等工具对DCJM建模,然后基于实际测量的参数,使用统一的模型求解,对系统可用性进行了完整的评价。分析结果显示DCJM系统达到了高可用性。     

Relativistic Effects in the Global Positioning System

l'INTRo~TloNThepurposeofthisworkistoexplainhowrelativisticeffectsareaccountedforintheGlobalPositioningSystem(GPS).AlthoughclockvelocitiesaresmallandgravitationalfieldsareweakneartheEarth,theygiverisetosignificantrelativisticeffects.Theseeffectsincludesecond--orderDopplerfrequencyshiftsofclocksduetotheirrelativevelocities,gravitationalfrequencyshifts,andtheSagnaceffectduetotheEarth'srotation.Ifsucheffectsarenotaccountedforproperly,theGPSsimplywouldnotworkatallwell.Thesuccessandself--con…     

有限备件条件下系统任务成功概率的求解算法

给出部件失效服从负指数分布的任意结构系统在有限备件组合方案下的任务成功概率求解算法，该算法可以在已知系统结构函数、系统初始状态以及工作时间的条件下，计算给定备件组合方案后系统完成任务的成功概率．为维修保障指挥提供决策依据。     

基于GIS、GPS与OR集成技术的供应链管理系统

阐述地理信息系统GIS(Geographical Information System)、GPS(Global Position System)、运筹OR(Operation Research)技术的基本特征，相互关系以及以三种技术为基础的供应链集成系统，应用前景广阔。     

基于GPS/GIS/RS集成技术的物流监控管理

阐述全球定位系统GPS（Global Position System)，地理信息系统GIS（Geographical Information System)，遥感RS（Remote Sensing)技术（简称3S）的基本特征，相互关系及其集成基本方式，并针对现代物流管理状况和发展趋势，借助3S技术集成的优势，探讨性研究3S技术集成在物流监控管理，其应用前景广阔。     

天线相位中心移动对GPS观测量的影响

阐述了天线相位中心的基本概念,定量研究了天线相位中心移动对ＧＰＳ观测量的影响。计算机模拟表明,要获得准确ＧＰＳ观测量来进行导航定位,必须进行天线相位中心引起误差的校正。     

基于随机回报网的机群系统可用性建模及仿真

随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法,并结合实例进行了分析。     

基于SIMPROCESS的海上输送转运系统仿真建模

转运是一种重要的运输方式.针对一个来自军事实践的现实的海上输送转运问题(STS),根据问题的特点,进行了求解分析,利用SIMPROCESS仿真软件平台,研究了转运系统(STS)的仿真建模方法.仿真模型由与实体和资源有关的若干活动构成.研究表明提出的方法对一大类(比如区域)交通系统仿真建模具有实用价值.     

新建铁路基本走向决策研究

新建铁路线路基本走向选择在整个铁路建设中具有举足轻重的作用。在分析新建铁路线路走向方案比选特点的基础上，运用多目标决策分析原理，应用较为成熟的AHP主观赋权法作为指标权重分配计算方法，综合多种系统评价方法建立新建铁路线路走向决策优选模型，并以某新建铁路线路走向方案比选为实例进行验证，证明本文建立的决策方法和模型能利用全部信息，排序结果能够比较客观公正地符合新建铁路线路走向选择的实际情况。     

生产系统约束的系统分析与再造方法

分析流程再造理论在实践中所遇到的问题及其原因，提出了生产系统约束的系统分析和再造方法。这一方法对现有的生产系统约束分类进行改进，将约束分为硬约束和软约束，提出对不同类别的约束采取不同的解决措施；建立基于系统动力学的工作流模型。以反映人的因素对流程产生的影响。并采用过程挖掘技术实现对生产系统约束的追踪、控制及改进。这一方法的目的是拉制再造范围，明确再造重点，降低流程再造的风险，克服再造过程中由于约束转移带来的问题，并注重人的因素在流程再造中的作用，从而系统解决生产系统约束。最后，对所提出的方法进行实证分析。     

基于Petri网建模与仿真的制造企业生产系统流程再造方法

对基本Perti网进行了扩充,提出了一种优化Perti网模型,使之能够支持制造企业生产系统流程再造,并提出了一种建立在层次化、模块化和标准化基础上的生产系统建模和仿真方法;运用约束理论的思想,提出了生产系统再造的流程结构优化和瓶颈优化的层次化方法,并探讨了运用时间Petri网模型寻找和消除约束的方法,目的是为制造企业生产系统渐进式流程再造提供有效的方法和工具.这种方法可以将实际系统细化为多个层次的模型,并将生产系统局部作更详细的分析,从而避免了分析整个系统的复杂性.而且,可以通过调整模块和修改模块构造新系统,从而实现生产系统再设计的快速化和柔性化.最后,对这个方法在企业的应用进行了案例分析.     

FMS可视化建模、仿真和验证的集成设计方法

本文提出了一种运用面向对象的建模语言“统一建模语言(UML)”和SPIN(PROMELA模型)来对柔性制造系统进行建模和验证的方法。运用UML中的类图来表示FMS中对象之间的静态关系,运用状态图来描述系统的动态行为。然后将UML的模型自动转化为PORMELA模型,运用模型检查工具SPIN来对此模型进行检查,以验证模型的正确性。此方法可以描述和检查系统的性质,从建模,仿真一直到模型检查,提供对FMS的全面系统的设计,并可被用来设计可靠的FMS控制软件。     

汽车制动防抱系统的混合建模与仿真研究

在分析汽车制动防抱系统(ABS)工作特点的基础上,指出汽车ABS是由连续系统与离散系统组成的混合系统,进而提出基于有限状态机与Matlab/Simulink的ABS混合建模方法。利用混合建模方法建立了某轻型客车的ABS仿真模型并进行了低附着系数道路条件下的仿真研究,探讨了制动器制动力、电磁阀响应时间和车轮转动惯量对汽车ABS性能的影响。仿真结果表明基于混合建模的ABS仿真系统能很好的模拟汽车ABS的性能;制动器制动力、电磁阀响应时间和车轮转动惯量对ABS制动性能影响的分析为ABS的设计提供了依据。     

RBF-Volterra级数非线性系统建模

提出一种RBF-Volterra级数非线性系统建模方法。利用基函数多项式（BFP）完备的非线性系统逼近能力,在基函数族单一尺度和平移联动约束下,导出RBF-Volterra级数模型;RBF-Volterra级数具有＂截尾不截维＂特性,对非线性强弱变化适应能力强,且结构紧凑,数值稳定性好,能效避免维数灾难问题。实例仿真说明了该方法的有效性。     

基于IDEF0方法的企业信息化建设复杂系统

企业信息化是一项具有长期性、艰巨性复杂系统工程,无论是发展中国家企业还是发达国家企业,实施信息化后,企业业绩得到显著改变的很少。因为企业进行信息化建设,不但要根据复杂系统本身内在规律,而且要运用正确的方法来分析和处理此类复杂系统。运用IDEF0方法,建立了企业信息化建设复杂系统模型,使得信息化建设复杂系统明了化、层次化。为处于信息化不同阶段企业实施信息化建设提供参考模型。     

论系统工程方法（论）由“硬”变“软”的内在根由

本文通过对系统工程领域具有代表性的三种方法（论）演变过程的梳理,总结出他们共同的变化特点：研究对象（应用范围）越来越复杂化,相应的所采用的系统工程方法（论）也越趋“软化”,即：改变了原来只一味追求用数学方法进行定量分析的理路,转而,注重定性的研究或定性与定量相结合的研究理路;最后,文章从哲学的层面探讨该变化的内在根由。     

两类非数值优化方法在飞机方案设计中的比较研究

将遗传算法（GA）和模拟退火（SA）应用于飞机方案优化设计，给出了算法实现过程。对同一算例进行了优化实验，对二者进行了对比分析。实验结果表明SA达到收敛所需迭代次数及方案分析次数远较GA为多，但其优化结果要好于GA。这两类非数值优化方法应用于实际的飞机方案优化问题，必须首先解决由于所需方案分析次数太多而导致的计算效率低下问题。相对而言GA较SA在实际飞机方案设计中有更好的应用前景。     

Modeling and Analysis of Capacitated Transfer Lines with Unreliable Machines and Deterministic Procesing Times

ＭｏｄｅｌｉｎｇａｎｄＡｎａｌｙｓｉｓｏｆＣａｐａｃｉｔａｔｅｄＴｒａｎｓｆｅｒＬｉｎｅｓｗｉｔｈＵｎｒｅｌｉａｂｌｅＭａｃｈｉｎｅｓａｎｄＤｅｔｅｒｍｉｎｉｓｔｉｃＰｒｏｃｅｓｉｎｇＴｉｍｅｓＳＨＵＳｏｎｇｇｕｉＪＩＡＮＧＣｈａｎｇｊｕｎＩｎｓｔ...     

SBR过程自适应动态非线性MPCA建模及在线监视

污水处理SBR过程的在线性能监视对于提高排污质量和实现优化操作是至关重要的。针对SBR间歇过程缓慢时变、可变运行长度和非线性特点，采用双滑动窗口机制，提出多变量非线性自适应动态建模方法一可变长度的滑动窗口MPCA方法，解决常规MPCA在工业应用过程中存在的几个潜在问题：（1）建模数据样本不同步问题；（2）模型失配问题；（3）MPCA线性方法不能充分有效压缩和抽取非线性过程信息；（4）估计未来测量变量所引进的监视误差。所提方法成功应用在国际水协会提出的benchmark仿真试验平台。     

具变时延细胞神经网络模型的全局指数稳定性

通过构造新的Lyapunov泛函．巧妙引入可调实参数，并结合Hardy不等式以及推广的Halanay时延微分不等式，讨论了一类具有可变时延细胞神经网（DCNNs）的全局指数稳定性问题，所得结果改进、推广了文[7]、文[8]中相应的结论，并可应用于以前所不能处理的若干情形。特别地，还通过实例说明了相应准则的应用，扩大了神经网络设计的范围，这在理论上和应用中都有着重要意义。