浙江理工大学学报（自然科学版）
浙江理工大學學報（自然科學版）
절강리공대학학보（자연과학판）
Journal of Zhejiang Institute of Science and Technology
2015年
1期
109-114
,共6页
包晓安%林辉%周建平%桂宁%孙献策%张娜
包曉安%林輝%週建平%桂寧%孫獻策%張娜
포효안%림휘%주건평%계저%손헌책%장나
智能家居%模型融合%适应逻辑%KMTS%一致性模型
智能傢居%模型融閤%適應邏輯%KMTS%一緻性模型
지능가거%모형융합%괄응라집%KMTS%일치성모형
smart home%model fusion%adaptive logics%KMTS%consistency model
在智能家居的自适应软件设计中,往往采用传统的模块构建技术.但由于其适应逻辑存在着低复用性、高复杂度等问题,很难验证模块组合后的正确性及有效性.为了满足开发过程中用户的增量性需求,针对适应逻辑的组合难题,提出把部分行为模型的形式化方法引入到适应行为的描述中.通过三值逻辑KMTS模型描述语言,提出一致性模型的判断方法以及融合算法,以提供明确的适应模型在线融合支持.最后通过智能家居中的一个模型实例来分析并验证融合后的适应逻辑.
在智能傢居的自適應軟件設計中,往往採用傳統的模塊構建技術.但由于其適應邏輯存在著低複用性、高複雜度等問題,很難驗證模塊組閤後的正確性及有效性.為瞭滿足開髮過程中用戶的增量性需求,針對適應邏輯的組閤難題,提齣把部分行為模型的形式化方法引入到適應行為的描述中.通過三值邏輯KMTS模型描述語言,提齣一緻性模型的判斷方法以及融閤算法,以提供明確的適應模型在線融閤支持.最後通過智能傢居中的一箇模型實例來分析併驗證融閤後的適應邏輯.
재지능가거적자괄응연건설계중,왕왕채용전통적모괴구건기술.단유우기괄응라집존재착저복용성、고복잡도등문제,흔난험증모괴조합후적정학성급유효성.위료만족개발과정중용호적증량성수구,침대괄응라집적조합난제,제출파부분행위모형적형식화방법인입도괄응행위적묘술중.통과삼치라집KMTS모형묘술어언,제출일치성모형적판단방법이급융합산법,이제공명학적괄응모형재선융합지지.최후통과지능가거중적일개모형실례래분석병험증융합후적괄응라집.
