閻　奔 (エン　ホン,YAN Ben)

基本情報	研究分野	研究業績

著書
No.	著書名（タイトル） URL, 担当区分, 出版社, 出版年月（日）, 担当範囲, ISBN
1	大学生創新創業 , 共編者（共編著者）, 電子科技大学出版社, 2023年09月, , 978-7-5770-0378-8
2	商業智能方法与応用 , 共編者（共編著者）, 浙江科学技術出版社, 2020年01月, 業界応用コンテンツの執筆および全体構成の設計に関する作業, 978-7-5341-8898-5

報告書等
No.	報告書等名（MISCタイトル） URL, 誌名, 巻( 号), 開始ページ- 終了ページ, 出版年月（日）
1	JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案 , 電子情報通信学会技術研究報告, 106( 577), 7- 12, 2007年03月
2	ホームネットワークシステムにおける家電連携サービスの安全性に関する考察 , 電子情報通信学会技術研究報告, 106( 358), 49- 54, 2006年11月

学術論文
No.	論文タイトル（題目） URL, 誌名(出版物名), 巻( 号), 開始ページ- 終了ページ, 出版年月（日）, DOI
1	基于BP神経網絡的軟件品質評価体系研究 , 計算機応用研究（Application Research of Computers）, 38, 251- 254, 2021年06月,
2	CS-MDGA: A Packet Loss Matching Data Gathering Algorithm in Sensor Networks Based on Compressive Sensing , 電子学報（Acta Electronica Sinica）, 48( 4), 723- 733, 2020年04月,
3	A case study for software quality evaluation based on SCT model with BP neural network , IEEE Access, 8( 2), 56403- 56414, 2020年03月19日, 10.1109/ACCESS.2020.2981872
4	An Optimized Clustering Routing Algorithm with Controllable Threshold Parameter , 計算機工程（Computer Engineering）, 46( 3), 184- 191, 2020年03月, 10.19678/j.issn.1000-3428.0053550
5	基于圧縮感知的高階MIMO系統信道估値算法 , 計算機工程与応用（Computer Engineering and Applications）, 55( 19), 153- 159, 2019年07月,
6	基于聯合節点行為策略的WSN覆蓋控制算法 , 計算機工程与応用（Computer Engineering and Applications）, 55( 16), 99- 107, 2019年05月,
7	基于確率感知模型的多節点聯合網絡覆蓋算法 , 計算機工程与応用（Computer Engineering and Applications）, 55( 5), 36- 43, 2019年03月,
8	An optimized clustering communication protocol based on intelligent computing in information-centric Internet of Things , IEEE Access, 7, 28238- 28249, 2019年03月, 10.1109/ACCESS.2019.2896250
9	CMTN-SP: A novel coverage-control algorithm for moving-target nodes based on sensing probability model in sensor networks , Sensors, 19( 257), 456- 477, 2019年01月, 10.3390/s19020257
10	大数拠背景下応用型人才培養模式研究 , 江蘇科技情報, 28, 60- 62, 2018年10月,
11	実時控制系統程序模式的WCET自動分析方法 , 計算機工程（Computer Engineering）, 43( 8), 56- 62, 2017年08月, 10.3969/j.issn.1000-3428.2017.08.010
12	K-degree coverage algorithm based on optimization nodes deployment in wireless sensor networks , International Journal of Distributed Sensor Networks, 13( 2), 1- 12, 2017年01月, 10.1177/1550147717693242
13	A platform of service registry to discover service resources in ubiquitous network , International Journal of Smart Home, 10( 9), 275- 286, 2016年09月, 10.14257/ijsh.2016.10.9.26
14	The improvement and evaluation of the implementation ability for deriving timing constraints context in service-oriented home network , International Journal of Smart Home, 9( 12), 233- 244, 2015年12月, 10.14257/ijsh.2015.9.12.24
15	A proposal for deriving timing constraint context on using multiple sensor web servers in service-oriented home network , International Journal of Smart Home, 9( 8), 151- 162, 2015年08月, 10.14257/ijsh.2015.9.8.16
16	Using formal methods to increase confidence in a home network system implementation: A case study , Innovations in Systems and Software Engineering, 5( 3), 181- 196, 2009年06月, 10.1007/s11334-009-0092-5
17	Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System , International Journal of Smart Home, 3( 2), 71- 88, 2009年04月,
18	Deriving safety properties for home network system based on goal-oriented hazard analysis model , International Journal of Smart Home, 3( 1), 67- 80, 2009年01月,
19	Validating safety for integrated services of home network system using JML , Journal of Information Processing, 16, 38- 49, 2008年06月, 10.2197/ipsjjip.16.38
20	HORB利用による手話学習支援システム「マスコットドリル」の開発 , 日本教育情報学会第21回年会論文集, , 210- 211, 2005年08月,
21	ユニバーサルデザインに対応したVOD教材の提案 , 日本教育情報学会第21回年会論文集, , 6- 9, 2005年08月,

口頭発表
No.	講演・口頭発表タイトル, URL, 発表機関, 発表年月日, 誌名, 巻( 号), 開始ページ- 終了ページ, 出版年月（日）
1	Research on Path Planning Algorithm for Two-Dimensional Code Guidance Model of Automated Guided Vehicle, , HCII 2019 (Human-Computer Interaction International 2019), 2019年07月, Lecture Notes in Computer Science (LNCS 11581), , 355- 365, 2019年08月
2	Optimization Coverage Control Algorithm Based on Square Monitoring Area in Wireless Sensor Networks, , 2016 International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI 2016), 2016年10月, Proceedings of the 2016 International Conference on Identification, Information and Knowledge in the Internet of Things (IIKI 2016), , 185- 193, 2016年10月
3	Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model, , IEEE, 2008年12月13日, , , 428- 436, 2008年01月01日
4	Using Formal Methods to Increase Confidence in a Home Network System Implementation : Case Study, , Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2007), 2007年12月, Proceedings of the Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2007), , 203- 214, 2007年12月
5	Considering Safety and Feature Interactions for Integrated Services of Home Network System, , International Conference on Feature Interactions in Software and Communication Systems (ICFI 2007), 2007年09月, Proceedings of the International Conference on Feature Interactions in Software and Communication Systems (ICFI 2007), , 199- 202, 2007年09月
6	Characterizing Safety of Integrated Services in Home Network System, , 5th International Conference on Smart Homes and Health Telematics (ICOST 2007), 2007年06月, Lecture Notes in Computer Science (LNCS), Volume 4541, , 130- 140, 2007年06月