On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems

The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by new developers to understand legacy systems. High-level structural information helps maintainers navigate through the numerous low-level components and relations present in the source code. Modularization tools can be used to produce subsystem decompositions from the source code but do not typically produce high-level architectural relations between the newly found subsystems. Controlling subsystem interactions is one important way in which the overall complexity of software maintenance can be reduced.We have developed a tool, called ARIS (Architecture Relation Inference System), that enables software engineers to define rules and relations for regulating subsystem interactions. These rules and relations are called Interconnection Styles and are definedusing a visual notation. The style definition is used by our tool to infer subsystem-level relations in designs being reverse engineered from source code.In this paper we describe our tool and its underlying techniques and algorithms. Using a case study, we describe how ARIS is used to reverse engineer high-level structural information from a real application.     

韶钢4号高炉顺行状况的操作技术

对韶钢炼铁厂4号高炉炉况和操作上存在的问题进行了分析,主要原因是原材料质量较差,精料水平低,同时,高炉操作不能完全适应原材料条件.按照上稳下活工艺的原则,采取合理鼓风动能、活跃炉缸工作状态、稳定热制度、合理中部冷却强度、炉顶小高压操作以及使用上部调节手段等一系列措施,使高炉的炉况顺行得到了较大的改善,各项主要技术经济指标取得相应的进步.2001年利用系数达3.024 t/m3·d,焦比达441 kg/t.     

智能电动机控制器在电收尘通风机上的应用

对智能电动机控制器的情况作了介绍，结合工作实践提出了维护要点和建议，并对该控制器的参数设置进行了说明，这对使用该设备的工业企业有一定的指导意义。     

硫酸钙氨法制取硫酸钾新工艺的实验研究

利用K2 +2 ,Ca2 +/ /SO2 -4 ,Cl2 -2 ,NH3—H2 O混合体系相图作为工艺指导 ,进行硫酸钙制取硫酸钾工艺的相图研究和分析 ,确定实验优选因素及水平并进行正交实验 ,根据实验结果进行极差分析 ,得出新的结论。合适的工艺条件为 :氨浓度为 40 % ,配料比n( 2KCl) :n(CaSO4 ·2H2 O)为 1:1,反应温度为 5℃ ,反应时间为 1h。     

黑岱沟露天矿重型汽车预防性维修的探讨

通过对黑岱沟露天煤矿运输设备出动率调查,初步分析了目前主要运输设备的现状以及存在问题的原因和影响因素,就加大预防性维修的比重,实行全面的预防性维修制度提出了一些看法。     

Stabilization techniques for spectral methods

We introduce a stabilized treatment of spectral methods. The condition number of the spectral systems is highly improved. Elliptic and biharmonic problems are considered. Suitable interpolants in the case of inhomogeneous Dirichlet boundary conditions are presented. For a direct solver the improvements with respect to rounding error propagation are numerically demonstrated.     

基于SDL的通信软件维护模型SMM

软件维护是软件生存周期的一个重要且花费很大的阶段，维护工作的自动化是软件行业十分迫切的需要。本文提出了一个基于ＩＴＵ－ＴＳＤＬ语言的通信软件维护模型ＳＭＭ。在此模型中，软件维护被分成三个部分：建立面向维护的数据库，制定维护规范和基于功能转换的自动维护。该模型将有助于软件维护支撑环境的建立     

珠江口盆地开平凹陷油气聚集条件分析

珠江口盆地自新生代以来,曾先后受到不同方向张应力的作用,造成了不同时期构造体系的交叉叠合.中中新世以来构造运动强烈,并具有东强西弱的特点,对油气的运移与聚集产生了重要影响.开平凹陷的剧烈断裂和断陷活动始于始新世,并在同期沉积了巨厚的文昌组.晚渐新世以后,由于断裂活动非常微弱,在成熟的烃源岩与其上地层之间缺乏有效的油源断层,因而自生自储、近距离运移可能是开平凹陷油气聚集的基本特征.在凹陷内部,因重力滑动和欠压实泥岩共同作用所形成的KPll-1构造带可能是该区最具有油气远景的地区.     

分形粗糙面的电磁散射－扩展边界条件

用扩展边界条件方法对分形粗糙良导体面及介质面的电磁散射问题进行了分析。用推广的Floquet模式，在分界面处将场分量用Fourier级数展开，根据边界条件及扩展边界条件得到了水平极化和垂直极化散射场的幅度分量的表达式。用其它近似方法（Kirchhoff和Rayleigh方法）及能量守恒准则验证了此方法的有效性。     

弹性杆与水下壳体接触冲击的冲击力计算研究

对弹性杆与水下壳体接触冲击问题进行了研究，用有限元法模拟壳体，边界无法模拟无限域流体，通过温面上的耦合条件进行联立求解，文中给出了典型算例，并进行了有关讨论。