基于LDRA Testbed的软件静态测试研究与实现

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。     

基于数据挖掘的复杂装备维修辅助决策研究

文章通过某装备维修信息框架分析,维修数据预处理,然后以维修记录为例,挖掘出了维修件之间关联规则,并采用决策树分类方法对维修件进行了分类,这些规则和分类结果可以为维修计划制定、器材采购、视情维修等方面提供决策依据。     

On the determination of the thermal diffusion factor from column measurements

A new method for experimental determination of the thermal diffusion factor _T for binary gas mixtures with a thermal diffusion column (TDC) is developed, based on A. M. Rozen's equation of TDC. The experimental results for _T are obtained in a reduced form in this approximation. An experimental reference point, determined in the same TDC with a standard gas mixture, is used for the transformation of the results for _T in absolute units. The proposed method is applicable for arbitrary gas mixtures, irrespective of the mass difference of the components.     

Nondestructive characterization of the mechanical strength of diffusion bonds. II. Application of a quasi-static spring model

It has been shown that the acoustic response of imperfect interfaces may be described by a quasi-static spring model. In the present paper, experimental data on the geometry of the contacts between two diffusion-bonded blocks have been used to determine the spring stiffness of such interfaces which have been correlated with experimentally determined ultrasonic reflection coefficients. The correlation between the theoretical reflection coefficient and the spring stiffness was found to be in excellent agreement with experimentally-observed values, if the disbonds are of infinitesimally small thickness. For disbonds of finite thickness, the agreement is less satisfactory. Reasons for the discrepancy in the latter case are unknown at the present time.     

Correlation and prediction of dense fluid transport coefficients. I. n-alkanes

Recent accurate measurements of the self-diffusion coefficient for n-hexadecane and n-octane and of the viscosity coefficient for n-heptane, n-nonane, and n-undecane over wide pressure ranges have been used to provide a critical test of a previously described method, based on consideration of hard-sphere theory, for the correlation of transport coefficient data. It is found that changes are required to the universal curve for the reduced viscosity coefficient as a function of reduced volume and, also, to the parameters R _D, R , and R which were introduced to account for effects of nonspherical molecular shape. The scheme now accounts most satisfactorily for the self-diffusion, viscosity, and thermal conductivity coefficient data for all n-alkanes from methane to hexadecane at densities greater than the critical density.     

Supporting inconsistent rules in database systems

When a set of rules generates (conflicting) values for a virtual attribute of some tuple, the system must resolve the inconsistency and decide on a unique value that is assigned to that attribute. In most current systems, the conflict is resolved based on criteria that choose one of the rules in the conflicting set and use the value that it generated. There are several applications, however, where inconsistencies of the above form arise, whose semantics demand a different form of resolution. We propose a general framework for the study of the conflict resolution problem, and suggest a variety of resolution criteria, which collectively subsume all previously known solutions. With several new criteria being introduced, the semantics of several applications are captured more accurately than in the past. We discuss how conflict resolution criteria can be specified at the schema or the rule-module level. Finally, we suggest some implementation techniques based on rule indexing, which allow conflicts to be resolved efficiently at compile time, so that at run time only a single rule is processed.An earlier version of this work appeared under the title Conflict Resolution of Rules Assigning Values to Virtual Attributes inProceedings of the 1989 ACM-Sigmod Conference, Portland, OR, June 1989, pp. 205–214.Partially supported by the National Science Foundation under Grant IRI-9157368 (PYI Award) and by grants from DEC, HP, and AT&T.Partially supported by the National Science Foundation under Grant IRI-9057573 (PYI Award), IBM, DEC, and the University of Maryland Institute for Advanced Computer Studies (UMIACS).     

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。     

基于规则引擎的电子采购逆向竞拍的研究

近年来规则引擎技术已广泛应用于金融、电子商务及制造业等领域。当前大型企业的采购方式越来越多样化,传统采购系统所采用的逆向竞拍方案已不能满足现有需求。本文研究了规则引擎技术在企业电子采购系统中的应用,以将程序代码和业务规则分离开来。企业可以按照不同采购需求个性化配置采购规则,规则引擎控制整个拍卖过程,拍卖结束后系统再利用规则引擎自动对报价进行评分,帮助企业选择最优供应商,使其在采购过程中降低成本,提高采购效率。     

Electrochemical investigation of the iron-containing and no iron-containing AB5-type negative electrodes

The electrochemical behaviour of LaNi_3.55Mn_0.4Al_0.3Co_0.75−xFe_x (x = 0, 0.15, 0.55, 0.75) intermetallic compounds has been studied and presented [C. Khaldi, H. Mathlouthi, J. Lamloumi, A. Percheron-Guégan, Int. J. Hydrogen Energy 29 (2004) 307–311; C. Khaldi, H. Mathlouthi, J. Lamloumi, A. Percheron-Guégan, J. Alloys Compd. 360 (2003) 266–271; C. Khaldi, H. Mathlouthi, J. Lamloumi, A. Percheron-Guégan, J. Alloys Compd. 384 (2004) 249–253]. It has been deduced that the LaNi_3.55Mn_0.4Al_0.3Co_0.4Fe_0.35 compound has interesting electrochemical properties. In this paper we present the electrochemical study of LaNi_3.55Mn_0.4Al_0.3Co_0.4Fe_0.35 compound properties compared with the parent LaNi_3.55Mn_0.4Al_0.3Co_0.75 compound. Several techniques, such as, the chronopotentiometry, the constant potential discharge (CPD), the cyclic voltammetry (CV) and the linear polarization (LP) were applied to characterize these electrochemical properties. The electrochemical discharge capacity of the LaNi_3.55Mn_0.4Al_0.3Co_0.75 alloy increases to reach 294 mAh g⁻¹ after few cycles only (five cycles). However, the activation of the LaNi_3.55Mn_0.4Al_0.3Co_0.4Fe_0.35 alloy takes more than 20 cycles to be achieved and the obtained maximum discharge capacity is 194 mAh g⁻¹. The hydrogen diffusion coefficient D_H was determined by constant potential discharge and cyclic voltammetry techniques. The obtained values of the LaNi_3.55Mn_0.4Al_0.3Co_0.75 and LaNi_3.55Mn_0.4Al_0.3Co_0.4Fe_0.35 compounds are 6.29 × 10⁻¹¹ and 7.62 × 10⁻¹¹, and 2 × 10⁻⁸ and 7.5 × 10⁻⁸ cm² s⁻¹ by CPD and CV techniques, respectively. The exchange current density values, determined by a linear polarization technique, are 44 and 27 mA g⁻¹, respectively, for LaNi_3.55Mn_0.4Al_0.3Co_0.75 and LaNi_3.55Mn_0.4Al_0.3Co_0.4Fe_0.35 alloys.     

Ni－Fe－Cr－B－Si涂层超塑扩散焊接的强化效应及耐磨性

研究了Ｎｉ－Ｆｅ－Ｃｒ－Ｂ－Ｓｉ合金涂层超塑性扩散焊接及焊接后的强化效应。通过对涂层的组织结构分析、硬度及耐磨性能的测试表明，当基材（５ＣｒＭｎＭｏ钢）与涂层产生协调超塑变形时，涂层原颗粒间、涂层与基材结合界面完全焊合。超塑焊合后的涂层比高频重熔及火焰重熔涂层硬度（ＨＶ）提高１００－１５０，耐摩擦磨损性能提高３０％。指出，沉淀强化、细晶强化及晶内位错密度增加是引起涂层强化效应和提高耐磨性的主要因素。