C程序单元级依赖性分析

程序依赖性分析是软件分析的一个基本内容,目前的相关工作大多集中在语句级的分析方面。人们同样需要单元级的依赖信息来考察单元间的信息流向及整个程序的构架。本文针对C程序中函数间的调用依赖、参数传递依赖、全局数据依赖以及文件间的包含依赖和外部变量定义依赖进行了分析,并提出单元依赖图表达这些关系。基于此图,本文采用基于信息论的方法度量了单元间的耦合性。单元依赖图中保留的函数调用间的互斥关系提高了度量的准确性。相关的分析思想和技术适用于分析使用其它高级程序设计语言编写的软件。     

Event-Based Techniques to Debug an Object Request Broker

This work presents a debugging system built for the Object Request Broker (ORB) used in the construction of Solaris MC, a multicomputer OS. Even though it has been built and tested on a particular ORB, we believe similar ideas could be employed on other ORBs with similar structure and goals. The goal of this system is to provide a means to stress the ORB behavior in a controlled manner while logging the events occurred during its execution. The tool, called the Fault Injection and Event Logging Tool (FIELT) helps system programmers to find possible inconsistencies in the code by means of a post-mortem analysis of the collected trace data. The approach taken to design the event logging follows the event-driven techniques to monitorize distributed systems. Failures in the ORB are injected by software instrumentation and these injected failures are considered as special events. This allows us to reason about the correctness of the ORB in a broad sense, where its expected behavior includes to gracefully cope with failures. The number of potentially relevant events produced during the ORB execution is unmanageably high. There is, thus, a need to find a minimum subset of those events which, without losing relevant system behavior, allows us to infer its correctness (or lack of). We address this problem using a new model for ORB computations, assigning each event produced by the ORB to one of the high level objects it manages.     

客户／服务器结构的ORACLE性能调整技术

从实用的角度介绍了客户／服务环境下的ＯＲＡＣＬＥ性能调整技术，主要包括：不同类型处理任务的划分；网络交换的削减；客户端应用处理需求的减少；以及ＯＲＡＣＬＥ７新特性的充分利用等。     

压铸件中破碎激冷层的研究

本文通过电镜进行金相分析,观察了重量为0.24～4.8公斤的铝合金压铸件的金相组织,并测定了压铸过程中金属液温度的变化,发现了破碎激冷层的存在。探讨了破碎激冷层的生成机理、影响因素及其对压铸件性能的影响。在国内尚未见这方面的研究成果,这项研究对降低由破碎激冷层造成的废品,提高经济效益等都有重要的意义。     

重油掺水乳化技术的开发及应用

重油掺水乳化是一项新的节能技术，重油经乳化后作燃料，具有降低消耗、减轻环境污染、延长设备使用寿命等作用。乳化重油也能提高重油在铸造和砂轮工业生产中作防粘砂、溃散和湿润的使用效果。概述了近年来国内外重油掺水乳化技术的发展状况；着重介绍了重油乳化机理、爆破雾化机理和乳化重油所用的乳化剂、添加剂种类以及在应用中存在的问题和有待开发的领域。     

广义序偶的优化方法

本文在文献［１］的基础上引入了松驰量的概念，解决了在ＣＰＭ网络图中，在Ｎ＞２个平行工序中，预先指定一个工序的前提下，在剩下的Ｎ－１个工序中，选择一个工序与指定工序形成一个序偶的最优化问题，并举例说明了它的应用及该方法的优点。     

通用轴对称锻件锻模CAD系统

论述了开发通用轴对称锻件锻模ＣＡＤ系统的基本原理与方法，提出并解决了锻件圆角过渡的光滑处理问题，从而构造出实用的商品化软件。     

2种灰色模型在矿区地表沉陷预计中的适用性

目前矿区地表单点沉陷动态预计方法主要基于传统的水准测量数据,监测方法单一,成本高,观测点易破坏,不能保证地表形变信息的实时性,且采用灰色模型进行地表沉陷预计时只针对单一模型的应用,没有结合模型自身特点分析其适用性。以袁店二矿7221工作面为试验区域,采用合成孔径雷达差分干涉测量技术监测矿区地表沉陷量,分别建立了描述沉陷量与时间关系的GM(1,1)与灰色Verhulst模型进行地表沉陷量预计,实现了矿区地表沉陷监测与动态预计一体化。通过比较、分析GM(1,1)与灰色Verhulst模型对地表沉陷量的拟合及预计结果,得出了2种灰色模型在矿区地表沉陷预计中的适用性:在矿区开采沉陷开始至活跃前期,若地表单点沉陷量曲线呈近似单峰型,则宜采用GM(1,1)进行短期预计;当矿区地表沉陷进入衰退阶段,单点沉陷量曲线呈平底饱和状态,则宜采用灰色Verhulst模型进行中长期预计。     

Multimedia image quality assessment based on deep feature extraction

Multimedia Tools and Applications - Measurement of visual quality is of significant importance to many image processing tasks. The target of image quality assessment (IQA) is to design effective...     

Rastrites guizhouensisMuetal.的胞管形态

利用扫描电镜观察Ｒａｓｔｒｉｔｅｓｇｕｉｚｈｏｕｅｎｓｉｓ的超微形态,胞管孤立部分直管状,中部稍膨胀,向末端收缩变小并向腹侧弯曲成小钩状,背部末端弯曲时形成膝弯,腹侧则形成加厚的下口唇和三角形的凹陷唇口窝。Ｒａｓｔｒｉｔｅｓｇｕｉｚｈｏｕｅｎｓｉｓ胞管的形态与一些孤立的：Ｍｏｎｏｇｒａｐｔｕｓｃｏｎｖｏｌｕｔｕｓ,Ｍｏｎｏｇｒａｐｔｕｓｄｅｎｔｉｃｕｌａｔｕｓ．的胞管可以对比。