论文部分内容阅读
本文以PEPA语言为例，对近年来发展起来的随机进程代数的缓解状态空间爆炸问题的新技术做一个综述．
随机进程代数新技术综述
【摘 要】
：
本文以PEPA语言为例，对近年来发展起来的随机进程代数的缓解状态空间爆炸问题的新技术做一个综述．
【机 构】
：
南京工程学院计算机工程学院,扬州大学信息工程学院
【出 处】
：
软件
【发表日期】
：
2011年8期
【基金项目】
：
国家自然科学基金（61103018,61003180,61070133）,江苏省自然科学基金（SBK201122850,BK2006064,BK21010311）.北京航空航天大学软件开发环境国家重点实验室开放课题（SKLSDE-2011KF-08）AcknowledgmentsPart of this work has been carried out while J. Ding was at
其他文献
【摘要】新课改以来，小学数学拓展性课程越来越受关注，小学数学拓展课也应运而生。很多一线教师也认识到数学拓展课的重要性，但是却不知如何上好这堂课。笔者结合自己多年来对拓展课研究的经验，并结合大量的案例来分析小学数学拓展课的教学策略，期望能为一线教师提供切实可行的小学数学拓展课教学参考。 【关键词】拓展课 教学策略 小学数学 小学数学拓展课是对小学数学教材进行扩充、开拓、扩展、延伸、展开的课堂教学
随着基层国有企业改革不断推进，作为政治上、思想上、组织上的有力保障，团建工作面临新形势、出现新情况和新的问题。新的形势下，国有企业作为国家经济发展的命脉，必须深刻领会新
研究分析文件档案管理工作的问题，提供创新文件档案管理工作的基本理念，挖掘文件档案管理工作的新价值，加强文件档案管理工作设施的建设等，为规范和指导文件档案管理工作创新做出
在大力倡导文本教学的同时,语文课程应该关注美学元素和诗意灵性的探寻。只有将学生的身心浸润在百感交集的心灵层面,才能触发学生心灵内在的认知体验,打开广阔的学习视域。
本文研究了光通信中前向纠错编码技术，重点研究了TCM编码技术，以及LDPC编码技术，经过TCM编码与LDPC编码级联，与TCM编码进行系统仿真比较，获得有效编码增益的提高。通过在Matlab平
随着建设改革步伐的加快,工程建设项目迅速发展,加强工程项目的质量管理成为目前企业发展的关键,成为建设工程中竞争的能力的体现,而建筑施工的现场管理尤为重要,只有不断地
凡有国家或部、省级以上科研基金资助或攻关项目的论文，请在文稿首页脚注注明本文为××基金资助项目编号或××攻关课题，注明批准文号，附基金项目证明复印件并
结合当前事业单位人力资源管理的实际情况，从自身的人力资源管理工作经验出发，多角度分析了事业单位人力资源管理存在的问题， 并提出有针对性的事业单位人力资源改革和对策，希望
二进制代码逆向分析是应用软件安全测试中对技术能力要求较高的一种方法。本文以实际工作案例为基础，详细介绍了对某手机端下载软件进行静态逆向安全测试的思路、方法、过程以