论文部分内容阅读
首先分析了并行程序的特点,在此基础上,提出并行程序设计的若干Petri网方法.这些方法在一定程度上有助于减少或避免一些逻辑错误的出现,从而减轻了程序验证的负担.最后通过例子显示了这些方法的作用.
基于PN的并行程序设计方法
【摘 要】
：
首先分析了并行程序的特点,在此基础上,提出并行程序设计的若干Petri网方法.这些方法在一定程度上有助于减少或避免一些逻辑错误的出现,从而减轻了程序验证的负担.最后通过例
【机 构】
：
中国科学院计算技术研究所国家智能机中心,北京,100080
【出 处】
：
高技术通讯
【发表日期】
：
1998年1期
其他文献
铁路非运输企业作为铁道部所属的多种经营单位,由于受到铁路整体改革滞后的影响,内部控制体系存在着一些问题.在目前国际国内经济瞬息万变的时代,为了防范经营管理中的各种风
我国现行的工程造价管理制度是在20世纪50年代形成.表现为国家直接参与和管理经济活动.要求在不同设计阶段必须编制概算或预算并对政府负责;制定了概预算编制原则、内容、方
本文分析了煤炭企业人力资源管理现状,提出了煤炭企业人力资源管理工作所面临的主要问题,并针对这些问题提出了煤炭企业人力资源管理工作的意见及建议.
实践证明,只有将内部控制置于治理的环境中加以考虑,才能让内部控制真正发挥应有的作用.本文笔者从完善企业的控制环境和加强企业的内部监督这两个角度出发,研究了企业如何执
随着改革开放的深入,我国经济取得了很大的成就,在经济活动也积累了很多的经验.在不同类型的企业中我们采取不同的经营方式或者说侧重采用不同的经营策略.本文的写作目的便是
煤炭行业中小供电企业在转型发展中有自身的优势和缺点,在集团公司安全发展、转型转移大形式下,要根据自身的实际情况有效利用优势,找到存在的缺点,突破发展中的瓶颈,使中小
事业单位人力资源激励机制关系到事业单位的生存与发展,关系到人才资源的合理流动和优化配置,关系到事业单位员工的切身利益.因此,加强事业单位人力资源管理,建立事业单位员
改革开放以来,我国的经济体制发生了很大的变化,由政府调控的计划经济转变为由市场调控为主体的市场经济.在此条件下,我国的经济得到了迅速的发展,各种商业企业如雨后春笋般
本文从对现阶段医院经济形势的大环境、大方向入手,通过分析医院成本核算的社会客观因素,以及当前现有的某些医院核算制度存在的弊端,系统的说明了医院实行全成本核算的必然
随着市场经济体制的不断发展和完善,事业单位所处的环境也发生了很大的变化,如何加强事业单位管理成为单位领导共同关注的问题,而内部控制作为现代管理的重要组成部分更是备