菱镁矿固硫特性的理论分析

对菱镁矿在固体燃料燃烧过程中的固硫特性进行了理论研究，所得结论对进一步将菱镁矿作为固体燃料燃烧过程中的固硫剂具有非常重要的意义。     

The lattice dynamics of the Fe(tpa) (NCS)2 complex : light-induced excited spin state trapping effect

A light-induced excited spin state trapping (LIESST) experiment for a thermal gradual spin crossover complex, Fetris (2-pyridylmethyl) amine(NCS)2 or Fe(tpa) (NCS)2, was attempted for the first time. The high spin (HS) state after light inducement stayed metastable over a period of days without relaxation at 10 K. Intersystem relaxation from a high to a low spin (LS) complex occurred at 50 K after bleaching at 10 K. Investigation of the Mossbauer spectra of the LIESST and relaxation experiment indicated that the Debye–Waller factor was a correlation parameter of the HS fraction and that the co-operative effect played a role in the relaxation process for such a solid compound. This revised version was published online in November 2006 with corrections to the Cover Date.     

Thick-layer glycerin-containing bichromated gelatin for recording volume holograms

A thick-layer light-sensitive material consisting of glycerin-containing bichromated gelatin has been prepared and used to record real-time volume holograms with 0.44 μm helium-cadmium laser radiation. The thickness of the layers is 400–600 μm. The holographic sensitivity of the material is 1 J/cm². The highest diffraction efficiency of holograms recorded using a symmetric system with parallel beams is 32%. Pis’ma Zh. Tekh. Fiz. 23, 62–65 (April 12, 1997)     

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.     

超媒体系统中的人工智能方法

一、什么是超媒体近年来迅速崛起的多媒体(multimedia)技术,是一种使计算机具有交互式地综合处理和管理文字、图形、图象、声音、视频等多种媒体能力的技术,必将使计算机技术发生一     

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.     

插补法CAI研究

数字程序控制计算机辅助教学是将计算机技术用于数字程序控制的教学过程，它帮助学生学习并模拟教学实验．本文介绍了数字程序控制中直线插补和圆孤插补的ＣＡＩ实现方法．     

Fault trees—Problems and the modern state of investigations

Published in Kibernetika i Sistemnyi Analiz, No. 3, pp. 128–150, May–June, 1994.