搜索结果: 91-105 共查到“知识库 程序设计及其语言”相关记录1173条 . 查询时间(3.137 秒)
面向对象程序设计课程的感性化教学应用
面向对象 程序设计 感性化教学 课程改革
<
2012/9/11
面向对象程序设计类教学中存在课程内容零散、难度大、考核内容与教学重点不尽吻合,学生兴趣不浓、动手能力较差等诸多问题,有必要对其进行改革。本文从着重培养学生的动手能力和再学习能力等方面介绍如何用感性化教学进行面向对象程序设计课程教学的改革。
并发程序切片原型系统的设计与实现
并发程序 原型系统 依赖性分析 程序切片
<
2012/3/13
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制, 在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图, 生成以程序状态和语句二元组为节点的并发程序依赖图, 实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明, 与传统的切片方法相比, 采用基于程序可达图的并发程序切片方法, 可有效地解决依赖关系不可传递问题, 获得高精度的并发程序切片。
基于OSA/Parlay的VoiceXML解释器实现研究
语音标记语言 开放业务架构 下一代网络
<
2012/3/14
VoiceXML技术能有效结合通信网和Internet,为电话用户提供丰富的语音应用。本文提出一种基于OSA/Parlay API(开放式应用编程接口)的VoiceXML解释器的设计与实现方案,能有效屏蔽不同制式电信网络的异构性,具有很好的跨平台通用性。针对解释器中业务状态变化多和网络功能扩展的需要,以state模式优化设计,从而保持整体系统的稳定性和可扩充性。最后说明了实现情况,并以一个具体业务...
基于TCL的6LoWPAN协议一致性测试
6LoWPAN协议 802.15.4标准 IPv6协议 TCL脚本语言 一致性测试 uIPv6协议栈
<
2012/3/12
针对6LoWPAN协议,提出一种基于TCL的一致性测试系统。在该系统中,界面控制部分提供用户操作和结果查看等功能,测试执行部分提供用例解释执行、结果分析等功能,底层通信部分提供物理层收发的功能。使用TCL脚本语言设计测试用例和扩展命令,从而增强系统的可扩展性。对Contiki系统中的uIPv6协议栈进行测试,结果表明,该测试系统的可扩展性较好,可满足6LoWPAN协议的一致性测试要求。
在内核下的BootLoader自动更新方法
BootLoader程序 自动更新 内核 移动存储设备 Flash驱动程序
<
2012/3/12
目前的BootLoader更新方法仅适用于单块目标板的调试阶段,无法实现批量更新。为此,提出一种在内核下的BootLoader自动更新方法。该方法提取新BootLoader镜像文件中的有效数据,并将其保存到以“.h”结尾的文件中,利用特制的Flash驱动程序及该类型文件生成特制的内核,通过外部移动存储设备,将特制内核更新到嵌入式系统中,特制内核启动后将自动更新BootLoader,从而完成Boot...
针对ROP攻击的动态运行时检测系统
面向返回的编程 恶意代码 ROP检测 JOP检测
<
2012/3/12
根据面向返回的编程(ROP)攻击及其变种的攻击原理,设计一个针对ROP攻击的动态运行时检测系统。该系统包括静态插桩和动态运行监控2个阶段。静态插桩为待检测程序装配分析代码,动态运行利用ret完整性检测、call完整性检测和jmp完整性检测方法分析程序的控制流和数据流,判断是否为ROP攻击。实验结果表明,该方法能完全检测出ROP恶意代码。
C语言复杂的声明语句难以理解。为此,提出一种程序理解算法,自动地对C语言声明语句进行部分语义文字描述和可视化表示。引入图元和解释2个概念,构成该程序理解算法的理论基础,这些概念同样可应用于程序理解算法的其他方面。实验结果表明,声明语句的文字描述和可视化表示能够有效提高程序可读性。
分析3种基于身份的签密方案,使用不可区分性选择明文攻击(IND-CPA)方法对前2种方案进行攻击,使用IND-CPA和伪造攻击方法对第3种方案进行攻击,并分别给出改进方案。分析结果表明,这3种改进方案的运算效率较高,且具有机密性、不可伪造性、不可否认性、公开验证性和前向安全性。
针对气象数据入库工作量较大的问题,提出一种基于智能适配器的气象数据入库通用模型。将可扩展标志语言作为元数据表示方法,利用JAXB技术读取和写入元数据。使用脚本语言处理适配器的规则配置问题,提高气象数据的智能性。基于该模型,构建气象数据通用入库系统。运行结果表明,该系统具有高度灵活性和可扩展性。
以代码逆向分析得到的高级语言为基础,提取特征表达式作为算法的特征模式。综合考虑高级语言中表达式的恢复程度,设计严格相容与变形相容2种识别策略,在此基础上提出一种基于抽象语法树的算法特征表达式识别方法,利用该方法可较好地识别目标代码中包含的算法,提高代码的分析效率。
XQuery语言Hotspot编译系统的支撑框架
可扩展标记语言 XQuery语言 Hotspot编译系统 Java字节码
<
2012/3/1
设计并实现XQuery语言Hotspot编译系统的支撑框架,通过对XQuery程序进行Hotspot分析,将执行频率高的程序模块编译为Java字节码,以提高程序执行效率。实验结果证明,Hotspot编译系统在执行效率上相比解释系统有一定提高,与静态编译系统相比,能更有效地处理网络上动态生成的XQuery查询。
吉首大学资产管理系统的设计与实现
高校 固定资产 管理系统 软件
<
2012/11/23
针对高校设备资产管理的特点,采用 B/ S结构模式和 J2EE平台设计了吉首大学资产管理系统,介绍了系统的设计思想、总体方案、功能模块和涉及的关键技术.
基于CUDA 的格子Boltzmann 方法: 算法设计与程序优化
格子Boltzmann 方法 CUDA 并行计算 GPU 优化
<
2013/8/29
格子Boltzmann 方法(LBM)由于其具有计算简单, 天然并行, 易于程序实现, 易于处理复杂边界等优点而成为流体建模和模拟的一种重要方法. LBM 的上述优点也使得其非常适合利用图形处理单元(graphic processing unit, GPU)进行大规模流体计算. 基于GPU 的CUDA(compute unified device architecture)编程平台, 首先设计了相...
Web Robot技术及其Java实现
Robot 机器人排斥标准 JAVA多线程 信息搜索
<
2010/12/29
WWW环球信息呈指数级增长,使WWW成为全球最大的信息系统,研究其中的信息搜索工具具有现实意义.Web Robot是搜索引擎中的核心部分,它从给定的统一资源地址开始分析,递归地搜索新的Web文档.作者论述了Web Robot的工作原理以及机器人排斥标准,用Java实现了Web文档的下载、超链提取、新超链的可用性判断和访问站点的安全性检查,为提高Web Robot的效率提出了2种解决途径,即采用Ja...