基于服务规约匹配的业务构件获取

针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.     

一种逆归结学习表示

针对动态模糊性问题,利用动态模糊逻辑,采用“自下而上”的设计原则,提出1种基于动态模糊逻辑的逆归结学习方法,该方法利用动态模糊谓词逻辑来描述学习问题,通过学习算法计算出问题的假设。通过实例验证了算法的有效性,同时找到了一种从一般到特殊的认知规律的表示方法。     

用于中继蜂窝网络的动态频率规划算法

在两跳中继蜂窝网络中,为提高频谱利用率,以链路带宽需求为依据,提出了一种动态频率规划算法.综合考虑了信道质量、用户业务速率需求及中继两跳链路的速率匹配,计算不同链路上的带宽需求.根据链路带宽需求,对不同链路上的可用频率资源进行动态分配,在不同中继覆盖区域间进行动态频率复用,使系统频率复用因子可根据系统负载自适应变化.仿真结果表明,与现有频率规划算法相比,该算法在系统频谱效率与小区边缘用户平均吞吐量上都有性能优势.     

数字化再设计方法的构件化建模研究

数字化再设计是近年来提出的一种离散控制器设计方法,针对其算法描述复杂,推导过程计算繁琐等问题,对数字化再设计过程进行构件化建模,建立了分层的构件服务体系模型,对主要算法构件进行抽象,并设计“Supervisor”构件监督整个计算过程管理每个构件生命周期．利用Enterprise Java Bean（EJB）技术建立了整个构件环境,仿真实例表明能够有效降低数字化再设计计算复杂度,提高控制算法模块复用能力．     

基于智能家居的一致性模型融合技术研究

在智能家居的自适应软件设计中,往往采用传统的模块构建技术。但由于其适应逻辑存在着低复用性、高复杂度等问题,很难验证模块组合后的正确性及有效性。为了满足开发过程中用户的增量性需求,针对适应逻辑的组合难题,提出把部分行为模型的形式化方法引入到适应行为的描述中。通过三值逻辑KMTS模型描述语言,提出一致性模型的判断方法以及融合算法,以提供明确的适应模型在线融合支持。最后通过智能家居中的一个模型实例来分析并验证融合后的适应逻辑。     

基于概念相似度的网络安全领域本体融合方法

网络安全领域本体融合解决本体异构问题,以支撑网络安全知识的共享和复用。给出基于资源描述框架的网络安全知识表示,在分析网络安全领域本体模型的特点的基础上,提出包含高层概念提取与融合、树形结构融入等阶段的异构本体分阶段融合方法。最后通过实例应用展示了融合方法的有效性。     

基于匹配滤波的正交频分复用信号盲识别

针对传统的相关算法在循环前缀(Cyclic prefix)长度较短时识别率较低的缺点,研究了一种基于匹配滤波的正交频分复用(Orthogonal frequency division multiplexing,OFDM)信号盲识别方法。该方法利用不同标准中OFDM信号子载波间隔不同的特点,通过对子载波间隔的估计来实现对信号的识别分类。在建立信号模型的基础上,对提出的算法进行了详细的描述,分析了频率和时间偏移对算法的影响。针对参数搜索过程的高复杂度问题,采用了粒子群优化算法优良的迭代寻优能力来优化参数搜索过程。仿真结果表明:匹配滤波算法克服了传统方法的不足,具有更高的信号识别率和更好的抗多径信道能力。     

基于语法树的程序正确性验证模型及算法设计

基于语法树的程序正确性验证方法是目前程序正确性验证全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.该文在介绍基于语法树的程序正确性验证方法的基础上,借鉴无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出一种新的XML路径查询模型和树匹配算法,并展示了STM在程序正确性验证方面的前景.     

一种改进的基于淘宝数据的商品排序算法

针对目前商品简单的排序结果无法满足用户需求的情况,提出了一种改进的基于商品属性权重的多级匹配算法.算法根据用户对商品不同属性的重视程度,预先设置属性权重,然后再结合传统多级匹配算法对商品进行重新排序.理论分析和实验结果表明该算法能够满足不同用户的需求,在实际应用方面具有优越性.     

基于网络构件的软件体系结构抽象模型

为提高分布式网络软件系统的效率和稳定性,提出了基于网络构件缓冲算法的软件体系结构模型.以本地逻辑框架为基础,将系统负荷分配到网络的各个构件结点.采用抽象的形式化方法对构件、构件代理、连接器、构件Cache进行静态语义描述,详细讨论了构件代理的构件映射语义以及构件缓冲算法.系统采用构件Cache的机制和最少最近的动态映射远程构件的调度算法提高调用的命中率.最后通过实验对比了不同构件比率的软件系统,结果表明采用构件调度算法能够提高系统的运行效率.     

基于基元模型的复杂产品方案设计知识可拓重用方法

对设计知识的合理组织和重用是提高大型复杂产品方案设计效率的有效保障。通过基元对设计知识进行了描述,研究了基元可拓集并给出了知识重用的基元可拓重用集的概念,建立了基于基元的知识可拓重用度计算模型,给出了一种知识可拓重用优选算法和知识可拓重用搜索匹配算法。最后,以大型水轮机选型方案设计为例验证了该模型以及相应算法的有效性和可操作性。     

基于遗传算法的Web服务发现优化模型研究

传统的Web服务技术标准主要是基于UDDI,运用简单分类和关键词匹配提供服务发现,降低查准率、查全率,以及服务复用和组合的兼容性.通过Web服务模式并结合遗传算法,探讨了一种基于Web服务的相似性、服务质量（QoS）、匹配度、评级和可行性等特征的多目标优选模型,为Web服务提供有效的发现方法.     

可视化部件规格匹配的研究

分析了现有的重用部件的检索及匹配方法,提出了一种可视化重用部件的形式化规格描述,讨论了几种基于规格描述的部件匹配,并阐述了不同种类的部件匹配情况下部件的重用方式（黑盒重用或白盒重用）．     

基于LTS图的构件规约匹配

构件重用是缩减软件设计周期和提高软件可靠性的有效方法。基于构件的软件开发（CBSD）主要花费在于构件的检索和修改,而匹配过程则是关键。文章提出一个基于LTS图模型（Labeled Transition System）的形式化构件匹配方法,此方法将构件匹配分为结构匹配和功能匹配两部份。结构匹配过程通过树的同构匹配完成,用于检查构件的可调整性;功能匹配则通过S-Forced模拟完成,用于确保得到适当的功能。     

一种基于单一视图的三维模型检索方法

针对已有研究存在的视图冗余性问题,提出采用单一视图进行三维模型形状特征度量t并通 过动态规划进行相似性计算,实现三雏模型的单一视图特征描述和匹配．算法主要由三步组成：首先,将三维模型进行姿态调整,并通过渲染得到最能表达三堆模型外形特征的主视lit．其次,对渲染得到的视图进行轮廓采样,通过内在距离扣内角提取模型彤技特征描述,最后,采用动态规剐算法计算不同模型之间的相似程度．实验结果表明：尽管只采用单一视图进行特征描述,但所提出的算法检索精度要高于一些典型三雏形状特征描述符,包括采用深度视图定义的形状描述符.     

一种基于遗传规划的服务匹配算法

当前,智能服务组合研究的重点主要集中在服务描述和服务匹配方面。文中首次将服务匹配视为一个状态描述含糊、操作定义不完备的规划问题,提出了一个基于遗传规划的服务匹配(Service Match Programming,SMP)算法和适应度评价函数。仿真实验表明,该算法在大尺度的服务选择空间中,引入了服务的关联特性,避免了局部最优现象的出现,具有更好的寻优能力和更快的速度。     

基于SOA的航天发射场服务构件设计与应用

为充分利用航天发射场积累的大量应用和资源,采用软件复用、构件技术与面向服务的理念,设计了航天发射场服务构件。分析了服务构件的粗细粒度,将航天发射场服务构件划分为3类,对服务交互接口、基于XML的分类检索、服务构件的描述、服务构件设计流程与组装等进行了详细阐述,最后通过"故障弹/箭飞行"服务构件实例,说明基于XML的服务构件设计和使用方法。     

基于FAST角点检测的图像配准算法

提出了一种具有类SIFT描述特征的FAST角点检测的图像配准算法。先利用FAST对图像进行特征点提取;然后,采用圆环结构算子对提取出的特征点进行类SIFT的特征描述;最后,通过K-D算法将提取出来的特征点进行粗匹配,并使用视差梯度进行预筛选,使用RANSAC算法提纯,从而实现特征点匹配。试验结果表明,与SIFT算法和改进的SIFT算法相比,本算法减少了误匹配的数目,提高了匹配的精确性和稳定性。