Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

解析系统漏洞扫描的两大类型

漏洞扫描是对重要计算机信息系统进行检查，发现其中可能被黑客利用的漏洞。漏洞扫描的结果是对系统安全性能的一个评估，它指出了哪些攻击是可能的，因此，其成为安全方案的一个重要组成部分。目前，漏洞扫描，从底层技术来划分，可以分为基于网络的扫描和基于主机的扫描这两种类型。     

再论汉字改革

汉字改革经历了一个漫长的历史阶段，从清末到中华人民共和国成立，先驱在汉字改革方面进行过多种尝试。但作为表意体系的汉字，它具有很强的生命力，汉字本身有着表音字不可替代的字理，所以它很难用字母字代替，只能作一些局部的整理、简化工作，作为炎黄子孙，我们应该把汉字传承下去，用它更好地为世界服务。     

信息系统评价中常见的问题与对策分析

不论是在发达国家还是在发展 中国家,信息系统项目建设 的成功率都远不及其它建设项目,曾 有IT黑洞之说。由此,信息系统项目 建设中存在的问题日益为人们所重视。 通过分析案例,人们发现造成信息系 统建设失败的原因纵然有很多,但是, 几乎每个失败的案例都和缺乏及时必 要的评价有很大关系。于是,信息系     

医院医学影像系统的建设

目前我国许多医院已经完成了面向管理的医院信息系统的建设,关注的热点已经逐步由以经济核算为中心转向以医疗及患者服务为中心的信息系统的建设,医学影像系统(Picture Achieving and Communication System简称PACS)的建设是医院信息系统的重要组成部分和主要发展方向,本文综合介绍了医学影像系统的有关技术发展趋势,实现方法和各医院及卫生管理部门所关注的问题.     

面向不完备单值中智信息的三支决策模型

首先,给出了单值中智信息系统和不完备单值中智信息系统的概念,在此基础上,利用平均值法将一个不完备单值中智信息系统补全为完备的单值中智信息系统;然后,基于补全的单值中智信息系统给出了对象间的相似度的定义,进一步建立了面向不完备单值中智信息的三支决策模型;最后,通过例子阐述了模型的具体应用,并讨论了模型中的参数对决策结果的影响.     

西文状态下汉字图形用户界面的设计

本文讨论了在西文操作系统下汉字图形界面的实现方法,以及在这类程序中的输入控制技术。     

五邑大学财务信息系统的设计与实现

基于五邑大学财务管理工作的实际情况,提出了我校财务信息系统的设计思想,包括系统功能模块结构、各模块的主要功能与特点等。并就目前实施现状提出今后的发展计划。     

交通事故技术鉴定辅助信息系统的研究与开发

本文介绍了“交通事故技术鉴定辅助信息系统”的设计思想、主要功能、系统的结构设计和分类码设计,并就交通事故处理的特殊要求结合数据库技术的特点,对“交通事故技术鉴定辅助信息系统”中的数据库模型和事故车辆车速再现模型进行了阐述。“交通事故技术鉴定辅助信息系统”的研制开发适应了交通事故处理工作向着科学化、现代化方向发展的需要,提高了交通事故处理的准确性和科学性,为交通事故处理和逃逸案件的侦破提供了完备的技术资料和分析依据,有助于提高交通事故处理部门的工作效率。