邵晨曦

邵晨曦 ，男，1954年7月生，副教授。1995年，获中国科学技术大学计算机科学系硕士学位，现为计算机系软件教研室定性仿真与CAD实验室负责人。近年来主要从事人工智能、定性推理与定性仿真、CG/CAD技术基础和CIMS 教学与研究工作。

主持完成了1项国家自然科学基金项目、1项国际合作交流项目、1项国家高性能计算基金项目，作为主要完成人参加了2项国家重点“863计划”项目的研究工作、1项解放军总装备部信息安全重点项目，主持完成了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.