带类型λ—演算

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

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     

换热器小浮头螺栓断裂失效分析

针对换热器小浮头螺栓发生断裂的情况进行失效分析，找出原因，提出处理措施及材质选择时应注意的问题。     

电火花超声复合抛光

概述了电火花加工的原理、模具的抛光技术,重点介绍了电火花超声复合抛光技术的原理、工艺效果及优点。     

孤岛油田西区聚合物驱开发研究

孤岛油田西区注聚区1997年3月投入注聚后，高渗层得到有效封堵，吸水剖面得到明显改善。注聚期间，通过实施注聚区外围水井降水或停注、油井放大生产压差和调整注聚井注入速度等开发措施，扩大了聚合物波及体积，聚合物驱取得了明显效果。     

分析型全蒸发器在啤酒挥发性成分测定中的应用

综述了分型全蒸发器技术在啤酒发酵过程中的应用状况，并介绍了分析型全蒸发器模型结构及与之配合使用的连续多分支管。     

宽带无源光网络(BPON)关键技术的发展与研究

宽带无源光网络（BPON）是实现宽带、多业务接入的理想物理平台，本文介绍了BPON网络的发展，重点讨论了将ATM技术和PON技术相结合的APON系统及其升级系统SuperPON的基本结构和关键技术，对最近兴起的将以太技术和PON技术相结合的EPON系统的基本概念和工作原理也进行了阐述，并对未来BPON技术的发展进行了展望。     

类胡萝卜素的生物利用率

本文论述了作为维生素A前体的类胡萝卜素在体内的吸收代谢过程、类胡萝卜素生物利用率的定义、影响生物利用率的因素以及测定新方法。