论文部分内容阅读
山西省政府对今年政府性债务审计整改工作高度重视,省长王君在整改情况报告上批示:"要高度重视,进一步加强整改,认真研究落实"。受省人民政府领导同志委托,省政府副秘书长崔国红于10月21日主持召开由各市政府领导及有关部
山西进一步深化政府性债务审计查出问题的整改工作
【摘 要】
：
山西省政府对今年政府性债务审计整改工作高度重视,省长王君在整改情况报告上批示:"要高度重视,进一步加强整改,认真研究落实"。受省人民政府领导同志委托,省政府副秘书长崔国红于10月21日主持召开由各市政府领导及有关部
【出 处】
：
审计月刊
【发表日期】
：
2011年12期
其他文献
Petri网是对分布式系统进行分析和建模的图形化工具,它在系统出现并发、冲突和同步等现象时具有很强的描述模拟能力。提出了一种带监督弧的Petri网扩展模型,引入监督弧使复杂的Petri网模型变得简化,而且有利于Petri网模型的模块化设计。最后研究了带监督弧的Petri网应用并作了相应实验仿真,结果验证了监督弧的有效性。
期刊
S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。
期刊
在复杂产品协同仿真中,将涉及总体、控制、气动、结构、电气系统等多学科领域模型,不同的仿真系统运行于不同的操作系统,TH_RTI是以HLA1.3规范为蓝本开发的运行支持系统,实现了HLA规范的标准接口。TH_RTI无法满足不同操作系统中仿真成员的互操作。在TH_RTI的基础上,提出了一种支持异构操作系统的运行支撑系统HOS_RTI,对原有的TH_RTI进行跨平台移植,HOS_RTI可以实现对异构操作
期刊
仿真资源包含了模型、数据、文档等建模与仿真领域内所有的资源,是分布式仿真环境的核心,是实现建模与仿真资源重用性和提高仿真应用系统开发效率的重要支撑。元数据的管理是仿真资源管理的基础和重要内容。在介绍元数据概念的基础上,研究了基于XML Schema的元数据描述规范、给出了一种仿真资源元数据管理的实现技术。
期刊
目前仿真资源共享技术滞后于共享需求的现状制约了仿真的发展,资源共享迫切需要新的架构。近年来发展迅猛的网络和云计算技术为仿真资源共享提供了新的思想和技术。通过详细分析网格计算与云计算技术应用于仿真资源共享的优缺点,并根据优势互补的原则研究了两种技术的混合模式,提出云内共享和云间共享两类混合模式的仿真资源共享架构,并对两种架构的技术实现进行了分析和比较,重点研究了基于VO(Virtual organi
期刊
云计算是通过分发计算资源到大量的分布式计算机,这些计算机可以是远程的计算机或服务器,这就涉及到如何动态获取服务资源的最优方法。而Petri网和进程代数二者都是关注于系统动态行为的形式方法,因此将二者合并,可以对云计算动态获取服务资源进行性能分析,并在此分析基础上,得到资源最优选择方案。首先对云计算模型建立随机petri网模型,并对该随机petri网模型着色。其次,在文献[2]提出的SPA的基础上对
期刊
作为一个基于网络以面向国防应用为主的系统,分布仿真系统对数据的安全性提出了很高的要求。从提高数据的安全性的角度出发,针对HLA(高层体系结构)仿真系统的数据加密技术进行了研究,简要介绍了加密算法及其算法实现的主要流程,并针对已有的DES(数据加密标准)算法进行了改进,提高其可靠性,并给出了各算法加密性能比较。最后,总结出一套完整的分布仿真系统数据加密等级标准,对于保证分布仿真系统的安全性具有重要的
期刊
8月9日,江西省政府召开2010年度省级预算执行和全省地方政府性债务审计查出问题整改工作会议。省委副书记、代省长鹿心社到会并作重要讲话,副省长孙刚主持会议,省政府秘书长谭晓林出席会议。11个设区市政府和24个省直有关部门主要负责人参加会议,省人
期刊
本刊讯1月18日,中央纪委惩治和预防腐败体系建设工作领导小组召开第七次会议,听取中央纪委监察部机关有关厅(室、局)落实2010年度惩防体系建设工作情况汇报。中共中央书记处书记、中央纪委副书记、中央纪委惩治和预防腐败体系建设工作领导小组组长何勇主持会议并讲话。
期刊
一、信息化对政府审计的影响(一)更新了审计理念。随着科学技术的迅猛发展,信息技术应用达到了普及化,信息数据传输做到了数字化,信息交流实现了全球化,也使得以手工审计为主的、以审查被审计单位的会计账簿和相关经济活动为主要方式的政府审计工作遇到前
期刊