| 基于智能家居的一致性模型融合技术研究 |
| |
| 引用本文： | 包晓安,林辉,周建平,桂宁,孙献策,张娜.基于智能家居的一致性模型融合技术研究[J].浙江理工大学学报,2015,33(1). |
| |
| 作者姓名： | 包晓安 林辉 周建平 桂宁 孙献策 张娜 |
| |
| 作者单位： | 1. 浙江理工大学信息学院,杭州,310018
2. 海盐盛迪电子科技有限公司,浙江嘉兴,314300 |
| |
| 基金项目： | 国家自然科学基金资助项目，浙江省自然科学基金资助项目，浙江理工大学521人才培养计划资助项目，浙江省钱江人才计划资助项目，浙江省新苗计划项目 |
| |
| 摘 要： | 在智能家居的自适应软件设计中,往往采用传统的模块构建技术。但由于其适应逻辑存在着低复用性、高复杂度等问题,很难验证模块组合后的正确性及有效性。为了满足开发过程中用户的增量性需求,针对适应逻辑的组合难题,提出把部分行为模型的形式化方法引入到适应行为的描述中。通过三值逻辑KMTS模型描述语言,提出一致性模型的判断方法以及融合算法,以提供明确的适应模型在线融合支持。最后通过智能家居中的一个模型实例来分析并验证融合后的适应逻辑。
|
| 关 键 词： | 智能家居 模型融合 适应逻辑 KMTS 一致性模型 |
Research on Consistency Model Fusion Technology Based on Smart Home |
| |
| BAO Xiao-an,LIN Hui,ZHOU Jian-ping,GUI Ning,SUN Xian-ce,ZHANG Na.Research on Consistency Model Fusion Technology Based on Smart Home[J].Journal of Zhejiang Sci-tech University,2015,33(1). |
| |
| Authors: | BAO Xiao-an LIN Hui ZHOU Jian-ping GUI Ning SUN Xian-ce ZHANG Na |
| |
| Abstract: | |
| |
| Keywords: | smart home model fusion adaptive logics KMTS consistency model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
