Inferring requirement goals from model implemented in UML

UML is used widely in many software development processes. However, it does not make explicit requirement goals. Here is a method tending to establish the semantic relationship between requirements goals and UML models. Before the method is introduced, some relevant concepts are described.     

电缆电视系统中的噪声参数及计算

本文对同轴电缆电视系统中几个与噪声相关联的最基本、最主要的参数进行分析与计算。     

瓦勒·布然奇异积分的类LiP~(·α)特征

本文旨在指出函数逼近论中瓦勒·布然奇异积分V_n(f;x),逼近类Lipα(0<α< 2)中函数f(x)的特征能用阶n~2来刻划。     

H_2－O_2滴定法测定Pt－Re－Al_2O_3中（铂铼）分散度的研究

本文采用化学吸附与Ｈ２－Ｏ２滴定相结合的方法，测定Ｐｔ－Ｒｅ－Ａｌ２Ｏ３中Ｐｔ和Ｒｅ的分散度，进行了优化条件的选择。测定值的重复性对Ｐｔ为±３％，Ｒｅ为±５％。     

钢制压力容器筒体中的残余应力

应用弹塑性理论分析了钢制压力容器简体在制造成型时产生的残余应力，指出按中径公式设计时不应忽视残余应力，建议将简体由四周向水压试验应力控制在０．８［σ］之内．     

手性热变色液晶的合成及配方Ⅰ．光活性对烷基和对烷氧基苯甲酸的烷基酚酯类

以新的路线合成了两类文题化合物共七个液晶单体，合成了催化剂（１，３－双－（二苯基膦基）丙烷－二氯化镍）和光活性中间体（Ｓ）－２－甲基丁基苯酚，获得了较高的产率及纯度。经元素分析、质谱和红外光谱分析确证了化合物的分子结构，测定了其液晶相态。进行了配方尝试，得到了对温度变化敏锐的热变色液晶材料，具有较好的应用前景。     

哈希编码数据压缩的实现

给出了一种利用Hash编码进行数据压缩的方法,讨论了该方法作为一种数据库管理系统的数据存贮工具的实现技术,以及编码和解码的法.     

利用空间条件探讨番茄青椒的遗传变异初报

将番茄青椒种子塔载于科学返地卫星及高空气球中，种子在空间条件下运输，返回陆地后，测定种子发芽率、幼苗同工酶，植株长势，产量等。均出现了变。并在后代得以表达。经几代田间观变及筛选，获得优良株系：ＴＦ８７－２番茄；ｌ５９ｌ１０青椒。     

一维不可逆导热系统的熵产生及其稳定性

用非平衡热力学方法计算了一维导热系数的熵产生，证明了稳定的定态导热系数，其熵产生具有最小值。     

大直径扩底桩墩基础的承载特性

通过模型试验，研究大直径扩底桩墩基础在不同扩底位置时的承载特性及破坏规律。为大直径扩底桩墩基础承载力的理论研究提供了试验依据。