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…     

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

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

关于Riemann积分的几点注记

用初等的方法证明了[a,b]上的Riemann可积函数的连续点在[a,b]上是稠密的，并在应用上出了积分中值定理的简洁证明。     

传统文化与城市的重构及整合研究

通过对传统文化与城市的重构、整合相互关系的历史研究,从中发掘城市发展的文化脉络,指出传统文化格局的变迁,表现在意识形态领域,落后文化吸纳先进文化,促进城市形态的变更。在城市的重构、整合方面,旨在为现代的城市设计提供可鉴之路。     

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

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

医院医学影像系统的建设

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

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

杨庄煤矿塌陷湖水资源勘查计算

通过对塌陷湖的实地勘查,运用水均衡原理,计算出该湖可供开采的水资源,认为该塌陷湖可作为淮北市供水后备水源地之一。     

广义线性系统的输出反馈和极点配置

研究了广义线性系统的输出反馈和极点配置问题。引入“正常化”概念,从而推导出类似于正常线性系统有关输出反馈和极点配置问题的一些重要结论。