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

基于菲涅耳 基尔霍夫近似，运用格林函数方法导出了热晕方程的积分表达式，并以连续波(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.     

正则模糊神经网络对一类连续模糊值函数的普遍近似性

本文讨论了正则模糊神经网络于对定义于区间［０，Ｔ０］上连续可减模糊值函数的普遍近似性，在此基础上，证明了［０，Ｔ０］上取值为三角形模糊连续递增函数可用正则模糊神经网络逼近到任意精度。     

Distributed architecture for energy management D-structure

Electric power systems are expanding in size and complexity, and the requirement for the energy management system (EMS) is becoming more important. In this computer control system, a single control computer is used mainly as the primary computer and its software is very complicated because of its hugh number of small, quick tasks to obtain high response speed. Therefore, much effort is needed to develop and modify the programs, and the responsiveness of this centralized architecture varies greatly when many faults occur in the power system. This paper describes a new distributed architecture for the EMS. Distributed processors execute the functions cooperatively with periodic access to the common bulletin board database in which information about the power system exist. This architecture facilitates the software development and maintenance, and it also enhances the performance by the parallel processing of the distributed functions.