硝酸铀酰光化还原的研究

本文的目的是探讨光化还原制备硝酸钠(Ⅳ)。研制了一个与硝酸钠酰的吸收光谱匹配较好的金属卤化物灯——镓灯作为激发光源,在不另加滤光器的条件下,对几种还原剂的还原能力作了比较,并对乙醇作还原剂时,硝酸浓度、乙醇浓度、初始铀酰离子浓度以及温度等因素对光化还原铀(Ⅵ)到铀(Ⅳ)的还原率的影响进行了研究。     

Modeling and finite element analysis of rod and wire steel rolling process

Two thermomechanical coupled elastic-plastic finite element （FE） models were developed for predicting the 12-pass continuous rolling process of GCrl 5 rod and wire steel. The distances between stands in the proposed models were set according to the actual values, and the billets were shortened in the models to reduce the calculation time. To keep the continuity of simulation, a technique was developed to transfer temperature data between the meshes of different models in terms of nodal parameters by interpolation functions. The different process variables related to the rolling process, such as temperature, total equivalent plastic strain, equivalent plastic strain rate, and contact friction force, were analyzed. Also, the proposed models were applied to analyze the reason for the occurrence of an excessive spread in width. Meanwhile, it was also utilized to assess the influence of the roll diameter change on the simulated results such as temperature and rolling force. The simulated results of temperature are found to agree well with the measured results.     

浅谈铝合金板带退火炉节能降耗

主要从生产组织、工艺优化、余热利用等六个方面介绍了铝及铝合金退火炉节能降耗的方法和措施.     

男西装袖窿结构参数的研究

对男西装袖窿结构中的重要结构参数——衣片的袖窿宽及衣袖的袖山高进行分析与研究，提出了合理有效的设计方法，即用比例法确定衣片的袖窿宽及用制图法确定衣袖的袖山高．该方法将对男西装的结构设计与工艺制作提供有益的参考．     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

一种大规模数据的快速潜在语义索引

潜在语义索引（LSI）已应用到现代信息检索的多个领域,但矩阵奇异值分解的高复杂度阻碍了该技术在大规模数据上的应用。提出一种大规模数据的快速LSI方法。给出一个降维问题的统一框架,LSI作为一种特征提取算法,可以在这个框架下转化为一个特征选择问题。利用该技术在最大程度保持LSI降维效果的同时,简化LSI的计算,使其能够应用于大规模数据。     

基于多体动力学的汽轮机振动声辐射机理及传递路径

采用多体动力学方法进行汽轮机机械振动激励源精确分析,在激励源分析结果的基础上研究低频激励下的机组振动响应,并采用声传递向量（Acoustic Transfer Vector,ATV）方法研究汽轮机组表面与外场辐射的声压传递贡献量,从多体动力学的角度并结合流固耦合的方法综合分析汽轮机组振动噪声产生机理并研究噪声典型传递路径。研究结果表明,旋转激励源为汽轮机组的主要振动激励源,在低频段汽轮机组辐射模式为单极子,在中高频段汽轮机组辐射模式为偶极子。由噪声辐射的指向性极坐标图可知,在不同高度处噪声指向性相似,并都在长度方向上取得噪声声压级较大值,具有较强的指向性。计算方法对汽轮机组减振降噪研究具有一定的指导意义。     

2－氨基－4－氯苯酚的合成研究

提出了以对二氯苯为原料，经硝化，水解和还原三步合成２－氨基－４－氯苯酚的讨了影响反应的因素。产品总收率达７７％。     

A test object with a line width less than 10 nm for scanning electron microscopy

Data are given on the test object for scanning electron microscopy in which the components (ridges) are of trapezoidal profile and have large angles of inclination for the side walls. The width of the top surface of a projection is less than 10 nm. Methods have been developed for measuring such dimensions of test objects on standard scanning electron microscopes. __________ Translated from Izmeritel'naya Tekhnika, No. 8, pp. 20–23, August, 2008.