论文部分内容阅读
在研究Roscoe数据独立技术的基础上,引入新的进程扩展CSP协议模型,并以Yahalom协议为例给出了完整的协议模型.随后对扩展的协议模型进行形式化描述.最后使用脚本语言CSPM对其进行编写,完成验证.
数据独立技术在CSP协议模型中的设计与实现
【摘 要】
：
在研究Roscoe数据独立技术的基础上,引入新的进程扩展CSP协议模型,并以Yahalom协议为例给出了完整的协议模型.随后对扩展的协议模型进行形式化描述.最后使用脚本语言CSPM对其
【机 构】
：
解放军信息工程大学电子技术学院
【出 处】
：
电子技术应用
【发表日期】
：
2006年6期
其他文献
在工程建设的过程中，财务部门的积极参与并实施有效控制和管理，具有十分重要的作用。文章根据作者多年工作经验对工程项目财务管理中存在的问题及对策进行了简单阐述和分析。
全面预算是指在管理中，对与单位存续相关的投资活动、经营活动和财务活动的未来情况进行预期并控制的管理行为及其制度安排。全面预算按其涉及的预算期分为长期预算和短期预算
【正】 中央美术学院油画系教师作品展览,于五月九日在中央美术学院陈列馆揭幕。参加这次展出的教师二十八人,每人最多展出四幅作品,共一百零八件作品。由于场地所限,不少外
随着我国经济的迅速发展，中国经济在在朝着转型升级的道路上进一步前进，而企业作为经济发展的中坚力量，想要谋求更广阔的生存空间，必须规范企业自身管理结构，探索企业内部控制方面
近几年来,青年美术家的艺术思想和创作活动都很活跃,他们试图重新探讨艺术上的一系列问题并从中找出一些新的回答,以青年人所特有的朝气、活力和钻研精神给我们的美术界和美
分析了目前常用的NAF点乘算法，并提出了改进的并行NAF点乘算法，改进后的算法具有并行调度点加和点倍的特点，实验表明改进后的算法比原算法效率有明显提高。
【正】 《说文解字》:“受,相付也。从受。”“受,物落上下相付也。从爪从又。”“爪,覆手曰爪。”“又,手也。”由此可见,“受”的本义是“授”。再从本义引申出接受、承受
本论文主要试从理论上对作业成本核算的准确性、作业成本管理的有效性两方面,运用比较分析法对作业成本法与传统成本法进行理论研究,同时对作业成本法加以案例分析,阐明ABC的
人力资源管理在企业发展过程中有着十分重要的作用，如果在管理过程中出现问题，那么不仅影响了整个企业的经济发展，还对企业的内部结构造成一定的破坏。而目前我国企业在发展过程