邵晨曦

邵晨曦 ，男，1954年7月生，副教授。1995年，获中国科学技术大学计算机科学系硕士学位，现为计算机系软件教研室定性仿真与CAD实验室负责人。近年来主要从事人工智能、定性推理与定性仿真、CG/CAD技术基础和CIMS 教学与研究工作。 ?主持完成了1项国家自然科学基金项目、1项国际合作交流项目、1项国家高性能计算基金项目，作为主要完成人参加了2项国家重点“863计划”项目的研究工作，主持完成了2项省级科研项目和多项其它项目。 主要研究方向： ?人工智能、定性仿真、计算机集成制造-CIMS、脑与复杂性、嵌入式操作系统、网络与安全 研究成果及获奖情况： 国家科学技术进步二等奖,（排名：6/15） 中国科学院科技进步二等奖，（排名：6/15） 国家汽车工业科技进步四等奖，（排名：1/10） 惠普信息科技奖； 震雄工业奖 ?鉴定情况: 国家自然科学基金项目(69974038),基于定性仿真方法的脑电波诊断模型研究，03年2月，通过专家评审（排名：1/10) 国家自然科学基金国际合作交流项目(60210106306)，EEG定性推理、仿真与复杂性, 03年2月，通过专家评审（排名：1/10） 国家自然科学基金委高性能计算基金项目(00215)，脑电波样条并行计算模型,03年2月，通过专家评审(排名：1/10） 国家863项目(863-306-04-04),‘高新技术开发区智能决策支持系统’，96年结题和鉴定，（排名：5/15） 安徽省科委成果， ‘坝上街市场管理信息与分析预测系统’，1994年 (编号: 1994皖科鉴字147号),（排名：1/12）； 上海市公安局技术防范评审成果，‘安全防范智能化集成系统’，2000年3月，（排名：1/16） 主要论著： 2000年以来发表的论文 SHAO Chenxi, SHEN Linfeng , WANG Xufa，YIN Shijie， Nonlinear analysis of the alcoholic’s EEG，Progress in Natural Science, 2002, 12(12),915-919. Shao Chen-xi, Chen Shuang-ping, Wang Xu-fa, HILBERT SPECTRUM FOR THE DETECTION AND CLASSIFICATION OF EPILEPTIFORM ACTIVITY IN THE EEG, INTERNATIONAL CONFERENCE ON MODELING AND SIMULAION, 2001’ Sept., Changsha, China. Shao Chen-xi, Zhang qi, Bai Fang-zhou, QUALITATIVE MODEL RESEARCH OF PARTIAL EPILEPTIC SEIZURE EEG SIGNALS, INTERNATIONAL CONFERENCE ON MODELING AND SIMULAION, 2001’ Sept., Changsha, China. Zhou Hao, Shao Chen-xi, Bai Fang-zhou, AN DISCRETE SOLVING METHOD FOR FIXING TIME-LAG PROBLEM BASED ON Q2 ALGORITHM, INTERNATIONAL CONFERENCE ON MODELING AND SIMULAION, 2001’ Sept., Changsha, China. 邵晨曦，张琪，白方周，面向分段函数的定性仿真算法PQSIM及其在脑电图研究中的应用，计算机学报，2001，24(12)：1287-1293. 邵晨曦，张琪，白方周，定性仿真在医疗诊断研究中的应用，系统仿真学报，2001，13(4): 508-516. 邵晨曦，卢继军，周颢，基于小波变换的脑电图癫痫波形检测，生物医学工程学杂志，2002，19(2): 259-263,272. 邵晨曦,胡香冬,熊焰,蒋凡. 密码协议的SPIN建模和验证. 电子学报, 2002, 30(12A),2099-2101. 邵晨曦，周颢，通用CSCW系统结构模型研究，计算机应用，2000，20(增刊)，305-307. 邵晨曦，卢继军，周颢，癫痫EEG波形的小波分析方法，科学技术与工程，2002，(3): 32-34. 邵晨曦，周颢，白方周，一种固定迟滞问题的定性仿真求解方法，作战模拟与仿真技术学术会议论文集（内部交流），青岛，2000年11月，91-95. 涂永忠，邵晨曦等，一种高效的并行定性仿真方法TPQSIM，计算机学报，2000，23(5): 459-469. 周颢，邵晨曦，白方周，基于Q2算法的固定迟滞问题离散化求解，自动化学报，2002，28(4): 610-614. 方瑾，白方周，邵晨曦，定性建模、仿真和控制，系统仿真学报，2000，12(6): 584-591. 张琪，邵晨曦，白方周，PQSIM：一个面向分段函数的定性仿真算法，信息与控制，2001，30(2)，120-123. 周颢，邵晨曦，白方周，数据流定性化方法研究，信息与控制，2002,31(2)：102-105. 颜卫军，邵晨曦. 汽修企业资源管理分析与软件设计. 计算机应用，22（8），56-58，2002. -------------------------------------------------------------------------------- 联系电话:(0551)3606694,3166057 E-mail: cxshao@ustc.edu.cn