荧光显示管直丝氧化物阴极有效逸出功的计算

阴极的逸出功是表征阴极发射能力的物理量，求定荧光显示管直丝氧化物阴极有效逸出功时，因其零场发射电流密度难于准确取值，温度无法直接测量，显得困难，须予解决，为此提出了一种计算阴极有产逸出功的办法，对某显示管的发射欠佳和“低温高效”的两种氧化物阴极的有效逸出功进行计算，有效逸出功率是靠测量相关物理量再同计算得出，精度不很高，文中所用办法也不例外，但所得结果能反映阴极发射能力，所需仪器少，是实用方法。     

Color image retrieval based on hidden Markov models

In this correspondence, a new approach to retrieving images from a color image database is proposed. Each image in the database is represented by a two-dimensional pseudo-hidden Markov model (2-D PHMM), which characterizes the chromatic and spatial information about the image. In addition, a flexible pictorial querying method is used, by which users can paint the rough content of the desired images in a query picture. Image matching is achieved by comparing the query picture with each 2-D PHMM in the database. Experimental results show that the proposed approach is indeed effective.     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

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

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

带类型λ—演算

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

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Evaluation of a parallel branch-and-bound algorithm on a class ofmultiprocessors

We propose and evaluate a parallel “decomposite best-first” search branch-and-bound algorithm (dbs) for MIN-based multiprocessor systems. We start with a new probabilistic model to estimate the number of evaluated nodes for a serial best-first search branch-and-bound algorithm. This analysis is used in predicting the parallel algorithm speed-up. The proposed algorithm initially decomposes a problem into N subproblems, where N is the number of processors available in a multiprocessor. Afterwards, each processor executes the serial best-first search to find a local feasible solution. Local solutions are broadcasted through the network to compute the final solution. A conflict-free mapping scheme, known as the step-by-step spread, is used for subproblem distribution on the MIN. A speedup expression for the parallel algorithm is then derived using the serial best-first search node evaluation model. Our analysis considers both computation and communication overheads for providing realistic speed-up. Communication modeling is also extended for the parallel global best-first search technique. All the analytical results are validated via simulation. For large systems, when communication overhead is taken into consideration, it is observed that the parallel decomposite best-first search algorithm provides better speed-up compared to other reported schemes     

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

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

Finite-difference time-domain simulation of scattering from objectsin continuous random media

A three-dimensional (3D) finite-difference time-domain (FDTD) scheme is introduced to model the scattering from objects in continuous random media. FDTD techniques have been previously applied to scattering from random rough surfaces and randomly placed objects in a homogeneous background, but little has been done to simulate continuous random media with embedded objects where volumetric scattering effects are important. In this work, Monte Carlo analysis is used in conjunction with FDTD to study the scattering from perfectly electrically conducting (PEC) objects embedded in continuous random media. The random medium models under consideration are chosen to be inhomogeneous soils with a spatially fluctuating random permittivities and prescribed correlation functions. The ability of frequency averaging techniques to discriminate objects in this scenarion is also briefly investigated. The simulation scheme described in this work can be adapted and used to help in interpreting the scattered field data from targets in random environments such as geophysical media, biological media, or atmospheric turbulence