流程工业拟实优化调度系统

流程工业生产调度是典型的多工序、多约束、多目标的调度问题,实现优化调度非常复杂。在分析调度建模问题的基础上,提出了拟实优化调度思想和流程工业拟实优化调度原理。给出了流程工业拟实优化调度系统框架及其系统分析设计方法。实现了基于可视化生产系统建模、优化求解、过程模拟、过程监控等为一体的流程工业优化调度。在制药企业的实际应用表明,该系统建模简单、提高了生产调度能力和生产效率。     

多学科流程集成及实验设计系统研究与实现

复杂工程系统的设计是多学科交叉综合设计优化决策过程,针对这个过程,设计并开发了基于组件的多学科流程集成与实验设计系统,为复杂工程系统方案设计和仿真试验提供了支撑。与现有多学科系统相比,本系统具有的特点或优势有:1)摒弃项目管理的方式,采用流程与实验设计混合模型存储,方便模型的管理;2)采用多线程技术,实现了流程的组件并行调度和实验设计各实例的并行调度;3)采用动态任务调度技术,实现了实验设计调度过程的自动调度与交互控制相融合的灵活控制方式。     

BPEL到PNML文件转换框架的设计与实现

针对Web服务组合流程的Petri网自动建模问题,以Web服务组合流程为研究对象,采用BPEL4WS作为Web服务组合流程描述语言,设计并实现一个BPEL文件到PNML(Petri Net Markup Language)文件的转换框架,自动实现Web服务组合的Petri网建模。该框架利用XSLT实现基于XML的BPEL文件到PNML文件的转换,转换结果导入到支持PNML的Petri网工具,自动完成Petri网建模。结合一个Web服务组合实例,验证该框架的有效性。     

基于Petri网的Web服务BPEL4WS建模与分析

描述了Web服务业务流程执行语言(BPEL4WS或BPEL)的Petri网建模方法，利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上，提出了一个利用Petri网的逐步求精技术对流程进行建模的算法。然后结合具体实例阐述了利用该算法建模的详细过程，并对所生成的Petri网模型进行了完整性（soundness)验证     

BPEL建模工具中业务流程模型到BPEL程序的转换算法

BPEL是IBM、Microsoft和BEA联合提出的一种基于WebServices的业务流程执行语言。已有的许多BPEL图形编辑工具其建模图元与BPEL元素基本一一对应,过于偏向BPEL技术细节,与业务人员所熟悉的业务流程分析、开发和处理还存在一段距离。文章实现的面向服务的流程建模工具软件JSBPEL,通过更加面向业务人员的建模模型,屏蔽BPEL技术细节,提供业务流程的可视化建模、自动生成BPEL代码和部署的完整功能。其中业务流程模型到BPEL程序的转换算法是该工具的核心内容。     

BPEL服务组合优化架构

针对当前服务组合存在的问题,提出了一个基于BPEL的服务组合优化框架。框架主要包括分布式UDDI服务注册中心,BPEL设计器,服务组合解析模块,服务组合优化模块等。从平台框架的提出设计到平台的实现贯彻了SOA的设计思想,优化服务组合,提高运行效率。     

时间Petri网在即时检验流程建模中的应用

针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。     

流程工业计划调度技术研究与发展分析

计划调度系统是企业生产活动的组织和管理中心,是提高企业综合效益的有效途径,该文分析了流程工业计划调度系统特征,全面深入地研究了生产计划与调度问题的模型框架及求解技术,并针对目前流程工业计划调度研究中存在的问题,从系统结构、建模优化、智能求解等方面提出了流程企业计划调度技术的发展趋势,为流程企业的生产优化组织与运作提供了方法论的指导。     

面向分级设计优化的飞行器参数化建模方法

针对飞行器气动隐身外形综合设计优化问题,提出合适的面向分级设计优化流程,建立适应该流程的渐进分层参数化建模方法;用基于敏度分析的参数影响程度分析方法筛选复杂设计变量;采用多学科设计优化（Multidisplinary Design Optimization,MDO）理论和差分进化算法进行飞行器气动隐身外形的综合设计优化.将该方法用于某飞行器外形设计优化,结果表明：该方法合理可行,可为飞行器外形多学科设计优化提供一定参考.     

基于商业流程执行语言的工作流管理系统的研究和实现

Web服务的商业流程执行语言(简称BPEL4WS或BPEL)是一种基于XML的工作流定义语言,可以作为企业工作流建模和实现工作流管理系统的基础.本文首先介绍了工作流和BPEL4WS的基本概念,然后由一个例子具体介绍了BPEL4W的流程,最后给出了基于BPEL4WS工作流管理系统的实现.     

ANALOGY AND METAPHOR AND SYSTEMS AND CYBERNETICS METHODOLOGY

Systems and cybernetic methodology have traditionally drawn upon the concepts of analogy and metaphor. These are, however, contentious on both philosophical and practical grounds. The work we present in this paper mostly aims to overcome the philosophical difficulties by uncovering the basic principles of analogic modeling and by showing how these can complement inductive and deductive reasoning. Analogy and metaphor are then shown to be complementary and can be considered to be on one spectrum, from creative metaphor to the more formal approach of analogy. Contention on practical grounds is allayed as the role of analogy and metaphor in systems and cybernetic methodology is outlined.     

VR、AR和MR-挑战与机遇

用户和计算机间的人机交互(HCI)不再仅仅局限于通过键盘和屏幕实现,而是在被虚拟现实VR(Virtual Reality)所逐步取代。VR的影响跨越HCI,使得整个计算机系统发生了变化。但是,众多词汇和概念困扰着大家,诸如虚拟环境、虚拟世界、虚拟现实VR、增强现实AR(Augmented Reality)和混合现实MR(Mixed Reality)等。因此急需辨清,以便促进虚拟现实的发展与应用。分析虚拟现实的由来和内涵,对VR/AR/MR给以清晰的定义和界定。对VR/AR/MR的特点和用途、关键技术支持、相关的建模技术、软件设计与工程及若干应用等进行深入的剖析,并对虚拟现实的发展趋势、挑战与机遇进行了分析和探讨。     

联系的概念,实现及其应用

联系表示对象间的关系，对数据库及客观世界而言，是一种有很用的建模结构。     

比较分析CPU超线程技术与双核技术的异同

超线程技术和双核技术是CPU发展历程中的重要技术。超线程技术把一个物理处理器模拟成两个虚拟的处理器,减少执行单元和一些资源的闲置时间,提高CPU的利用率。双核技术是将两个物理处理核心封装在一个CPU中,提高程序的执行效率。介绍CPU的基本模型,分析超线程和双核的技术原理,并从系统架构、并行程度和提升的效率三个方面比较它们的异同点。     

电力设备状态检修及计算机辅助分析预测

以近年来我国电力企业设备检修实践为基础，从状态检修管理体制、人员素质和技术检测手段等几个方面阐述了在向状态检修模式迈进的历程中所采取的措施、设想和面临的困难及解决的思路，并论述了计算机技术在其中的应用。     

曲线曲面的形态算法及应用

从积分几何中的概念出发,证明了凸体形态和运算的一个重要性质： Ｆ（ Ｓ,ｕ）＝ Ｆ（ Ａ,ｕ） Ｆ（ Ｂ,ｕ）,从而将两物体的形态和归结为法矢相同的点集的形态和,并提出法矢球的概念,将物体表面各点的法矢顺序对应至球,即得到该物体的唯一法矢球表示,通过对法矢球的合并,则得到两物体的形态运算结果,在理论上统一了二维、三维实体的形态运算,并给出二维、三维曲线、曲面的具体形态算法．此外还给出曲线、曲面形态算法的具体应用,如扫成曲面造型、字型合成、非刚体运动的广义内插等．     

一个数字认证签名系统的设计与实现

介绍了一种数字认证签名算法,用该算法设计实现的系统可用于对抗信息的冒充、篡改、重发等攻击。     

曲线曲在的形态算法及应用

从积分几何中的概念出发,证明了凸体形态和运算的一个重要性质,Ｆ（Ｓ,ｕ）＝Ｆ（Ａ,ｕ）＋Ｆ（Ｂ,ｕ）,从而将两物体的形态和归结为法矢相同的点集的形态和,并提出法矢球的概念,将物体表面各点的法矢顺序对应至球,即得到该物体的唯一法矢球表示,通过地法矢球的合并,同得得到两物体的形态运算结果,在理论上统一了二维、三维变体的形态运算,并给出二维、三维曲一、曲面的具体形态算法,此上不咄曲线、曲面形态算法的具体     

应用轮廓波和ICA的掌纹去噪与识别

在掌纹识别的实际操作过程中,不可避免地会受到噪声的影响,为了增强掌纹图像信息,需要去噪。轮廓波变换能够便捷地描述自然图像中的方向和纹理信息,掌纹图像纹理信息丰富,所以应在掌纹识别中引入轮廓波去噪,以突出纹理特征,进而提高识别率。提出基于轮廓波去噪的ICA(Independent component analysis)掌纹识别算法,先对掌纹图像进行轮廓波去噪,利用ICA实现掌纹特征提取与识别。基于香港理工大学掌纹数据库的仿真结果显示,轮廓波去噪方法的识别率高于小波去噪方法,说明这种方法具有一定的理论研究意义和实用价值。     

基于博弈论的网络攻防策略与主动防御研究与实验

网络安全是因特网研究的重要内容,传统网络安全采用被动防御为主。结合主动防御的需求,提出网络防御图模型、攻防策略分类,以及一种基于博弈理论的攻防策略,并设计基于上述模型的最优主动防御选取算法。最后通过实例模拟证明了该模型的科学性和有效性。