利用调查数据中完全辅助信息的广义模型校正方法

推广了模型校正方法去估计总体和均值以外的总体参数.建议的模型校正估计可以处理任何线性或非线性的工作模型,且在线性模型的情形下变为广义回归估计.通过Kronecker积,可把模型校正方法用于估计双线性参数,特别地,去估计方差和协方差.     

基于XML的自适应E-Learning系统模型的研究

在现有的基于Web的E-Learning 系统模型分析的基础上,提出了一种新的基于XML的E-Learning 系统模型,该模型采用了贝叶斯网络的推理机制来建立学生学习模型,以实现适应性学习、个性化学习;在实现系统模型上引入了XML技术,以实现学习资源的标准化.     

一种基于MDA的扩展开发模型

为了适应中小企业对MDA的部署，在分析MDA体系结构和开发模式的基础上，结合领域模型构建理论，提出一种扩展的MDA开发模型。该模型既可解决系统在不同中间件平台中的集成、互操作性、可移植性等问题，又有利于将MDA用于项目开发实践．     

一种改进的实时系统可达性分析算法

首先简介了时间自动机、时钟区域、区域等价、时钟带的概念.利用时钟带,可以将时间自动机的无穷状态空间转化为有穷.实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证.然而,当系统时钟个数较多时,用DBM存储时钟带,会造成内存空间的很大耗费.该文提出了用邻接表存储时钟带,给出了改进的算法,并对算法的空间复杂度作了分析.实验表明,当时钟个数大于5时能节约很大的内存空间,从而在一定程度上缓解了状态爆炸.     

一类SI1I2R1R2传染病模型的平衡解的稳定性

考虑一类SI1I2R1R2传染病动力学模型,即一类对于不同种群具有不同传染率,且在治愈后具有不同抵抗力的模型;或者说是对于一种疾病在两种种群中交差感染和不同恢复率的模型.给出了疾病存在消失的阈值R0.当R0＜1时,无病平衡解是全局稳定的,即疾病最终会消失;当R0＞1时,存在唯一正平衡解,且在一定条件下局部稳定.最后对该文做了一些讨论.     

基于三层分布式的机械设备故障检测网络系统

探讨了开发分布式应用程序的相关技术,论述了一个基于组件机械设备故障检测网络系统.该系统集机械检测、设备故障分析服务、解决方案及排除设备故障途径建议于一体,提供高效、快捷、便利的信息处理与服务.指出该系统设计基于组件三层网络结构,易维护、易扩充.     

强子对撞机上中性top—pion介子产生过程（pp（pp）→Ⅱt^0Ⅱt^0，bⅡt^0）的研究

描述电弱相互作用的电弱统一模型即Glashow—Weinberg—Salam（GWS）模型和描述强作用的量子色动力学（QCD）组成了粒子物理学中的标准模型（SM）．迄今为止，它是大家普遍承认的最好的描述弱、电、强3种相互作用的理论，大量实验成功地验证了这一模型．但是，其电弱理论中为产生电弱对称性破缺而引入的Higgs粒子，至今仍未在高能物理实验中发现，电弱对称性破缺（EWSB）机制还不清楚．     

工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

敦煌壁画数字图像的三维信息恢复

详细阐述了用数字近景摄影测量和计算机图像处理技术来恢复敦煌壁画三维信息的过程,以达到原样数字保存敦煌壁画的目的.通过建立洞窟的统一坐标系统,对洞窟壁画进行近景摄影测量,并把近景摄影测量获取的底片用高分辨率的扫描仪扫描成数字图像.然后经过坐标变换,建立每个墙面壁画的辅助空间坐标.在此基础上,经过模型定向、核线重采样、影像匹配、数字表面模型的生成,直至最后生成正射影像,恢复壁画的三维信息.从壁画图像处理的结果来看,所有控制点绝对定向的残差都在毫米级,壁画数字表面模型的中误差也在毫米级,也就是说敦煌壁画图像数据的几何纠正达到了毫米级.这表明用近景摄影测量和计算机图像处理技术可以很精确地恢复敦煌壁画的三维空间信息,从而达到保护和永久地数字化存贮敦煌壁画、塑像文物的目的.同时也为我们提供了一种文物保护的新方法和新思路,为古代珍贵文物的保护、复原与研究提供了新的手段.     

基于CARIMA模型的PFC与GPC的等价性

建立了新型的模型预测控制方法——预测函数控制(PFC)与传统的广义预测控制(GPC)的联系.首先推导了基于含有色噪声的自回归增量滑动平均(CARIMA)模型的预测函数控制的控制律,然后通过选取不同的基函数获取PFC控制律的形式并与GPC控制律进行比较.从而证明了在一定的基函数的选取方式下,基于CARIMA模型的PFC算法和GPC算法是等价的.揭示了PFC与GPC两者之间深刻的内在联系,为PFC的工程应用提供了理论保证.