キーワード検索

キーワード 詳細検索

プロフィール

程 京德 チエン ジンデ

所属部署名 理工学研究科 数理電子情報部門 電話番号
職名 教授 ■FAX番号
住所 埼玉県さいたま市桜区下大久保255 ■メールアドレス
■ホームページURL http://www.aise.ics.saitama-u.ac.jp/index.html

プロフィール

兼担研究科・学部

工学部 情報システム工学科

研究分野

ソフトウェア工学
知識工学
情報セキュリティ工学

現在の研究課題

並行プログラムの挙動監視における半順序透明性を提案し,Ada並行プログラムのための事象駆動型実行モニタEDENの開発を通じて半順序透明性の有効性を実証した(情報処理学会論文誌, Vol.30, 1989, Ohno (Ed.),“Distributed Environments,”Springer-Verlag, 1991)。  Ada並行プログラムにおけるデッドロックの分類法と検出法を確立した(情報処理学会論文誌, Vol.29, 1988, ACM Ada Letters, Vol.8, 1988, Vol.9, 1989, Vol.10, 1990, Vol.11, 1991, Vol.25, 2005, ACM TRI-Ada90, 1990, LNCS, Vol.499, 1991, Vol.1088, 1996, Vol.4006, 2006, Ada User Journal, Vol.20, 1999)。  連言的含意及び選言的含意に関するパラドックスを指摘し,それらを排除した強相関論理体系を提案し,その様々な拡張と応用を示した(Information Processing Letters, Vol.36, 1990, ACM CSC91, 1991, Journal of Computing and Infomation, Vol.2, 1996, 人工知能学会誌, Vol.13, 1998, LNCS, Vol.2417, 2002, Vol.2773, 2003, Vol.3289, 2004, Vol.3682, 2005, LNCS, 4497, 2007, Frontiers in Artificial Intelligence and Applications, Vol.61, 2000, Vol.136, 2006, ACM SAC06, 2006, ENTCS, Vol.169, 2007, Mathematical Structures in Computer Science, Vol.18, 2008)。  並行プログラム従属性解析理論を構築し,その様々な応用を示した(LNCS, Vol.603, 1992, Vol.749, 1993, ACM Ada Letters, Vol.12, 1992, 電子情報通信学会論文誌, Vol.J79-D-1, 1996, ACM TRI-Ada97, 1997)。  科学的発見における認識プロセスの強相関理論モデルを構築し,科学的発見のための認識的プログラミングパラダイムを提案し、認識的プログラミング言語EPLASを設計し実現した(LNCS, Vol.1532, 1998, Vol.1574, 1999, Vol.4487, 2007, Journal of Advanced Software Research, Vol.6, 1999, Frontiers in Artificial Intelligence and Applications, Vol.61, 2000)。  汎用前向き帰結演算システムEnCalを開発し,その様々な応用を示した(IFIP WCC96, 1996, LNCS, Vol.1336, 1997, Vol.3682, 2005, Vol. 4693, 2007, International Journal of Computing Anticipatory Systems, Vol.14, 2004, 情報処理学会論文誌, Vol.46, No.SIG10 (TOM12), 2005)。  大規模高信頼性並行システムの設計と開発における自己計測原理を提唱した(LNCS, Vol.1845, 2000, 情報処理学会論文誌, Vol.43, 2002)。  先行推論に基づく永続的反応システムの構成原理と実現技法を提案した(AIP Proceedings, Vol.718, 2004, Vol.839, 2006, International Journal of Computing Anticipatory Systems, Vol.14, 2004, Vol.18, 2006, LNCS, Vol.3488, 2005)。  永続計算システムおよびソフトシステムバスを提案した(Journal of Ubiquitous Computing and Intelligence, Vol.1, 2006, LNCS, Vol.3823, 2005, Vol.4278, 2006, Vol.4829, 2007)。  情報セキュリティ工学環境を提案し,国際基準に基づく情報セキュリティ工学環境を構築している(日本データベース学会Letters, Vol.4, 2005, 電子情報通信学会論文誌「情報・システム」, Vol.J89-D, 日本ソフトウェア科学会「コンピュータソフトウェア」, Vol.23, 2006, 情報処理学会論文誌, Vol.48, 2007, LNCS, Vol.3982, 2006, Vol.3994, 2006, Vol.4489, 2007, Vol.4910, 2008, ACM SAC06, 2006, SAC07, 2007)。

所属学会

所属学会
情報処理学会
ACM
IEEE
IEEE-CS
IEEE-SMC

学歴

出身大学院・研究科等
1989 , 九州大学 , 博士 , 工学研究科 , 情報工学専攻 , 修了
1986 , 九州大学 , 修士 , 工学研究科 , 情報工学専攻 , 修了
出身学校・専攻等(大学院を除く)
1982 , 中国清華大学 , 計算機科学技術系 , 計算機ソフトウェア専攻 , 卒業
取得学位
工学博士 , 九州大学 , Studies on Monitoring Concurrent Programs
工学修士
工学学士

受賞学術賞

2007 , APSCC07 (2nd IEEE Asia-Pacific Services Computing Conference, Tsukuba, Japan, December 2007) Best Paper Award
2007 , CASYS07 (8th International Conference on Computing Anticipatory Systems, Liege, Belgium, August 2007) Best Paper Award (2007)
2003 , CASYS03 (6th International Conference on Computing Anticipatory Systems, Liege, Belgium, August 2003) Best Paper Award (2003)
2001 , 日本インターネット協会インターネットコンファレンス論文賞
1987 , 情報処理学会学術奨励賞

研究職歴等

研究職歴
1999 , 埼玉大学大学院理工学研究科教授
1996 - 2000 , 九州大学大学院システム情報科学研究科教授
1991 - 1996 , 九州大学工学部助教授
1989 - 1990 , 九州大学工学部助手

研究活動業績

研究業績(著書・発表論文等)

論文
A Comparative Study between Soft System Bus and Enterprise Service Bus
,Proceedings of the 3rd International Conference on Computer and Network Technology,13:517-522 2010
Gang LI, Jian XIAO, Sen LI, Chun LI, and Jingde CHENG

A Fast Algorithm for Derivation Process in Forward Reasoning Engines
,International Journal of Computational Science,4(3):219-231 2010
Takahiro KOH, Yuichi GOTO, and Jingde CHENG

Adaptive Decision Making by Reasoning Based on Relevant Logics
,Computational Intelligent: Foundations and Applications:541-546 2010
Jingde CHENG

Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems
,International Journal of Computing Anticipatory Systems,24:61-72 2010
Yuichi GOTO, Ryota KUBONIWA and Jingde CHENG

Development of a General-Purpose E-testing Server for Ubiquitous Test
,Proceedings of the 2010 International Conference on Services Science, Management and Engineering:613-616 2010
Jumpei SUZUKI, Yuichi GOTO, and Jingde CHENG

Evolutionary Personal Information Partners for Students Studying in Universities
,Proceedings of the 2010 International Conference on Services Science, Management and Engineering:609-612 2010
Ryota KUBONIWA, Yuichi GOTO, and Jingde CHENG

Fast Anticipatory Reasoning for Computing Anticipatory System
,International Journal of Computing Anticipatory Systems,24:42 - 53 2010
Takahiro KOH, Yuichi GOTO, and Jingde CHENG

Internationalization of ENQUETE-BAISE: A General-Purpose E-questionnaire Server for Ubiquitous Questionnaire
,Proceedings of the 2010 International Conference on Services Science, Management and Engineering:592-595 2010
Jingzhou WANG, Yuichi GOTO, and Jingde CHENG

Logic Basis for Anticipatory Reasoning-Reacting Systems with Three-dimensional Moving Objects
,Proceedings of the 9th International Conference on Machine Learning and Cybernetics:2641-2646 2010
Chunyan HAN, Yixian LIU, Jipeng LIU, Zhiliang LIU, Dancheng LI, Zhiliang ZHU, Jingde CHENG

Security Analysis of Peer-to-Peer based Soft System Bus based Systems
,International Journal of Computer Science and Network Security,11(2):164-172 2010
Muhammad Anwarul AZIM, Yuichi GOTO, and Jingde CHENG

A Database System for Effective Utilization of ISO/IEC 27002
IEEE,Proceedings of the 4th International Conference on Frontier of Computer Science and Technology:607-612 2009
Ahmad Iqbal Suhaimi, Daisuke HORIE, Yuichi GOTO, Jingde CHENG

A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems
IEEE,Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science:897-902 2009
Daisuke HORIE, Toshio KASAHARA, Yuichi GOTO, and Jingde CHENG

A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes (Invited Paper)
IEEE,Proceedings of the 5th International Conference on Semantics, Knowledge and Grid:18-25 2009
Jingde CHENG

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control
Springer,Lecture Notes in Artificial Intelligence,5572:68-76 2009
Natsumi KITAJIMA, Yuichi GOTO, and Jingde CHENG

Development of ISEE: An Information Security Engineering Environment
IEEE,Proceedings of the 7th IEEE International Symposium on Parallel and Distributed Processing with Applications:505-510 2009
Jingde CHENG, Yuichi GOTO, Daisuke HORIE, Junichi MIURA, Toshio KASAHARA, and Ahmad IQBAL

GEST: A Generator of ISO/IEC 15408 Security Target Templates
Springer,Studies in Computational Intelligence,208:149-158 2009
Daisuke HORIE, Kenichi YAJIMA, Noor AZIMAH, Yuichi GOTO, and Jingde CHENG

Information Assurance, Privacy, and Security in Ubiquitous Questionnaire
IEEE,Proceedings of the 4th International Conference on Frontier of Computer Science and Technology:619-624 2009
Yuichi GOTO and Jingde CHENG

ISEE: An Information Security Engineering Environment
ICETE,Proceedings of International Conference on Security and Cryptography:395-400 2009
Jingde CHENG, Yuichi GOTO, and Daisuke HORIE

Uncertainty Problem in Dynamic Slicing of Concurrent Programs
IEEE,Proceedings of the 6th IEEE International Conference on Embedded Systems and Software:241-248 2009
Jingde CHENG

先行推論に基づく永続的反応システム
テレコム先端技術研究支援センター,Telecom Frontier, SCAT Technical Journal(65):34-41 2009
程京徳

学会発表
Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems
CHAOS,Abstract Book of the Ninth International Conference on Computing Anticipatory Systems:8 200908
Yuichi GOTO, Ryota KUBONIWA, and Jingde CHENG

Fast Anticipatory Reasoning for Computing Anticipatory Systems
CHAOS,Abstract Book of the Ninth International Conference on Computing Anticipatory Systems:5 200908
Takahiro KOH, Yuichi GOTO, and Jingde CHENG

Adaptive Decision Making by Reasoning Based on Relevant Logics
European Operational Research,Abstract Book of 23rd European Conference on Operational Research:112 200907
Jingde CHENG

教育活動実績

授業等

離散数学(工学部)
プログラミング言語論(工学部)
情報セキュリティ工学(工学部)
前期 , 知識工学特論(院・理工学前期)
前期 , 知識処理システム輪講(院・理工学前期)
後期 , 先端システム工学特論(院・理工学後期)