分治策略论文
使用TLA对一个工业级安全协议的建模实现
论文摘要目前越来越多的安全临界系统被应用到我们的日常生活中,以至于安全工程也越来越受到关注。在这种情况下,国际电子技术协会颁布了国际功能安全标准《IEC61508》。这套功能安...多核环境下面向数据并行编程模型的性能和可伸缩性研究
论文摘要近10年来对于大规模数据处理的需求变的日益迫切,等待处理的数据如雪崩一般不断增长。据权威咨询公司IDC于2007年统计,截至2006年存储于电子介质中的数据量达到惊人的...概念格分布处理及其框架下的知识发现研究
论文题目:概念格分布处理及其框架下的知识发现研究论文类型:博士论文论文专业:控制理论与控制工程作者:李云导师:刘宗田关键词:概念格,形式背景,部分格,并置和叠置,分治策略,频繁...