工作流流程动态仿真技术的研究

对于工作流流程的能力分析以及正确性验证,其方式上可分为静态分析与动态仿真。论文侧重研究通过动态仿真手段对流程进行测试与分析,验证流程在合适的时间,由合适的资源做合适的事。针对仿真过程中的几个关键问题——设置仿真环境、基于路径覆盖准则的事件排队算法及仿真结果的统计分析做了较深入研究。仿真采用了交互式与非交互式两种手段,利用白盒与黑盒两种测试方法对被测流程进行高覆盖度仿真,并通过仿真结果反映缺陷的类型、分布与走势。     

甲醇低压羰基化制醋酸反应器仿真

在甲醇低压羰基化制醋酸反应器内,化学反应与流体力学状况非常复杂.因此,反应器机理模型的建立是开发全流程仿真机过程中必须解决的问题.文中对甲醇低压羰基化制醋酸反应机理与动力学进行j,深入研究,通过合理的简化假设以及物料衡算、热量衡算建立了醋酸反应器的机理模型.合理的简化假设极大地提高了模型求解的速度,满足了实时动态仿真的要求.仿真结果表明,达到稳态时的结果能很好地逼近实际值,动态过程也能很好地反映实际过程的变化趋势,并能对非正常工况进行仿真.该模型对醋酸反应器动态特性与控制方式的研究以及全流程仿真机的开发具有重要意义.该模型已成功应用于某化工厂的醋酸反应器全流程仿真机,取得了满意效果.     

面向任务T-Petri网的舰载机出动流程仿真

为明确舰载机的出动过程,以更好地指导舰载机操作,对舰载机出动流程仿真问题进行研究。在分析舰载机出动流程共性以及Petri网优点的基础上设计了一种面向任务的综合T-Petri（Task-Petri）网模型。该模型通过对基本网进行简单扩充便可以动态仿真不同的出动任务,不仅简化了出动流程,而且可以满足舰载机出动任务的多样性建模要求,避免了重复建模的复杂性。利用T-Petri网模型对库兹涅佐夫号航母舰载机出动流程进行仿真试验,并给出了甘特图,比较直观地给出了舰载机出动流程。分析给出了舰载机出动时间计算公式,将其所得的出动时间与通过T-Petri网仿真得出的出动时间进行比较,结果表明所提出的T-Petri网模型用于仿真舰载机出动流程是可行的,且结果比较精确。     

基于GSPN的GERTS仿真模型研究

在分析维修设备保障流程建模与仿真重要性的基础上,分析了GERTS模型和广义Petri网(GSPN)模型在流程仿真中的应用特点,提出了基于嵌入式广义Petri资源约束网的GERTS仿真模型,并给出了具体的仿真算法.嵌入GSPN约束网的GERTS仿真模型,解决了GERTS难以对具有较强资源依赖性的过程很好描述的缺陷,可用于大型设备维修流程的仿真建模分析.最后,文章针对某部队对武器装备保障流程进行了建模和仿真实例分析,得出了资源配置的最优组合.并应用MATLAB对仿真结果进行了曲线拟合分析.     

基于Extend的舰船装备维修流程建模与仿真研究

通过分析一般舰船装备的维修流程,应用现有流程仿真软件Extend平台对舰船装备的维修流程进行建模和仿真。设置模型参数,根据模型运行结果分析模型设置的合理性,对维修的决策进行优化。     

基于资源共享的医疗服务流程的建模与仿真分析

针对目前患者到医院就诊等待时间长、医院内部资源利用效率低的问题,提出一种基于着色Petri网的医疗服务流程模型.利用仿真工具CPN Tools对整个医疗服务流程构建模型,在证明模型正确性的基础上对模型进行仿真分析与计算,获取患者就诊过程中各个环节的等待时间、被服务时间、医护人员的有效服务时间以及床位的有效服务时间等各项指标,最后通过对各项制约效率指标的分析,为资源进行合理调配,提高服务效率和资源利用率提供了理论依据.实验结果表明,该方法与以往就医模式相比,能够为流程重组及资源分配等各项优化措施提供事实数据,对同类研究具有一定借鉴意义.     

KBR工艺合成氨装置仿真培训系统开发

在深入分析KBR合成氨工艺特点的基础上,采用仿真模拟技术的员工培训模式,兼顾模型的机理性和仿真的实时性,利用装置设计和实际生产数据,开发了45wt/a合成氨装置全流程模拟仿真培训系统。实际应用表明:系统仿真结果的各项参数指标和生产装置设计数据的相对误差控制在5%以内,能够真实反映实际生产装置的开车、运行、停车和故障处理等生产过程,具有实用性与预防性、可重复使用与经济性、真实性与安全性等诸多特点。本系统不仅可用于仿真培训,还可帮助工艺人员对装置进行动态分析、设计检验和案例研究,具有较高的应用价值。     

某型直升机飞行性能仿真建模与验证

主要研究并建立直升机飞行性能仿真模型,在直升机动力学和运动学微分方程的基础上重点解算作用在直升机各部件上的气动力和力矩模型,建立旋翼和尾桨的气动仿真模型,对旋翼挥舞运动进行了分析研究,还考虑了平尾、垂尾、机身和重力的仿真模型。最后通过对各飞行性能指标及其验证原理方法的分析研究,验证了静态性能指标,应用标量指标法验证动态性能指标。     

轨道车辆车窗胶接缺陷的超声检测技术研究

随着轨道车辆大规模投入使用,列车特别是车窗结构的安全性成为日益关注的问题,车窗胶粘质量检测对于轨道车辆正常运行有着重要意义。采用了有限元仿真与超声检测相结合的手段,通过建立车窗胶接结构仿真模型,详细分析了超声波在胶接结构中的传播过程以及与不同脱粘长度缺陷之间的变化规律,建立了缺陷回波幅值与脱粘长度的关系模型;通过搭建超声检测实验系统,针对21mm处不同尺寸模拟缺陷进行检测,对检测数据进行分析后绘制出缺陷回波幅值与脱粘长度关系模型,结果表明：实际检测和仿真模拟缺陷回波幅值与脱粘长度关系模型结果一致,验证了该仿真模型以及缺陷幅值与脱粘长度关系模型的正确性和可靠性,为车窗胶接结构脱粘检测定量分析提供了参考模型和理论依据。     

面向全流程优化的选矿过程仿真系统研发

选矿过程的物流是各环节有机联系的纽带,进行选矿物流仿真实验研究对实现优化操作与优化控制生产具有重要的意义。面向选矿过程生产全流程的优化,为了对选矿全流程的物流与生产过程进行仿真,研究选矿过程各个单元的操作与控制对生产全流程指标的影响,建立了基于物料平衡和金属守恒原理的选矿过程物流模拟数学模型总体框架;设计开发了选矿过程物流仿真系统,包括实验软硬件平台结构、功能及其对控制与优化系统的通讯接口。该系统主要侧重其物流的仿真,及其操作与控制对选矿全流程指标(即金属回收率、精矿品位和产量等)的影响,从而为全流程优化的研究提供依据。在所开发的平台上开展了仿真实验研究,实验结果验证了所研发实验平台的有效性。     

绿色计算：内涵及趋势

绿色计算是推动科技进步和社会可持续发展的一种新型计算模式,已成为国际竞争的焦点和制高点,关系到国家政治、经济和社会安全。绿色计算涉及系统结构、系统软件、并行分布式计算及计算机网络,它以保证计算系统的高效、可靠及提供普适化服务为前提,以计算系统的低耗为目标,面向新型计算机体系结构和包括云计算在内的新型计算模式,通过构建能耗感知的计算系统、网络互联环境和计算服务体系,为日益普适的个性化、多样化信息服务方式提供低耗支撑环境。     

一种计算机电源的新模式—“三端口”容错电源

文章运用“容错”概念,提出一种计算机电源的新模式－“三端口”容错电源,用以解决绿色电源、市电停电和稳压器故障三大问题,从而极大地改善了计算机的供电质量和提高供电的可靠性,真正实现了不间断供电。作者进一步画出了系统框图和线路,阐明了工作原理,列出实验结果,从中可以看出这种“三端口”直流不停电电源良好的实际效果。文章最后举出了推广中存在的问题及解决方法。随着新技术推广,这种具有“N＋1”功能的计算机电源的新模式将在计算机各个领域得到广泛应用,产生更多更大的社会效益和经济效益。     

云计算背景下计算机安全问题及对策

随着计算机行业的不断的发展,计算机行业已经走过了许多个阶段,云计算作为一种基于互联网的计算的模式,是计算机发展的一个新阶段。云计算为大型计算环境的构架提出了一个全新的视角以及实现方式,为计算机的发展开辟了一个新领域。云计算为实现软件的按需求服务和软件的基础资源化提供了一定的可能性,同时也为计算机信息安全提供了新的挑战。     

对云计算技术及应用的研究

云计算是基于因特网的超级计算模式,也是计算机领域的第3次大的技术变革.研究了云计算的概念、技术和应用.比较了云计算的定义,提出了狭义云计算概念和广义云计算概念,分析了云计算的基本原理、系统架构模型,归纳了云计算系统的技术和部署模式,总结了云计算服务的类型,指出了云计算面临的主要问题.     

云计算时代对信息安全的影响及对策分析

云计算是一种基于Internet新兴的计算机应用技术。其远景是以互联网为基础,为广大互联网用户提供安全可靠、方便快捷的互联网服务和强大的计算能力。在云计算环境下,信息安全问题不但是云计算面临的首要问题,而且将成为决定云计算发展的规模和前景的决定性问题。通过从云计算的概念、特征和及目前已存在的问题出发,浅析云计算环境下的信息安全问题。     

高性能计算环境中间件的优化设计与实现

步入大数据时代之后,致力于解决大规模科学计算问题的高性能计算,得到越来越广泛的关注与应用。随着高性能计算机制造产业蓬勃发展,具有每秒上亿亿次浮点运算速度的高性能计算集群对高性能计算环境中间件的性能提出了更高的要求。现有的高性能计算环境中间件中,资源信息服务无法满足海量信息快速更新的需求。为了提高高性能计算环境中间件的性能,通过借鉴ETL技术,将资源信息传输方式优化为信息同步模式。优化后的信息同步模式在处理2000条作业状态更新时,延迟时间缩短90%、系统负载降低98%、网络连接数减少90%,为系统维护人员、环境用户带来更好的用户体验。     

网格计算技术及应用综述

Grid computing is a new kind of distributed computing technology and computing environment ,and also an attentive hot point of information technology in the world. It launches a space for new generation internal application,due to its supporting the complicated service efficiently and useable resource in the Internet. This paper sums up the results and applications instance in the grid computing in the world during recent years ,and then analyzes emphatically the system architecture ,components ,working principle in the grid computing and some typical grid systems ,and then discusses the problems of the large scale science computing and network service in grid computing in China,and alsopoints out the future trends.     

温湿度及加速度信号在线监测低功耗无线传感系统设计

提出一种用于在线监测工业设备自身振动信号和工作环境温湿度的低功耗无线传感器的模块化设计方法。该无线传感系统采用低功耗单片机MSP430F5438作为核心控制单元,由振动加速度检测模块、温湿度模块、射频通信模块、串口通信模块及供能模块构成。主要研究了采用高集成单元器件以低功耗运行的工作方式,实现振动信号和工作环境温湿度参数监测的设计方法,以及使监测系统满足低功耗和性能监测要求的系统的各个模块的工作模式（包括时序）和电源管理模式。使监测节点在满足在线完成实时监测以及信号传输等性能要求的基础上,降低系统功耗延长系统节点采用电池供电的寿命要求。     

基于云的计算机取证系统研究

云计算是目前最流行的互联网计算模式,它具有弹性计算、资源虚拟化、按需服务等特点。在云计算的环境中,云计算中心直接提供由基础设施、平台、应用等组成的各种服务,用户不再拥有自己的基础设施、软件和数据,而是共享整个云基础架构。这种方式直接影响了云计算环境的安全性和可用性,给云计算带来了巨大的隐患。在分析和研究云计算环境下的安全缺陷和安全威胁的前提下,提出了一种基于云的计算机取证系统的设计方案———利用计算机取证技术解决云计算环境的安全问题,同时利用云计算技术和超算技术满足传统取证对高性能计算的需求。     

奶牛发情期自动检测系统的设计

根据奶牛发情期活动量明显增加的特点,设计了奶牛计步器来采集奶牛的活动信息,计步器采集信息后通过无线传输的形式传输给上位管理机进行分析处理,帮助奶农监测奶牛的发情期以便于奶牛及时受孕.低功耗是计步器设计的关键,采取了多种措施来降低系统功耗.计步器的微处理器和无线通信模块平时置于低功耗模式,信息采集与无线通信是通过中断方式实现的,振荡电路辅助通信模块完成无线信息传输.通过实验室及奶牛场现场实验,计步器计数正确率在99%以上.