陈丽琼
发布时间：2013-03-25浏览次数：

导师介绍

导师姓名
陈丽琼
导师性别
女

职务职称
副教授

所在院系
计算机科学与信息工程学院

所属学科
机械电子工程

研究方向
软件工程、嵌入式系统

联系电话
电子邮箱
Lqchen@sit.edu.cn

个人简介

陈丽琼是上海应用技术学院副教授。于2009年3月获华东理工大学博士学位，专业是计算机应用技术，研究方向为软件工程，分布式实时嵌入式系统，形式化方法，可信计算等。2006年至2010年参与国家自然科学基金项目“基于概念精化的嵌入式系统的构件开发方法”，主要负责嵌入式系统的模型设计与验证技术；在此期间还参与了上海市科技发展基金“面向信息服务领域的智能代理技术发展研究”，主要负责模型的设计、分析与实现技术。2009年获得上海应用技术学院优秀青年基金，继续从事分布式实时嵌入式系统的设计与研究。目前，正在主持上海市教委科研创新项目“服务组合风险评估模型和验证技术研究”，研究服务组合风险评估的模型设计技术，同时，参与上海市科委重点支撑项目“车路协同下智能交通控制与诱导一体化研究”，主要研究交通控制模型的构建与验证。近年来，在国内外发表学术论文近30余篇，其中SCI检索1篇、EI检索20多篇。2012年获得上海产学研课题的资助，到企业进行产学研践习，研究物联网的关键技术并应用到现代物流行业。

学习与工作经历

•2000年-2004年，安徽工业大学，数理学院，获工学学士学位
•2004年-2009年，华东理工大学，信息学院，获工学博士学位
•2009.4–至今，上海应用技术学院，计算机科学与信息工程学院，副教授

科研工作与成果

(1)主持科研
[1]服务组合风险评估模型与验证技术研究,上海市教委创新项目
[2]地铁屏蔽门DCU控制系统设计与开发,企业
[3]监狱人员定位与监控系统设计与开发,企业
[4]基于物联网的矿井信息综合系统研究与开发,企业
[5]云计算的性能测试技术与分析平台设计,企业
[6]筑巢e系统设计与开发，企业
(2)主要发表论文
[1]LiqiongChen,YunxiangLiu,CaizhuYu.Anadaptiveservicecompositionmechanismbasedonreliability.Information,14(12):3989-3996,2011.(SCI:896SR)
[2]LiqiongChen,GuishengFan,YunxiangLiu.Analyzingschedulabilityofenergy-orienteddistributedreal-timeembeddedsoftware.JournalofSoftware,6(9):1771-1778,2011.(EI:20113414252593)
[3]陈丽琼,虞慧群,范贵生,刘冬梅.基于Petri网的嵌入式系统失效模型与分析.华东理工大学学报,37(5):609-214,2011.
[4]LiqiongChen,GuishengFan,YunxiangLiu.Anapproachtoformallymodelingandverifyingdistributedreal-timeembeddedsoftware.JournalofSoftware,5(9):990-997,2010.(EI:20103913267677)
[5]LiqiongChen,ZhiqingShao,GuishengFan,HanhuaMa.AmethodforanalyzingandpredictingreliabilityofBPELprocess.JournalofSoftware,4(1):11-18,2009.(EI:20091412016353)
[6]陈丽琼,邵志清,范贵生,王秀英.分布式实时嵌入式系统的能耗建模与分析.华东理工大学学报,35(2):250-255,2009.
[7]LiqiongChen,ZhiqingShao,GuishengFan,HanhuaMa.APetrinetbasedmethodforanalyzingschedulabilityofdistributedreal-timeembeddedsystems.JournalofComputer,3(12):35-42,2008.(EI:20091412009575)
[8]LiqiongChen,YunxiangLiu,GuishengFan.Analyzingreal-timeschedulabilityofresource-orienteddistributedreal-timeembeddedsoftware.The2ndIEEEInternationalConferenceonInformationManagementandEngineering(ICIME2010),Chengdu,China,IEEEComputerSocietyPress,pp.189-193,2010.(EI:20102913084774)
[9]LiqiongChen,YunxiangLiu,GuishengFan.Amethodtoanalyzeenergyconsumptionofdistributedreal-timeembeddedsoftware.The3rdInternationalConferenceonComputerandElectricalEngineering(ICCEE2010),ChengDu,China,IEEEComputerSocietyPress,pp.640-644,2010.
[10]LiqiongChen,GuishengFan,YunxiangLiu.Analyzingfeasibilityofrequirementdrivenservicecomposition.The2ndInternationalWorkshoponComputerScienceandEngineering(WCSE2009),Qingdao,China,IEEEComputerSocietyPress,pp.1155-1160,2009.(EI:20101412821562)
[11]LiqiongChen,ZhiqingShao,GuishengFan,XiuyingWang.Modelingandanalyzingdistributedreal-timeandembeddedsystemswithhigh-levelPetrinets.2008IEEE/ASMEInternationalConferenceonMechatronicandEmbeddedSystemsandApplications(MESA2008),Beijing,China,IEEEComputerSocietyPress,pp.476-481,2008.(EI:20090911933712)

主要研究方向

目前从事的主要领域是物联网和嵌入式软件的开发与设计、形式化模型、软件工程