基于桥连接的词典学习方法的语义解析

现阶段的语义解析方法大部分都基于组合语义,这类方法的核心就是词典。词典是词汇的集合,词汇定义了自然语言句子中词语到知识库本体中谓词的映射。语义解析一直面临着词典中词汇覆盖度不够的问题。针对此问题,该文在现有工作的基础上,提出了基于桥连接的词典学习方法,该方法能够在训练中自动引入新的词汇并加以学习,为了进一步提高新学习到的词汇的准确度,该文设计了新的词语—二元谓词的特征模板,并使用基于投票机制的核心词典获取方法。该文在两个公开数据集(WebQuestions和Free917)上进行了对比实验,实验结果表明,该文方法能够学习到新的词汇,提高词汇的覆盖度,进而提升语义解析系统的性能,特别是召回率。     

卤水井测试工艺研究

卤水井测试的最大技术难题是井筒结晶堵塞问题。为解决这个问题,以四川邛崃平落坝构造高浓度卤水井测试为例,从卤水组分、温度、流速及管材等方面,分析卤水井开采测试中结晶产生的影响因素;从卤水的化学性质出发,探讨工具防腐技术;结合现场应用效果,进一步优化管柱结构。     

浅谈应用标准进行软件测试

国家标准GB T175 44规定了软件包的质量要求及针对这些要求如何对软件包进行测试的细则。质量要求从产品描述、用户文档、程序及数据三个方面进行了规定 ,测试细则依据这些规定制定。ISO IEC912 6 (1991)版由ISO IEC 912 6 (软件产品质量 )和ISO IEC14 5 98(软件产品评测 )两个标准代替 ,ISO IEC912 6表述了软件产品质量的内部质量、外部质量和使用中的质量 ,规定了内部质量、外部质量的六个质量特性 ,并细分为 2 1个子特性 ,使用中的质量规定了四个使用质量特性 ,使用质量是指六个软件产品质量特性的综合效果。进行软件测试时 ,可以依据GB T175 44中的规定组织测试过程再结合ISO IEC912 6中的质量特性及子特性的规定确定测试需求的内容和测试的重点 ,利用ISO IEC912 6质量的规定建立质量评级的标准。     

大型连杆流线简易试验方法

介绍了一种大型连杆流线的简易试验方法及其评价原则。该方法可清晰显示流线，并适合任何尺寸和形状的锻造连杆的流线试验。     

双极关键工艺的在线统计分析

采用了双极晶体管作为双极工艺的测试结构,将在线工艺的统计分析理论应用于双极工艺,研制了双极工艺的统计分析软件。最后给出了双极工艺的某些分析结果。     

地面油管漏失定量测试方法探讨

对油管漏失进行定量测试的方法确定具体漏失位置。方法运用双频道回声探仪探测动液面的原理和工作方法，根据油管漏失形成的死油坏在测试曲线上出现特殊波位置判断油管漏失位置。结果：经过７０多井次的现场试验，该方法具有较高的准确性和可靠性。结论：利用特殊波可以有效监测油管漏失，并具有推广使用价值。     

带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[1J,它由许多计算模型所组成。文〔1〕指出,应用认-演算比纯粹补演算更接近程序语言.但是由于内建函子和常数的引入常会发生一些问题,例如.常数O和函子+在机器中同样看待     

核电材料在模拟反应堆环境中应力腐蚀破裂测试技术与性能评价

简要介绍了采用慢应变速率试验，Ｕ型弯曲和Ｃ形环试验等技术，分别对８００合金，３０４和３１６及３１６Ｔｉ不锈钢Ａ５３３Ｂ压力容器用多在模拟核反应堆环境中的应力腐蚀破裂敏感性性进行的试验研究的一些主要结果；并结合电化学测试和表面膜俄歇电子能谱分析结果进行了讨论。     

Schwingfestigkeit von Schraube‐Mutter‐Verbindungen

High cycle fatigue of bolted connections Extensive tests regarding the influences on the fatigue of bolt‐nut‐connections of preloading with torsion, of preloading with yielding, of loading with superimposed bending and of the tested lot are processed. These influences are not yet known according to VDI 2230. New testing devices were designed for these tests, which allow a far less expensive operation and may easily be used for bolts of diameters up to M100 and testing frequencies up to 1000 Hz. The validity of fatigue resistance according to VDI 2230 is specified with respect to the test results. The determined influence of the tested lots is unexpectedly high. The manufacturing process of bolts should be improved to minimize this influence.     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002