工作流管理系统业务约束的研究

目前，工作流管理系统得到了广泛的应用，但现有的工作流管理系统只能模拟业务流转逻辑，缺少对业务约束的模拟。鉴此，本文提出了工作流管理系统业务约束的概念，建立了业务约束模型，并给出了整合业务约束和业务流转逻辑的方案。并提出了在已有工作流管理系统中实现业务约束的方案。     

基于用友ERP-U8.72的生产管理系统

随着市场经济的发展,根据不同用户的要求和订货合同交货期而灵活安排产品的生产模式使得生产管理工作更加复杂和困难,需要引进科学的生产管理系统。基于用友ERP-U8.72的生产管理系统以用友ERP-U8.72作为软件平台从客户订货、排程业务、采购业务、委外业务、生产业务、销售发货、制单与期末处理等方面完成了企业生产管理过程。     

基于Petri网的人力资源管理的模型设计

讨论了工作流管理系统中Petri网建模技术的基本特点，并利用Petri网建立了企业生产管理中人力资源管理的模型。该模型可作为工作流管理系统中的一个子模型，一旦企业的业务过程发生了变化，用户可通过面向对象的Petri网对业务过程的流程进行修改，修改后的流程将自动地应用在工作流管理系统中。此模型满足了企业建立特定资源模型的需要，实现了业务流程重组的要求，具有适用性和灵活性，为人力资源的自动化办公提供了方便。     

规则引擎在制造企业MES中的研究与应用

在当前制造企业的制造执行系统（MES）中，存在大量灵活多变的业务规则，这大大增加了这些企业MES的实施难度。传统的MES系统把业务逻辑和代码逻辑混杂在一起，使得企业的生产策略和业务逻辑不能灵活改变以适应现实情况。该文通过在MES中引入业务规则管理系统（BRMS），利用规则引擎及相应的规则语言，针对企业需求制定业务规则，把程序代码和业务规则分离开来，使企业根据市场需求灵活调整企业生产方针，加快了MES系统的开发、升级、维护过程，增强了MES系统的灵活性和适应能力。     

基于BRMS的“旅游一卡通”计费系统的设计

对业务规则管理系统技术进行了介绍，并从“旅游一卡通”计费系统这个需要大量业务规则的应用领域出发，对业务规则管理系统技术的应用进行了研究与设计。提出了一个适合该系统的业务对象模型，并对如何根据业务对象模型，提取目前以参数化和程序形式“固化”在计费系统的业务规则进行了论述。     

烟草行业八大投资重点

1 卷烟生产经营决策管理系统 建立行业数据交换体系，通过打扫码，数据库联机方式自动采集行业生产经营基础数据，利用数据仓库技术体系，构建行业业务指标体系和数据分析模型，建立国家局数据中心。在此基础上，以R1应用集成体系为核心，实现国家局分析展现应用的界面集成和业务集成。     

电力生产管理系统业务支撑平台

本文介绍了当前电力生产管理系统的建设需求,并充分考虑业务的未来发展,分析了业务系统的建设对业务支撑平台的诉求,基于此阐述了业务支撑平台的定位和特点,最终对业务支撑平台的设计思想和实现思路进行了详细论述．     

工作流引擎中通信适配系统的设计与应用

现代企业资源具有分布式、异构性、跨领域协同工作等特点,工作流管理系统中各种业务系统的远程接入和通信适配已成为企业和机构协同办公的主要瓶颈。首先针对不同类型业务接口间接入和通信适配的需求,提出了一种跨平台工作流管理系统体系结构;然后设计并实现了工作流管理系统中能够完成不同接口间转换的通信适配系统。最后将设计的通信适配系统应用到安全生产监督管理平台中,不仅满足了关键业务分布式、跨组织的特点,同时保证了业务执行的高效性和统一性。     

基于JAVA的业务规则管理系统设计和开发

介绍了业务规则管理系统的概念,建立了业务规则管理系统模型,对业务规则管理系统所涉及的规则文件、业务数据对象、规则定制器、规则引擎和在线管理的技术作了深入讨论。在此模型的基础上使用JAVA语言开发了一个业务规则管理系统VRules。     

基于MDA的工作流管理系统开发研究

在工作流管理系统建设中，存在业务系统的新增和改造需求。如何优质高效的实现相应业务系统的建设，本文通过 引进 MDA 给出了解决的答案。并通过一个客户管理系统给出实现的案例。     

用VHDL-AMS进行概念设计

ＶＨＤＬ－ＡＭＳ是ＶＨＤＬ向模拟和混合信号领域的诉展,ＶＨＬＤ－ＡＭＳ为设计者提供了在概念级处理复杂系统的能力,随着ＶＨＤＬ－ＡＭＳ的标准化,将诞生处理复杂的模拟和混合信号模型的有效的模拟器,文中介绍了ＶＨＬＤ－ＡＭＳ模拟扩展的主要内容,展示了一个混合模式模拟环境,并给出了模拟解算器的构成,讨论了连续和离散模拟的同步问题;用４个例子说明ＶＨＤＬ－ＡＭＳ在概念设计中的应用。     

一种基于反向确认的DDoS攻击源追踪模型

在分析高级随机包标记算法(AMS)的基础上,提出了一种基于反向确认的攻击源追踪模型,该模型不再需要AMS过强的假设前提。同时为了弥补其他自适应算法的不足,提出一种自适应边标记算法。理论分析和实验结果证明该算法不仅收敛时间短,而且比AMS算法更稳定。     

Deadlock Resolution in Automated Manufacturing Systems With Robots

An automated manufacturing system (AMS) contains a number of versatile machines (or workstations), buffers, and an automated material handling system (MHS). The MHS can be an automated guide vehicle (AGV) system, and/or a system that consists of multiple robots. Deadlock resolution in AMS is an important issue. For the AMS with an AGV system as MHS, the problems of deadlock resolution for part processing process and AGV system as an integrated system has been studied. It is shown that AGVs can serve as both material handling devices and central buffers at the same time to help resolve deadlocks. For AMS with robots as MHS, the existing work treated the robots just as material handling devices and showed that the robots had contribution to deadlock. In this paper, such AMS is modeled by resource-oriented Petri nets. Contrary to the existing work, it is shown that the robots have no contribution to deadlock by adopting such nets to control AMS. More interestingly, they can be used to resolve deadlock by serving as temporary part storage devices. A new deadlock control policy is proposed by treating robots as both material handling devices and buffers. The new policy outperforms the existing ones.     

基于多维伪随机序列的高级包标记策略算法

高级包标记策略（AMS）是对分布式拒绝服务（DDoS）攻击进行IP追踪的有效算法,但是,由于使用哈希函数实现边地址的压缩,AMS算法存在复杂度高、保密性差、误报率高等缺陷。为了提高追踪效率,设计了一种基于多维伪随机序列的AMS算法：一方面,在路由器上,以全硬件实现的边采样矩阵代替原有的哈希函数,完成IP地址的压缩编码;另一方面,在受害者端,结合边地址压缩码和边的权重计算过程,实现攻击路径图的输出。仿真实验中,基于多维伪随机序列的AMS算法与原始算法性能基本一致,但能有效减少误判的发生和快速判断伪造路径。实验结果表明,所提算法保密性能高,计算速度快,抗攻击能力强。     

基于混合自动机的PSL模型研究

基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题。通过分析PSL(property specification language)对系统属性的形式化描述方法,并分析混合自动机理论对混合信号系统抽象能力,提出了适合于混合信号电路系统快速验证的PSL模型。结合混合自动机对PSL进行了基于混合自动机语义特点的扩展,使用巴克斯—诺尔范式对其拓展后语法进行规范,提出具有描述混合信号电路行为特性的HAPSL(hybrid automata-base     

模拟和混合信号系统的VHDL-AMS建模方法

VHDL—AMS语言为模拟和混合信号系统设计提供了统一的建模和模拟方法．介绍了VHDL—AMS语言支持的建模特征和基本语法元素，分析了基于该语言的模拟及混合信号系统建模方法方面的问题，包括模拟系统的守恒系统建模方式和信号流建模方式、系统方程与变量的对应关系以及混合信号机制．通过实例分析，验证了VHDL-AMS语言的功能和文中的建模方法．     

VHDL-AMS模拟中预定义属性的计算

VHDL－AMS是混合信号系统的行为级建模和模拟语言，其中预定义属性的计算是模拟的重要方面。讨论了计算所有新增属性的4种方法，简介了其中基本方法－－直接计算法和列方程计算法，重点介绍了列方程计算与直接计算的结合法和将属性转化为BLOCK语句计算的解决方法。大晒实验结果表明：文中方法可以高效、精确地计算语言新增的所有预定义属性。     

MIDP2.0中AMS对MIDlet生命周期控制的设计与实现

本文首先对MIDP2．0和AMS进行了简要介绍。然后对MIDlet的生命周期展开了详细的讨论。最后通过对几个协同完成控制功能的类的分析,描述了AMS对MIDlet生命周期控制的设计和实现。     

AMS: a declarative formalism for hierarchical representation ofprocedural knowledge

This paper presents a domain-independent formalism, called Activity Manager System (AMS), for the explicit, hierarchical representation of procedural knowledge. The formalism is able to: (1) describe procedures at a reasonable level of complexity and completeness; (2) generate dynamically procedures at different levels of abstraction; (3) organize knowledge hierarchies by means of abstract entities; and (4) allow knowledge reusability at different levels of abstraction. AMS uses the notions of activity, activity network, state, and memory organization packet for activities (MOPA) to represent abstractions, and it allows the user to model an application in a hierarchical manner. The advantages and limitations of AMS are also discussed     

一种新的攻击源定位算法NA

在对目前有代表性的攻击源定位算法进行分析的基础上，将边标记方法与结点标记方法进行有机地结合，提出了一种攻击源定位算法NA。该算法在保持较小开销和较高效率的前提下，具有更高的精确度。给出了详细的算法分析以及仿真结果。