信息化手段在工科高等数学教学中的实践与应用——以广西民族大学软件工程专业为例

高等数学是大学理工科专业的一门必修课.为了能让学生更准确、更全面地理解高等数学中的基本概念和重要知识点,教师在高等数学课堂教学中可以适当地应用信息化手段辅助课堂教学,将传统教学手段和现代教学手段有机结合起来,以提升课堂教学质量.笔者以广西民族大学2018级软件工程专业为例,讨论分析如何使用先进的信息化手段改进传统教学方式.     

面向特征的软件复用技术——发展与现状简

传统产业的工业化生产主要关注如何实现物理产品的大规模复制性生产. 实现软件产业的工业化生产,达到其发展所需的质量和生产效率,软件复用是一条现实可行的途径. 软件复用的主要关注点是如何实现软件产品的大规模定制性生产. 面向特征的软件复用提供了一种实现软件大规模定制性生产的技术途径,对软件复用的研究和实践产生了重要影响. 本文介绍并分析了面向特征的软件复用涉及的基本概念和核心思想,总结了近年来关于面向特征的软件复用研究的一些关键技术和重要成果. 具体而言: 从内涵和外延两个方面总结了现有研究中关于特征的定义,分析了特征在软件复用中承担的基本责任;阐述了特征模型的基本结构及其命题逻辑语义,介绍了对特征模型基本结构和语义的3种扩展;总结了在特征模型与软件实现制品之间建立追踪关系的两种基本方式,分别针对用况模型、软件体系结构模型以及软件实现代码这3种软件实现制品,对在特征模型与这3者之间建立追踪关系的重要研究成果进行了介绍和评述;指出了值得进一步关注的问题及未来研究方向. 通过介绍和评述,期望能够进一步凝聚本领域的研究者对相关问题及研究现状的理解,进而在面向特征的软件复用的研究上取得新的进展.     

一种多敏感空指针引用错误的静态检测方法

空指针引用错误是一种常见的、难以发现和避免的程序错误。针对该错误,结合传统静态分析方法和符号执行方法,提出一种过程内流敏感、路径敏感和过程间上下文敏感的多敏感静态分析方法。对全局指针、局部指针以及函数的指针类参数进行建模,对指针指向地址进行简化分类。在函数间传递指针的指向状态,在函数内遍历路径,使用约束求解的方式判定路径可达性,当函数分析结束后,在退出点进行指针状态信息合并,以减少漏报和误报。在此基础上,使用人工标注错误触发条件的方式进一步提高分析效率,减少漏报和误报。实验证明,该方法能够高效地检测出各类空指针引用错误。     

尾矿库场地土卓越周期试验

为研究尾矿库堆积坝尾款砂密实度的变化规律,以及通过场地土卓越周期来判断库区地基土的软硬程度,根据宁城县宏达矿业2#尾矿库现场勘察的相关结果,通过一系列的原位测试数据,计算该库区场地土的卓越周期.统计整理数据可以得出尾矿堆积坝的密实度随着深度的增大而增大的结论,通过卓越周期的计算结果可以判定该库区地基土处于异常松软的土层,应加强对其安全性的管理.     

独立学院软件工程课程教学改革探讨

本文从独立学院软件工程课程的特点和教学中存在的问题出发，就教学目标的确定、教学内容的更新、教学方法与手段改进等方面进行了教改的实践探究。     

“软件工程实践”课程教学改革的探讨

该文结合实际教学的体会,对软件工程实践课程教学活动中存在的问题进行了分析,对教学方法的改进和教学实践等方面进行了论述,并提出了具体的建议。     

区域规划决策支持系统

本文介绍系统科学研究中心1988年研制成功的新颖集成软件——区域规划决策支持系统的设计思想。区域规划决策支持系统又称规划支持系统(PlanningSupport System,英文缩写PSS)。它采用框架式全模块化结构,可根据省、地、县、经济区和各部门的特点而生成不同的系统,进行计算机辅助规划设计工作,且便于规划的实施和调整,为区域规划的规范化、标准化和程序化创造了条件。     

面向对象的事件驱动程序的设计

介绍了面向对象的程序设计的一般原理，给出了１种面向对象的事件驱动程序设计方法的原则，并以面向对象的编程工具包Ｔｕｒｂｏ　Ｖｉｓｉｏｎ为例，对方法的原则作了说明。     

OOP技术的概念特征及应用

面向对象的程序设计（ＯＯＰ－Ｏｂｊｅｃｔ－ＯｒｉｅｎｔｅｄＰｒｏｇｒａｍｍｉｎｇ）被称为程序设计方法中的一次革命，本文介绍ＯＯＰ技术的基本概念，特征及应用实例，并阐述了结构化程序设计（Ｓｐ－ＳｔｒｕｃｔｕｒｅｄＰｒｏｇｒａｍｍｉｎｇ）和ＯＯＰ之间的差异。     

铁路运营管理信息系统软件工程支撑环境

本文提出铁路运营管理信息系统软件工程的实施存在两种不同的路线,论证了“软件先行”路线的经济合理性与优效性,为了保证这一路线在技术上的可行性,提出了一个铁路网构模与模拟系统(RNMS)作为软件工程开发的支撑环境,文中介绍了(RNMS)系统的结构、功能与运行情况,并对这一探索性实践作了评价与展望.