一种基于关联匹配度计算的语义Web服务匹配方法

在现有的语义Web服务匹配方法基础上加入服务语义关联匹配度计算,从而提出一种改进的语义服务匹配方法。该方法通过语义关联将一对一匹配淘汰的服务进行组合来实现一对多的服务匹配,在得到的候选服务和候选服务集中进一步计算Web服务的匹配度,经过匹配度的排序,得到最佳匹配度的服务。该方法避免了仅从单一接口参数上进行语义服务匹配,能在一定程度上提高匹配的效率,实现查准率、查全率和查询效率之间的有效平衡。     

凝聚环的几个特征

证明了对于一个环R，下列条件等价：(1)R是左凝聚的；(2)对任意正整数n，Mn(R)是左1-凝聚的；(3)Ext^2R(R／I，N)=0对于任意有限生成左理想I及F-内射模RN成立；(4)若N1≤N都是F-内射左R-模，则N／N1也是F-内射模．     

智能CAA中基于语法树的程序正确性验证研究

基于语法树的程序正确性验证方法是目前程序正确性验证方面全新的研究领域,该方法以程序的语法树作为程序正确性的检验对象,运用适当的树匹配算法,来验证目标程序的正确性.文章在介绍基于语法树的程序正确性验证方法的基础上,借鉴了无序标签树匹配的相关研究成果,结合软件构件的查询技术,提出了一种新的XML路径查询模型和树匹配算法,在理论和方法上对这个方法的实现进行了初步探讨,并结合XML技术提出了一套实现这一方法切实可行的解决方案.     

变系数mKdV方程的椭圆函数周期解

通过引入一个波变换,将变系数mKdV方程约化为常微分方程.假设方程的系数满足特定的约束条件,借助符号计算软件Mathematica和扩展的F-展开函数法,在拟设法、齐次平衡原理和Jacobi椭圆函数展开法的基础上,求得了精确解的浓缩公式.利用第一类椭圆方程中P,Q,R的不同取值与相应的F(ξ)值之间的关系,从解的浓缩公式中,得到了丰富的显式精确解,特别是以两个不同的Jacobi椭圆函数表示的精确解.在极限的情况下,即当模疗m→1或m→0时,这些解退化为相应的类孤立波解和三角函数表示的精确解.该方法具有直接、简洁的特点,可以用来求解更多的在数学物理、自然科学和应用科学等领域出现的非线性偏微分方程的精确解.     

一种基于描述逻辑的Web服务动态组合算法

针对Web服务组合, 给出了输出分解匹配度、 服务关联图等概念, 并提出一种基于描述逻辑的Web服务动态组合算法. 该算法综合考虑了服务的语义、 服务组合的质量和效率等因素, 可以自动地根据用户的服务请求实现服务的动态组合.     

ZrF_4-BaF_2-PbF_2系玻璃的形成区和电性质

研究了文题玻璃的形成区并测定了它们的电导率、红外光谱、差热分析、离子迁移数和阻抗谱。结果表明:该玻璃只是F~-离子导电,其电导率随ZrF_4含量的减少而增加,当组成为65 ZrF_4-10 BaF_2-25 PbF_2时,在200℃时的电导率最高可达1.656×10~(-6)S·cm~(-1)。     

拟阵(M-Z1)/Z2在Z+中的(F-Z1)-可流性

研究幼阵M′在Z+中的F′-可流性.首先给出M是一个在Z+中的F-可流拟阵的定义,由定义证明了,若对任意的非负整数函数p′,使得当对任意D′∈C((M′)*)都有p′(D′∩F′)≤p′(D′-F′)被满足时,总可以找到满足{∑e∈C′,C′∈C′(F′)Φ′(C′)≥p′(e),若e∈F-Z1,∑e∈C′,C′∈C(F′)Φ′(C′)≤p′(e),若e∈E-(F-Z1). 的非负整数值函数Φ′(C′);E→Z+,从而M′是在Z+的F′-可流拟阵.     

二维非线性复Ginzburg-Landau方程的一种解法

为了得到一类二维非线性复Ginzburg-Landau方程的周期行波解,采用变化后的F-展开法,即根据齐次平衡原则,利用F-展开法的思想求出其行波解。由于在平面中考虑问题,首先引入了两个波速和一个频率,将原来的奇阶偏导和偶阶偏导共存的偏微分方程化为奇阶和偶阶导数共存的非线性常微分方程;其次根据非线性项和最高阶偏导数齐次平衡可确定复值函数中的最高次项,将常微分方程表示为一类Riccati方程的解的多项式形式的方程;再令多项式的各次幂系数为零,利用Maple数学软件解出用Riccati方程中的待定常数表示的波速、频率与各系数之间的关系,再把结果代入多项式的幂级数中去;最后应用Riccati方程已知的三角函数和双曲函数表示的解,得到方程的多个包络波形式的精确解。
     

当个空战指挥官

翻开武器图库，估计大家能认出不少战机，什么B-2轰炸机啦．什么F-22“猛禽”战斗机啦……不过这些飞机打仗的时候谁先出场，谁来压轴儿，那可都有学问。让你来指挥一场空战，你会怎么做呢？     

来，让你变成钢铁侠

电影《钢铁侠》谁没看过？里面酷呆了的钢铁侠，一举手，镭射炮就打得敌人人仰马翻；一挺胸，胸口的单束光线炮就射得敌人哇哇大叫，连大名鼎鼎的F-22战斗机都被他放翻了一架。