您好,欢迎访问北京航空航天大学!
相关导航
关键词
当前位置:首页 > 知名学者 >
李未 职称:教授 中科院院士

研究方向:实用并行程序设计语言

研究成果:

简介:李未  男,1943年生,北京市人,计算机专家。1968年于北京大学数学力学系毕业后在北京航空学院(现北京航空航天大学)任教至今,期间获英国爱丁堡大学计算机系博士学位。1986年起任北京航空航天大学计算机学院教...

排序
 1、R演算:科学发现的逻辑
作者:李未年份:2012
主题:R演算  科学发现  逻辑验证  相对论  进化论
摘要:R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用...
 2、一个在Horn子句中求解极大缩减的算法
作者:罗杰,李未年份:2011
主题:极大缩减  极小不协调集合  极小减集  Horn子句
摘要:在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合...
 3、一种非结构化数据库的四面体数据模型
作者:李未,郎波年份:2010
主题:非结构化数据  数据模型  查询语言  关联检索  智能服务
摘要:文中针对非结构化数据管理提出了一种四面体模型.该模型用4个刻面分别描述了一个非结构化数据的基本属性、语义特征、底层特征以及原始数据等组成元素,并描述了这些元素之间的内在联系.设计了四面体模型的实现结构以及数...
 4、软件可信性动力学特征及其演化复杂性
作者:郑志明,马世龙,李未,...年份:2009
主题:软件可信性  可信特征属性  演化复杂性  动力系统
摘要:可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基...
 5、软件可信复杂性及其动力学统计分析方法
作者:郑志明,马世龙,李未,...年份:2009
主题:软件可信性  可信属性指标  动力系统  不变测度
摘要:可信软件已成为现代软件技术发展和应用的重要趋势和必然选择.目前,关于软件可信性度量与评测方法无法完全有效地对软件系统的安全可靠运行提供保障.基于动力系统理论,文中诠释了软件系统的行为特性及其可信复杂性的基本...
 6、以三倍于常人的努力去学习和工作
作者:李未年份:2009
主题:北京航空航天大学  领导人才  学习  勇于创新  知行合一  自信心  常人  外部条件  艰苦朴素  北航
摘要:同学们,你们是生逢其时的,因为当你们进入北京航空航天大学校园的时候,你们就获得了成就一个领军人才和领导人才的天时、地利、人和的外部条件。但能否成功,关键还要看你们自己的努力。你们要牢记我们北航的校训,艰苦朴...
 7、突出特色鼓励创新培养拔尖人才:理工科研究生拔尖创新人才培养模式的探索与实践
作者:李未年份:2009
主题:研究生  拔尖  创新  人才培养
摘要:从拔尖创新人才成长的规律出发,提出了"拓宽基础、瞄准前沿、构建团队、自主创新"的研究生教育方针,凝炼了三类研究生拔尖创新人才培养模式,深入阐述了针对不同类型和特点,加强研究生拔尖创新人才培养的重要意义、具体措...
 8、一种求解带有时间调度的四维长方体装填问题的启发式算法
作者:李未,黄文奇,蒋东辰,...年份:2010
主题:Packing问题  封装级别  空间距离  生成序数
摘要:长方体的Packing问题被证明是NP-hard问题。对于低维度Packing问题,国内外学者给出了模拟退火算法、遗传算法、分枝限界算法、拟人算法等求解算法。文中针对带有时间调度的三维长方体的Packing问题,引入封装级别、空间距...
 9、科学发现的逻辑验证
作者:李未年份:2008
主题:科学发现  修正演算  相对论  进化论
摘要:R演算是一个关于逻辑连接词符号和量词符号的演算系统.它是一个根据事实反驳对科学理论进行修正的符号演算系统.文中以狭义相对论和生物进化论为例,使用R演算,对这两个科学理论的发现过程,在数理逻辑层面进行了验证.验证...
 10、李未:提高自主创新能力要抓住关键
作者:李未年份:2005
主题:自主创新能力  核心竞争力  科学技术  李未
摘要:要提高我国科学技术的自主创新能力和增强我们的核心竞争力,我觉得至少要从五点来下功夫。[第一段]