国立情報学研究所で電子化したコンテンツを使用している。

国立情報学研究所で電子化したコンテンツを使用している。

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第14269号 / 工博第3020号 / 新制||工||1448(附属図書館) / 26596 / UT51-2008-T29 / 京都大学大学院工学研究科都市環境工学専攻 / (主査)教授 吉田 治典, 教授 髙田 光雄, 教授 鉾井 修一 / 学位規則第4条第1項該当

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第16505号 / 工博第3498号 / 新制||工||1529(附属図書館) / 29162 / 京都大学大学院工学研究科都市環境工学専攻 / (主査)教授 馬原 保典, 教授 米田 稔, 教授 小山 昭夫 / 学位規則第4条第1項該当

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第16817号 / 工博第3538号 / 新制||工||1535(附属図書館) / 29492 / 京都大学大学院工学研究科都市社会工学専攻 / (主査)教授 中川 大, 教授 谷口 栄一, 教授 藤井 聡 / 学位規則第4条第1項該当

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第17141号 / 工博第3631号 / 新制||工||1551(附属図書館) / 29880 / 京都大学大学院工学研究科都市社会工学専攻 / (主査）教授 伊藤 禎彦, 教授 米田 稔, 准教授 越後 信哉 / 学位規則第4条第1項該当

Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第17160号 / 工博第3650号 / 新制||工||1554(附属図書館) / 29899 / 京都大学大学院工学研究科電気工学専攻 / (主査）教授 山川 宏, 教授 北野 正雄, 教授 篠原 真毅 / 学位規則第4条第1項該当

隨者時代的進步，資訊越來越透明，員工和其家人在衡量一家企業是否成功時，已不僅僅單看財務面，同時也會衡量企業對待員工的方式與工作帶給員工工作時間的影響。許多企業為了能夠招募優秀的人才，與留住優秀的員工，也已經開始正視職場幸福感所能為公司帶來的正面效益。 本研究將以先前學者之研究作為基礎，並將視野聚焦於人資部門所提供的措施與職場幸福感之研究。透過問卷的方式，挑選工作經驗兩年以上者作為受測者，以主管的行為做為干擾變項，衡量其對兩者間關係的影響，並透過質化的方式，找出個人角色與工作角色是如何互相影響。期望透過此篇論文，能找出員工對於挑選企業時所重視的要素，並探討主管該如何協助員工。 本研究主要目的在於探討員工的工作環境與幸福感的關係，並由個人的工作生活平衡與主管作為來探討其如何對工作環境與幸福感的關係造成影響。本研究以員工幸福感為依變數，自變數為整體工作環境，並分析工作生活平衡與主管作為之干擾效果。 本研究針對在職兩年以上的員工進行網路問卷調查，共計收回130份有效問卷。主要使用階層迴歸驗證主要的假設。 結果顯示， 整體工作環境、工作生活平衡、主管作為均與幸福感呈現正向顯著關係，且可顯著預測幸福感。工作生活平衡對整體工作環境與幸福感的交互作用有邊際顯著；主管作為對整體工作環境與幸福感無顯著干擾作用。

此篇論文中提出了一個新的環境監管規則衝突偵測方法，其運用於偵測智慧環境中使用者所制定的各種服務（在此稱為「規則」）。不同於傳統的偵測方法，此篇論文考量時間的因素，使具有時間感知的規則也能夠進行偵測。當考慮到時間的關係，這可能會使得原本衝突的規則變成有機會發生衝突或是不發生衝突，而且這也將會影響到整個系統的運作。我們基於特徵交互作用將衝突類型分成矛盾以及循環兩種，並且將時間因素也考慮到衝突類型當中，再針對這兩種衝突分別進行偵測。在矛盾這類型的衝突中，此篇論文利用時間邏輯的歸結原理來找出矛盾的規則；在循環這類型的衝突中，此篇論文將規則轉換成圖，然後再利用深度優先搜索找出圖中的返回邊，若是有返回邊存在也就能說明圖中存在著循環。此方法主要有兩個優點，第一個是在不考慮時間因素的傳統規則中，能夠有效的偵測出衝突。第二個是考慮時間因素的時間感知規則中，也能夠有效的偵測出衝突。在我們的實驗中，除了在模擬的規則資料庫中進行偵測外，我們也針對在實際的農業養殖場域中所使用的規則資料庫進行偵測。我們所提出的方法成功的偵測出智慧環境中使用者所制定的服務。 / A novel temporal-aware conflict detection method for environmental regulation which is used to detect the various services (referred to as “rules”) prescribed by users in a smart environment is proposed in this thesis. This method is different from the traditional detection methods. This thesis considers the temporal-aware so that temporal rules can be detected. When we take the temporal relationship into account, it is possible that the conflicting rules are turned into opportunistic conflicting rules or non-conflicting rules, and it also affects the operation of the entire system. We divide the conflict type into contradiction and cycle based on the feature interaction and take the temporal relationship into account, and then detect these two kinds of conflict types. In the conflict type of contradiction, this thesis uses the temporal resolution to detection conflicting rules. In the conflict type of cycle, this thesis transforms the rules into graphs, and then detect the cycles through the depth-first search (DFS) to find back edges. This method has two main advantages, the first one is that the conflict can be detected among the traditional rules which do not consider the temporal. The second is that the conflict can be effectively detected among the temporal rules. In our experiments, in addition to detecting in simulated rule databases, we also detect the rule databases used in the real greenhouse. The method we proposed successfully detect the services prescribed by the users in the intelligent environment.

京都大学 / 0048 / 新制・課程博士 / 博士(工学) / 甲第22434号 / 工博第4695号 / 新制||工||1733(附属図書館) / 京都大学大学院工学研究科建築学専攻 / (主査)教授 小椋 大輔, 教授 高野 靖, 教授 原田 和典 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DFAM