王万义的科研成果

1. 王万义的科研成果

1984年以来受到自治区、教育厅和学校各种表彰与奖励近三十次。发表学术论文近30篇，发表在美国的《Applied Mathematics Letters》、《Journal of Spectural Mathematics and its Applications》、中国的《应用数学与力学》、《数学进展》、《应用数学》、《工程数学学报》等学术期刊上，其中已被SCI收录3篇、被EI收录4篇、被MR收录15篇。现主持国家自然科学基金项目1项、曾主持国家教学改革项目1项、主持内蒙古自然科学基金项目4项、主持内蒙古教育厅与学校科研项目6项、参与国家自然科学基金项目2项、参与内蒙古自然科学基金项目2项。

2. 王万义的介绍

王万义，1953年6月生于丹东，中共党员,辽宁对外经贸学院董事长、党委书记、教授，中共党员。现任中华职业教育社第十届理事、辽宁中华职业教育社副主任、辽宁省职业教育思想研究会副会长、辽宁省民办教育协会副会长。

3. 王义生的科研情况

　　第一作者发表论文18篇，其它排名20篇。　　参编专著五部　　广东省卫生厅和广东省医学会、广东省科委科研成果奖励各一项　　广东省医药卫生科学技术进步奖 一项　　广东省科学技术进步奖 一项主持、参与科研立项多项

4. 王万义的介绍

王万义，男，汉族，乌兰察布市化德县人，1963年7月出生，1984年1月加入中国共产党，1984年7月参加工作，教授，博士后，博士生导师，享受国务院政府特殊津贴专家，内蒙古自治区有突出贡献中青年专家，内蒙古自治区“321”人才工程第一层次人选，现任内蒙古农业大学校长。

5. 王义的科学研究

 （1）实时进程代数TCCS理论及随机系统测试理论的创始人，并为嵌入式系统的设计建立了一套完整的理论体系与开发工具。（2）他带领团队做出了一批国际领先的重要理论成果，解决了多个前沿技术发展中的理论难题，其中包括一个本领域学术界40年未解决的多核调度问题。（3）研发工具：UPPAL：实时系统的模型检测软件。UPPAAL是由王义教授领导的研究组历经20余年开发的一个实时系统建模，仿真和验证工具。UPPAAL的用户遍布世界各地，已被下载超过80000次。该工具成功应用于汽车电子、航天航空、数字医疗等重要领域安全关键性系统的设计与验证。TIMES： 嵌入式系统的调度分析和代码生成。此工具于2002年法国举行的“软件理论与实践欧洲年会(ETAPS)”上获得最佳工具论文奖。CATS ：基于近似估计的实时系统组成分析 国家863课题“面向可重构计算系统的实时调度问题与操作系统技术的研究”、教育部科技创新工程重大培育项目“面向智能化装备的嵌入式平台开发及应用示范” CoDeR-MP: 多核平台的实时应用，由SSF（瑞典战略研究基金）支持（合作者，与ABB和SAAB的5年科研项目，2009-2014）UPMARC：多核结构研究中心的uppsala编程SAVE++：以元件为基础的安全关键性汽车系统，由瑞典战略研究基金支持的国家5年研发项目）CREDO ：分布式服务发展结构的建模与分析，STREP 项目，EC支持ARTIST ：嵌入式系统设计的优越性网络（核心成员，建模与验证）实时系统的建模与认证