带类型λ—演算

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

NADRA 3D information technology for analysis of processes in multicomponent soil media

This paper considers the principles of algorithmic and software implementation of the software system NADRA 3D designed to analyze processes in three-dimensional multicomponent soil media. The principles of operation of NADRA 3D are described. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 6, pp. 157–174, November–December 2006.     

软β核素内部样品塑料闪烁探测器

本文评价了塑料闪烁片用作软β核素探测器时的计数效率、β谱、本底谱和康普顿电子谱的特征。文中强调:采用胶合光导剂构成的系统是一种新型探测器(软β核素内部样品塑料闪烁探测器)。本文提出内部样品固体探测器、胶合光导剂和胶合闪烁光导剂的新概念。     

Observer design for autonomous discrete-time nonlinear systems

We obtain a necessary and sufficient condition for a discrete-time nonlinear system to be locally state equivalent to the nonlinear observer form. The result looks similar to the continuous counterpart except for the fact that Ad-operation is utilized instead of ad-operation.     

Synthesis of polyanilines with pendant fluorescent units

Functionalized polyanilines containing biphenyl, terphenyl, carbazole, anthracene, and 4-n-hexylphenyl moieties were synthesized though the reaction of polyaniline in emeraldine base form with sodium salt of corresponding vinylketoaromatics with quantitative yields. Polymers were characterized with Fourier transform infrared spectroscopy, proton nuclear magnetic resonance spectroscopy, and thermogravimetry. The emission characteristics of these polymers in N-methyl-2-pyrrolidone solution were examined. The functionalized polyanilines exhibited an intense green emission.     

对称配筋小偏心受压构件的截面设计

对小偏心受压构件在对称配筋情况下的截面配筋计算，提出用最佳一次逼近多项式简化基本公式，直接按二次方程求解ξ的近似方法，具有精度高，相对误差小，计算方便等优点，可供工程设计人员参考。     

Evaluation of passive microwave snow water equivalent algorithms in the depth hoar-dominated snowpack of the Kuparuk River Watershed, Alaska, USA

This research investigates the utility of passive microwave remote sensing instruments to accurately determine snow water equivalent (SWE) over large spatial extents. Three existing Special Sensor Microwave Imager (SSM/I) snow water equivalent algorithms produced by Chang, Tait and Goodison were evaluated for their ability to determine snow water equivalent in a snowpack containing substantial depth hoar, large faceted snow crystals. The Kuparuk River Watershed (8140 km²) test site on the North Slope of Alaska was chosen for its snowpack containing a think depth hoar layer and long history of ground truth data. A new regional snow water equivalent algorithm was developed to determine if it could produce better results than the existing algorithms in an area known to contain significant depth hoar. The four algorithms were tested to see how well they could determine snow water equivalent: (1) on a per pixel basis, (2) across swath-averaged spatial bands of approximately 850 km², and (3) on a watershed scale. The algorithms were evaluated to see if they captured the annual spatial distribution in snow water equivalent over the watershed. Results show that the algorithms developed by Chang and from this research are generally within 3 cm of the spatially averaged snow water equivalents over the entire watershed. The algorithms produced by Chang, Tait, and in this research were able to predict the basin-wide ground measured snow water equivalent value within a percent error range from −32.4% to 24.4% in the years with a typical snowpack. None of the algorithms produce accurate results on a pixel-by-pixel scale, with errors ranging from −26% to 308%.     

阳平关砂金矿精选厂尾矿综合回收的研究

本文详细的介绍了陕西省阳平关砂金矿精选厂尾矿金和其他可利用的矿物综合回收方法和最佳分选流程。     

Prediction of liquid–liquid phase diagrams of aqueous salt+PEG systems using a thermodynamic model

In this study a thermodynamic model for the phase behavior of aqueous salt+polymer solutions is developed. The model is based on the solution theory of Hill, which included scaling laws for the polymer molecular mass dependence and Pitzer–Debye–Hückel theory. This model was tested for systems composed of two different molecular mass of polyethylene glycols (PEG) and five different inorganic salts. All the model parameters were determined from independent measurements. The agreement between the experimental and predicted phase diagrams by this model is good.     

浅谈程序设计中一题多解的教学方法

中等职业学校一般开设VB、VC及数据库等涉及程序设计的计算机课程。本文拟就程序设计中一题多解的教学方法进行探讨。