本文選題：普適計算　切入點：智能空間　出處：《華中科技大學》2016年博士論文　論文類型：學位論文

【摘要】：隨著普適計算的不斷發(fā)展,智慧空間在多個領域得到廣泛的應用。智慧空間是信息、物理和社會空間高度融合的結(jié)果。它涉及計算、通信、人機交互、安全等多方面的技術集成,這使得智慧空間的設計面臨巨大的挑戰(zhàn)。系統(tǒng)級設計方法通過逐步求精的方法將上層的設計說明轉(zhuǎn)換成底層的設計實現(xiàn),它為智慧空間的設計提供了新的思路。本文主要圍繞智慧空間的設計問題包括智慧空間對象位置擺放設計、架構(gòu)設計、人機交互和安全設計等,使用系統(tǒng)級設計方法來研究設計的描述、建模和優(yōu)化。本文的主要工作包括：1)提出了智慧空間的系統(tǒng)級設計框架。它是一種自上而下的設計,可以將上層定義的設計規(guī)格說明通過逐層的求精轉(zhuǎn)化成底層的架構(gòu)實現(xiàn)。設計過程可以看作是在給定架構(gòu)平臺和設計約束條件下,在平臺庫中搜索與綜合生成設計方案的過程。2)提出了智慧空間設計中間表示模型。它能將上層的設計規(guī)格說明轉(zhuǎn)換成中間表示,用于對設計的性能做系統(tǒng)級估計。該模型基于時延Petri網(wǎng)來描述智慧空間中對象之間的控制流,同時其對應的物理流、信息流和用戶流分別用來描述物理空間和信息空間、信息空間內(nèi)部以及信息空間與社會空間之間的對象交互。3)將智慧空間的設計流分為三個部分：對象的位置擺放、系統(tǒng)綜合和偏好綜合。其中對象的位置擺放的目標是將上層設計說明中定義的對象分配到物理空間之中,保證最大的用戶位置滿意度。系統(tǒng)綜合和偏好綜合負責分配計算資源、通信資源和人機接口來滿足設計的需求,同時保證設計花費、設計總功耗最小,用戶偏好度最大。然后通過家庭醫(yī)療保健應用驗證了所提方法的適用性和有效性。4)對提出的設計框架做進一步的改進,使其適用于多用戶社交場景下的設計建模。提出基于分層Petri網(wǎng)的模型來改進中間表示模型中的控制流,同時加入社交流用于對智慧空間下多用戶的社交進行建模。最后通過智慧辦公室的應用驗證了改進模型和方法的有效性。5)在安全性設計方面,對設計框架做了進一步的擴展,提出了通用的安全模型用于保護智慧空間的任務消息通信不受未授權(quán)用戶的攻擊,并且考慮使用DVFS技術降低系統(tǒng)的總能耗。同時為了緩解DVFS給系統(tǒng)可靠性帶來的負面影響,將系統(tǒng)的可靠性作為約束納入設計考慮。論文將安全設計問題形式化為三目標組合優(yōu)化問題來求解,最后通過智慧辦公室案例驗證了所提優(yōu)化方法的高效性。
[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 徐諾,胡永華,劉方海,高明倫;系統(tǒng)級設計開發(fā)工作組及其頒布的標準[J];微電子學與計算機;2002年11期

2 Gabe Moretti;;系統(tǒng)級設計值得密切注意[J];電子設計技術;2002年06期

3 劉福峰;創(chuàng)新數(shù)字融合方案簡化系統(tǒng)級設計[J];電子設計應用;2003年09期

4 Ron Wilson;;電子系統(tǒng)級設計：從現(xiàn)象到本質(zhì)[J];電子設計技術;2008年11期

5 曉萍;硬件/軟件協(xié)同設計工具是通向未來的系統(tǒng)級設計方法[J];電子產(chǎn)品世界;1996年12期

6 舒心;FineLine BGA封裝使更多管腳的系統(tǒng)級設計成為可能[J];世界電子元器件;1999年12期

7 劉音;楊洪斌;吳悅;;SoC系統(tǒng)級描述語言SpecC[J];計算機工程與設計;2008年10期

8 李源深;潘峗;丁勇;嚴曉浪;;通用互聯(lián)網(wǎng)絡實現(xiàn)多核嵌入式系統(tǒng)級設計的方法[J];計算機輔助設計與圖形學學報;2010年05期

9 任曉東,高泰,周祖成;片上系統(tǒng)集成的系統(tǒng)級設計[J];半導體技術;2001年07期

10 徐獻靈;EDA技術在現(xiàn)代電子設計中的應用[J];現(xiàn)代電子技術;2003年17期

相關博士學位論文 前2條

1 曾晶;智慧空間的系統(tǒng)級設計方法研究[D];華中科技大學;2016年

2 陳燕;基于UML的嵌入式系統(tǒng)系統(tǒng)級設計方法研究[D];復旦大學;2005年

相關碩士學位論文 前8條

1 賈曉力;基于8051的TLM系統(tǒng)級模型的初步研究[D];華北電力大學（北京）;2004年

2 琚，

本文編號：1603649