江建慧JIANGJIANHUI博士后、教授
电子邮件:jhjiang@tongji.edu.cn
主讲课程:
- 计算机系统结构
- 入侵检测与防御
- VLSI测试与容错
- 可信系统设计
- 可信计算
- 软件可靠性工程
研究方向:
- 可信系统与网络
- 软件可靠性工程
- VLSI/SoC测试与容错
负责和参与完成了国家重点基础研究计划(973)项目1项,国家高技术研究计划(863)项目1项,国家自然科学基金项目(含重点、面上、重大研究计划)4项,上海市科委重点科技攻关计划项目3项,上海市科委基地建设项目1项,铁道部科技发展计划项目2项,上海市教委重点学科项目1项,以及其它类型的项目9项。拥有国家发明专利1项(ZL01124286.8),软件著作权9项。在《JournalofComputerScienceandTechnology》、《计算机学报》、《电子学报》等学术刊物及IEEEPRDC、ATS等国际学术会议上发表论文130余篇。出版有研究生教材《计算机容错技术》(中国铁道出版社,1995)和技术专著《安全关键计算机系统》(中国铁道出版社,2003)。培养已毕业的工学博士生5人、工学硕士生逾35人、工程硕士生6人。
- 1.国家高技术研究发展计划(863计划)项目(2007AA01Z142):软件可信性评估方法和工具及其应用,2007年~2009年,负责人
- 2.国家重点基础研究计划(973计划)课题(2005CB321604)子课题:VLSI高可靠设计与评估,2005年~2007年,子课题负责人
- 3.国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》面上课题(90207021):系统芯片在线测试与容错技术研究,2003年~2005年,负责人
- 4.国家自然科学基金青年科学基金项目(60903033):针对微处理器中硬差错的低代价容错技术研究,2010年~2012年,骨干
- 5.国家自然科学基金重点项目(69733010):容错计算基础技术研究,1998年~2001年,骨干
- 6.国家自然科学基金面上项目(69873010):基于分布式监测的计算机系统诊断,1999年~2001年,骨干
- 7.国家自然科学基金面上项目(68973043):VLSI设计与测试中的多值逻辑理论与技术,1990年~1992年,骨干
- 8.上海市科学技术委员会信息技术领域重点科技攻关计划项目(035115023):实时嵌入式软件系统测试技术及平台的研究与应用,2003年~2005年,子课题负责人
- 9.上海市科学技术委员会重点科技攻关计划项目(06DZ15003):轨道交通乘客信息系统终端控制设备、车辆工况监测、车地通信以及电力、设备监控系统的嵌入式技术应用研究,2006年~2008年,子课题负责人
- 10.上海市科学技术委员会重点科技攻关计划项目(04DZ15032):轨道交通自动售检票系统终端设备嵌入式技术应用,2005年~2006年,子课题负责人
- 11.上海市科学技术委员会基地建设项目(07DZ22107):上海市嵌入式系统应用工程技术研究中心,2007年~2009年,成员
- 12.铁道部科技发展计划项目(95Y09-C):上海站多媒体信息网络及信息中心关键技术的研究,1995年~1997年,骨干
- 13.铁道部科技发展计划项目(94X15-A):TMIS系统数据采集的差错校验、安全技术、系统容错技术,1994年~1997年,骨干
- 14.铁道部科技司项目(88-信-05):铁路信号设备微机控制的容错结构及故障安全技术的研究,1988年~1992年,骨干
- 15.上海市教委重点学科研究项目(B971701):基于软计算的智能控制理论及其在列车自动运行控制系统中的应用,1997年~1999年,骨干
- 16.上海高等学校青年教师学术基金项目(95QD18):实时混合容错理论及容错专用部件结构研究和模拟,1995年~1997年,负责人
- 17.上海申通地铁集团公司科研项目:轨道交通网络信息化规划与应用研究,2008年~2009年,子课题负责人
- [1]员春欣,江建慧.安全关键计算机系统.北京:中国铁道出版社,2003
- [2]江建慧.失效安全技术及自校验技术.计算机容错技术,胡谋主编,第五章,北京:中国铁道出版社,1995,157-199
- [1]JieYinandJianhuiJiang.EasinginstructionqueuecompetitionamongthreadsinRMT.JournalofComputers2011,6(7):1394-1401
- [2]JINAng,JIANGJian-hui,LOUJun-gang,HUJia-wei.APIN-baseddynamicsoftwarefaultinjectionsystem.JournalofCommunicationandComputer,2009,6(1):24-33
- [3]WANGZhen,JIANGJianhui,andYANGGuang.Implementationandanalysisofprobabilisticmethodsforgate-levelcircuitreliabilityestimation.TsinghuaScienceandTechnology,2007,12(S1):32-38
- [4]LiuHongtaoandJiangJianhui.Arobustnesstestingplatformforfilesystem.HighTechnologyLetters,2006,12(S):23-27
- [5]WangHongcheng,JiangJianhui,andJinAng.Aperformancebenchmarksuiteforreal-timeembeddedsystems.HighTechnologyLetters,2006,12(S):55-59
- [6]Jian-HuiJiang.Anerrorrecoverablestructurebasedoncomplementarylogicandalternating-retry.JournalofComputerScienceandTechnology,2005,20(6):885-894
- [7]JIANGJianhui,MINYinghua,andPENGChenglian.Fault-tolerantsystemswithconcurrenterror-locatingcapability.JournalofComputerScienceandTechnology,2003,18(2):190-200
- [8]印杰,江建慧.冗余多线程结构的重命名寄存器配对共享分配策略.计算机研究与发展,2011,48(3):516-527
- [9]楼俊钢,江建慧,靳昂.考虑样本与均值差别的软件可靠性模型.计算机学报,2010,33(7):1279-1287
- [10]田春岐,江建慧,胡治国,李峰.一种基于聚集超级节点的P2P网络信任模型.计算机学报,2010,33(2):345-355
- [11]王真,江建慧.基于概率转移矩阵的串行电路可靠度计算方法.电子学报,2009,37(2):241-247
- [12]王真,江建慧,员春欣.高性能处理器的差错校正技术.计算机研究与发展,2008,45(2):358-366
- [13]江建慧,员春欣.芯片级系统的在线测试技术.计算机研究与发展,2004,41(9):1593-1603
- [14]江建慧,闵应骅,彭澄廉.N为偶数的并发差错可定位N-模冗余结构.计算机学报,2002,25(8):837-844
- [15]江建慧.交替互补定位器及其用于双模比较冗余结构的差错定位.计算机研究与发展,2001,38(6):754-764
- [16]江建慧,施鸿宝.具有故障定位能力的健壮故障安全系统.电子学报,2000,28(8):35-38
- [17]江建慧,闵应骅,施鸿宝.数字电路并发差错定位的概念与基本结构.计算机研究与发展,2000,37(5):532-542
- [18]江建慧,闵应骅,施鸿宝.数字电路并发差错检测的新概念.计算机研究与发展,1999,36(9):1133-1141
- [19]江建慧,赵晓东,童梅,高莹心.组合事务块及其在C语言和FOXPRO中的实现.计算机研究与发展,1998,35(9):859-864
- [20]江建慧,胡谋.安全逻辑器件与CMOSB/T逻辑电路及其噪声容限.计算机研究与发展,1993,30(5):55-61
- [21]张蕊,江建慧,楼俊钢,沈君华,王艳娜.基于B/S结构的嵌入式系统测试平台.计算机辅助设计与图形学学报,2009,21(1):13-18
- [1]YingWu,JianhuiJiang,andLiangliangKong.Sequentialfrequencyvectorbasedsystemcallanomalydetection.In:ProceedingsofIEEE16thPacificRimInternationalSymposiumonDependableComputing,LosAlamitos:IEEEComputerSociety,Tokyo,Dec2010,pp.215-222
- [2]ChengtianOuyang,JianhuiJiangandJieXiao.Reliabilityevaluationofflip-flopsbasedonprobabilistictransfermatrices.In:ProceedingsofIEEE16thPacificRimInternationalSymposiumonDependableComputing,LosAlamitos:IEEEComputerSociety,Tokyo,Dec2010,pp.239-240
- [3]JieYinandJianhuiJiang.Anasynchronouscheckpoint-basedredundantmultithreadingarchitecture.In:ProceedingsofIEEE16thPacificRimInternationalSymposiumonDependableComputing,LosAlamitos:IEEEComputerSociety,Tokyo,Dec2010,pp.243-244
- [4]LiangliangKongandJianhuiJiang.Asafemeasurement-basedworst-caseexecutiontimeestimationusingautomatictest-datageneration.In:ProceedingsofIEEE16thPacificRimInternationalSymposiumonDependableComputing,LosAlamitos:IEEEComputerSociety,Tokyo,Dec2010,pp.245-246
- [5]JungangLou,JianhuiJiang,andChunyanShuai.Astudyonsoftwarereliabilitypredictionbasedontransductioninference.ProceedingsofIEEE19thAsianTestSymposium,LosAlamitos:IEEEComputerSociety,Shanghai,Dec2010,77-80
- [6]JieYinandJianhuiJiang.Designandanalysisofanasynchronouscheckpoint-basedredundantmultithreadingarchitecture.DependableComputing,vol.25,SanAntonio:TSIPress,2010,pp.519-524
- [7]AngJinandJianhuiJiang.Faultinjectionschemeforembeddedprogramsatmachinecodelevelandverification.In:Proceedingsof15thIEEEPacificRimInternationalSymposiumonDependableComputing,LosAlamitos:IEEEComputerSociety,Shanghai,Nov2009,pp.55-62
- [8]YingWuandJianhuiJiang.FrequencyweightedHammingdistanceforsystemcallanomalydetection.In:ProceedingsoftheWRIWorldCongressonComputerScienceandInformationEngineering,LosAngeles,California,31March-2April2009,pp.105-109
- [9]QianFeng-anandJiangJian-hui.Anoveltestcasegenerationmethodofpair-wisetesting.In:ProceedingsofIEEE16thAsianTestSymposium,IEEEComputerSocietyPress,Beijing,Oct2007,pp.149-154
- [10]Jian-HuiJIANG.ErrordetectionandcorrectioninVLSIsystemsbyonlinetestingandretrying.In:ProceedingsofIEEE12thAsianTestSymposium,IEEEComputerSocietyPress,Xi’an,Nov2003,P.504
- [11]JianhuiJiang,HongbaoShi,YinghuaMin,andXiaodongZhao.AnovelNMRstructurewithconcurrentoutputerrorlocationcapability.In:Proceedingsof1999PacificRimInternationalSymposiumonDependableComputing,LosAlamitos:IEEEComputerSociety,HongKong,Dec1999,pp.32-39
- [12]JianhuiJiangandMouHu.Theextendedself-checkingpropertiesofalternating-complementarylogicsystems.In:ProceedingsofInternationalWorkshoponComputer-AidedDesign,Test,andEvaluationforDependability,Beijing:InternationalAcademicPublishers,Beijing,July1996,pp.258-263
- [13]JiangJianhuiandHuMou.FaulttoleranceandpipeliningofVLSIcombinationallogicnetworks.In:ProceedingsofIEEERegion10InternationalConferenceonComputer,Communication,AutomationandPowerEngineering,vol.1,Beijing:InternationalAcademicPublishers,Beijing,Oct1993,pp.44-48
- 上海市科技进步三等奖,上海市,1995年
- 铁道部科技进步四等奖,铁道部,1996年
- 上海市高校优秀教材二等奖,上海市教委,1997年
- 复旦大学优秀博士后,复旦大学,2006年
- 同济大学隧道奖励金/教学奖励金教学系列二等奖,同济大学,2005年/2002年
- 铁道部青年科技拔尖人才,铁道部,1999年
- 宝钢教育基金优秀教师奖,宝钢教育基金理事会,1997年
- 第三届/第四届上海高校优秀青年教师,上海市教育委员会,1995年/1997年