扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

交流调速电梯控制系统的改造

对继电接触器控制的交流调速电梯(TKSIDV)进行的计算机改造,大大提高了可靠性和稳定性,降低了故障率,并改善了乘员舒适感.本文简要叙述了改造前后的简要工作原理和性能.     

编译中的循环优化

讨论了循环优化的目标和循环优化的各种程序变换方法．程序变换可大大减少下标变量的访问时间；消除某些类型的相关，提高软件流水的“深度”；合并多个循环，有利于进行代码压缩．     

基于ANSYS的OOP技术进行门式刚架结构优化设计

轻钢结构在施工周期、结构适用性上与传统建筑产品相比,具备明显的优势。对门式刚架轻型房屋钢结构来说,因其节省钢材而被广泛使用,但是不合理的建筑尺寸往往会导致结构用钢量的增加,所以结构的轻型化对该类型建筑结构系统有着重要的意义。文章运用有限元理论以及有限元分析软件ANSYS基于面向对象程序设计技术对某工业厂房门式刚架进行实例分析,结构优化数学建模并作了结构分析,得出了结构优化次数、结构用钢量及截面尺寸的关系,并根据分析结果提出了合理优化设计的建议。     

测绘程序开发类课程改革研究

文中深入分析了测绘程序开发类课程群教学中存在的问题,结合作者的教学经验和我校的具体做法,将CDIO工程教育理念引入测绘程序开发类课程群的设计和实施环节,设计了测绘程序开发类课程群的主要教学模块及内容,包括程序设计语言、数据库原理及应用、数据结构、Com GIS组件开发、GIS设计与实现和CASIO计算器编程等模块,提出了具有实践性的课程改革思路和建议,为相关院校测绘程序开发类课程的改革及创新型人才的培养提供参考。     

基于Gdel配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。     

教育部属高校科研质量管理体系调查研究

为解决质量管理体系在高校中的运行问题,对教育部属高校质量管理体系建立的基本情况进行了全面调研,关注体系建立的模式和存在的突出问题,重点了解体系变更和体系覆盖范围的情况,为高校科研质量管理体系的研究提供数据支持,具有重要的实际意义。     

二级公路改扩建工程的实践与体会

以二级公路改扩建工程施工的环境特点,浅析二级公路改扩建工程建设的意识和施工程序管理的重要作用,并就一些技术和质量问题提出反思。     

常用数据库访问技术的研究

目前，数据库产品比较多，由于不同数据库应用程序开发工具有不同的数据库访问方式，而且不同的数据供应商又提供了不同的接口，致使用户在利用开发工具进行数据库应用程序开发时，对于不同的访问方式迷惑和不解，不知道哪一种访问方式的效率和效果最好。常用的数据库访问技术有：DAO、RDO、ADO．应用更多的则是ADO数据库访问技术。本文我们以数据库Access、SQL Server和Oracle为例，讨论一下DAO、ADO数据库访问技术。     

函数式语言中赋值语句（之二）

为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。