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.     

汉代西北疆域的经济开发

西北边疆问题是研究汉代疆域史的一个重要问题,西北边疆的开发,促进了民族的融合和地区的发展.本文着力于从汉代对西北连续经济开发的主要工程、经济开发的意义及影响两个方面进行论述,从而为当今西部大开发提供一些历史借鉴.     

用正电子湮没寿命技术研究纯铜的形变缺陷

本文用正电子湮没寿命方法研究了形变纯铜缺陷产生的特点及其运动规律,讨论了位错密度和形变量之间的关系以及正电子寿命方法研究形变缺陷的适用范围。对试样所作的TEM观测得到与正电子寿命方法定性一致的结果。     

采面底板应力计算及应用

本文利用弹性理论推导了煤层底板任意点的应力计算公式。提出了通过计算岩石的强度指数来预计煤层底板的破坏深度。依据底板破坏深度与承压水的“原始导高”的关系预测煤层底板突水的可能性,并以现场实测数据验证了这种计算方法的可靠性。图5,表2,参考文献2。     

溴氨酸与芳胺缩合反应催化剂的研究

本文论述以硫酸铜代替氯化亚铜作为溴氨酸与芳胺缩合反应催化剂,收到了反应速度快,反应温度低,产品质量好,操作简便等效果。     

气液动六杆机构的分组综合法

本文采用分组综合和优化相结合的方法,讨论了以气液压缸作为主动件的平面六杆Stepheson型机构用作函数发生器的综合方法,全部求解过程采用了线性迭加技术,且设计点数不受待定参数的限制。     

协同萃取法从湿法磷酸中分离铁

发现了P538与P204的混合溶剂对文题有很强的协同效应。研究了该体系的萃取行为和性质,考察了混合溶剂的配比、磷酸浓度、两相接触时间、温度等因素对萃取行为的影响,从而确定了分离的最佳工艺条件:温度298K;平衡时间420s;溶剂配比为等摩尔的P538与P204及含40(v)%煤油;相比为1/2,2级逆流萃取;反萃取为:反萃余相浓度(?)=4.4kg/m~3,相比为1,温度298K,盐酸浓度为6kmol/m~3,理论级数为3级。初步研究了该协萃体系的萃取机理,萃合比为2。     

T_1与T_2之间的两个分离公理

本文给出了T_1与T_2之间的两个分离公理,并讨论了它的某些性质.     

猪颌下腺活性肽对大鼠应激性溃疡形成的影响

实验选用体重200—250g S.D.系健康大鼠27只.雌雄不拘。浸水应激6小时后致大鼠产生应激性胃溃疡,并观察猪颌下腺活性肽在其中的作用。结果如下:对照组动物胃溃疡面积密度为17.9±1.43%(平均值±标准误.下同);应激前30分钟腹腔注射颌下腺活性肽0.1mg 组溃疡面积密度为19.1±2.62%;0.2mg 组溃疡面积密度为10.7±1.78%,较对照组减少40.2%(P<0.01);0.5mg 组溃疡面积密度为5.3±0.96%。分别较对照组和0.2mg 组减少70.4%(P<0.001)和50.5%(P<0.01)。统计表明,大鼠胃溃疡面积密度与活性肽注射剂量呈明显的负相关(r=-0.9302,P<0.05)。本工作提示,猪颌下腺活性肽具有阻止或减轻大鼠应激性溃疡形成的作用。     

计算机故障分析与排除方法

本文介绍了AppLE—Ⅱ微机一些常见的故障和故障检测方法;阐述了如何判断故障出现在电源、主机和磁盘驱动器上的步骤;给出了主要常见故障的排除方法。