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)的建设是医院信息系统的重要组成部分和主要发展方向,本文综合介绍了医学影像系统的有关技术发展趋势,实现方法和各医院及卫生管理部门所关注的问题.     

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

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

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

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

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

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

一个实用的地图着色算法

给出一种计算机实现地图四色着色的算法,并以Ｐａｓｃａｌ语言编制了程序．该程序稍作改动,即可成为分块图形实现四色着色的通用程序．     

GPS技术在水利工程中的应用

使用GPS技术进行测量工作,速度快精度高,具有传统测量方法无法比拟的优点,该项技术在安徽省长江防汛、河道治理、水资源合理开发利用过程中发挥着重要作用。     

PowerBuilder和MapInfo的集成开发技术

本文介绍了客户/服务器开发工具PowerBuilder和桌面地图信息系统MapInfo集成开发的基本方法，重点讨论了集成开发中的一些关键技术的实现方法。