基于Web服务的企业应用系统集成框架研究与应用

本文在企业应用系统集成体系结构研究的基础上。提出了改进信息总线体系结构的集成方法及应用Web服务进行企业应用系统集成的框架,并将该框架应用于数字校园系统。结果表明该框架对企业应用系统集成具有很好的指导意义。     

基于分布式密钥的移动支付安全卡

分析了移动支付中的安全问题,提出了一种基于分布式密钥的移动支付实施方案,给出了具体的设计方法,分析了其工作流程和关键技术。该方案实现了移动支付的高保密、低成本等优良性能,具有很好的实用价值和市场前景。     

基于Microsoft Excel的测试系统的设计与实现

通过VB,VBA技术完成Microsoft Excel测试系统设计和实现,给出了一种通用Microsoft Excel测试系统的设计方法,为相关课题的研究者提供一个完整的参考模式。     

基于自适应门限四叉树的分形图像压缩新方法

由Fisher提出的用于分形图像压缩的固定门限四叉树方法中,子块与父块的实验门限值一般由经验来设定,这直接影响了分形图像编码的效率,门限值的设定是分形图像压缩中的技术难点之一。考虑了输入图像的特点,给出了自适应门限的计算推导过程,提出了门限与子块的方差成正比的自适应门限的分形图像压缩方法。实验表明,对同类图像该方法压缩时间短,还原图像PSNR高,提高了分形压缩编码的效率。     

实时操作系统μC／OS-II在ARM微处理器上的移植

操作系统在微处理器上的移植已成为嵌入式系统开发过程的重要内容。对嵌入式实时操作系统μC／OS-II及其内核结构进行讨论，对移植的环境和条件给予了详细分析，通过修改内核中与移植相关的程序文件，实现了μC／OS--II在ARM微处理器上的移植，最后给出了移植测试的方法及其必要性。     

智能化在线评判系统的设计与实现

本文利用．NET技术，对程序与算法在线评判系统进行设计与实现。该系统主要完成对用户提交的代码进行语法错误检查：根据标准的输入输出测试数据，对程序的运行结果进行评判：     

基于μC/OS-II的嵌入式系统研究与应用

本文主要讨论嵌入式实时操作系统μC/OS-II的特性与功能,阐述基于μC/OS-II的嵌入式系统的系统结构,如何构建基于μC/OS-II的嵌入式开发平台,重点论述了μC/OS-II在ARM微处理器上的移植。     

基于Web的网络旅游服务系统的形式化B开发

形式化B方法支持从规格说明到代码生成的全部软件开发过程。结合网络旅游服务系统模型，讨论了形式化B方法的具体运用，在分析服务器端和客户端状态表示的基础上，给出了该系统的抽象机模型及其精化过程。     

开放均匀B样条曲线反算的一种通用算法

已知型值点反求控制多边形在计算机辅助几何设计(CAGD)等领域的实际应用中经常涉及,开放均匀B样条曲线的反算过程相对复杂.基于此,提出了一种通用的反算算法,并以三次样条曲线为例,分析了开放均匀B样条曲线反算的过程,详细给出了B样条基函数、反算矩阵,并求出了控制顶点,解决了开放均匀B样条曲线拟合中的反算问题.     

基于Racer和nRQL的本体查询与推理

语义网技术的兴起促进了本体技术的发展,本体作为语义网的基石,在知识表示与知识推理方面发挥着重要作用.本体描述语言与描述逻辑相结合,为本体推理的合理性和有效性提供了保证.在介绍描述逻辑及其系统的有关概念与查询推理机制的基础上,重点讨论了推理机Racer及其查询语言nRQL的功能,开发了一个基于Racer和nRQL的智能信息查询程序并应用于大学本体的信息查询.