李宪之教授之气象灾害研究成果及影响

李宪之是我国著名气象学家,北京大学教授。他年轻时（1927—1930年）参加了中国西北科学考查团,在青海亲历了一次强大寒潮的侵袭,对其一生有重要的影响。1930—1936年赴德国柏林大学学习和工作。1934年获博士学位,1936年回国。历任清华大学、西南联大及北京大学教授。李宪之先生一生从事气象高等教育及科学研究,有许多开创性的工作。1934—1936年先后发表了《东亚寒潮侵袭的研究》和《台风的研究》,发现东亚寒潮可以穿越赤道,到达南半球并在那里引发降温与降水,同时提出了南半球澳洲大陆寒潮的爆发可以越过赤道在西北太平洋引发台风的生成。晚年又提出了“宏观系统”的概念,指出中国大陆特大暴雨的发生主要与来自南半球的天气系统有着重要的联系,从而提出了对中国特大暴雨及洪涝灾害可以进行监测与预测的理论。本文综合介绍了他在气象灾害研究方面的主要观点、成果以及对气象科学研究的影响与贡献。     

GATEST: 使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(Genetic Algorithm, GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。     

流量约束最小生成树问题的分枝定界算法

研究流量约束最小生成树问题(CMST),它是通讯和网络优化设计中最为基础和重要的问题之一.给出一种分枝定界算法,详细阐述了算法的原理、搜索过程,数值结果表明,该算法是有效的,并且有较好的计算性能.     

S-系的生成和上生成

借助于模论中的方法,在半群S-系范畴中引人生成元与上生成元的概念,给出生成元与上生成元的一些刻画,并讨论了S-系的Trace和Reject的性质与结构．     

基于扩展的EDPN的类的交互测试用例生成技术的研究

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例“爆炸”以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性。     

公园类景区的路径设计模型

立足于实际,研究公园类景区的路径设计问题,通过建立多级路径设计的数学模型,并由此求解出一个科学的路径设计方案。     

基于112集中受理自动测试系统升级的研究

针对现有的112障碍集中受理自动测试系统的许多功能已经无法满足业务需求的问题,对系统进行升级改造.本次112系统改造的目的是完善和优化现行系统的硬件、软件平台,提高系统测试精度,改善现有硬件不足的情况,增加系统申告的瞬时容量,满足对新增业务进行测试的功能,更好地与营业98网结合,实现数据的完全共享,达到测业实装一致的目的.     

半自反根与半自反模

从不同角度引入半自反模和半自反维数的概念,并根据半自反律数的特征,讨论了环的分类,给出了半自反维数为0和1的两类环的存在性以及GN－环上的有限生成半自反模的结构,即他是有限生成自由模的子模,借助亚投射性和半自反性的关系,详细讨论了投射根P（R）＝0的交换环R上的半自反模的一些性质。     

改进的价连性指数用于烃衍生物标准生成焓的研究

对分子价连接性拓扑指数中杂原子价点价δi进行了改进,重新定义了一个价点价δi^h。并用δi^h构建的新价连接性拓扑指数^nX^h(n=0,1,2,3,…,n）中0价、1价、2价连接性拓扑指数研究了烃衍生物标准生成焓－△fHm(g)^θ与其之间的相关性,相关系数均在0．99以上。δi^h和^nX^h具有物理意义明确、计算简便等优点。     

发动机瞬态数值模拟中气口网格生成技术研究

采用SNAPPER技术,研究了二冲程发动机瞬态数值模拟中气口处网格的自动生成,并以K100二冲程摩托车发动机扫排气系统为对象进行了应用研究,模拟计算表明,该方法对处理带气口一类发动机的瞬态流动计算是一项可行而实用的技术。