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

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

贵州地方高校发展模式探讨

从贵州宏观经济现状、发展态势的角度，简述了贵州地方高校的现状、企求，地方社会经济发展与地方高校的需求与供给关系；思考了为地方经济发展服务的双赢问题，提出了地方高校的发展模式选择。     

一种改进的相空间近邻等距模式及其在短期气候预测中的试验

现有研究表明,气候要素系统可能存在混沌现象.通过应用混沌理论中的重建相空间技术,可在相空间中揭示出传统方法无法揭示的复杂气候动力特征,为气候预测研究开创一条新途径.现有相空间理论的研究多着重于对混沌系统的识别和应用混沌相空间理论建立不同的模式进行提前预测,这些预测多为对月时间尺度的;对于如何提高预报准确率和延长预报时效,从而实现对多个月份、季、年等更长时间尺度提前预报的研究还不多见.基于混沌理论的相空间近邻等距模式,对该理论中的提前预报时间T、延迟时间τ和相空间维数d等进行讨论.提出,实际应用中根据提前预报时间T来建立新的时间序列,满足T=τ=sδt,消除了相空间时滞τ的变化对提前预报时间尺度T的影响.应用改进前、后的预报模式,以不同相空间维数d对气温和降水气候要素做提前T=1~15个月的预报试验和检验.结果发现,改进后的模式提高了预报准确率,延长了预报时效.     

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

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

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

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

基于供应链的工程项目管理模式探讨

通过对全球工程项目市场以及工程项目管理的现状和发展分析,对照我国工程项目管理和工程项目管理企业存在的问题,提出建立基于供应链的以工程项目为对象,总承包的工程项目管理公司为核心的管理模式,以提高我国工程项目管理公司在工程项目市场的竞争力.     

现代投资组合理论模型的比较研究

对证券组合理论的Markowitz均值-方差模型以及均衡时关于资产的期望收益率的资本资产定价模型（CAPM）和套利定价理论（APT），进行了深入地比较研究，同时从动态投资组合理论，基于VaR的投资组合理论以及行为投资组合理论三个领域阐述了现代投资组合理论的新进展，并对其未来的发展进行了展望。     

蛋白质分子中多紧密接触对的几率特征

利用无规飞行高斯模型，研究四个分离的紧密接触对的分子链构象，推导了四紧密接触对的12种不同拓扑构象的几率分布理论表达式，计算了相应的几率分布的相关函数。这为理论上研究生物高分子结构特征和动力特征提供一种非常有效的方法。     

混凝土泵车结构模态分析与试验

针对混凝土泵车臂架系统振动过大的问题,使用ADAMS软件建立了泵车臂架系统的动力学仿真分析模型。通过模态分析,得到了该泵车的固有频率和振型,其一阶固有频率为0.3765Hz,实测一阶固有频率为0.370～0.375Hz,证实了仿真计算的可靠性。实测系统激扰频率为0.296～0.375Hz,与一阶固有频率比较一致,从而找出了该泵车臂架部分振动较大的原因,为该泵车结构改进提供了依据。     

多绕组变压器的多边形等值电路模型

通过求解多绕组变压器的支路电流方程和引入绕组等效阻抗的概念，得到了多绕组变压器的多边形等值电路模型，并推导了模型参数的计算公式，根据这些计算公式和多边形等值电路模型，可进一步推导出多绕组变压器的梯形和射线形等值电路模型．揭示了绕组等效阻抗概念和副边交叉耦合阻抗概念的一致性，以及多边形、梯形和射线形等值电路模型之间的内在联系．算例表明，多绕组变压器的多边形等值电路模型形式简单，计算准确，具有较强的一般适用性．