论文部分内容阅读
本文以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平
随着建设改革步伐的加快,工程建设项目迅速发展,加强工程项目的质量管理成为目前企业发展的关键,成为建设工程中竞争的能力的体现,而建筑施工的现场管理尤为重要,只有不断地
二进制代码逆向分析是应用软件安全测试中对技术能力要求较高的一种方法。本文以实际工作案例为基础，详细介绍了对某手机端下载软件进行静态逆向安全测试的思路、方法、过程以