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

铜发光中心的分布和位错显微结构的关系

本文作者根据显著观测和发光光谱的测试结果表证实了在ＺｎＳ：Ｃｕ单晶中，蓝色铜发光中心及绿色铜发光中心的分布和位错线区域的横向与纵向的显著与纵向的显著结构有着固定的对应关系。     

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

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