工作流系统时间管理

时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.  

A machine-vision system for iris recognition

This paper describes a prototype system for personnel verification based on automated iris recognition. The motivation for this endevour stems from the observation that the human iris provides a particularly interesting structure on which to base a technology for noninvasive biometric measurement. In particular, it is known in the biomedical community that irises are as distinct as fingerprints or patterns of retinal blood vessels. Further, since the iris is an overt body, its appearance is amenable to remote examination with the aid of a machine-vision system. The body of this paper details the design and operation of such a system. Also presented are the results of an empirical study in which the system exhibits flawless performance in the evaluation of 520 iris images.  

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  

基于支持向量机的计算机键盘用户身份验真

口令认证因为简便易实现而被大多数计算机系统所采用，但容易被盗用，存在着严重的安全隐患，而利用对用户的键入特性的识别，可以大大加强口令认证的可靠性，在对国内外众多学者所做工作研究的基础上，鉴于支持向量机在进行模式识别对所具有的优良性能，提出利用支持向量机进行键入特性验真，并通过实验将其与BP，RBF，PNN和LVQ四种神经网络模型进行比较，证实采用SVM进行键入特性验真的有效性，因而其具有广阔的应用前景。  

工作流过程建模中的形式化验证技术

工作流过程建模是一个复杂且易错的过程．若过程定义在投入运行之后被发现有错，则修复错误的代价相当高，这个问题引起了研究界和工业界的高度重视．因此，在建模阶段进行有效的过程验证是十分必要的．综述了工作流过程验证技术的发展现状，包括强调验证的重要性，叙述了需要验证的问题和复杂度；介绍了对验证方法的要求；讨论了过程合理性验证和化简验证技术等；并通过对研究现状的分析和对比，提出了仍然没有解决的问题和将来的工作．  

基于数字签名方案DSS/DSA的几种应用方案

随着计算机和网络通信技术的发展，数字签名技术得到了广泛的应用。文中以美国数字签名标准ＤＳＳ／ＤＳＡ为基础，设计了群体数字签名，数字签名的（ｔ，ｎ）共亨认证以及远程口令认证３种应用方案，即体数字允许多人分别签署同一份文件，然后所有的个体签名组成同一份群体签名。  

安全协议的验证逻辑

该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则,举例说明了这一逻辑框架在验证安全协议方面的应用,并讨论了需要进一步解决的问题.  

需求分析的常见问题及其对策分析

基于对若干MIS系统的调研结果，总结了需求分析中常见的问题，并根据不同性质的问题提出了一些对策，还对几个优秀的需求分析管理软件进行了分析比较。最后强调了人员素质和团体合作性在需求分析过程中的人文作用。  

提高数控加工仿真速度和效果的关键技术研究

提出了三角网格模型局部重绘的顶点搜索算法，以提高数控加工动态仿真的速度和效果．每仿真一条加工代码，先为所有被改变的三角片构造一个略宽的包围盒，然后通过对该包围盒内部的像素点，以及沿，方向从包围盒上下两条边出发对它外部的像素点进行搜索，获得完全或部分位于包围盒内的三角片所对应的顶点，并依此重绘这些三角片．在此基础上改进了本单位自主研制的机械CAD/CAM系列软件中加工仿真软件的功能，并通过对比测试，表明在仿真速度和效果两方面接近国外主流商业仿真软件．  

一种基于Petri网化简的工作流过程语义验证方法

过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势.