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.