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

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

浅析高校设计教育改革方向——产学结合

针对高等院校艺术设计教育存在的问题，高等设计教育改革的重要方向之一是产学结合，具有以下模式：多方式、多层次，全方位开展产学梦合；深入校企合作，促进专业工作室建设；走进企业，自我实践，提高教师专业实践教学水平；项目化教学，培养学生综合设计能力；理论——实践——理论即“学工交替”，等。     

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

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

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

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

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

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

应用一改进的模式对北京夏季风、温和湿度场的模拟

对北京大学的三维复杂地形中尺度数值模式进行了适当改进,引入第2代陆面过程模式的参数化方案,在计算地表能量水分收支时更加注重植被的影响,根据植物生态和土壤的地理分布特征确定陆面参数。结果表明,改进后的模式在模拟夏季北京气温场、风场、湿度场时都取得令人满意的效果。模拟结果可为了解北京地区区域气候的形成、污染物的扩散及城市规划提供参考和帮助。     

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

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

时滞不稳定系统的串级内模控制

对于工业控制过程中的时滞不稳定过程,提出串级内模控制设计方法.为避免开环不稳定极点对系统的稳定鲁棒性和抑制扰动能力的影响,对控制器进行了稳定鲁棒性以及抑制扰动能力的分别设计,首先利用反馈方法整定内环的不稳定系统,然后设计前馈-反馈控制来抑制被控过程的扰动;最后使用内模控制方法对时滞被控过程进行串级外环控制,以达到对给定值的跟踪.仿真结果表明所提出的控制方法能很好地解决稳定鲁棒性和抑制扰动的均衡,且对于控制系统中过程变化引起的模型失配,可通过调整内模控制器的滤波器时间常数λ来提高控制系统的鲁棒性.     

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

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

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

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