搜索结果: 91-105 共查到“知识库 程序设计及其语言”相关记录1175条 . 查询时间(2.402 秒)
支持社会技术系统构造的程序设计模型和语言
社会技术系统 多Agent组织 基于组织的程序设计
2016/7/14
互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点，如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。通过将社会技术系统视为多Agent组织，把社会组织学的概念和思想引入到面向Agent程序设计范畴，提出了以Agent、组织、角色和职位为核心的基于组织程序模型来支持社会技术系统的开发；通过对多Agent组织不同层次动态性的识别和分析，设计了一组程序设计机制...
JavaKBB:集成框架与产生式规则的专家系统工具
专家系统 开发工具 框架 产生式规则
2016/6/7
描述了一个专家系统工具JavaKBB，其目标是设计一个容易使用、方便扩展的专家系统开发工具，可以同时表示领域概念知识与过程知识；既可以运行于商用操作系统Windows等，也可以运行于中标麒麟等军用国产操作系统。为此，提出了一种集成框架与产生式规则的知识表示模式，定义了五种抽象层次以设计一个专家系统，包括知识原语、知识单元、知识部件、知识库以及知识系统；在此基础上基于Java语言设计并实现了Java...
面向对象程序设计课程的感性化教学应用
面向对象 程序设计 感性化教学 课程改革
2012/9/11
面向对象程序设计类教学中存在课程内容零散、难度大、考核内容与教学重点不尽吻合，学生兴趣不浓、动手能力较差等诸多问题，有必要对其进行改革。本文从着重培养学生的动手能力和再学习能力等方面介绍如何用感性化教学进行面向对象程序设计课程教学的改革。
并发程序切片原型系统的设计与实现
并发程序 原型系统 依赖性分析 程序切片
2012/3/13
并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制, 在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图, 生成以程序状态和语句二元组为节点的并发程序依赖图, 实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明, 与传统的切片方法相比, 采用基于程序可达图的并发程序切片方法, 可有效地解决依赖关系不可传递问题, 获得高精度的并发程序切片。
基于OSA/Parlay的VoiceXML解释器实现研究
语音标记语言 开放业务架构 下一代网络
2012/3/14
VoiceXML技术能有效结合通信网和Internet，为电话用户提供丰富的语音应用。本文提出一种基于OSA/Parlay API（开放式应用编程接口）的VoiceXML解释器的设计与实现方案，能有效屏蔽不同制式电信网络的异构性，具有很好的跨平台通用性。针对解释器中业务状态变化多和网络功能扩展的需要，以state模式优化设计，从而保持整体系统的稳定性和可扩充性。最后说明了实现情况，并以一个具体业务...
针对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字节码，以提高程序执行效率。实验结果证明，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)编程平台, 首先设计了相...
