|本期目录/Table of Contents|

[1]包晓安,林辉,周建平,等.基于智能家居的一致性模型融合技术研究[J].浙江理工大学学报,2015,33-34(自科1):109-114.
 BAO Xiao an,LIN Hui,ZHOU Jian ping,et al.Research on Consistency Model Fusion TechnologyBased on Smart Home[J].Journal of Zhejiang Sci-Tech University,2015,33-34(自科1):109-114.
点击复制

基于智能家居的一致性模型融合技术研究()
分享到:

浙江理工大学学报[ISSN:1673-3851/CN:33-1338/TS]

卷:
第33-34卷
期数:
2015年自科1期
页码:
109-114
栏目:
出版日期:
2015-01-10

文章信息/Info

Title:
Research on Consistency Model Fusion TechnologyBased on Smart Home
文章编号:
1673-3851 (2015) 01-0109-06
作者:
包晓安 林辉 周建平 桂宁 孙献策 张娜
1. 浙江理工大学信息学院, 杭州 310018; 2. 海盐盛迪电子科技有限公司, 浙江嘉兴 314300
Author(s):
BAO Xiaoan LIN Hui ZHOU Jianping GUI Ning SUN Xiance ZHANG Na
1. The School of Information Science and Technology, Zhejiang Sci-Tech University, Hangzhou 310018, China; 2. Haiyan Shengdi Electrical Technical Co., Ltd., Jiaxing 314300, China
关键词:
智能家居 模型融合 适应逻辑 KMTS 一致性模型
分类号:
TP311.5
文献标志码:
A
摘要:
在智能家居的自适应软件设计中,往往采用传统的模块构建技术。但由于其适应逻辑存在着低复用性、高复杂度等问题,很难验证模块组合后的正确性及有效性。为了满足开发过程中用户的增量性需求,针对适应逻辑的组合难题,提出把部分行为模型的形式化方法引入到适应行为的描述中。通过三值逻辑KMTS模型描述语言,提出一致性模型的判断方法以及融合算法,以提供明确的适应模型在线融合支持。最后通过智能家居中的一个模型实例来分析并验证融合后的适应逻辑。

参考文献/References:

[1] Maurel Y, Diaconescu A, Lalanda P. Creating complex, adaptable management strategies via the opportunistic integration of decentralised management resources[C]//Proceedings of the 2009 International Conference on Adaptive  and Intelligent Systems. Washington: IEEE Computer Society, 2009: 86-91.
[2] Sicard  S, Boyer F, De Palma N. Using components for architecturebased management: the self repair case [C]//Proceedings of the 30th International Conference on Software Engineering. New York : ACM , 2008: 101-110.[3] 接钧靖, 史庭训, 焦文品, 等. 自主构件自适应策略的在线定制及动态评估[J]. 软件学报, 2012, 23(4): 802-815.
[4] Uchitel  S, Alrajeh D, Ben D S, et al. Supporting  incremental  behaviour model elaboration[J]. Computer Science Research and Development, 2013, 28(4): 279-293.
[5] Gui  N, Florio V D, Blondia C. Transformer: an  adaptation  framework with contextual adaptation behavior composition support[J]. Software Practice &Experience, 2013, 43(8): 937-967.
[6] Uchitel S, Kramer J, Magee J. Behaviour model  elaboration  using partial labelled transition systems[J]. ACM SIGSOFT Software Engineering Notes, 2003, 28(5): 19-27.
[7] Redondo  R P D, Pazos A J J. Reuse of verification  efforts and incomplete specifications in a formalized, iterative  and incremental software process[C]//Proceedings of the 23rd International Conference on Software Engineering . Toronto: IEEE Computer Society, 2001: 801-802.
[8] Nejati  S, Sabetzadeh M, Chechik M, et al. Matching and merging of variant feature specifications[J]. Software  Engineering, IEEE Transactions on, 2012, 38(6): 1355-1375.
[9] 易立, 赵海燕, 张伟, 等. 特征模型融合研究[J]. 计算机学报, 2013, 36(1): 1-9.
[10] Fischbein D, Uchitel S. On correct and complete strong merging of partial behaviour models[C]//Proceedings  of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York : ACM, 2008: 297-307.

相似文献/References:

[1]包晓安,常浩浩,徐海,等.基于LSTM的智能家居机器学习系统预测模型研究[J].浙江理工大学学报,2018,39-40(自科2):224.
 BAO Xiaoan,CHANG Haohao,XU Hai,et al.Research on LSTMbased prediction model of smart home machine learning system[J].Journal of Zhejiang Sci-Tech University,2018,39-40(自科1):224.
[2]包晓安,徐海,张娜,等.基于深度学习的语音识别模型及其在智能家居中的应用[J].浙江理工大学学报,2019,41-42(自科二):217.
 BAO Xiaoan,XU Hai,ZHANG Na,et al.Speech recognition model based on deep learning and its application in smart home[J].Journal of Zhejiang Sci-Tech University,2019,41-42(自科1):217.

备注/Memo

备注/Memo:
收稿日期: 2014-04-28
基金项目: 国家自然科学基金资助项目(61202050,61379036);浙江省自然科学基金资助项目(Y13F020175);浙江理工大学521人才培养计划资助项目;浙江省钱江人才计划资助项目(2013R10015);浙江省新苗计划项目(2013R406070)
作者简介: 包晓安(1973-),男,浙江东阳人,教授,主要从事自适应软件及软件测试等方面的研究
更新日期/Last Update: 2014-12-25