对新旧水工钢筋混凝土结构设计规范抗裂极限状态可靠度的验算

对原规范和新规范的水工钢筋混凝土轴心受拉、受弯、偏心受压和偏心受拉等构件抗裂极限状态可靠度进行了验算，验算结果表明两本规范４种构件的抗裂可靠度平均水平都能满足一般要求，而新规范的抗裂可靠指标较高。     

InSb(110)弛豫表面电子态的计算

利用形式散射理论方法，采用最近邻的紧束缚模型计算了ＩｎＳｂ（１１０）弛豫表面的电子结构，给出了总体、局域、分波态密度和表面投影能带。通过分析其表面态的变化指出了表面发生弛豫的原因主要是阴阳离子的ｐ态电子的相互作用加强所产生的。     

由截面构造实体的造型方法

以有理Ｂｅｚｉｅｒ曲线为依据，给出了由截面构造实体的造型方法。用该方法生成的实体截面过渡自然、光滑，截面间的对应均匀。     

基于边界表示的曲面实体造型系统的数据结构

实体造型是ＣＡＤ系统的核心模块，而二次曲面在工程中常用来描述轴，孔及圆角等形状特征。讨论了在微机上实现的一个基于边界表示的实体模型的数据结构，并针对二次曲面的特点，实现了对自封闭曲面的无二义性拓扩定义，为顺利进行曲面的拼合运算打下了基础。     

Optimal tetrahedral mesh generation for three-dimensional point set

Three-dimensional (3D) tnangulation is a basic topic in computer graphics. It is considered very difficult to obtain the global optimal 3D triangulatlon, such as the triangulation which satisfies the max-min solid angle criterion A new method called genetic tetrahedral mesh generation algorithm (GTMGA for short) is presented. GT-MGA is based on the principle of genetic algorithm and aims at the global optimal triangulation. With a multi-objective fitness function, GTMGA is able to perform optimizations for different requirements. New crossover operator and mutation operator, polyhedron crossover and polyhedron mutation, are used in GTMGA. It is shown by the experimental results that GTMGA works better than both the 3D Delaunay triangulation and the algorithm based on local transformations.     

活度标准态选择的图解法

将以拉乌尔定律和享利定律为基础的各种标准态选择，用图解的形式概括，使极其复杂的标准态选择成为一目了然的图解     

压电陶瓷 d_(33) 参数自动测试分选机的研制

介绍了一种机电一体化的压电陶瓷ｄ３３参数自动测试分选机，能自动完成装料、参数测试，并根据给定合格值自动分选。该机已用于点火压电陶瓷生产线中。     

固体超强酸的制备及在苄甲苯合成中的应用

本文对ＴｉＯ２－ＳＯ２－４型固体超强酸催化剂的制备进行了研究，并应用于苄基甲苯的合成。考察了Ｈ２ＳＯ４浓度，与Ｈ２ＳＯ４接触时间、焙烧温度等条件对催化剂活性的影响。通过改变催化剂用量、反应温度对产品收率的影响，由正交实验确定了最佳工艺条件。在最佳工艺条件下，对二元及三元复合型固体超强酸催化剂的活性也进行了一些研究。实验结果表明，ＴｉＯ２－ＳＯ２－４型固体超强酸催化剂及其复合型催化剂可用于苄基甲苯的合成，具有工业摧广价值。     

Reduction of Timed Hybrid Systems

We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.