论文部分内容阅读
Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析。对用Promela语言描述的进程调度模型进行分析研究,并对其存在的不足加以改进。增加了LTL公式描述,用Spin进行模型检测验证,使用Xspin得到了反例状态迁移轨迹图。
进程调度模型的Spin验证分析与改进
【摘 要】
：
Spin不仅可以用于通信协议的正确性验证,也可以对其进行有效的安全性分析。对用Promela语言描述的进程调度模型进行分析研究,并对其存在的不足加以改进。增加了LTL公式描述,用Spin进行模型检测验证,使用Xspin得到了反例状态迁移轨迹图。
【机 构】
：
贵州大学计算机学院
【出 处】
：
计算机应用
【发表日期】
：
2009年S2期
【基金项目】
：
贵州省自然科学基金资助项目（20052110）,贵州大学引进人才科研项目（2009）.
其他文献
实施会计委派制度是会计人员管理体制的一项重大改革，是加强管理的重要举措，也是贯彻实施《会计法》的重要内容和保障措施。进一步提高认识，推行会计委派制度，不是权宜之计，而是健
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
传统教学方式的Enterprise Resouce Planning(ERP)沙盘模拟实验教学,缺乏学生自己学习的过程,无法平衡学生参差不齐的知识水平,教学效果差。提出基于“三自主”学习法的ERP沙
【摘 要】在小学语文教学中，群文阅读教学的开展，能够有效地提高学生的阅读能力，促进小学生语文素养的提升。笔者结合自身教学实践，初探在群文阅读教学中的策略，充分发挥群文阅读教学的优势。 【关键词】策略；授之以法；求同存异；读写结合 【中图分类号】G623.2 【文献标识码】A 【文章编号】2095-3089（2019）12-0189-02 群文阅读是一种新的阅读形式，也是一种新的教学理念，是
针对目前电动机设计课程实验教学手段单一的问题,基于Jmag软件,以鼠笼式异步电动机设计过程中的电磁噪声分析为例,给出电动机仿真建模及电磁噪声分析过程的实例,阐述了可视化
【摘 要】解决学生的基本的读写能力，信息处理和文字表达、语言交际的能力，特别是阅读的能力，这是中学语文最基本的功能。随着初中语文教学新理念的提出和阅读教学理念的变化，语文阅读教学也要与时俱进，不断更新教学理念。因此，教师要不断探究阅读的高效教学方法。 【关键词】初中语文;阅读教学;高效教学 【中图分类号】G632 【文献标识码】A 【文章编号】2095-3089（2019）11-0191-
胎盘功能受损可导致母婴不良结局。早期诊断胎盘功能不全对预防疾病发生及改善胎儿预后有重要意义。通过定量测量胎盘弹性,剪切波弹性成像(SWE)有望成为评价和预估胎盘功能的
信息化时代的到来,让中国可以用高效的因特网技术构建电子政府,实现电子政务,以信息化、电子化手段强化行政管理能力,从而更科学更有效人们服务。电子政府是一种适应信息社会
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
随着嵌入式设备的技术突破,表情识别在铁路、医疗等领域得到广泛应用。论文针对嵌入式特点采用改进的LBP特征提取、支持向量机(SVM)分类等算法来实现表情识别。最后,结合教学实际,将表情识别应用到智能教室中,提升教学质量,让智能教室更智能。