建构主义教学法在JAVA程序设计课程中的改革与应用

大学计算机相关专业中,学生在理解和掌握知识的同时更关注自己的学分总数和学分积点,学习兴趣和能力培养成为获取毕业证书和学位证书的一个副产品。导致学生难以产生浓厚的程序设计兴趣,对专业课程的掌握不够扎实。因此改变学生的学习心态和认识尤为重要,基于建构主义的教学方法在专业课程中的应用则会起到促进的效果,让学生在主动学习,享受学习的过程中掌握计算机课程的核心技术,让证书成为一个必然的副产品。     

支持向量机序贯最小优化算法推导的改进

已有文献中的支持向量机SMO算法推导过程计算复杂,该文给出一个简洁推导。整个推导过程没有复杂的计算,除了误差函数外,不需引入其它中间变量。     

易燃性智能测试仪软件系统的设计与实现

基于玩具安全标准对玩具易燃性的要求,结合PLC控制技术、网络技术和软件技术,对研制的智能燃烧测试仪的工作原理、硬件结构设计、功能特性进行了详细的论述,并重点对软件系统中的主控程序、人机界面、通信程序的设计与实现进行了阐述,指出此测试仪是一台软件与硬件相结合的设备,其软件系统的实现极大地提高了测试仪的自动化水平.     

基于.NET构件模型的动态监管系统的设计与实现

在对微软的.NET构件模型进行了充分研究后,利用该模型以及现有的网络、硬件资源、信息资源及手持移动终端.在此基础上建立简洁高效、结构合理的三层结构应用系统,实现对企业的动态监管,使得对信息的管理更加及时、高效.该系统由业务外观层、业务逻辑层及数据访问层组成,具有很高的安全性、可靠性和实用性.     

提高基于Windows工控软件实时性的策略研究

因为基于Windows的工控软件具有丰富的图形图像资源,可提供良好的人机界面,所以深受终端用户的欢迎,也成为工控软件开发的趋势.虽然Windows本身并非实时操作系统,基于Windows开发的工业控制软件在实时性能方面就相对较弱,但是对于工业软件只需要满足毫秒级的实时性要求,通过选用合适的方法,基于WindoW的工控软件还是可以满足要求的.基于工业软件的现实需求提出了基于Windows开发工控软件提高其实时性能的几种方案:多线程技术,上下位机技术,定时技术等,实践结果表明这些方法对提高工控软件的实时性是非常有效的方法.     

基于合约的程序不变量动态检测模型研究

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型.主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法.通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构.     

基于X射线脉冲星导航系统探测器研究

综述了基于X射线脉冲星导航系统探测器的原理,分析了现有的几种不同类型探测器的性能、测时特点和应用的局限性;给出了由多只探测器组成的探测器系统的原理设计,并分析了探测器系统的构成、安装方式以及处理电路;阐述了X射线脉冲星导航系统探测器在航天器导航中的应用以及国外应用先例,为基于X射线脉冲星导航系统探测器的研制提供有用的参考。     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

基于数学归纳法抽取循环程序研究

广义上,程序设计过程就是定理证明过程,因而程序综合与机器定理证明关系密切。由于归结原理的反证法本质,不能保证其证明是构造性的,因此不能保证能够抽取循环程序,但是利用数学归纳法可以使用归结原理来抽取循环体,从而抽取循环程序。文中利用数学归纳法进行了循环程序的提取。     

一种改进的静态程序切片算法

提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。