论文部分内容阅读
随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义计算模型,并应用模型对示例小语言设计了四种不同的形式语义,通过四种形式语义等价性的证明论证了模型的正确性与灵活性.
一种不确定性语义计算模型
【摘 要】
：
随着软件系统复杂度的持续增长,如何保证大型复杂软件系统的健壮性与正确性逐渐成为一个热点问题,不确定性语义计算的研究是解决这一问题的关键.本文提出了一种不确定性语义
【机 构】
：
韶关学院数学与信息科学学院,华南理工大学计算机科学与工程学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2012年1期
【基金项目】
：
广东省科技计划项目（2009B050700008）, 韶关学院科研项目（2010-207-04）
其他文献
针对现有正域扩展方法中存在的不足，对现有方法进行改进，通过引入抖动率，使其能够有效减少扩展了的属性正域里的噪声数据。实验说明了改进方法的有效性。
目的:探讨闭合性腹部损伤在临床工作当中的抢救时机、抢救措施及治疗方法.方法:回顾性分析68例闭合性腹部损伤病人临床救治情况并进行经验教训总结.结果:68例闭合性腹部损伤
英语是国际交往的重要工具，随着经济全球化、全球一体化的逐步推进，英语将不再是英美人的专利，而是全球人共同的语言。英语已成为政治、经济、文化领域里的通用语，也是我们建设社
生物学科在很多学生和家长的眼里只是一门副科，学好学坏一个样，只要能结业就可以了。作为一名生物教师，为了让生物课不再是形同虚设，为了使学生们重拾对生物失去的学习兴趣，我在教
网络环境下大多数任务之间存在关联关系,如何实现这些任务的高效并发执行是网络任务调度的关键.针对网络环境下关联任务具备工作流特点,通过定义网络工作流的五种复合关系,设
提出一种基于硬件行为的TD-LTE关键技术仿真方案，为算法设计和硬件实现之间建立起衔接。该方案采用时间驱动，实现定点仿真功能，即可为产品研发提供可靠的参考数据，也可准确评估产