学术看板
科研动态
学院基金
成果展示
科研团队
相关政策
科研机构
科研团队
嵌入式系统研发与测试实验室
时间: 2014-12-23 21:33  来源: 计算机学院

科研机构名称
嵌入式系统研发与测试实验室
所属单位
计算机学院(软件学院)
联办单位
 
建议机构负责人
姓名  郭兵  性别 男 年龄 41 职称 教授  拟任职务 负责人 
主要科研人员: (总人数 11人)教授4人,副教授3人,讲师5人,研究生人数超过50人                      
姓名
性别
年龄
职称
郭兵
41
教授
洪玫
48
教授
刘东权
56
教授
蒋玉明
48
教授
何军
41
副教授
杨秋辉
38
副教授
李强
48
副教授
黄武
42
讲师
王湖南
36
讲师
尹皓
40
讲师
李辉(小)
38
讲师
胡大裟
35
讲师
新建科研机构的目的和意义:(包括研究方向,所属学科领域,特色,目标等)
 
研究方向包括以下四个方向:
1)嵌入式系统性能优化设计
2)嵌入式软件自动化测试
3)医学信息智能处理
4)并行软件开发
 
本科研机构的学科领域属于计算机系统结构。
 
主要特色包括:
1) 绿色计算作为一种新型的计算模式,尤其在智能移动嵌入式系统中的应用,是迫切需要解决的研究课题。
2) 嵌入式软件的自动化测试与验证,尤其是可靠性的保障。
3) 医学信息的智能处理,尤其是三维、彩色图像的智能识别与处理。
4) 多核并行软件开发,成为提高嵌入式计算机系统性能的重要手段。
 
主要目标包括:
1)在“嵌入式系统研发与测试”领域,争取成为国内外有影响力的研究团队。
2)加强学术交流,提高团队学术水平,为改善软件学院的教学质量服务。
3)加强团队科研的协作,成为一个良好的工作平台,共同申请和承担国家与企业项目。
4)年度进校科研经费100万元以上,高水平文章E级以上1篇或F级以上2篇。
 
已具备的物质条件:(场地、仪器、设备等)
团队成员包括教授3人,副教授4人,讲师5人,研究生人数超过50人,已具备的物质条件包括:
场地:团队拥有的学院实验室面积超过200平米,同时,声泰特(成都)科技有限公司的场地面积超过1000平米, 研发生产以Microsoft嵌入式Windows XP为平台的医用彩色超声诊断仪iMago C21。此推车型彩超仪可应用於嵌入式及实时软件开发及测试, 数字信号(图像)处理、模式识别、科学可视化、三维成像等研究领域。
仪器、设备:团队拥有PC机、功率计、示波器、数字逻辑分析仪、服务器、投影仪等仪器、设备,总数量超过60台(部)。
近三年来取得的科研成绩:                                              
1)主要科研项目及经费(注明项目名称、负责人、起止年月、总经费、到校经费)
(1)基于软/硬件划分的嵌入式软件低功耗设计关键技术研究,国家科技部863计划资助项目(批准号:2008AA01Z105),郭兵,2008.05 — 2011.5,289万元,89万元。
(2)嵌入式软件低功耗设计关键技术研究,国家自然科学基金项目(批准号:61073045),郭兵,2011.01 — 2013.12,33万元,33万元。
(3)嵌入式软件功耗的建模方法研究,四川省杰出青年科技基金(批准号:2010JQ0011),2010.01 — 2012.12,45万元,23万元。
(4)嵌入式软件功耗的建模方法研究,中国科学院计算机系统结构重点实验室开放课题(批准号:2011LF318),郭兵,2011.01 — 2012.12,2万元,1万元
(5)基于云计算的RFID和GPS移动通信设备构建GIS物联网系统,四川省科技支撑项目 (批准号:2011GZ0188),何军,2011.01-2013.12,10万元,10万元
(6)光网络量子加密软件系统关键技术研究,四川省国际合作计划项目(批准号:2007H12-010),何军,2007.01-2010.12,10万元,10万元
(7)LLT用例框架生成与内存分析,华为技术有限公司,洪玫、杨秋辉,2011-3 ~2011-8,25万
(8)内存分析技术项目,华为技术有限公司,洪玫、杨秋辉,2012-3 ~ 2012-10,27万
(9)XISM 自动化测试技术合作项目, 成都市华为赛门铁克科技公司, 洪玫、杨秋辉,2011-7 ~ 2011-12, 7.6万
(10)医疗用B超仪数字波束形成系统, 四川省绵阳索尼克电子有限责任公司, 横向科研合同,刘东权, 2006 – 2010, 100万元, 100万元
(11) 全数字彩超关键技术研发. 深圳市恩普电子技术有限公司.横向科研合同,刘东权, 2008 – 2011, 40万元, 40万元
(12) 新一代可信任互联网试验网. 国家科技支撑计划项目子项目(2008BAH37B05032). 蒋玉明, 2007.07-2011.12, 19.5万, 15.07万
(13)大型发电设备数字化综合集成技术开发与应用. 国家科技支撑计划项目子项目(2006BAF01A07). 蒋玉明, 2006.11-2010.03, 12万, 12万
(14)四川大学校园网Ipv6技术升级. 国家发改委/教育部(2008FGW-01-CNGI2008-032). 蒋玉明, 2009.1-2011.06,250万,250万
(15)复合射孔模拟设计软件,中国航天科技集团公司川南机械厂,横向科研合同,胡大裟,2009-2011,12万,8万
(16)油管传输(TCP)复合射孔研究及辅助设计系统开发,中国航天科技集团公司川南机械厂,2011,18.5,15万
 
2)获奖科研成果和专利(注明成果、专利名称、奖励等级、专利类别、负责人、日期)
(1)郭兵、沈艳、朱建、任磊、王继禾、伍元胜、邓勤林. 一种基于ARM指令集的嵌入式软件能耗统计方法,国家发明专利(专利号:ZL201010191808.4).
(2)郭兵、沈艳、廖海艳、任磊、王继禾、伍元胜、罗刚. 一种针对ARM指令集的层次分类功耗测量方法,国家发明专利(专利号:ZL201010191793.1).
 
3)三大检索论文(注明刊物名称、发表日期、作者姓名)
(1)崔少国,刘东权. Noise reduction of ultrasonic elastography using transmit-side frequency compounding: a preliminary study. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 2011(3)(SCI检索).
(2)刘西耀, 刘东权. Filter-based compounded delay estimation with application to strain imaging. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control, 2011(10)(SCI检索).
(3)Qiang Li, Yike Guo, John Darlington, Tetsuo Ida. Minimized Geometric Buchberger Algorithm for Integer Programming. Annals of Operations Research, 2010, 118(1): 87~110 (SCI收录).
(4)刘啸滨,郭兵,沈艳,熊冰,王继禾,伍元胜,刘云本. 嵌入式软件体系结构级能耗建模方法. 软件学报,2012,23(2)::230~239(EI检索).
(5)伍元胜,郭兵,沈艳,王继禾,刘云本,刘啸滨. 面向IP over TDM over DWDM的多层网络能耗优化技术研究. 计算机学报,2012(已录待发).
(6)郭兵,朱建,沈艳,王继禾,伍元胜. 基于ARM处理器的嵌入式软件能耗统计模型. 电子科技大学学报,2012(已录待发).
(7)刘啸滨,郭兵,沈艳,王继禾,伍元胜. 嵌入式软件算法级功耗BP网络模型研究. 电子科技大学学报(自然科学版),2011,40(6):921~926(EI检索).
(8)Bing Guo, Yan Shen, XiaoBin Liu, Qi Li, JiHe Wang, YuanSheng Wu.An embedded software fusion power model based on algorithm and Micro-architectural level. CIS 2011, pp431~435, Sanya, China, Dec. 3~4, 2011(EI检索).
(9)王继禾, 郭兵,沈艳,伍元胜,刘云本. NoC目录协议能耗分析与建模研究. 计算机学报,2011,34(9):1603~1610(EI检索).
(10)郭兵,曾蜀芳,沈艳,王继禾,伍元胜. 面向能耗相关软/硬件划分的层次化控制数据流图建模方法. 四川大学学报(工程科学版),2011,43(4):83~88(EI检索).
(11)Xiaofeng Chen, Bing Guo, Yuansheng Wu, Jihe Wang , Yan Shen,Yunben Liu. Hardware/software partitioning algorithm Based on Hopfield Neural Networks and Genetic Algorithm. The 2010 International Conference on Information Security and Artificial Intelligence (ISAI 2010), pp. 356~360, Chengdu, China. Dec 17-19, 2010 (EI检索)
(12)Qi Li, Bing Guo, Yan Shen, JiHe Wang, YuanSheng Wu, Yunben Liu. An embedded software power model based on algorithm complexity using back-propagation neural networks. The 2010 IEEE/ACM International Conference on Green Computing and Communications (GreenCom 2010), pp. 454~459, Hang Zhou, P.R. China, June 18-20 Dec., 2010 (EI检索).
(13)Shaobo Liu, Meikang Qiu, Wenzhong Gao, Xiao-jun Tang, Bing Guo. Hybrid of Job Sequencing and DVFS for Peak Temperature Reduction with Nondeterministic Applications. The 10th IEEE International Conference on Computer and Information Technology (CIT 2010), pp. 1780~1787, Bradford, U.K., June 29~1 July, 2010 (EI检索).
(14)沈艳,郭兵. 网络控制系统变采样周期智能动态调度策略. 四川大学学报(工程科学版),2010,42(1):162~167(EI检索).
(15)Gang Luo, Bing Guo, Yan Shen, HaiYan Liao, Lei Ren. Analysis and optimization of embedded software energy consumption on the source code and algorithm level. Fourth International Conference on Embedded and Multimedia Computing (EM-Com 2009),pp. 1~5, Jeju, Korea, December 10~12, 2009 (EI检索).
(16)郭兵,沈艳,邵子立. 绿色计算的重定义与若干探讨.计算机学报,32(12),2009:2311~2319(EI 收录检索).
(17)罗刚,郭兵 ,沈艳 ,廖海艳,任磊. 源程序级和算法级嵌入式软件功耗特性的分析与优化方法研究. 计算机学报,32(9),2009:1869~1875(EI检索).
(18)Lei Zhang, Zhishu Li, Bing Guo. Merged Request: A New Design Pattern for Enhancing the Performance of Concurrent Access. The 8th International Conference on Embedded Computing (EmbeddedCom-09), pp. 69~74, Dalian, P. R. China, Sept. 25-27, 2009 (EI检索).
(19)Wuming pan, Bing Guo. Nested Proof Compilation and Proof Checking in Universal Pattern Logic. The Fourth International Conference on Rough Set and Knowledge Technology (RSKT’09), LNCS 5589, pp. 358~366, Gold Coast, Australia, 2009 (EI检索).
(20)Xiang Zhou, Bing Guo, Yan Shen, and Qi Li. Design and implementation of an improved C source-code level program energy model. The Sixth International Conference on embedded Software and Systems (ICESS2009), pp 490~495, HangZhou, P.R. China, May 29-31, 2009 (EI 检索).
(21)杨秋辉,周洪宇,洪玫,王松,臧康. 分布式自动化软件测试实验技术研究. 四川大学学报(工程版),2011,43(5):126~132 (EI检索).
(22)XU Silao and HONG Mei. Translating SQL into Relational Algebra Tree: Using Object-Oriented Thinking to Obtain Expression of Relational Algebra. In Proc. of IEEE International Symposium on System Modeling, Simulation and Engineering Mathematics (SMSEM'2011), Wuhan City, Hubei, China, April 22~24, 2011: 325~329 (EI检索).
(23)Mei Hong, Qiang Zeng, Zhuo Wang, Yi Zhang, Heng Wang. An Approach of Automated Test Cases Generation in Database Stored Procedure Testing. In Proc of 2nd International Workshop on Education Technology and Computer Science (ETCS'2010), Wuhan City, Hubei, China, March 12~13, 2011: 533~537 (EI检索).
(24)Qiang Li. Applying Stochastic Integer Programming to Optimization of Resource Schedule in Cloud Computing. Accepted by Journal of Networks, 2012 (EI收录).
(25)Qiang Li. An Optimal Algorithm for Resource Scheduling in Cloud Computing. Advanced in Multimedia, Software Engineering and Computing, 2011, 2(12): 293~299 (EI收录).
(26)Qiang Li. An Optimal Model and Solution for Resource Scheduling in Cloud Computing. In Proc. of International Conference on Computer Application and System Modeling (ICCASM'2011), Xiamen, China, Nov. 18~20, 2011:620~624 (EI收录).
(27)Qiang Li, Yike Guo. Optimization of Resource Scheduling in Cloud Computing. In Proc. of IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing  (SYNASC'2010), Romania, 2010: 315~320 (EI收录).
(28)Adaptive ultrasound image attenuation compensation based on texture analysis, 四川大学学报(工程科学版), (in Chinese), vol.43, 2011, pp.139-144, Xiaoying Li, Dong C. Liu, (indexed by EI)
(29)An advanced filter adaptive to non-stationary clutter in ultrasonic color flow imaging, Advanced Materials Research with the title New Trends and Applications of Computer-aided Material and Engineering, Vol. 186, 2011, pp.141-145, Congsheng Xie, Dong C. Liu (indexed by EI)
(30)Fast adaptive ultrasound speckle reduction with bilateral filter on CUDA, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Fengjiao Jiang; Dan Shi, Dong C. Liu, (indexed by EI)
(31)Local histogram matching based bilateral filter to ultrasound speckle reduction, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Dangguo Shao; Dong C. Liu, (indexed by EI)
(32)Optical flow computation based medical motion estimation of cardiac ultrasound imaging, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Qishan Luo; Dong C. Liu, (indexed by EI)
(33)Real time scan conversion for ultrasound imaging based on CUDA with Direct3D display, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Li Wang, Dan Shi, Anyuan Zhao, Chaowei Tan; Dong C. Liu, (indexed by EI)
(34)Optimized GPU framework for ultrasound strain imaging, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Pin Lu; Dan Shi, Dong C. Liu, (indexed by EI)
(35)Tissue hard inclusion detection using motion visualization based approach, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Xin Wang; Jie Ren, Dong C. Liu, (indexed by EI)
(36)Ultrasound image registration based on polar transform and block matching, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Zijuan Xu; Chaowei Tan, Li Wang, Dong C. Liu, (indexed by EI)
(37)Fusion of ultrasound blood flow and color flow imaging, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Zhengjuan Fan; Chaowei Tan, Li Wang, Dong C. Liu, (indexed by EI)
(38)GPU based ultrasound tissue Doppler imaging, 2011 IEEE International Conference on Bioinformatics and Biomedical Engineering, Zhengjuan Fan; Li Wang, Chaowei Tan, Dong C. Liu, (indexed by EI)
(39)Filter based spatial compounding for strain imaging, 2010 IEEE International Conf. on Image Processing, Wen Liu, Yangjie Cheng, Paul Liu, Dong C. Liu (indexed by EI)
(40)SAD based Sensor-less Freehand 3D Ultrasound Reconstruction with Adaptive Curve Correction, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Jie Ren; Chaowei Tan; Cao Tian; Dong C. Liu, (indexed by EI)
(41)2-D FFT for Periodic Noise Removal on Strain Image, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Jing Wang; Dong C. Liu, (indexed by EI)
(42)Blood Flow Velocity Measurement: CCF based on I/Q signal, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Jing Wang; Dong C. Liu, (indexed by EI)
(43)Strain Image with Spatial Angular Compounding, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Kun Zhang; Paul Liu; Dong C. Liu, (indexed by EI)
(44)Frequency Compounding for Ultrasound Freehand Elastography, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Yangjie Cheng; Paul Liu; Shaoguo Cui, Dong C. Liu, (indexed by EI)
(45)Amplitude modulation strain noise reduction by displacement field correction, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Shaoguo Cui, Caibi Peng, Dong C. Liu, (indexed by EI)
(46)Multi-direction guidance motion tracking for real-time ultrasound strain imaging, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Shaoguo Cui, Caibi Peng, Dong C. Liu, (indexed by EI)
(47)Optimized GPU framework for ultrasound color flow imaging, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Zhengjuan Fan,  Dan Shi,  Dong C. Liu, (indexed by EI)
(48)Chirp-coded pulse excitation for ultrasound elasticity imaging, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Hui Peng, Dong C. Liu, (indexed by EI)
(49)Fast GPU-based automatic time gain compensation for ultrasound imaging, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Dan Shi,  Zhengjuan Fan,  Hao Yin,  Dong C. Liu, (indexed by EI)
(50)Optimized GPU framework for speckle reduction using histogram matching and region growing, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Dan Shi,  Xiaoying Li, Dong C. Liu, (indexed by EI)
(51)Optimized GPU framework for pulsed wave Doppler ultrasound, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Li Wang, Dan Shi, Dong C.Liu, (indexed by EI)
(52)Method of improved scatterer size estimation without attenuation known a priori, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Zongfang Wu, Dong C. Liu, (indexed by EI)
(53)Optimized GPU framework for ultrasound B-mode imaging, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Chunlan Xia, Anyuan Zhao, Dong C. Liu, (indexed by EI)
(54)Graphics processing unit-based high frame rate ultrasonic tissue motion visualization, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Anyuan Zhao, Dong C. Liu, (indexed by EI)
(55)Frequency compounding of the ultrasound images using wavelet packets decomposition, 2010 IEEE International Conference on Bioinformatics and Biomedical Engineering, Xiaoming Zhou, Dong C. Liu, (indexed by EI)
(56)An embedded high performance ultrasonic signal processing subsystem, IEEE International Conference on Embedded Systems and Software 2009, Hui Li, Dong C. Liu, (indexed by EI)
(57)Detection of the intimal and adventitial layers of the carotid artery based on snakes, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Haijing Liu, Dong C. Liu (indexed by EI)
(58)Tissue flow detection based on fuzzy logic processing, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Haijing Liu, Dong C. Liu (indexed by EI)
(59)Lateral resolution enhancement of ultrasound image using neural network and fuzzy fusion, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Hao Yin, Dong C. Liu (indexed by EI)
(60)Automatic time gain compensation in ultrasound imaging system, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Mingwang Tang, Fei Luo, Dong C. Liu (indexed by EI)
(61)An extended frequency splitting method for ultrasound color flow imaging, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Yundeng Pan, Dong C. Liu (indexed by EI)
(62)Adaptive multiple snapshots with matrix pencil method for color flow imaging, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Yundeng Pan, Paul Liu, Dong C. Liu (indexed by EI)
(63)Estimation of ultrasound attenuation and its application to tissue heterogeneity study using nonlinear least square data fitting, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Xiaoying Li, Dong C. Liu (indexed by EI)
(64)Dynamic persistence of ultrasound images after local tissue motion tracking, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Xiaoying Li, Dong C. Liu (indexed by EI)
(65)Modified phase zero method for ultrasound freehand strain imaging, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Zhqiang Jiang, Paul Liu, Dong C. Liu (indexed by EI)
(66)Morphological postprocessing for color flow imaging in medical ultrasound, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Paul Liu, Yundeng Pan, Dong C. Liu (indexed by EI)
(67)Sound speed optimization based on acoustic point spread function, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Huanhuan He, Dong C. Liu (indexed by EI)
(68)Blood flow velocity estimation from ultrasound speckle tracking using chirp signals, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Hui Liu, Dong C. Liu (indexed by EI)
(69)A fast and robust super resolution method for intima reconstruction in medical ultrasound, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Yuguo Dai, Bo Wang, Dong C. Liu (indexed by EI)
(70)Adaptive curve region based motion estimation and motion visualization of cardiac ultrasound imaging, 2009 IEEE International Conference on Bioinformatics and Biomedical Engineering, Tian Cao, Chaowei Tan, Dong C. Liu (indexed by EI)
(71)Periodically gapped data spectral velocity estimation in medical ultrasound using spatial and temporal dimensions, IEEE International Conference on Acoustics, Speech and Signal Processing 2009, Paul Liu, Dong C. Liu (indexed by EI)
(72)Ultrasound speckle reduction via super resolution and nonlinear diffusion, ACCV 2009, pp. 130-139, Bo Wang, Tian Cao, Yuguo Dai, Dong C. Liu (indexed by EI)
(73)Optimized GPU framework for semi-implicit AOS scheme based speckle reducing nonlinear diffusion, SPIE Medical Imaging, 2009, Tian Cao, Bo Wang, Dong C. Liu (indexed by EI)
(74)胡大裟,李志蜀,范轶翔,梁飞.软事物存储中的放弃管理[J].四川大学学报(工程科学版),2011,43(6):153-157
(75)Dasha HU, Zhishu LI, Lin LI, Caijun CHU.Abort Processing in Software Transactional Memory. In Journal of Information & Computational Science, pages 3619-3625, 2011.





】 【打印本文】 【关闭窗口

 

 

地址:(望江校区)成都市一环路南一段24号基础教学楼B座三楼 邮编:610065 电话:86-028-85469688
   (江安校区)成都市双流县川大路第二基础教学楼B座五楼 邮编:610207 电话:86-028-85990972

四川大学计算机学院版权所有 © 2011

Produced By CMS 网站群内容管理系统 publishdate:2014/12/31 15:38:12