差異處

這裡會顯示出所選的版次與目前版次的差異處。

researchexperiencescht [2018/04/21 13:43]
try
researchexperiencescht [2023/06/23 09:21] (目前版本)
try
行 4: 行 4:
  
 ===== 政治大學資訊科學系 ===== ===== 政治大學資訊科學系 =====
 +
 +==== 112國科會專題研究計畫: 基於同步協調核心研製具多重隔離層級的MQTT分散式交易處理機制 ====
 +
 +**主持人** 2023.7 - 2024.8
 +
 +MQTT (Message Queuing Telemetry Transport)是一種基於訊息(MessagingOriented)的發佈/訂閱(Publish/Subscribe)應用層通訊協定,它近幾年來在智慧環境與物聯網系統被廣泛採用。MQTT所採用的架構一方面帶來彈性與強健性,但也對交易(Transaction)設計帶來很大挑戰。交易指的是一連串不可分割系統行為所形成的基本單位(Unit ofWork),不是全部成功,就是全部放棄,通常須符合ACID(Atomic, Consistent, Isolated, Durable) 屬性。交易機制在物聯網系統許多實務應用不可或缺,例如選物、付費、解鎖等,但適用於MQTT的佇列式分散交易
 +(Queued and Distributed Transactions)目前研究相對較少。本計畫以110年度專題計畫的研究成果為基礎,進一步處理三項在前期研究發現的議題,導入同步協調核
 +心(Coordination Kernel)機制,發展可讓交易有一定程序交錯執行的不同隔離層級機制,透過實驗與應用情境,驗證其功能完備性、效能及實務上之可行性。並將設計的成果實現為原型系統,供未來研究人員或業界研發團隊參考與使用。
 +
 +==== 111科技部專題研究計畫: WeBLE: BLE裝置融入Web of Things環境的管理機制 ====
 +
 +**主持人** 2022.7 - 2023.8
 +
 +Web of Things (WoT)指的是一個完全以REST (REpresentational State
 +Transfer)架構基礎的Web化物聯網環境,所有物聯網裝置都具有URI,此URI除了
 +可用於定址,也可用來與物件互動,WoT概念用於在物聯網系統時,具備可重覆
 +利用已發展成熟的Web技術及其高度彈性與擴充能力的優勢。另一方面, BLE做
 +為一個非IP網路通訊協定中佔有率非常高的通訊協定,其應用程式的開發仍具有一
 +定的門檻,本計畫提出一個將BLE融入WoT環境的機制,稱為WeBLE (Web of
 +BLE devices),讓智慧環境應用服務開發人員能將BLE視WoT一般的存取與管理
 +,降低開發門檻與管理負擔。WeBLE可透過WeBLE Gateway的協助,透通地被
 +IP網路上的WoT應用程式所搜尋、管理與存取。在計畫的研究期程中,我們將針對
 +Findability與Accessibility兩個主要議題進行研究並設計包含內、外部服務管理、目
 +錄服務、IP-BLE位址對應、服務對應與繞送等相關機制,並將設計的成果實現為
 +原型系統,進行實驗的驗證,供未來研究人員或業界研發團隊參考與使用。
 +
 +==== 111科技部科技藝術跨域融合與創新研究計畫: 「自由人」計畫 - 虛擬分身機器 ====
 +**共同主持人** 2022.1 - 2023.12
 +
 +科技資本主義結合了一種新型態的權力機器-「機器控制主義」(instrumentarianism),靜悄悄地被取消了我們的自由,讓我們毫無察覺。我們
 +天真的認為可以自由、能自主地控制機器,不覺得自己不自由,其實是機器控制主義無聲無息且超能運作的展現,從實體世界到虛擬網路,無處不在的全面接管我們
 +的靈魂與身體。本計畫藉由前瞻科技藝術創作與展演,引導民眾探討自身在機器控制主義下的真實處境,並體認「虛擬現實」所形成的新型態「空間政治學」,深入研究的兩個方向
 +:一為探討虛擬科技的空間政治為何?二探討虛擬實境的身體政治為何?並以創作論述與展演、人機互動裝置研發及軟體工程關鍵技術等三個研究子議題,展開本科技藝術創作計畫。本人負責子計畫三,主題為:實現「虛擬分身機器」的軟體工程關鍵技術: 隨著科技藝術創作所需技術的複雜度日益增加,創作者也需要投入愈來愈多時間與資源以完成創作,在時間資源受限的情況下,只能修改作品設計來遷就技術限制,造成創意受限。本子計畫主要著眼於「虛擬分身機器」創作過程中產生的軟體技術挑戰,發展具備一定程度通用性的關鍵軟體技術。對於計畫團隊所建構的實驗型前導作品進行初步解析後,在三年計畫期程中,我們將發展「系統複合媒體串流組合規畫」、「多模式整合系統」與「分散式展品之監控與維修」三項技術來協助創作作品的實現與維運。
 +
 +==== 110科技部專題研究計畫: 適用於智慧環境的MQTT多模式訊息交易機制 ====
 +
 +**主持人** 2021.8 - 2022.7
 +
 +MQTT (Message Queuing Telemetry Transport)近年來受到廣泛的注目與採用。就軟體架構觀點來看,MQTT採用Messaging樣式,具備時間與空間解耦特性,一
 +方面為系統帶來彈性與強健性,另一方面也對交易(Transaction)機制設計帶來非常大的挑戰。訊息式交易相對於一般以RPC為基礎的分散式交易技術,在學術研究
 +上進展較慢,技術也較不成熟完備,目前更欠缺考量物聯網場域的特殊需求的訊息式交易機制。本計畫主要目的為發展適用於智慧環境/物聯網應用場域的訊息式交
 +易機制,並因應此類環境的多變需求,支援多種交易模式與部署型式,為提高設計的通用性,將基於MQTT 5加以擴充,提出兼顧相容性的訊息式交易機制,透過實
 +驗與應用情境,驗證其功能完備性、效能及實務上之可行性。最後將研究成果實現為原型系統與設計案例,供未來研究人員或業界研發團隊使用。
 +
 +
 +==== 109科技部專題研究計畫: 適用於智慧環境中的MQTT端點間訊息確保送達擴充機制 ====
 +
 +**主持人** 2020.8 - 2021.7
 +
 +採用訊息導向架構,專為處理器資源與網路頻寬受限裝置間通訊所設計的MQTT(Message Queuing Telemetry Transport)應用層通訊協定在物聯網與智慧環境領域
 +近年來相當受到注目且受到廣泛採用。其可動態調整的QoS (Quality of Service)機制,讓應用程式透過MQTT傳送訊息得以因時因地衡量trade-offs進行選擇,非常具
 +有彈性。然而,目前MQTT QoS機制只確保端點與Broker的訊息傳送品質,且無法得知訊息傳送結果,且欠缺因應訂閱端斷線重連時的機制,往往造成程式不穩定且難以除錯,帶給開發人員非常大的困擾。本計畫針對上述問題設計解決方案,以MQTT 5為基底加以延伸,設計支援端點間確保送達機制,包含接收端回執與訂閱端斷線重連的Broker接收與派送演算法,透過實驗與應用情境,驗證其功能完備性、效能及實務上之可行性。最後將研究成果實現為原型系統與設計案例,供未來研究人員或業界研發團隊使用。
 +
 +==== 108科技部專題研究計畫: 基於mDNS/DNS-SD發展智慧家庭中Web of Things服務管理機制 ====
 +
 +**主持人** 2019.8 - 2020.7
 +
 +由於Web技術的高度發展與普及,相關技術對物聯網(Internet of Things, IoT)與智慧家庭的發展有深遠的影響。於是,結合Web、REST架構與IoT技術,便發展出
 +Web of Things (WoT)概念。在智慧家庭中的WoT面臨到如何發現、描述、協調各式軟硬體元件等服務管理問題。現有用於智慧家庭的服務管理機制中,IETF制定
 +的mDNS/DNS-SD規格被認為是非常有潛力成為WoT的服務管理機制,主要由於它延用DNS的封包格式設計,不需額外配置其它系統元件即可使用,編碼相對較
 +有效率且所需記憶體較低。然而,mDNS/DNS-SD亦具有不完整的服務管理功能、不彈性服務查詢機制與低效率的節點通訊方式等問題。本計畫希望針對上述問題設
 +計解決方案,在mDNS/DNS-SD上融入W3C的WTM的服務描述,且基於REST提供服務存取,實現WoT服務描述與存取機制; 並發展彈性服務搜尋表示式與針對節
 +點互動效能進行優化,透過實驗與應用情境,驗證其功能完備性、效能及實務上之可行性。最後將研究成果實現為原型系統與設計案例,供未來研究人員或業界研發團隊使用。
 +
 +==== 108科技部專題研究計畫: 智能合約語言Solidity之剖面導向擴充:設計與實作 ====
 +
 +**共同主持人** 2019.8 - 2020.7
 +
 +區塊鏈是源自於密碼貨幣(Crypto-currency)比特幣的底層技術,但現在已成為是一種基於分散式點對點網路,具有不可篡改性的資料庫技術。近三年來,區塊鏈已不是單純的紀錄密碼貨幣的交易帳本,隨著提供「智能合約」( Smart Contract )的功能,區塊鏈已經成為新一代分散式系統的平台技術。簡言之,智能合約就是在區塊鏈平台上執行的應用程式,透過智能合約,人們可以在區塊鏈上開發與執行各種應用程式。目前最知名的區塊鏈智能合約平台是「以太坊」( Ethereum ),其主要的智能合約程式語言是Solidity,它提供一些類似物件導向程式語言的構句與功能,並搭配有一些簡單的例外處理機制以及專屬以太坊區塊鏈特性的機制。其中有一個特別的modifier構句可以有限度的處理橫跨性需求,像是先決條件檢查(pre-condition)與存取權限等。但其功能有限,不如一般處理橫跨性需求的剖面導向程式語言。本計畫擬以剖面導向程式語言的常用構句為標竿來擴充Solidity語言,發展一個可模組化處理橫跨性需求的智能和約程式語言Aspect Solidity。 
 +
 +==== 107科技部專題研究計畫: 智慧環境中低功耗有損網路與MQTT之應用層閘道服務整合架構 ====
 +
 +**主持人** 2018.8 - 2019.7
 +
 +MQTT (Message Queuing Telemetry Transport)定義了有效率的裝置間通訊格式與功能規範,適合用於處理器資源及網路頻寬受限的物聯網裝置,在當代智慧環境與物聯網系統逐漸採用Data-centric/MOM (Message-Oriented Middleware) 架構的趨勢下,MQTT規格在學界與業界均受到相當重視。智慧環境經常需要依賴低功耗有損網路(Low-power and Lossy Networks, LLN)中的感測節點將資料回傳,然而,低功耗有損網路和IP網路的設計理念與適用場合並不相同,造成MQTT和低功耗有損網路裝置整合困難,必須依頼閘道器進行轉換,故在各式應用中,MQTT-LLN閘道器有其必要且不斷被重覆開發。本計畫提出二個層次的閘道整合架構:「通用閘道整合架構」用於可使用IP抽象層(如6LoWPAN)的LLN,而因網路特性差異較大,需進一步調整的LLN則採用「協定專屬閘道整合架構」,並就這二種架構下的閘道器的動態發現與綁定、MQTT重要特性實現及避免因異質網路整合造成效能瓶頸等挑戰探討解決方案。此外,我們將實現其原型並提供設計案例,供未來研究人員或業界研發團隊使用,並透過實驗與應用情境,驗證其功能完備性、效能及實務上之可行性,期望計畫開發成果能對智慧環境與物聯網領域技術發展有所貢獻。
  
 ==== 106 科技部穿戴式裝置整合計畫 創新穿戴式互動展演平台技術深化與推廣 ==== ==== 106 科技部穿戴式裝置整合計畫 創新穿戴式互動展演平台技術深化與推廣 ====
行 42: 行 117:
 在本計畫中,我們將與國內投入區塊鏈技術應用的先驅富邦金控合作,發展區塊鏈企業應用所需之關鍵技術與工具,實際進行場域驗證,爭取正式營運商轉。首先,高效能共識演算法一直是區塊鏈技術應用的重大瓶頸,其主要目標是提升私有鏈的交易吞吐量。在認許制的封閉系統中,可透過機制避免特定錯誤發生,此時可考慮弱拜占庭錯誤,因而有機會設計效率更好的共識演算法。由於認許制共識演算法性質的關係,錯誤節點數量愈少,吞吐量愈高。然大多數認許制共識演算法都有關於錯誤節點數量的假設。因此,在錯誤節點數量減少之後,這些假設將可被改善,我們也將設計一個評比工具來評估各種共識演算法的性能。從軟體工程角度來看,區塊鏈應用學習與開發門檻仍高且手續繁複,且系統整合與架構仍在土法練鋼階段,欠缺系統化的智能合約驗證與測試機制。為解決上述挑戰,將發展自動化佈署與管理中介軟體,其次,將探討區塊鏈結合物聯網整合服務架構風格逐一針對其重要NFR 屬性進行探討、分析、與實作驗證,並應用於建構物聯網整合應用場景。針對欠缺系統化的智能合約驗證與測試機制的挑戰,將開發支援智能合約語言的自動驗證工具,與富邦的領域專家共同實際採用BDD 方法此工具開發應用情境驗證其成效。最後,在分秒必爭的金融交易市場中,數位貨幣交易的優點與便利性絕對是現金交易所難以取代的。但如何兼顧使用者隱私與受金管單位的監控一直是個兩難的議題。另一方面,客戶盡職調查(KYC)在金融服務上,亦扮演著非常重要的角色,不管是從客戶投資的適切性,或是從防制洗錢的角度來看,一家銀行若沒有做好充分認識、驗證客戶資訊的動作,可能會造成客戶極大的損失,或是為公司帶來營業上的困境。我們將利用區塊鏈技術,設計基於區塊鏈的數位現金支付與KYC 機制。 在本計畫中,我們將與國內投入區塊鏈技術應用的先驅富邦金控合作,發展區塊鏈企業應用所需之關鍵技術與工具,實際進行場域驗證,爭取正式營運商轉。首先,高效能共識演算法一直是區塊鏈技術應用的重大瓶頸,其主要目標是提升私有鏈的交易吞吐量。在認許制的封閉系統中,可透過機制避免特定錯誤發生,此時可考慮弱拜占庭錯誤,因而有機會設計效率更好的共識演算法。由於認許制共識演算法性質的關係,錯誤節點數量愈少,吞吐量愈高。然大多數認許制共識演算法都有關於錯誤節點數量的假設。因此,在錯誤節點數量減少之後,這些假設將可被改善,我們也將設計一個評比工具來評估各種共識演算法的性能。從軟體工程角度來看,區塊鏈應用學習與開發門檻仍高且手續繁複,且系統整合與架構仍在土法練鋼階段,欠缺系統化的智能合約驗證與測試機制。為解決上述挑戰,將發展自動化佈署與管理中介軟體,其次,將探討區塊鏈結合物聯網整合服務架構風格逐一針對其重要NFR 屬性進行探討、分析、與實作驗證,並應用於建構物聯網整合應用場景。針對欠缺系統化的智能合約驗證與測試機制的挑戰,將開發支援智能合約語言的自動驗證工具,與富邦的領域專家共同實際採用BDD 方法此工具開發應用情境驗證其成效。最後,在分秒必爭的金融交易市場中,數位貨幣交易的優點與便利性絕對是現金交易所難以取代的。但如何兼顧使用者隱私與受金管單位的監控一直是個兩難的議題。另一方面,客戶盡職調查(KYC)在金融服務上,亦扮演著非常重要的角色,不管是從客戶投資的適切性,或是從防制洗錢的角度來看,一家銀行若沒有做好充分認識、驗證客戶資訊的動作,可能會造成客戶極大的損失,或是為公司帶來營業上的困境。我們將利用區塊鏈技術,設計基於區塊鏈的數位現金支付與KYC 機制。
  
-==== 106科技部大專學生參與專題研究計畫: 發展Web of Things環境下支援Mashup式服務組合的開發平台 === 
- 
-計畫指導老師 2017.7.1 - 2018.2 專題生 傅信穎 
- 
-科技日新月異,智慧家庭核心技術與服務日漸成熟,相關感測器(sensor)與致動器(actuator)也已相當普及。近年來,隨著物聯網技術與服務興起,為解決不同裝置相容性問題,學者提出Web of Things(WoT)的概念,讓應用服務只需透過標準化的Web技術即可與各種WoT裝置互動,並藉由服務組合中的混搭(Mashup)讓智慧家庭服務開發更加簡化。然而,目前裝置與服務仍沒有共同規格來描述其具備的功能與品質(Quality of Services),增加了裝置與服務之間溝通的困難,過去雖有如UPnP等基於Web技術的標準被提出,但近年來小型行動裝置和嵌入式裝置數量日益增加,這些裝置往往面臨無法負擔處理傳統Web技術所需的計算能力而難以成為物聯網的一員的困境,IETF提出的CoAP(Constrained Application Protocol)協定也適時地提供了部份的解決方案,然而在Mashup機制部份,就我們所知目前尚欠缺適當的機制來輔助服務使用者進行服務的編修。本計畫希望透過設計一個具圖形化介面的Mashup機制,讓使用者能輕鬆選擇所需的裝置或服務組成智慧家庭服務。此機制由Mashup自動替使用者負責參數設置與串連的合法性(validity)檢查,並基於W3C的Web Thing Model(WTM)統一裝置與服務的描述,同時提供以HTTP和CoAP兩種方式進行搜尋與溝通。希望藉由此研究計畫的成果,能夠讓智慧家庭WoT服務相關應用得以更容易、更準確地開發,同時也讓WoT研究能容易地進行。 
  
 ==== 105科技部專題研究計畫: 智慧家庭服務產業維運核心技術的設計與實現 ==== ==== 105科技部專題研究計畫: 智慧家庭服務產業維運核心技術的設計與實現 ====
行 84: 行 154:
 情境,以雛型系統方式評估及展現S-TAP 的可運用性。 情境,以雛型系統方式評估及展現S-TAP 的可運用性。
  
- 
-==== 105科技部大專學生參與專題研究計畫: 發展基於W3C Web Things Model的Web of Things的應用服務開發工具 ==== 
- 
-**計畫指導老師** 2016.7.1 - 2017.2 專題生 謝文婷  
- 
-科技日益進步,智慧家庭的核心技術已日漸成熟。智慧家庭籍由整合各種感測器 (sensor) 、致動器 (actuator) 及軟體形成智慧家庭服務。近年來,由於物聯網概念日漸普及,在應用層級也出現了Web of Things (WoT) 概念,讓智慧家庭服務開發更加簡化,在WoT的概念中,網路上所有服務都可以透過HTTP加以存取。然而,由於仍缺乏服務描述的共同標準,因此,搜尋裝置的位置和發現它們的功能等「Findability」議題目前仍未具有效的解決方法。W3C目前正在進行Web Things Model的草案討論,希望能解決這個問題。本計畫希望參考最新版本的W3C Web Things Model草案,參考在家庭網路中相當普及的SSDP (Simple Service Discovery Protocol) 與IETF的CoAP (Constrained Application Protocol) 協定,設計一個適用於智慧家庭的「Findability」解決方案,建構一個開發工具組來支援智慧家庭WoT服務的快速建構。我們希望藉由此工具組的建構,能夠讓智慧家庭WoT服務相關應用得以更容易地開發,同時也讓此領域的研究能更容易地進行。 
  
  
行 130: 行 194:
 以評估本計劃之成效。 以評估本計劃之成效。
  
-==== 104科技部大專學生參與專題研究計畫: 基於TR-069建構智慧家庭軟體服務業營運基礎設施: 佈署、維修與計費 ==== 
- 
-計畫指導老師 2015.7.1 - 2016.2 專題生 黃詩庭  
- 
-隨著科技進步,智慧家庭方面的技術已日漸成熟但仍舊無法普及,其主要原因為遠端部署、計費、以及維修的功能還不完整。本研究主要目的為設計一個可提供遠端部署、計費、維修且以OSGi(Open Service Gateway initiative)為架構的智慧家庭系統。TR-069(Technical Report 069)是由Broadband Forum制定,規範CPE(Customer Premises Equipment)和ACS(Auto-Configuration Server)之間溝通的通訊協定,其主要功能就是用來遠程控制使用者的終端設備。TR-069在架構設計上使用超文字傳輸協定的客戶機/服務器模型(HTTP Client/Server model),充分使用Web的成熟技術,使得協議的實現簡單且有很好的擴展性。然而,TR-069主要著重在Home Gateway到服務提供商之間的規範,在進入家庭網路後,對如何協調設備間的互動並未規範,因此,在本研究計畫中,將基於利用TR-069這個協定標準,設計一個結合家庭網路及服務提供商網路,完成遠端部署、計費以及維修的解決方案。計畫所產生的成果,預期將能提供使用者更舒適、更方便的智慧家庭服務,且提供服務供應商更完備的智慧家庭服務系統,進而讓越來越多人能享受到智慧家庭所提供的便利性。 
  
 ==== 科技部整合型專題研究計畫(積層製造跨領域專案計畫):3D列印於中小學教育的創新應用與關鍵軟體技術開發 ==== ==== 科技部整合型專題研究計畫(積層製造跨領域專案計畫):3D列印於中小學教育的創新應用與關鍵軟體技術開發 ====
行 186: 行 245:
  
  
-==== 103科技部大專學生參與專題研究計畫: 高相容性UPnP語意匹配服務管理模型的設計與實作 ====  
- 
-計畫指導老師(後因轉換學校,更換為薛念林副教授) 2014.7.1 - 2015.2  專題生 江易倫 
- 
-本計畫主要針對智慧家庭中UPnP通訊協定的便利與可用性進行分析與改進。智慧家庭中有許多通訊協定,而UPnP是其中一個不可或缺的重要協定,UPnP是由幾項重要的子系統構成,其中服務發現(Service Discovery)和存在性管理(Presence Management)更是支援智慧家庭環境服務高度動態特性的重要技術。然而UPnP進行服務發現時是使用字串比對,若是比對不符合就等於此服務不是正確的搜尋目標,因此我們希望能透過UPnP結合Semantic Web的技術去改善此一問題,此外,我們還希望所提出的解決方案可以完全和傳統的UPnP裝置雙向互通,以提高此技術在實務上的可行性。 
  
 ==== 102科技部專題研究計畫: 智慧生活空間中基於時序與因果的串流導向複雜事件分析 ==== ==== 102科技部專題研究計畫: 智慧生活空間中基於時序與因果的串流導向複雜事件分析 ====
行 208: 行 262:
 在理論與應用層面更加完備。 在理論與應用層面更加完備。
  
-==== 102國科會大專學生參與專題研究計畫: 具語意匹配能力的UPnP服務管理模型 ==== 
- 
-**計畫指導老師** 2013.7.1 - 2014.2  **專題生** 蔡明倫 
- 
-智慧生活空間技術近年來受到許多研究人員的重視,這種空間需透過服務管理機制處理各式設備、軟體與裝置的偵測、發現、資料傳送及組合等問題,以達成最佳服務品質。UPnP 是一種不依賴特定平台、 
-穩定且相當普及的服務管理機制,然而其服務匹配機制太過原始,只支援服務描述的逐字比對,導致應用程式經常找不到服務或服務品質不穩定。在這個計畫中,我們嘗試將語意網技術融入UPnP 的服務管理機制,提出一個具語意匹配能力的UPnP 服務管理模型。期望可在極少額外效能負擔下,進行具備語意匹配能力的服務管理,並可與傳統UPnP 各式裝置相容共存並混合使用。 
  
 ==== 101國科會專題研究計畫: 智慧生活空間中場域導向服務管理機制之建構與應用 ==== ==== 101國科會專題研究計畫: 智慧生活空間中場域導向服務管理機制之建構與應用 ====
 
researchexperiencescht.txt · 上一次變更: 2023/06/23 09:21 來自 try
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki