A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.     

Quantum chemical SINDO1 study of vanadium pentoxide

An improved set of parameters for vanadium in the semiempirical quantum chemical SCF MO method SINDO1 is presented. It is shown that both the geometries and heats of formation of a number of vanadium-containing compounds calculated by this method are in good agreement with available experimental data. Model clusters of increasing size are used for the study of geometric and energetic properties of vanadium pentoxide. Both hydrogen atom and proton adsorption on the (010) surface of vanadium pentoxide and a subsequent formation of different oxygen vacancies have been investigated. Based on these computational results the reactivities of V₂O₅-surface oxygen atoms for adsorption are discussed.     

水轮机电液调速器人工失灵区的分析计算

本文对电液调速器的人工失灵区电路进行定量分析，导出了失灵区的一套计算公式，并指出失灵区与调差率、功率偏差的内在关系。     

掺富勒烯SiO2气凝胶的制备与发光性质研究

本文利用溶胶－凝胶工艺成功地将富勒烯掺入了ＳｉＯ２气凝胶的纳米孔洞中，在Ａｒ＾＋离子激光激发下，观察到了很强的可见光发射，对该现象作了初步的解释。     

XAFS applications in semiconductors

X-ray absorption fine structure （XAFS） has experienced a rapid development in the last three decades and has proven to be a powerful structural characterization technique nowadays. In this review, the XAFS basic principles including the theory, the data analysis, and the experiments have been introduced in detail. To show its strength as a local structure probe, the XAFS applications in semiconductors are summarized comprehensively, that is, thin films, quantum wells and dots, dilute magnetic semiconductors, and so on. In addition, certain new XAFS-related techniques, such as in-situ XAFS, micro-XAFS, and time-resolved XAFS are also shown.     

Energy relaxation in GaInAs/AlInAs heterojunctions and GaAs/AlGaAs multiple quantum wells

We have studied electron energy relaxation in GaInAs/AlInAs heterojunctions and GaAs/AlGaAs multiple quantum wells using mobility measurements as a function of electric field and temperature, in the range 3K to 300K. The results in the range 3 to 20K show a power loss rate which is dependent on (T_e − T_l), suggesting that the energy relaxation occurs through acoustic phonon scattering. At electron temperatures greater than 20K, the experimental results are modelled using a standard expression for polar optical phonons. This modelling yields 30meV and 31meV for the polar optical phonon energy in GaAs and InGaAs respectively.     

硼预淀积对自组织生长Ge量子点尺寸分布的影响

研究了以不同B2H6流量预淀积硼对UHV/CVD自组织生长Ge量子点尺寸分布的影响。在适当的生长条件下,得到了尺寸分布很窄的均匀Ge量子点,用AFM对量子点的形貌进行观察,Ge量子点尺寸的涨落小于±3%,量子点的水平尺寸和高度分别为60nm和10nm,密度为8×109cm-2。实验结果表明,通过预淀积硼表面处理,可以得到尺寸分布很窄的量子点,以满足量子点光电器件方面应用的要求。     

量子卡诺制冷机制冷率与熵产率的协调优化性能

研究了内可逆谐振子量子卡诺制冷机的整体最优性能。得到了协调优化目标函数Ｅ最大时量子制冷机的制冷系数以及最佳制冷率和熵产率。     

接地电阻对地电场观测的影响及克服方法

论述了测量电极的接地电阻对振幅和相位测量精度的影响规律，提出了克服接地电阻影响，提高野外观测精度的切实可行的方法和技术。     

A region-based selective optical flow back-projection for genuine motion vector estimation

Motion vector plays one significant feature in moving object segmentation. However, the motion vector in this application is required to represent the actual motion displacement, rather than regions of visually significant similarity. In this paper, region-based selective optical flow back-projection (RSOFB) which back-projects optical flows in a region to restore the region's motion vector from gradient-based optical flows, is proposed to obtain genuine motion displacement. The back-projection is performed based on minimizing the projection mean square errors of the motion vector on gradient directions. As optical flows of various magnitudes and directions provide various degrees of reliability in the genuine motion restoration, the optical flows to be used in the RSOFB are optimally selected based on their sensitivity to noises and their tendency in causing motion estimation errors. In this paper a deterministic solution is also derived for performing the minimization and obtaining the genuine motion magnitude and motion direction.