简迅

下载PDF

导出

摘要我院计算机系韩俊刚老师的研究课题《基于时态逻辑的形式化综合》获得94年度国家自然科学基金资助,资助金额为8万元,同时计算机系梁苏军老师的研究课题《电力电子器件高压终端分析设计边界元新方法的研究》也获得94年度国家自然科学基金资助,资助金额为7.2万元,两项共计15.2万元,打破了我院从无各种基金资助的状况,

机构地区科技产业处

出处《西安邮电大学学报》 1994年第2期72-72,共1页 Journal of Xi’an University of Posts and Telecommunications

关键词国家自然科学基金电力电子器件研究课题计算机时态逻辑边界元高压终端分析设计形式化新方法

分类号 TN91-55 [电子电信—通信与信息系统]

引文网络
相关文献

1楼旭,弓小武,罗晋生.高压IGBT的研制[J].固体电子学研究与进展,1995,15(3):256-260.
2韩俊刚.硬件设计的形式验证与时态逻辑[J].计算机辅助设计与图形学学报,1990,2(1):1-6. 被引量：1
3周巢尘.通信系统的时态描述[J].中国科学（A辑）,1989,20(8):873-879.
4亢玲莉.科研简讯[J].西安邮电学院学报,2006,11(5):74-74.
5计算机系[J].常州信息职业技术学院学报,2004,3(3).
6何新华,吕昌龄.基于全局时态逻辑(GTL)的验证和测试生成研究[J].装甲兵工程学院学报,1996,10(1):23-27.
7梁苏军,唐本奇,武自录,罗晋生.高压JTE终端边界元电场分析[J].固体电子学研究与进展,1998,18(1):79-85.
8卢存伟.计算机控制系统实用抗干扰技术[J].自动化与仪表,1989,4(2):36-39.
9我院荣获国家科学技术进步二等奖[J].西安邮电学院学报,2009,14(2):62-62.
10“赞助”与“冠名”的区别[J].宁夏电力,2010(C00):223-223.

西安邮电大学学报

1994年第2期

浏览历史

内容加载中请稍等...

简迅

相关作者

相关机构

相关主题

浏览历史