浅析英语语音音变对听力理解的影响

针对英语教学过程中影响听力理解的语音音变问题，章分析了语音音变现象，如音的浊化、音的同化、音的不完全爆破、音的连读等等，并提出了有效可行的解决途径，帮助英语学习更好地掌握语言的交汇功能。     

Chrestenson函数序列的生成方法及其数学分析

本文提出了适于三种序号的Ｃｈｒｅｓｔｅｎｓｏｎ函数序列的复制方法，对其复制过程进行了数学分析，并指出当Ｃｈｒｅｓｔｅｎｓｏｎ函数退化为Ｗａｌｓｈ函数时，此方法即为复制理论中的平移复制方法。     

矿井串联系统模糊可靠性理论的研究

矿井系统不仅具有随机性，而且同时也具有模糊性，在系统分析与设计过程中应同时考虑这两种不确定性因素的影响。文中提出了模糊故障、模糊功能、系统模糊运营状态和广义可靠度等概念，并在此基础上提出了求单元及串联系统的生产能力、营运费用、应急维修费用、修理时间和广义可靠度等指标的方法，建立了使系统平均生产能力最大的系统最优运营策略的数学模型。     

强激光大气传输热晕方程的积分表示

基于菲涅耳 基尔霍夫近似，运用格林函数方法导出了热晕方程的积分表达式，并以连续波(CW)稳态热晕为例进行了数值计算和讨论，结果表明我们所采用的方法是可行的。众所周知的菲涅耳 基尔霍夫衍射积分则是我们所得积分表达的一个特例。     

Homogeneous Lyapunov function for homogeneous continuous vector field

The goal of this article is to provide a construction of a homogeneous Lyapunov function associated with a system of differential equations , under the hypotheses: (1) vanishes at x = 0 and is homogeneous; (2) the zero solution of this system is locally asymptotically stable. Moreover, the Lyapunov function tends to infinity with x, and belongs to , with as large as wanted. As application to the theory of homogeneous systems, we present two well known results of robustness, in a slightly extended form, and with simpler proofs.     

模糊综合评判方法在碳酸盐岩油气勘探中的应用

详细地阐述了模糊综合评判方法的数学原理及其在油气勘探开发中的应用.根据某油田的生产层参数资料,运用MICROSOFT EXCEL软件,在对各参数进行统计研究并了解它们分布规律的基础上,合理地构造出一系列隶属函数,通过编制相应的计算机程序,完成综合评判.评判结果与勘探实际吻合较好.该方法有效地适用于碳酸盐岩油气藏的勘探开发.     

布尔函数的对偶性和线性点

本文主要讨论了部分自对偶和部分反自对偶函数、部分线性函数以及具有线性点的函数的性质。     

Search for the upper bound of Bayesian estimates of the parameter in an exponential failure model with two known quantiles of an a priori distribution function

A fast exact algorithm of searching for the upper bound of Bayesian estimates for the parameter of the exponential distribution under the condition that an a priori distribution belongs to the class of all distribution functions with two equal quantiles. This problem arises in analyzing the sensitivity of Bayesian estimates to the choice of an a priori distribution in an exponential failure model. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 90–102, January–February 2007.     

高扬程泵站综合自动化系统方案和技术要求

针对当前我省泵站改造中在自动化系统的设计方案、功能要求、软硬件方面存在的不足，在总结我省大禹渡二级站泵站自动化系统的基础上，根据高扬程泵站的特点要求，结合国际计算机最新技术和我国工业控制领域已经成熟的自动化系统结构方案，提出了高扬程泵站综合自动化系统的结构方案和技术标准要求，希望促进我省泵站自动化系统改造的规范化和标准化。     

Binary rewriting and call interception for efficient runtime protection against buffer overflows

Buffer overflow vulnerabilities are one of the most commonly and widely exploited security vulnerabilities in programs. Most existing solutions for avoiding buffer overflows are either inadequate, inefficient or incompatible with existing code. In this paper, we present a novel approach for transparent and efficient runtime protection against buffer overflows. The approach is implemented by two tools: Type Information Extractor and Depositor (TIED) and LibsafePlus. TIED is first used on a binary executable or shared library file to extract type information from the debugging information inserted in the file by the compiler and reinsert it in the file as a data structure available at runtime. LibsafePlus is a shared library that is preloaded when the program is run. LibsafePlus intercepts unsafe C library calls such as strcpy and uses the type information made available by TIED at runtime to determine whether it would be ‘safe’ to carry out the operation. With our simple design we are able to protect most applications with a performance overhead of less than 10%. Copyright © 2006 John Wiley & Sons, Ltd.