论文部分内容阅读
8月9日,江西省政府召开2010年度省级预算执行和全省地方政府性债务审计查出问题整改工作会议。省委副书记、代省长鹿心社到会并作重要讲话,副省长孙刚主持会议,省政府秘书长谭晓林出席会议。11个设区市政府和24个省直有关部门主要负责人参加会议,省人
江西省代省长鹿心社强调 扎实抓好审计整改,建设人民更加满意的政府
【摘 要】
：
8月9日,江西省政府召开2010年度省级预算执行和全省地方政府性债务审计查出问题整改工作会议。省委副书记、代省长鹿心社到会并作重要讲话,副省长孙刚主持会议,省政府秘书长谭晓林出席会议。11个设区市政府和24个省直有关部门主要负责人参加会议,省人
【出 处】
：
审计与理财
【发表日期】
：
2011年08期
其他文献
逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。
期刊
协同设计技术广泛应用于航天、船舶等重要军工领域,协同设计过程具有数据驱动,多层次,多状态等特点,目前仍缺少协同设计形式化过程模型,给不同学科、行业、部门之间的协同交互带来了很大的困难,因此有必要建立一个协同设计过程的形式化模型。给出了一个层次化的有色Petri网来描述协同设计过程,并根据协同设计过程特点,给出了不同的触发规则,刻画了任务的不同状态,并在此模型的形式理论基础上,开发了一个数据驱动工作
期刊
Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。
期刊
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(数据加密标准)算法进行了改进,提高其可靠性,并给出了各算法加密性能比较。最后,总结出一套完整的分布仿真系统数据加密等级标准,对于保证分布仿真系统的安全性具有重要的
期刊