基于XSLT和XML的智能电子表单的研究

随着网络技术与信息处理技术的发展,基于传统纸质表单和针对每个表单编写固定程序代码的表单模式,已不能满足现在信息处理的需要。本文简要介绍了智能电子表单的工作原理、XSLT的构成和处理模型以及基于XSLT和XML的智能电子表单功能设计。     

中国沙棘平茬萌蘖种群的生物量动态

 平茬萌蘖是中国沙棘种群更新的有效方式,但其中的生态学机制并不清楚,为此,以样地每木检尺资料为基础,以 "空间差异代替时间变化法"及"样地编年序列法"原理为依据、以生物量投资与分配为指标,探讨了中国沙棘平茬更新的生态学机制.结果表明:① 中国沙棘平茬萌蘖种群及其构件生物量积累过程均符合Logistic方程,可分为慢、快、慢3个阶段,但构件之间的生物量投资与分配具有明显差异;② 通过构件之间的生物量投资与分配调节,中国沙棘实现了平茬后的萌蘖更新,尤其是萌蘖根的生物量投资具有"前置效应"和"主导效应";③ 地上与地下构件的生物量分配具有互补效应,即地下分配比例大时则地上分配比例小.因此,种群实施萌蘖更新过程中,必须在繁殖与生长之间做出权衡.     

基于音素相关后验概率变换的发音质量评价

帧规整对数后验概率是目前公认最有效的发音质量的度量。但该文证明了该度量还反映了当前发音对应的声学模型与概率空间中声学模型的混淆程度,使其在评分任务上存在着严重的缺陷。因此,该文提出了可训练的音素相关的后验概率变换;并研究了线性和非线性sigmoid变换,同时给出线性变换的显式全局最优解和非线性变换的梯度下降解法。在全国采集的普通话水平测试现场考试的篇章朗读题型上进行实验。实验结果表明:当概率空间包含所有音素时,该方法能使人机相关度从0.582提升至0.768;当采用优化的概率空间时,该方法能使人机相关度从0.696提升至0.773。     

积极引导消费市场促进产业调整升级

经济高峰期,追求快乐体验的欲望驱使着人们开肩消费的闸门,将家里的冰箱挤爆、阳台堆满,掩盖了危机下消费不足的忧患.     

科学饲料管理系统的研究与实现

本文论述了“清真畜产品规范生产与质量认证系统”中“科学饲料管理系统”的设计过程以及研发成果。该系统针对奶牛、肉牛和肉羊等特色动物养殖中饲料合理化和科学化的要求，对异构数据集成整合，即在客户端将各种异构数据转换成XML格式文件，通过Internet网络上传至服务器指定文件夹，并进行字段映射和数据整理，最后将经过整理的数据导入服务器数据库的相关表中，从而建立了宁夏地区特色动物饲料原料成分及配比数据库（知识库），实现了全区共享的饲料配方服务管理平台、事务处理平台等。“科学饲料管理系统”的应用有助于改进奶牛等动物饲料配方的科学性，提高饲料的利用率，达到节本增效的目标，为提高养殖业管理水平与畜产品生产效率提供信息化技术支撑。     

科学家首次发现系外行星距地球250万光年

一支由意大利、瑞士、西班牙和俄罗斯科学家组成的观测小组近日宣布。他们很可能在人类历史上第一次发现了一颗位于其他星系之中的行星。     

具有投放率和食饵扩散的非自治捕食模型的持久生存性

研究了一类具有投放率和食饵扩散的非自治捕食系统，利用变量代换和函数单调性等相关理论证明该系统在一定条件下是持久生存的．     

冬期水泥稳定碎石基层施工质量控制

本文结合项目施工经验，提出了在低温条件下进行水泥稳定碎石基层施工质量控制。     

双层稀疏贝叶斯学习ISAR超分辨成像算法

传统贝叶斯成像常采用拉普拉斯分布进行成像特征表征，易使得成像结果过稀疏而容易丢失部分弱散射的结构特征，进而影响逆合成孔径雷达(inverse synthetic aperture radar, ISAR)成像精度提升。为实现高精度ISAR超分辨成像，本文采用伯努利-拉普拉斯混合稀疏先验对目标统计特性进行概率建模，利用双层稀疏对目标先验进行统计约束，从而有效模拟目标散射场统计先验。并在贝叶斯层级模型下，通过引入隐变量建模的方式对先验进行分层构建，在解决先验分布与高斯似然函数不共轭问题的同时简化贝叶斯推断，降低模型复杂度。为避免繁琐的手动参数调整，实现超参数的自调节，本文对各随机变量建立条件概率依赖模型，并利用马尔可夫链蒙特卡罗随机模拟估计算法解决高维积分和后验分布难以求解的问题，实现相关超参数的统计估计，提升算法自学习能力。仿真和实测数据均证明本文所提方法具有有效性和优越性。     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．