多速率混合系统的符号化可达性分析

针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题，定义了多速率区域来表示和处理多速率自动机的无穷状态空间，从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作，即并操作、变量重赋值操作和控制状态上的时间流逝操作．从理论上证明了多速率区域在这3种操作上的封闭性，同时定义了矩阵数据结构不同上限矩阵（DCM），并用其存储多速率区域，这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构．理论上证得，DCM可以大大降低可达性分析算法的复杂度．     

贵重仪器设备共享工作的改革

分析了贵重仪器设备共享工作中存在的宣传不够、程序复杂、激励措施不够等问题,并针对以上问题,指出了应该加强宣传力度、简化工作流程、增强激励措施等改革方法,以上改革已在实践中取得初步成效。     

平遥退耕还林模式初探

退耕还林在平遥实施3年来，设计模式坚持了生态优先、适地适树（草）、集约经营、协调林牧发展的可行性原则。总结了适合平遥退耕的树种和模式，即阔叶树模式、针阔混交模式、灌木模式、兼用树种和灌（草）混交模式、乔（灌）草（药）混交模式、经济林模式。     

构建高职院校英语教学的"士"字型人才培养模式

目前,高职院校英语教学模式各具特色,但仍难以适应就业需要.按"士"字型培养模式构建的"士"字型能力培养目标和课程体系,不但能够满足当前就业和终身学习的需要,同时也为后续就业做好了必要的知识准备.     

四川文理学院采用BT、BOT方式建设新校区的探索与实践

探讨在新时期如何利用BT、BOT建设方式进行工程建设,总结这种模式的运作方式及应注意的几个问题.     

医院治理模式改革的探索与实践

通过对我国卫生体制改革及医院治理模式改革现状和方向的分析,从理论层面上阐述了医院运营机制变革是目前行之有效的方法,指出医院托管是现阶段公立医院机制改革的有效模式,并指出医院管理公司在这一领域的实践方向.     

门式刚架整体式梁柱节点试验研究及有限元分析

对门式刚架整体式梁柱节点进行低周加载试验,并按照现行规范进行常规螺栓端板连接节点足尺试验.结果表明整体式节点较常规节点刚度和承载力均有较大提高,向上承载力提高16.7%,向下承载力提高21.5%.试验也表明螺栓端板连接节点剪切变形大,试件破坏时端板翘起,柱翼缘屈服,过大的梁端位移导致试件失稳,进而失去承载力.相对而言,整体式节点对梁柱有很好的约束作用,减小了梁的变形.     

中美两国ESD失效分析研究现状及比较

随着微电子技术的迅猛发展和半导体器件尺寸的大幅度缩小,ESD失效分析已经成为微电子器件可靠性领域中的研究热点之一.概述了作为西方发达国家的典型代表美国由于ESD所造成的危害十分严重,因此美国学者对微电子器件的ESD失效分析进行了广泛研究.介绍了美国在该领域所取得的研究成果及进展状况并与我国学者所做的研究作了比较.美国在这领域所取得的新成果、新技术、研究所采用的新方法等等对我国的科学工作者是很有借鉴意义的.     

三维设计能力培养模式的研究与实践

根据制造业信息化的发展和人才培养的需要，进行了机械专业三维设计能力培养模式的研究与实践。对学生三维设计能力的培养不再局限于某一门课程，而是贯穿于“机械设计基础系列课程”课程群中，贯穿于学生4年的学习中，即从设计基础——工程设计——创新及应用设计能力培养的全过程。能力培养模式包括：三维设计理念；模仿性三维设计能力；应用性三维设计能力；创造性三维设计能力。在学生不同的学习阶段，有针对性地安排不同的教学内容，循序渐进地达到不同的培养目标。     

基于动态计量经济学模型的房地产周期研究

为正确判断房地产发展趋势,以动态计量经济学模型为基础,科学地识别并预测房地产市场周期。采用北京1989—2004年的时间序列数据,将先验经济理论与数据统计分析结合,建立自回归分布滞后的ARM AX模型。对变量进行单整ADF检验和多重协整JJ检验,求出误差修正序列。用包含误差修正项的模型来预测市场周期,弥补中国房地产市场广泛存在的非理性因素影响和统计数据的缺陷。研究表明:北京房地产市场的周期约为4~5 a;2005年的房地产市场正处于扩展阶段;2006年北京房地产市场仍将呈现稳步上升的态势。