饱和土中Biot波动方程与混合物理论波动方程的比较

本文比较了混合物理论推导出的饱和土一般波动方程与Biot饱和上波动方程，证明两者之间完全一致，但混合物理论无需关于a≥0的限制，在此基础上，本文推导出两种波动理论之间的正确系数对应关系，使混合物理论获得的结果与工程实践相吻合．     

可用性语义Web服务的通用发现机制

针对复杂组合Web服务的选择问题,提出了一种基于可用性的语义Web服务发现方法.使用动态自适应模板来寻找可用的组合Web服务,结合语义匹配度量化Web服务的功能、非功能属性,在形式化定义组合Web服务的可用性等规则的情况下,基于可用性的量化值进行排序,从而得到最合适的Web服务.将以建议规则实现的匹配引擎运行于原型系统,结果表明所提方法可以实时选择复杂组合Web服务,适用范围也比较大,并在查全率的基础上能够获得最优解.     

Solutions to Nonlocal Integrable Discrete Nonlinear Schr?dinger Equations via Reduction

Solutions to local and nonlocal integrable discrete nonlinear Schr?dinger(IDNLS) equations are studied via reduction on the bilinear form. It is shown that these solutions to IDNLS equations can be expressed in terms of the single Casorati determinant under different constraint conditions.     

商务合同的词汇句法特征及其翻译

商务合同英语作为一门专用英语，有其独特的语言特征。在翻译商务合同时，除把握源语、目的语语言的词汇和句法特征外。还应把握商务合同语言的特殊性及其基本翻译准则，注重这种文体独特的词汇和句法特征。避免解释歧义和产生纠纷，保障各类商务合同顺利有效地执行。     

一种基于最小覆盖的复杂Web服务组合方法

针对复杂Web服务的组合问题,提出了基于最小覆盖的Web服务组合方法(CWSCM).该方法从需求目标出发,将逻辑理论中的逻辑函数化简的最小覆盖思想运用于基于本体的多层交服务匹配的过程之中,从而建立了最小服务匹配集合,同时构造了优化的有序服务组合图,并将该图的形式化表示保存于扩充的Web服务描述之中,以便复用.实验表明,CWSCM可成功地组合复杂的Web服务,保证服务组合的成功率和效率,当组合满意度接近70%时,组合服务的成功率最高,而满意度对组合效率的影响比较小.     

内容寻址网络的P2P语义Web服务组合系统架构

为了提高语义Web服务组合系统的扩展性、可靠性和稳定性,提出了一种基于P2P的语义Web服务(P2PSWS)组合系统架构.该架构结合了集中式和分布式结构的优点,将统一描述、发现和集成协议的功能分散于本地Web节点、组Web节点和公共Web节点;设计了一种基于内容寻址网络的P2P网络语义Web服务的定位机制,以保证每个共享服务按领域划分,按被所有节点所共享的公共Web节点来注册.原型系统运行表明,该架构有助于克服传统公共Web服务结构上的单一节点失败问题,扩展了P2P系统的能力,有效地实现了基于本体的语义Web服务的组合.     

Residual Symmetry of the Alice-Bob Modified Korteweg-de Vries Equation

Starting from the truncated Painlev′e expansion, the residual symmetry of the Alice-Bob modified Kortewegde Vries(AB-mKdV) equation is derived. The residual symmetry is localized and the AB-mKdV equation is transformed into an enlarged system by introducing one new variable. Based on Lie's first theorem, the finite transformation is obtained from the localized residual symmetry. Further, considering the linear superposition of multiple residual symmetries gives rises to N-th B?cklund transformation in the form of the determinant. Moreover, the P_sT_d(the shifted parity and delayed time reversal) symmetric exact solutions(including invariant solution, breaking solution and breaking interaction solution) of AB-mKdV equation are presented and two classes of interaction solutions are depicted by using the particular functions with numerical simulation.     

商务合同的词汇句法特征及其翻译

商务合同英语作为一门专用英语,有其独特的语言特征。在翻译商务合同时,除把握源语、目的语语言的词汇和句法特征外,还应把握商务合同语言的特殊性及其基本翻译准则,注重这种文体独特的词汇和句法特征,避免解释歧义和产生纠纷,保障各类商务合同顺利有效地执行。     

激光谐振腔自动稳定调节的一种方法

本文讨论了激光谐振腔的稳定调节系统.对失调的激光谐振腔的输出光斑进行图象处理,检测出光斑的内外圆环的边缘,然后用曲线拟合的方法得到内外圆环的几何中心坐标,计算出光斑的能量偏移和位置偏移.运用几何光学和衍射光学的有关知识,推导出激光谐振腔镜的倾斜角和光斑偏移量的关系,利用这个关系来实时调节谐振腔,使谐振腔准直.我们做了大量的实验证明这种方法是切实可行的.