论文部分内容阅读
针对计算机审计工作,结合工作流和Petri网方法,建立了一套审计工作流模型。引入了化简的验证方法,并通过化简,对模型进行了正确性验证。利用Petri网的方法,可以降低实际进行计算机审计工作的难度,为审计软件的开发提供了很好的支持。
基于Petri网的审计工作流模型设计与验证
【摘 要】
：
针对计算机审计工作,结合工作流和Petri网方法,建立了一套审计工作流模型。引入了化简的验证方法,并通过化简,对模型进行了正确性验证。利用Petri网的方法,可以降低实际进行计算机审计工作的难度,为审计软件的开发提供了很好的支持。
【机 构】
：
天津科技大学电子信息与自动化学院,天津科技大学电子信息与自动化学院天津300222,天津300222
【出 处】
：
计算机应用
【发表日期】
：
2006年S2期
【基金项目】
：
天津市高等学校科技发展基金项目(20041612)
其他文献
通过对保定市9个不同职业200多职工参与健身活动的现状进行调查,分析表明,保定市职工对健身重要性的认识逐步提高,健身意识日趋增强,健身投资呈越来越大的趋势;政府及有关体
笔者从社会学角度出发,依据我国高校体育教育专业课程设置的现状,分析了体育课程现代化与体育教育现代化的关系,并对体育课程现代化从体育课程体制、体育课程的结构和内容、
竞技的源起是多元的,除了与宗教祭祀相关以外,还与战争、狩猎等行为有着密切的联系.现代竞技与传统竞技在审美功能上已有很大的不同,除了观赏娱乐之外,审美内涵观照的对象主
【正】3月22日至25日,中共中央政治局委员、中央书记处书记、中宣部部长刘云山在山东省调研文化体制改革情况。调研期间,刘云山部长来到大众报业集团视察,并参观了大众日报报
在研究DCOM远程对象调用的基础上,提出了一个基于对象远程过程调用的W ebServices实现方式,实现了W eb Services的远程对象访问。该实现方法不仅可以同一般的W ebServices访问方式兼容,而且在需要客户验证的情况下,可以有效减少客户验证和网络负担,还能减小客户验证信息被攻击的风险。
应用阻力与速度的平方成正比定律[1][2],审视在竞赛速度条件下游泳体位与打腿配合技术.认为身体水中姿态与打腿技术的合理性与否在于通过技术动作所产生的推进阻力纯值的大小
大量研究表明AdHoc网络中TCP的性能非常差,这主要是由于TCP的拥塞控制机制不能有效地解决由共享信道竞争造成的分组丢失问题。文中提出了一种根据TCP发射端MAC层的RTS重发次数,来自适应地调整TCP的最大窗口大小的跨层方法,以控制网络中分组的数量,减小信道竞争。仿真结果表明,该方法能够显著地提高TCP的吞吐量,并改善其稳定性。
通过对西安体育学院与肯尼亚肯亚塔大学体育系男生58人、13项身体形态测试与对比研究,表明中肯两国体育系学生身体形态存在着明显差异,体育竞技能力存在着不同的优势.
背向掩护是篮球比赛中一种新兴的较为实用的战术配合方法,在NBA中经常被采用,近年来在CBA比赛中也有出现.背向掩护具有掩护环节少,不易犯规和掩护后期视野宽的优势,从而获得