带类型λ—演算

一、引言补演算是一个用函数描述计算的形式理论体系[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月投入注聚后，高渗层得到有效封堵，吸水剖面得到明显改善。注聚期间，通过实施注聚区外围水井降水或停注、油井放大生产压差和调整注聚井注入速度等开发措施，扩大了聚合物波及体积，聚合物驱取得了明显效果。     

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

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