智慧空间的系统级设计方法研究
本文选题:普适计算 切入点:智能空间 出处:《华中科技大学》2016年博士论文 论文类型:学位论文
【摘要】:随着普适计算的不断发展,智慧空间在多个领域得到广泛的应用。智慧空间是信息、物理和社会空间高度融合的结果。它涉及计算、通信、人机交互、安全等多方面的技术集成,这使得智慧空间的设计面临巨大的挑战。系统级设计方法通过逐步求精的方法将上层的设计说明转换成底层的设计实现,它为智慧空间的设计提供了新的思路。本文主要围绕智慧空间的设计问题包括智慧空间对象位置摆放设计、架构设计、人机交互和安全设计等,使用系统级设计方法来研究设计的描述、建模和优化。本文的主要工作包括:1)提出了智慧空间的系统级设计框架。它是一种自上而下的设计,可以将上层定义的设计规格说明通过逐层的求精转化成底层的架构实现。设计过程可以看作是在给定架构平台和设计约束条件下,在平台库中搜索与综合生成设计方案的过程。2)提出了智慧空间设计中间表示模型。它能将上层的设计规格说明转换成中间表示,用于对设计的性能做系统级估计。该模型基于时延Petri网来描述智慧空间中对象之间的控制流,同时其对应的物理流、信息流和用户流分别用来描述物理空间和信息空间、信息空间内部以及信息空间与社会空间之间的对象交互。3)将智慧空间的设计流分为三个部分:对象的位置摆放、系统综合和偏好综合。其中对象的位置摆放的目标是将上层设计说明中定义的对象分配到物理空间之中,保证最大的用户位置满意度。系统综合和偏好综合负责分配计算资源、通信资源和人机接口来满足设计的需求,同时保证设计花费、设计总功耗最小,用户偏好度最大。然后通过家庭医疗保健应用验证了所提方法的适用性和有效性。4)对提出的设计框架做进一步的改进,使其适用于多用户社交场景下的设计建模。提出基于分层Petri网的模型来改进中间表示模型中的控制流,同时加入社交流用于对智慧空间下多用户的社交进行建模。最后通过智慧办公室的应用验证了改进模型和方法的有效性。5)在安全性设计方面,对设计框架做了进一步的扩展,提出了通用的安全模型用于保护智慧空间的任务消息通信不受未授权用户的攻击,并且考虑使用DVFS技术降低系统的总能耗。同时为了缓解DVFS给系统可靠性带来的负面影响,将系统的可靠性作为约束纳入设计考虑。论文将安全设计问题形式化为三目标组合优化问题来求解,最后通过智慧办公室案例验证了所提优化方法的高效性。
[Abstract]:With the continuous development of pervasive computing, intelligent space is widely used in many fields. Intelligent space is the result of the high fusion of information, physics and social space. It involves computing, communication, human-computer interaction, Security and other aspects of the integration of technology, which makes the design of the wisdom space facing a huge challenge. System level design method through the gradual refinement of the upper layer of the design instructions into the bottom of the design implementation, It provides a new way of thinking for the design of intelligent space. This paper mainly focuses on the design of intelligent space, including the design of intelligent space object location, architecture design, human-computer interaction and security design, etc. Using system-level design method to study the description, modeling and optimization of design. The main work of this paper includes: 1) A system level design framework for intelligent space is proposed. It is a top-down design. The design specification defined in the upper layer can be transformed into the underlying architecture by refining it layer by layer. The design process can be regarded as a given architectural platform and design constraints. The process of searching and synthesizing the design scheme in platform library. 2) the intermediate representation model of intelligent space design is proposed, which can convert the design specification of the upper layer into the intermediate representation. The model is based on time-delay Petri nets to describe the control flow between objects in the wisdom space, and the corresponding physical flow, information flow and user flow are used to describe the physical space and the information space, respectively. The object interaction between the information space and the social space. 3) the design flow of the intelligence space is divided into three parts: the location of the object, System synthesis and preference synthesis, in which the objective of object placement is to allocate the objects defined in the upper design description to the physical space to ensure the maximum satisfaction of the user's position. System synthesis and preference synthesis are responsible for the allocation of computing resources. Communication resources and man-machine interface to meet the needs of the design, while ensuring the design costs, design total power consumption minimum, Then the applicability and effectiveness of the proposed method. 4) the proposed design framework is further improved. The model based on hierarchical Petri net is proposed to improve the control flow in the intermediate representation model. At the same time, it is used to model the multi-user social interaction in the wisdom space. Finally, the effectiveness of the improved model and method is verified by the application of the Intelligence Office. 5) in the aspect of security design, the design framework is further extended. In this paper, a general security model is proposed to protect message communication in intelligence space from unauthorized users, and DVFS technology is used to reduce the total energy consumption of the system. In order to mitigate the negative impact of DVFS on the system reliability, this paper proposes a general security model to protect the message communication from unauthorized users. The reliability of the system is considered as a constraint in the design. The security design problem is formalized as a three-objective combinatorial optimization problem. Finally, the effectiveness of the proposed optimization method is verified by an intelligent office case.
【学位授予单位】:华中科技大学
【学位级别】:博士
【学位授予年份】:2016
【分类号】:TP18;TP301.1
【相似文献】
相关期刊论文 前10条
1 徐诺,胡永华,刘方海,高明伦;系统级设计开发工作组及其颁布的标准[J];微电子学与计算机;2002年11期
2 Gabe Moretti;;系统级设计值得密切注意[J];电子设计技术;2002年06期
3 刘福峰;创新数字融合方案简化系统级设计[J];电子设计应用;2003年09期
4 Ron Wilson;;电子系统级设计:从现象到本质[J];电子设计技术;2008年11期
5 晓萍;硬件/软件协同设计工具是通向未来的系统级设计方法[J];电子产品世界;1996年12期
6 舒心;FineLine BGA封装使更多管脚的系统级设计成为可能[J];世界电子元器件;1999年12期
7 刘音;杨洪斌;吴悦;;SoC系统级描述语言SpecC[J];计算机工程与设计;2008年10期
8 李源深;潘峗;丁勇;严晓浪;;通用互联网络实现多核嵌入式系统级设计的方法[J];计算机辅助设计与图形学学报;2010年05期
9 任晓东,高泰,周祖成;片上系统集成的系统级设计[J];半导体技术;2001年07期
10 徐献灵;EDA技术在现代电子设计中的应用[J];现代电子技术;2003年17期
相关博士学位论文 前2条
1 曾晶;智慧空间的系统级设计方法研究[D];华中科技大学;2016年
2 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
相关硕士学位论文 前8条
1 贾晓力;基于8051的TLM系统级模型的初步研究[D];华北电力大学(北京);2004年
2 琚,
本文编号:1603649
本文链接:https://www.wllwen.com/shoufeilunwen/xxkjbs/1603649.html