浅谈玉米秸杆气化技术在我省应用前景

通过对我省各地区玉米秸杆资源情况、农业经济发展状况、乡村自然村屯分布情况的调查分析,提出在我省各地区优先推广使用玉米秸杆气化技术的前景.     

地板辐射供暖系统传热的简化解析计算

对地板辐射供暖系统传热的一般数字模型做了简化处理 ,应用分离变量法得到简化模型的解析解 ,并给出算例     

科学发展观创新昌平科技工作

十六届三中全会提出要坚持以人为本,树立全面、协调、可持续的科学发展观,反映了我们党对发展社会主义市场经济规律认识上的不断深化,体现了“三个代表”重要思想的根本要求。传统发展观偏重于物质财富的增长而忽视人的全面发展,简单地把经济增长等同于经济发展,忽视了社会的全面进步;把国内生产总值的增长作为衡量一个区域经济社会发展的标尺,忽视了人文的、资源的、环境的指标;单纯地把自然界看作是人类生存和发展的索取对象,而忽视自然界首先是人类赖以生存和发展的基础。在传统发展观的影响下,尽管人类曾经创造了历史上从未有过的经济奇…     

再保险对时间盈余风险模型破产概率的影响

研究时间盈余风险模型中再保险对调节系数或破产概率的影响，分别讨论了理赔分布为均匀分布和指数分布时。调节系数或破产概率与自留水平的关系，并得到相应的表达式。     

山东栎林的基本特征(Ⅰ)

本文在调查了大量样方的基础上,分析了山东栎林的种类组成和地理成分,阐述了栎林的区系特征。     

广义分布空间中卷积算子可解之充要条件

Ｅｈｒｅｎｐｒｅｉｓ及Ｈｏｒｍａｎｄｅｒ在Ｓｃｈｗａｒｔｚ缓增分布空间中讨论了卷积算子的可解。本文充分利用Ｂｅｕｒｌｉｎｇ广义分布空间中的Ｆｏｕｒｉｅｒ－Ｌａｐｌａｃｅ变换的性质，在Ｂｅｕｒｌｉｎｇ广义分布空间中讨论了卷积算子可解的几个等价条件，进而导出了卷积算子可解的充要条件，并推广了Ｈｏｒｍａｎｄｅｒ的某些结果     

基于截断正态概率模型的改进目标跟踪算法

在应用NIFPAT算法对机动目标跟踪时存在计算量大和要求网络训练两个弱点。分析了截断正态概率模型和NIFPAT算法后 ,把截断正态概率模型与NIFPAT算法思想相结合 ,提出了基于截断正态概率模型的改进目标跟踪算法。该算法根据目标机动情况自动调整系统方差 ,在附加较小计算量的情况下 ,能取得较好的跟踪效果。仿真实验表明 ,该算法能有效地提高对机动目标的跟踪精度。     

一个快速的二进制多重精度gcd算法

求两个整数的最大公因子（gcd)的经典的Euclid算法时间复杂度为O（ln^3n)，不适宜于多重精度运算。论文证明了gcd的相关性质，提出了一个基于二进制的、适用于多重精度运算的改进算法，其时间复杂度为O（ln^2n)。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.