An integrated automatic test data generation system

The Godzilla automatic test data generator is an integrated collection of tools that implements a relatively new test data generation method—constraint-based testing—that is based on mutation analysis. Constraint-based testing integrates mutation analysis with several other testing techniques, including statement coverage, branch coverage, domain perturbation, and symbolic evaluation. Because Godzilla uses a rule-based approach to generate test data, it is easily extendible to allow new testing techniques to be integrated into the current system. This article describes the system that has been built to implement constraint-based testing. Godzilla's design emphasizes orthogonality and modularity, allowing relatively easy extensions. Godzilla's internal structure and algorithms are described with emphasis on internal structures of the system and the engineering problems that were solved during the implementation.Parts of this research were supported by Contract F30602-85-C-0255 through Rome Air Development Center while the author was a graduate student at the Georgia Institute of Technology.     

WXJB—E型多点温度监测报警仪的研制

本文介绍了 WXJB—E 型多点温度监测报警仪的设计思想、基本原理、技术关键、技术指标及其功能。     

Efficient return algorithms for associated plasticity with multiple yield planes

A new return method for implicit integration of linear isotropic yield criteria is presented. The basic idea is to perform all the manipulations in the principal stress space and thereby achieve very simple formulae for calculating the plastic corrector stresses, based on the constant gradient of such criteria. The return formulae are in closed form and no iteration is required. The method accounts for three types of stress return: return to a single yield plane, to a discontinuity line at the intersection of two yield planes and to a discontinuity point at the intersection between three or more yield planes. The infinitesimal and the consistent elastoplastic constitutive matrix are calculated for each type of stress return, as are the conditions to ascertain which type of return is required. The method is exemplified with the Mohr–Coulomb yield criterion. Copyright © 2005 John Wiley & Sons, Ltd.     

河南电力远程教育网系统安全方案开发应用

河南省电力公司远程教育平台,作为一个省内电力系统职工的再教育、技术培训、技能培训中心,访问量大,安全要求高,我们在软件设计时充分考虑到系统的安全性。     

在役油气管道安全评定软件

PSAforWindows是运行在Windows系统下的油气管道安全评定软件。该软件既可以用于在开挖中发现的管道局部缺陷的剩余强度的精确评定 ,又可以用于腐蚀检测之后对管道全线的安全评定与剩余寿命预测。软件中采用了非线性有限元分析、失效评定图和概率性的评定方法等最新成果。介绍该软件的结构、模块、软件特点、主要功能和操作界面     

紫金山金矿低品位资源开发的地质技术研究

介绍了紫金山金矿床赋存的基本特征；重点阐述了生产探矿增加储量．扩大矿床规模，建立低品位矿开发蛭济模型和责源评价软件系统研制等系列地质技术研究与创新成果：强调了加大经济与科技投入．对矿山的发展有重大意义。     

Protecting against key-exposure: strongly key-insulated encryption with optimal threshold

Key-insulated encryption schemes use a combination of key splitting and key evolution to protect against key exposure. Existing schemes, however scale poorly, having cost proportional to the number t of time periods that may be compromised by the adversary, and thus are practical only for small values of t. Yet in practice t might be large. This paper presents a strongly key-insulated encryption scheme with optimal threshold. In our scheme, t need not be known in advance and can be as large as one less than the total number of periods, yet the cost of the scheme is not impacted. This brings key-insulated encryption closer to practice. Our scheme is based on the Boneh-Franklin identity-based encryption (IBE) scheme [9], and exploits algebraic properties of the latter. Another contribution of this paper is to show that (not strongly) key-insulated encryption with optimal threshold and allowing random-access key updates (which our scheme and all others known allow) is equivalent to a restricted form of IBE. This means that the connection between key-insulated encryption and IBE is not accidental. Supported in part by NSF grants CCR-0098123, ANR-0129617 and CCR-0208842, and by an IBM Faculty Partnership Development Award. Supported in part by an NSF graduate fellowship.     

An efficient return algorithm for non-associated plasticity with linear yield criteria in principal stress space

An efficient return algorithm for stress update in numerical plasticity computations is presented. The yield criterion must be linear in principal stress space and can be composed of any number of yield planes. Each of these yield planes may have an associated or non-associated flow rule. The stress return and the formation of the constitutive matrix is carried out in principal stress space. Here the manipulations simplify and rely on geometrical arguments. The singularities arising at the intersection of yield planes are dealt with in a straightforward way also based on geometrical considerations. The method is exemplified on non-associated Mohr–Coulomb plasticity throughout the paper.     

软件:有效数字化广告牌背后的"大脑"

日益精密且成本逐渐下降的的显示技术使人们对下一代户内、户外广告的"数字化"充满了期待。然而运行显示网络必不可少的"大脑"是不容忽略的。下面综述了成功的数字广告系统的软件需求,以及这些系统的工作方式。     

C/C + +源代码风格检测工具的实现

文中给出了评价C／C 源代码风格的规则分类和检查工具的总体结构，阐述了代码检查工具的核心技术——扩展词法分析和扩展语法分析，给出了代码检测工具的应用实例。