基于java的面向抽象编程与设计模式

从源码中抽取设计模式对于提高软件可理解性和可维护性、软件设计重用以及软件重构具有重要意义。本文通过实例探讨了在设计过程中使用抽象思维在设计模式中应用的重要性。     

基于过程蓝图的参数化重复代码检测技术研究

通过引入过程蓝图改进参数化重复代码的检测方法,降低原检测方法的空间复杂度,并避免将程序源码变换为后缀树这一复杂过程,为自动重构定位提供更有效的技术.     

面向对象软件重构

重构已经成为面向对象领域中的研究热点与最佳实践之一,从重构的定义、什么时候进行重构、重 构的目标、如何进行重构,重构与极限编程等几个方面详细介绍了重构技术,并给出了代码示例,演示重构 的过程。     

面向对象软件重构

重构已经成为面向对象领域中的研究热点与最佳实践之一，从重构的定义、什么时候进行重构、重构的目标、如何进行重构、重构与极限编程等几个方面详细介绍了重构技术，并给出了代码示例，演示重构的过程。     

基于HTML5的可视化编程教学平台的设计

可视化编程教学平台能提供一套绘制程序流程图并生成源代码的实验环境,将传统讲解编程语法的教学模式改变为演示流程图模型的方式,利用可视化方法来提高学习编程中"抽象概念"的认知效率。从实际问题到可视模型再到编程代码的过渡,让编码学习过程更加直观。目前可视化编程平台主要采用桌面应用+开发环境的方式实现,存在系统部署困难,运行平台受限,编程模型不易发布和共享等缺点。提出以HTML5架构实现可视化编程平台的方法,通过Canvas控件绘制和动态展示流程图模型,通过JSON定义流程图并解析为源码文件,通过Web Socket传输程序源码并进行编译和运行结果,最后通过Java的Runtime类封装程序代码的编译器和运行单元,从而形成一套完整的基于Web的可视化编程平台。     

一种基于函数依赖图的构件抽取方法

结合程序切片技术,文中提出了一种基于函数依赖图的构件抽取方法.先讨论函数依赖图中的几种依赖关系及其表示方法,再对由源码分析所得的函数依赖图进行切片操作得到依赖子图,并结合源码生成最终切片代码,即为构件抽取的结果.此基础上,提出一种基于函数依赖图的内聚度和耦合度的计算方法,以便从软件度量的角度来评价切片代码(构件)的质量.实验表明利用文中的构件抽取方法生成的切片代码较精简,且具有较高的运行效率.     

基于UML的软件设计信息抽取及其在重构中的应用

运用统一建模语言UML(Unified Modeling Language),提出了一种关系型建模方法,并实现了一个原型系统,能够对UML中蕴含的部分设计信息进行建模与抽取.所得到设计信息能够应用于软件重构及面向方面编程中,能够挖掘设计阶段形成的语义信息,有效地帮助开发人员进行软件重构.     

符合建构主义的Oracle屏幕录像课件体系设计

利用Wink屏幕录像功能生成的flash文件，可以协助教师完成Oracle课堂和实验指导操作演示任务。本文在此基础上．将完整的、有意义的一般演示操作打碎、打乱成一系列无意义的分步操作演示，并形成一个课件体系。学生在学习过程中需要查找并重构出一个完整的操作序列。实践证明效果良好。     

排序算法演示平台的设计与实现

本文提供了一个面向对象的算法演示平台,该平台充分利用OO技术实现,具有良好的可扩展性。在开发平台的过程中,使用了TDD模式、重构技术,应用了大量的设计模式的思想,为实现面向对象开发做出了有意义的探索。     

二维小波在图像压缩方面的应用

阐述了二维小波理论及其分解和重构算法,并利用Matlab软件演示其实现过程.实践证明,二维小波对图像压缩具有良好的效果.     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

基于Mallat算法的一维离散小波变换的实现

目的研究信号的局部化特征。方法应用Mallat算法,实现了信号一维离散小波变换的逐级抽取过程。结果信号经过离散小波变换后,将平滑分量和细节分量分离开来。结论应用该算法能够由粗到细的分析信号,同时也能通过滤波器组实现原始信号的重构。     

基于静态插装和约束求解的整数漏洞检测

以C源码为研究对象,提出了一种基于静态插装和约束求解的整数漏洞检测方法.首先在C源码中可能的整数漏洞点前面插装检测代码,同时定位可能导致整数漏洞的输入源,并将其标记为符号变量.之后将静态插装后的源码编译成可执行代码,并进行(符号和具体执行的)混合执行.在动态执行的过程中,通过对插装代码对应的符号约束进行求解,可以检测整数漏洞是否存在,以及获得当整数漏洞存在时符号变量相应的具体取值.进一步地,通过对从程序入口点到整数漏洞点所经过路径上的所有条件跳转约束进行求解,获得引导程序到达整数漏洞点时符号变量相应的具体取值.结合两者可以辅助生成触发漏洞的输入用例.基于CVE(通用漏洞披露)通告的实验表明本系统能够成功检测到相应漏洞.     

人工智能撬动未来教育新空间

正人工智能阅卷评分、大数据帮助选科选专业、课堂由学生主讲……随着人工智能浪潮奔涌而来,传统教育思维和教学模式正悄然发生转变,未来教育新空间进一步开启。重构课堂:颠覆传统学习过程"知识传输的过程从传统的课堂上转移到上课前,学生可以在网络上进行个性化学习;而传统的学生知识内化过程从课下转移到了课上,学生和老师可以讨论、探究、反思,由学生来主讲、演示。"日前在北京     

基于实测应变的典型热防护结构位移场实时重构

为了保证使役环境下高速飞行器结构的安全性,以高速飞行器典型热防护结构为对象,对其实时变形重构方法进行研究.将分布式光纤光栅应变测量技术与基于改进Ko位移理论的重构算法相结合,实现了基于实测应变数据的结构全场位移重构和演示.以四点弯加载工况下的典型热防护结构位移场重构为例,开展了数值仿真研究,验证了算法的精度;并进一步开展了典型热防护结构的四点弯试验,结合MATLAB程序和LabVIEW数据采集系统,实现了变载荷工况下结构底部金属板位移场的实时重构演示,并利用局部测点的实测位移验证了重构位移场的精度.试验结果表明:在非固支工况下,改进Ko位移理论能够重构出典型热防护结构全场位移,验证了基于改进Ko位移理论的重构算法在非固支工况下结构变形实时重构研究中的有效性和准确性.     

基于嵌入式Linux的IPSec VPN网关的研究

在研究IPSec协议框架和嵌入式系统特征的基础上,提出了通过修改Linux内核将IPSec集成到IP源码中的实现方案,阐述了通过配置IPSec-tools实现基于嵌入式Linux的IPSec VPN网关的过程,并以S3C2440为硬件平台说明了嵌入式IPSec VPN网关开发步骤。     

基于电话网络的通讯申报接收解决方案的设计与实现

税务征管系统中,纳税户通过电话进行远程通讯申报,完成纳税申报业务为背景,系统地讲述了该方案的提出过程与设计思路,并给出了Delphi语言对部分重要劝能的程序段源码。     

基于ARM9-LINUX掌上电脑样机系统中Bootloader的设计与实现

目前,嵌入式技术在日常生活中得到越来越广泛地运用,越来越多的开发者也投入到嵌入式技术领域当中。在嵌入式系统设计中,相应的Bootloader代码的设计是一个重点。文中用三星公司一款基于ARM9架构的微处理器S3C2410A作为主控芯片,使用源码公开的LINUX操作系统,外扩了大量的功能模块,开发一掌上电脑样机。文中仅对开发过程中Bootloader的设计流程以及关键技术做了详细说明。     

解析Kaffe虚拟机的控制流源码

通过阅读解析Kaffe的大量源码,得出一些关于Kaffe控制流运行机制的结论。其中以HelloW orld java为例,从源码的层面上分析了应用程序在Kaffe虚拟机中运行的整个流程。并根据现有Kaffe虚拟机的执行性能,提出几点从技术角度改良Kaffe虚拟机的见解。     

MIS数据结构特征抽取与功能组合

本文在对管理信息系统MIS环境及数据逻辑结构进行分析的基础上,将MIS的基本数据进行结构特征抽取。通过对系统应用模型的参数的分离,定义其功能组合,以实现MIS对应用环境变化的适应性和灵活性。文中通过实例分析,阐述了建立、重构MIS的过程。