符号运算在求解车辆传动系扭振中的应用

介绍符号运算方法在用拉普拉斯变换方法求解车辆传动系扭振过程中的作用．针对弹性联轴器的匹配计算，给出了具体求解实例．实践表明，与传统的纯数值计算方法相比，符号运算方法可以方便准确地处理车辆传动系统扭振分析中的非线性等复杂问题，具有推广应用价值．     

The rank one mixed μ problem and ‘kharitonov-type’ analysis

The general mixed μ problem has been shown to be NP hard, so that the exact solution of the general problem is computationally intractable, except for small problems. In this paper we consider not the general problem, but a particular special case of this problem, the rank one mixed μ problem. We show that for this case the mixed μ problem is equivalent to its upper bound (which is convex), and it can in fact be computed easily (and exactly). This special case is shown to be equivalent to the so-called ‘affine parameter variation’ problem (for a polynomial with perturbed coefficients) which has been examined in detail in the literature, and for which several celebrated ‘Kharitonov-type’ results have been proven.     

Investigating the Social Dimensions of Transport Disadvantage II: From Concepts to Methods through an Empirical Case Study

This article is the second of two papers that review the field of spatially sensitive social scientific research into the links between social status and transport disadvantage. The first paper undertook a comprehensive review of the social scientific and transport planning literature to mark the level of development in the field and identify conceptual and methodological issues and constraints in this field of inquiry. The present article supports the advancement of socially and geographically sensitive transport research by opportunities for the development of more sophisticated spatial analytical methodologies. The approach we present is able to account for factors not previously addressed in either social or transport planning research, in particular the temporal dimensions of transport service accessibility. The article articulates the methodology through an empirical case study of socio-spatial transport disadvantage within the Gold Coast City. The article demonstrates that there are important theoretical and practical lessons to be gained for researchers and policy makers in addressing the social dimensions of transport and infrastructure provision. Further, the article argues that an attentiveness to new ways of combining and representing social and transport data-sets can promote policy relevant empirical social inquiry. The article also contributes in a productive way to the empirical knowledge of Australia's sixth-largest metropolitan area, which is often overlooked by urban scholars.     

房屋建筑结构无损检测方法的分析与展望

通过对现有的结构无损检测方法的总结和分析,讨论了各种方法的优缺点.并结合现场测试的要求,展望结构检测技术的发展方向与趋势.     

An evaluation system of the setting up of predictive maintenance programmes

Predictive Maintenance can provide an increase in safety, quality and availability in industrial plants. However, the setting up of a Predictive Maintenance Programme is a strategic decision that until now has lacked analysis of questions related to its setting up, management and control. In this paper, an evaluation system is proposed that carries out the decision making in relation to the feasibility of the setting up. The evaluation system uses a combination of tools belonging to operational research such as: Analytic Hierarchy Process, decision rules and Bayesian tools. This system is a help tool available to the managers of Predictive Maintenance Programmes which can both increase the number of Predictive Maintenance Programmes set up and avoid the failure of these programmes. The Evaluation System has been tested in a petrochemical plant and in a food industry.     

农业重组微生物生物安全研究进展

综述了近年来农业重组微生物的研究现状和进展 ,详细介绍农业重组微生物环境释放的监控方法以及对环境的冲击作用 ,对一些有关生物安全研究的热点问题进行了探讨     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Inference and learning in hybrid probabilistic network

This paper proposed a novel hybrid probabilistic network, which is a good tradeoff between the model complexity and learnability in practice. It relaxes the conditional independence assumptions of Naive Bayes while still permitting efficient inference and learning. Experimental studies on a set of natural domains prove its clear advantages with respect to the generalization ability.     

Probabilistic Strength Estimates and Reliability of Damaged Parallel Wire Cables

Cable reliability analysis involves the combined evaluation of cable capacity and cable load in a probabilistic manner. Assessment of cable capacity is only possible through visual inspections of the wires, field sampling, laboratory analysis of the degraded wire populations, and analytical techniques. In addition to a brief presentation of cable mechanics and deterministic models that approximate cable strength, this paper discusses inspection methodologies and statistical methods of estimation of the sizes of the degraded wire populations, and wire properties, leading to cable capacities. These capacities are described by probability distributions. The paper also discusses fundamentals of reliability analysis as they apply to bridge cables. Load criteria of present standard specifications (such as AASHTO or other international codes) are not applicable to long-span suspension bridges. The paper discusses criteria of bridge loading and reliability indices for bridge cables. More work is needed in the evaluation of loading for long-span bridges.     

民族特色词语的英汉互译

语言在其发展演变过程中,逐步具有了鲜明的民族文化色彩。阐述了民族特色词语的可译性,并提出了具体的翻译方法。