• 何积丰

    何积丰

    1.提出数据精化的完备理论针对当时数据精化方法上存在不完备以及只能处理确定性程序语言等缺陷,何积丰和合作者在论文“DataRefinementRefined”和“PrespecificationinDataRefinement”中给出了一个处理非确定程序语言数据精化的方法,使用“上下仿真映照对”来获得程序模块中各过程的函数说明,给出了完备演算规则。 2.建立程序和软件规范的统一数学模型1986年,他与合作者提出了程序分解算子,并将规范语言与程序语言看成是同一类数学对象。 3.提出编程统一理论和连接各类程序理论的数学法则。 4.用形式化界面理论沟通几种程序语言 5、研究软硬件协同设计系统的数学模型

    专家
  • HX-RS-DBW4501系列RS485导轨式温度变送器

    HX-RS-DBW4501系列RS485导轨式温度变送器

    HX-RS-DBW4501系列RS485导轨式温度变送器说明。

    综合类
  • 聂洪山

    聂洪山

    在统计源期刊、核心期刊和国际国内会议上公开发表科研论文、教学论文60余篇,其中SCI、EI检索论文30余篇,主持、参加973、863、国家自然科学基金、国防基础科研项目等共计20余项,累计科研经费3000多万。2012年获长沙市高新区创新人才计划支持。

    专家
  • 匡芳君

    匡芳君

    长沙理工大学计算机应用技术硕士,南京理工大学控制科学与工程学科模式识别与智能系统博士,南京理工大学计算机科学与技术博士后,副教授,教育部国内访问学者。湖南安全技术职业学院学术委员会副主任委员,电气与信息工程系信息安全技术专业带头人,湖南省青年骨干教师。 近年来,主要从事模式识别与智能系统、群智能优化算法、网络信息安全和嵌入式系统设计等方面的研究工作,另外也兼顾一些软件或动态网站的研发。主持完成省级课题6项,厅(校)级课题6项;主持完成院级精品专业和精品课程重点建设项目各1项;参与国家级、省部级项目12项;发表论文30多篇:SCI收录6篇,其中第一作者3篇;EI核心收录5篇,其中第一作者4篇;CSCD期刊第一作者4篇;主编应用型高职教材5部;获各类科研成果及其他奖项20多项,多次获得优秀教师、科研工作先进者、年度先进个人、优秀党员、师德先进个人等荣誉称号。

    专家
  • 魏洪兴

    魏洪兴

    自2002年起,承担清华大学软件学院《嵌入式系统及软件工具》课程教学工作,自2003年起,承担北航《嵌入式系统概论》课程教学工作;出版教材与专著3本,其中《嵌入式系统设计与实例开发》及其实验教材。重要学术期刊发表论文30余篇,获得发明专利2项,获国防科学技术二等奖1项,天津市科技技术进步二等奖1项,中国国际发明金奖1项 "

    标签:
    专家
  • 王田苗

    王田苗

    近段时间来在国内外核心刊物上发表论文约20篇,合作出版专著3部。“机器人行动规划与控制技术”项目荣获国家电子工业部科技进步一等奖、“基于多传感器局部自主的臂手集成系统”项目荣获国家航空部科技进步二等奖、“立体定向脑外科机器人集成系统”项目荣获北京市科技进步二等奖。近段时间来在国际、国内发表学术论文约30篇,合作出版专著3部,先后被《SCI》、《EI》、《ISTP》、《SA》收录18篇次,受理的国家发明专利一项。先后被国家人事部列为全国首批20名重点资助优秀回国留学人员,被授予北京高等学校学科带头人和中国航空总公司有突出贡献的青年专家称号,荣获茅以升北京青年科技提名奖、美国联合技术容阔科技教育奖等。被授予北京高等学校(青年)学科带头人和中国航空总公司有突出贡献的青年专家称号、茅以升北京青年科技提名奖、美国联合技术容闳科技教育奖等。其中研究成果立体定向脑外科机器人辅助技术已经成功应用于临床。

    专家
在线客服