Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

红外耦合光学系统设计

红外目标模拟器由红外目标图像发生器和投影光学系统组成。该红外光学系统是一个要求与2个导引光学系统的光学技术参数相匹配的长焦距、大视场和具有像方远心光路的中红外光学系统。叙述用于红外目标模拟器的红外耦合光学系统的设计原理，提出它与导引光学系统一起可组成放大倍率M=4.5×的红外投影光学系统，并指出IR CRT产生的图像通过红外投影光学系统可成像在导引接收器上。针对给出的红外耦合光学系统的设计特点和技术要求，光学材料选取硅（Si） 锗（Ge） 硅（Si），采用简单的柯克三片式结构完成光学系统设计。设计评价结果表明，该系统的光学性能和成像质量均满足设计指标要求。     

A result on sets,with applications to vector optimization

In this paper there is stated a result on sets in ordered linear spaces which can be used to show that some properties of the sets are inherited by their convex hulls under suitable conditions. As applications one gives a characterization of weakly efficient points and a duality result for nonconvex vector optimization problems.     

磁性纳米颗粒膜的微磁学模拟

用微磁学方法对磁性纳米颗粒膜的磁特性进行了模拟，采用的模型是由122个磁性纳米颗粒组成的面心立方(fcc)结构体系.结果表明：在该体系中，偶极相互作用对体系的静态磁结构的影响显著，而交换相互作用的影响表现不明显.在此基础上，本文还采用有效媒质理论计算分析了磁性合金颗粒不同体积比时颗粒膜的磁谱和表征电磁参量发生显著变化的逾渗现象和逾渗阈值.并完成了对高磁损耗磁性纳米颗粒膜的材料设计. 关键词： 微磁学 纳米颗粒膜 逾渗阈值 磁导率 材料设计     

低电阻测量设计实验中电位差计指针不稳的解决方法

本文分析了J33Q型电位差计在实验中指针不稳的原因,并提出了解决的办法。     

Cardy's formula for some dependent percolation models

We prove Cardy's formula for rectangular crossing probabilities in dependent site percolation models that arise from a deterministic cellular automaton with a random initial state. The cellular automaton corresponds to the zero-temperature case of Domany's stochastic Ising ferromagnet on the hexagonal lattice  (with alternating updates of two sublattices) [7]; it may also be realized on the triangular lattice 𝕋 with flips when a site disagrees with six, five and sometimes four of its six neighbors. Received: 24 December 2001     

MgxZn1-xO结构性质

采用第一性原理计算模拟了不同组分的Mg_xZn_1-xO半导体混晶的晶格常数、总能、结构,以及禁带宽度的变化。计算结果显示,随着Mg组分的增加,晶格常数逐渐减小,晶体逐渐偏离纤锌矿结构。对各种不同的Mg原子排列情况进行比较认为,Mg_xZn_1-xO的结构随组分x的增大,发生从纤锌矿到岩盐矿的结构相变的可能性高于发生相分离。另一方面,禁带宽度随组分增大主要由价带顶的移动所致。进一步分析Mg原子各种电子态对价带的影响表明,Mg对价带顶附近能带的贡献依次来自p、d、s态电子。随着组分x的增加,p态电子在价带顶附近的密度明显提高,说明sp轨道杂化不但对晶体的几何结构产生影响,而且对其电子结构也起重要作用。     

超大规模集成电路光学光刻技术的现状与展望

光学光刻是目前超大规模集成电路(VLSI)制备中主要的微米和亚微米的图形加工技术,这一技术将继续保持其主导地位成为90年代VLSI发展的关键。本文综述了近年来光学光刻工艺的发展,主要介绍了G线(436nm)、Ⅰ线(365nm)和准分子激光光刻的现状,并对实现高的光学光刻分辨率所必须解决的透镜设计、套准精度和像场面积等问题作了详细描述。最后展望了发展方向、     

拟阵与概念格的关系

本文以构造的方式建立起拟阵与概念格的联系,得到在同构意义下每个拟阵是一个概念格,但反之不然的结论;该结论使得利用概念格的性质研究拟阵成为现实,特别为将建造概念格的算法尤其是已计算机化的算法应用于求取拟阵奠定了基础,也为拟阵论成为研究概念格性质的辅助工具打下基础．     

Precise lattice parameter measurements in CsCl-Br solid solutions between room temperature and 90°K by powder x-ray diffraction

Solid solutions of CsCl-Br in five different concentrations were prepared in sealed quartz tubes by heating the mixture to 1123°K for 6–8 hr and quenching to room temperature. X-ray diffractograms were taken at eight different temperatures between room temperature and 90°K for these solid solutions using the YPC50NM powder diffractometer and a continuous flow cryostat. The observed lattice parameters for each sample at each temperature obtained from the powder diffractograms were then extrapolated to give the true lattice parameters using the least square method with Nelson-Riley extrapolation scheme. The values of the true lattice parameters at each concentration and at each temperature were tabulated and the results discussed. It is shown that the lattice parameters vs temperature for some concentrations exhibit an anomalous behaviour. Contribution No. 691