基于Object-Z的ReflectiveArchitecture形式化研究

将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。     

一种面向语义Web服务的语义程序变换方法

语义程序变换是面向语义Web服务的软件设计方法的基础,语义程序只有通过程序变换后才能被运行环境执行和调用,然而目前还缺乏有效的语义程序变换方法。针对这一问题,基于语义编程语言SPL,提出了一种面向语义Web服务的语义程序变换方法。该方法通过对语义数据类型、语义规则、语义服务和语义流程等语义信息的有效变换,不仅提高了面向服务的程序设计的灵活性和健壮性,而且有助于提高业务流程的柔性和重用性。     

基于分层技术的毕业生管理系统设计与实现

实现基于分层技术,利用三层架构优化系统结构设计,开发毕业生管理系统,为学生毕业后及时沟通建立了畅通的网络渠道,进一步提高学院对毕业校友信息整理的效率.     

一种基于图论的聚类算法NeiMu

提出一种新的基于图论的聚类算法NeiMu。该算法首先分析数据中的对象,寻找每个对象的k近邻,根据k近邻关系构造k近邻有向图,然后通过k近邻有向图中的k-互邻居关系构造k-聚类图,发现数据中的自然聚类。算法的特点是根据数据之间的互为k近邻关系确定数据中的自然簇,而不必引入其他方法来划分小簇,从而能够保证对象不会被错误聚类,仅会与其他小簇一起融合到一个大簇中。这一优点可以有效保证NeiMu算法的聚类质量。而且,NeiMu算法给出的这种类似自底向上的层次聚类结果还有利于用户根据渐变的结果确定最佳的k值。实验结果表明,该算法对密度变化大的数据、大小相差大的数据、任意分布形状的数据均具有很好的聚类质量,对孤立点也很健壮。     

基于短时傅立叶技术的鸡蛋破损检测

声学技术是目前应用于鸡蛋破损检测中最具潜力的--N技术,它利用完整蛋和破损蛋在声脉冲响应上的差异性来对鸡蛋进行分级分类.本文所研究的系统中采用前置放大器和A/D转换芯片采集鸡蛋被敲击后发出的声音,对获得的时域信号进行频域分析.相比于传统的傅立叶分析,本文采用了时频分析技术,即利用短时傅立叶变换来分析鸡蛋响应信号,并建立了相应的分级分类模型.实验表明基于短时傅立叶技术的鸡蛋破损检测模型对破损鸡蛋具有很高的识别率,为实际生产过程中鸡蛋的无损检测提供了新的并且更有效的方法.     

基于极点配置与时延误差补偿的网络控制系统预测控制

根据网络控制系统的时延上界及对象模型,建立网络控制系统的整体模型,应用极点配置广义预测方法进行控制器的设计,以保证网络控制系统控制的有效性与稳定性．考虑到网络时延的随机性,基于神经网络建立网络时延误差的预测补偿模型,用时延误差预测值对输出预测值进行补偿,构成基于极点配置和误差补偿的网络控制系统预测控制算法．仿真结果表明,本文方法有较高精度,可快速收敛．     

Java CoG Kits在GridFTP开发中的应用

通过对Java CoG Kits软件包的研究,介绍了Java CoG Kits的结构和GridFTP的特性,讨论了Java CoG Kits中用于开发GridFTP客户端的FTP包的组件层次和类库,描述了GridFTP客户端类库用于编写GridFTP应用的函数,研究了GridFTP第三方控制数据传输模型,给出了实现的过程和步骤,最后基于Java CoG Kits设计实现了GridFTP第三方控制数据传输。     

基于MSC Adams的肌肉驱动可视化模型设计与实现

根据肌肉驱动机理提出1种简单高效的仿生机器人驱动技术,基于Hill力学模型,参考CHENG等建立的“虚拟肌肉”,设计1种在计算机环境下可视化的肌肉驱动模型.该模型应用MSCAdams的二次开发技术完成肌肉建模插件的开发;解决宏命令调用、参数传递、命名、动态显示、输出控制以及Simulink与MSC Adams联合仿真等问题;具有肌肉力学特征和三维可视化显示功能,可接受Matlab/Simulink控制系统联合控制,可耦合MSC Adams骨架机构进行多体动力学仿真,有助于在计算机环境下进行肌肉驱动机器人、仿生装置的设计和仿真.     

基于MPC8245的嵌入式VPN的研究与开发

介绍了嵌入式网络应用处理器MPC8245,研究与讨论了基于HHPPC8245-4ETH-R1平台的嵌入式Linux VPN安全网关的开发,对Linux 2.6内核在基于MPC8245的嵌入式系统的移植与嵌入式Linux IPsec VPN安全网关设计进行了深入讨论.     

用遗传算法解决IM系统中的负载均衡问题

本文提出了一种基于遗传算法的自适应调度方案,用于解决即时通信(IM)系统中,登录服务器的负载均衡问题.该方案考虑到影响服务器权值的多方面因素,将遗传算法用于动态调整服务器的调度序列,实现自适应分配Peer点的登录请求,使系统中各服务器负载趋于最佳均衡状态.