本文選題：普適計(jì)算　切入點(diǎn)：智能空間　出處：《華中科技大學(xué)》2016年博士論文　論文類型：學(xué)位論文

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

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 徐諾,胡永華,劉方海,高明倫;系統(tǒng)級(jí)設(shè)計(jì)開發(fā)工作組及其頒布的標(biāo)準(zhǔn)[J];微電子學(xué)與計(jì)算機(jī);2002年11期

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

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

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

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

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

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

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

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

10 徐獻(xiàn)靈;EDA技術(shù)在現(xiàn)代電子設(shè)計(jì)中的應(yīng)用[J];現(xiàn)代電子技術(shù);2003年17期

相關(guān)博士學(xué)位論文 前2條

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

2 陳燕;基于UML的嵌入式系統(tǒng)系統(tǒng)級(jí)設(shè)計(jì)方法研究[D];復(fù)旦大學(xué);2005年

相關(guān)碩士學(xué)位論文 前8條

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

2 琚，

本文編號(hào)：1603649