陈仪香

中共人工智能学会人工智能逻辑专委会主任委员、中国系统科学学会模糊系统与模糊数学专业委会副主任委员、上海浦东物联网协会副会长。

学科：软件工程

领域：软件形式化方法、 智能嵌入式系统软硬件协同设计技术

兴趣：智能系统设计与优化、物联网、实时系统规范语言设计与语义、软件可信度量与评估、软硬件协同设计。

实验室： 智能系统开发实验室

已毕业博士生：吴恒洋、周洁、马艳芳、陶红伟、吴新星、姚兴华、陈艳文、李慧勇、王娜、何康力、王保华、张元睿

在读博士生： 佘庆、张亮聪、许巾一、刘晗、李凯旋

教  学：软硬件协同设计（研究生）

      智能系统优化设计（本科生）

软硬件协同设计， 2021级研究生， 教书院213，周三上午3-4节课，9:50-11:25

课程介绍： 

软硬件协同设计是智能嵌入式系统设计与实现的基本方法和技术之一，它针对智能嵌入式系统产品的多个性能指标进行软硬件优化配置，使整个系统性能最优。这些性能指标有时表现是矛盾的，如：系统运行时间越快系统成本就越高，系统功耗也就越大。软硬件本身的性能也是有差异的，如硬件运行时间一般要短于软件运行时间，但硬件是硬件面积的限制。因此，如何进行软硬件配置，即如何安排软件执行的任务和硬件执行的任务，成了智能嵌入式系统性能整体优化的关键。

本课程定位为实践探究型，将智能嵌入式系统行业前沿学术研究成果组成教材基本内容。以解决行业前沿典型案例为教材基本知识点选取的推动剂，形成了产业技术与学科理论融合的教材内容。一方面填补电子信息领域人才培养教材空白，另一方面为解决信息领域“卡脖子”问题培养复合型高端人才。

  本课程的知识目标：①系统级建模与仿真、性能获取等基础知识；②从性能优化关键点的角度，进行智能嵌入式系统软硬件配置方案方法的核心技术；③在异构嵌入式系统设计平台上，集成开发具体智能嵌入式系统的设计实践能力。本教材是数字逻辑、FPGA系统开发、嵌入式系统设计、智能系统规范与建模等知识的融合和延伸，为后续物联网及智能系统实践提供更加具体和综合的理论、方法和技术基础，为培养具有系统级的科学研究和综合开发素质的工程师提供恰当的知识和技能。

学术专著： 

[1] 陈仪香著，形式语义学的稳定论域理论， （国家自然科学基金研究专著），科学出版社， 北京，2003.

[2] 陈仪香、陶红伟著， 软件可信性度量评估与增强规范， （国家科学技术学术著作出版基金2018-F-023）,科学出版社，北京， 2019.

学术论文：

dblp: Yixiang Chen

[39]Zhang Y, F.Mallet, Chen YX, A verification framework for spatio-temporal consistency language with CCSL as a specification language, Frontiers of Computer Science(2018)

[38] Wu H, Chen YX, Bu T, Deng Y, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Fuzzy Sets and Systems, 2018，333：106-123.

[37]Wu H, Deng Y, Distribution-based behavioural distance for nondeterministic fuzzy transition systems, IEEE Transactions on Fuzzy Systems(在线)： DOI 10.1109/TFUZZ.2017.2670605.

[36] Bu T, Wu H，Chen YX, Computing behavioural distance for fuzzy transition systems, TASE 2017

[35] He K, H.Hermanns, Chen YX,  Models of connected things: on priced probabilistic timed Reo, 2017 IEEE 41st Annual Computer Software and Applications Conference,pp 233-243

[34]  Li J, Zhang Y, Chen YX, A self-adaptive traffic light control system based on speed of vehicles, 2016 IEEE International Conference on Software Quality, Reliability and Security Companion, pp 381-388.

[33] Yuanrui Zhang, Yujing Ma, Yixiang Chen, A UTP Refinement Model of the STeC Language,2016QRS:236-243.

[32] Kangli He, Yixiang Chen ect..PSTeC: A Location-Time Driven ModellingFormalism for Probabilistic Real-Time Systems,A. Remke and B.R. Haverkort (Eds.): MMB & DFT 2016, LNCS 9629, pp. 77–91, 2016.

[31] Na Wang, Yixiang Chen, A Comprehensive Trust Model Based on Multi-factors for WSNs,INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 10(2):248-262, April, 2015.

[30] Yuanrui Zhang, Yixiang Chen, Yujing Ma, A Framework for Data-Driven Automata Design,L. Liu and M. Aoyama (Eds.): APRES 2015, CCIS 558, pp. 33–47, 2015.

[29] Yanwen Chen, Yixiang Chen, Eric Madelaine,Timed-pNets: a communication behavioural semantic model fordistributed systems,Front. Comput. Sci., 2015, 9(1): 87–110.

[28] 王婧,陈仪香,顾斌等航天嵌入式软件可信性度量方法及应用研究，中国科学: 技术科学 2015 年 第45 卷 第2 期: 221-228

[27]He K, Zhang M, He J, et al.，Probabilistic model checking of Pipeprotocol，Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on. IEEE, 2015, pp 135-138.(EI, CCF-C)

[26] He K, Chen YX, Zhang M, Zhang Y, PSTeC: A location-time driven modelling formalism for probabilistic real-Timesystems. measurement, Modelling and Evaluation of Dependable Computer andCommunication Systems. Springer International Publishing, 2016, pp 77-91.

[25] Yang Z, Xiao B, Chen YX， Modeling and verification of Space-Air Ground integrated networks on requirement level using STeC, Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on. IEEE, 2015, pp 131-134.

[24] Chen YX, Zhang Y, A hybrid clock system related to STeC language, The Proceeding of SERE 2014, San Francisco, USA, June 2014: pp 199-203,

[23] Zhang Y, F. Mallet, Chen YX, Timed automata semantics of spatial-temporalconsistency language STeC, Theoretical Aspects of Software Engineering (TASE), International Symposium on. IEEE, 2014, pp 201-208.

[22] HengyangWu,YixiangChen:CoalgebrasforFuzzyTransitionSystems.Electr.NotesTheor.Comput.Sci.301:91-101(2014)

[21]   Yixiang Chen, Yuanrui Zhang, A Hybrid Clock System Related to STeC Language, SSCPS 2014.

[20] HengyangWu,YixiangChen,MinZhang.On Denotational Semanticsof Spatial-Temporal Consistency Language STeC.2013 International Symposiumon Theoretical Aspects ofSoftware Engineering,pp.113-120,2013

[19] YanwenChen,YixiangChen.Real-TimeSchedulinginCyber-PhysicalSystems.Control Engineering and applied informatics,13(3):41-50,2011

[18] YanwenChen,YixiangChen,EricMadelaine.Timed-pNets:A formal communication behaviormodel for real-time CPS system.

[17] HaiyuPan,MinZhang,YixiangChen. Bisimilarity for Fuzzy Doubly Labeled Transition System.2012 International Conference on Quantitative Logic and Soft Computing,pp.207-214.doi:10.1142/9789814401531_0030

[16] HaiyuPan,MinZhang,YixiangChen.Lattice-Valued Kripke Structures Basedon Complete Residuated Lattice.In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion (SERE2012).Pp.137-143.2012.DOI10.1109/SERE-C.2012.29

[15] HaiyuPan,MinZhang,YixiangChen.BisimulationforLattice-valuedTransitionSystems.In：TASE2012 pp.279-282,2012

 [14]. Yixiang Chen, STeC: a location-trigged Specification language for Real time Systems, The Proceeding of  15th International Symposium on Object/Component/Service Oriented Real Time Distributed Computing Workshops, Page 1-5, March 2012.  

[13]  Yanwen Chen, Yixiang Chen, and Eric Madelaine, TimedpNets: A formal communication 

behavior model for real-time CPS system, published in  the workshop of Trustworthy 

Cyber-Physical Systems in conjunction with CONCUR 2012, September 3 , 2012, Newcastle ,UK.

[12]  Yanwen Chen, Yixiang Chen, Task Assignment and on-line real-time scheduling in Cyber Physical System,

 Journal of Control  Engineering and  Applied Informatics  Vol.13, No.3, pp. 41-50, 2011.

[11] Yanwen Chen‚ Fabrice Huet and Yixiang Chen‚ Implementation and Optimization of RDF QueryUsing HADOOP ‚ First International Conference on Cloud Computing and Services Science (CLOSER 2011)‚ May 7-9‚ 2011‚ Noordwijkerhout‚ The Netherlands.

[10] Hongwei Tao‚ Yixiang Chen‚ A New Metric Model for Trustworthiness of Softwares‚ Telecommunication Systems‚ 2011.

[9] Yixiang Chen‚ Tianming Bu‚ Min Zhang and Hong Zhu. Measurement of Trust Transitivity in Trustworthy Networks‚ Journal of Emerging Technologies in Web Intelligence 2010--Vol 2 (4):319-325.

[8] Henyang Wu‚ Yixiang Chen‚ A Duality Theorem for Quantitative Semantics‚ Electronic Notes in Theoretical Computer Science‚ 2010--Vol 257:87-97.

[7] Yixiang Chen‚ Xinxing Wu‚ Success Measurement of Web Services with BPEL‚ SOSE2010:86-90‚ IEEE Computer Society.

[6]  Hongqwei Tao‚ Yixiang Chen‚ Another Metric Model for Trustworthiness of Softwares Based on Partition‚ AISC 2010--Vol 82:695-705.

[5] Yixiang chen‚ Min Zhang‚ Hong Zhu‚ Tianming Bu‚ Average Transitive Degrees for Trustworthy Network. Lecture Notes in Computer Science‚ Vol. 5589: 682-689‚2009 

[4] Yi-Xiang Chen & Heng-Yang Wu‚ Domain Semantics of Possibility‚ 《Information Science》‚178：2661-2679（2008）‚http://dx.doi.org/10.1016/j.ins.2008.01.016
[3] Yi-Xiang Chen & Heng-Yang Wu‚ Semantics of Sub-probability Programs‚ 《Frontier of Computer Science in China》‚ 2(2): 29-38‚ 2008. http://dx.doi.org/10.1007/s11704-008-0004-0
[2] Chen Yi-Xiang‚ Achim Jung‚ A Logical Approach to Stable Domains. 《Theoretical Computer Science》‚368（2006）124-148.
[1] Chen Yi-Xiang‚Zhang Guo-Qiang‚ Maximality and totality of Stable Functions in Stable Bifinite Domains‚ 《An International Journal of Computers and Mathematics with Applications》‚ 51(2006) 1011-1020.