Detecting global predicates in distributed systems with clocks

Summary. This paper proposes a framework for detecting global state predicates in systems of processes with approximately-synchronized real-time clocks. Timestamps from these clocks are used to define two orderings on events: “definitely occurred before” and “possibly occurred before”. These orderings lead naturally to definitions of 3 distinct detection modalities, i.e., 3 meanings of “predicate held during a computation”, namely: (“ possibly held”), (“ definitely held”), and (“ definitely held in a specific global state”). This paper defines these modalities and gives efficient algorithms for detecting them. The algorithms are based on algorithms of Garg and Waldecker, Alagar and Venkatesan, Cooper and Marzullo, and Fromentin and Raynal. Complexity analysis shows that under reasonable assumptions, these real-time-clock-based detection algorithms are less expensive than detection algorithms based on Lamport's happened-before ordering. Sample applications are given to illustrate the benefits of this approach. Received: January 1999 / Accepted: November 1999     

MODEEP: a motion-based object detection and pose estimation method for airborne FLIR sequences

In this paper, we present a method called MODEEP (Motion-based Object DEtection and Estimation of Pose) to detect independently moving objects (IMOs) in forward-looking infrared (FLIR) image sequences taken from an airborne, moving platform. Ego-motion effects are removed through a robust multi-scale affine image registration process. Thereafter, areas with residual motion indicate potential object activity. These areas are detected, refined and selected using a Bayesian classifier. The resulting regions are clustered into pairs such that each pair represents one object's front and rear end. Using motion and scene knowledge, we estimate object pose and establish a region of interest (ROI) for each pair. Edge elements within each ROI are used to segment the convex cover containing the IMO. We show detailed results on real, complex, cluttered and noisy sequences. Moreover, we outline the integration of our fast and robust system into a comprehensive automatic target recognition (ATR) and action classification system.     

An Analysis of Edge Detection by Using the Jensen-Shannon Divergence

This work constitutes a theoretical study of the edge-detection method by means of the Jensen-Shannon divergence, as proposed by the authors. The overall aim is to establish formally the suitability of the procedure of edge detection in digital images, as a step prior to segmentation. In specific, an analysis is made not only of the properties of the divergence used, but also of the method's sensitivity to the spatial variation, as well as the detection-error risk associated with the operating conditions due to the randomness of the spatial configuration of the pixels. Although the paper deals with the procedure based on the Jensen-Shannon divergence, some problems are also related to other methods based on local detection with a sliding window, and part of the study is focused to noisy and textured images.     

彩色图象中主要人脸特征位置的全自动标定

人脸特征的定位是计算机人脸识别中必需的一步。该文提出了一种在彩色图象中进行人脸部特征定位的新方法。该方法只取彩色图象中的红色成分作为研究对象,以简化处理及提高信噪比;首先利用对原图的垂直灰度投影曲线确定脸的左右边界,并分离出此区域的高低灰度图,以便分图定位脸部特征;接着利用对经边缘检测的高灰度图的水平灰度投影确定下颌,嘴,鼻,眼的垂直位置,然后在相应位置附近,对鼻,眼、嘴依此进行准确定位,算法最后     

弹道导弹的雷达探测系统仿真

该文根据弹道理论建立了雷则弹道导弹的仿真模型,并对雷达跟踪的导弹弹道数据进行了处理,预报了它的落点范围,并与理论落点进行比较,给出了落点精度。仿真结果表明：雷达对导弹的探测数据经过一数据处理,所得到的落点比较精确。     

纳米金-壳聚糖-血红蛋白/普鲁士蓝/金电极检测过氧化氢

在普鲁士蓝修饰的金电极上,通过纳米金/壳聚糖复合膜固定血红蛋白,研制了安培型过氧化氢生物传感器,线性范围和检测限分别为1～5 000 umol/L和0.27umol/L.     

网络安全税务系统的设计和实现

随着税务信息化程度的提高,信息安全成为当今税务信息化的重要课题。要保证信息系统的使用、运行、存储的安全,必须提高信息安全的意识,并解决一些亟待解决的问题。     

浅论计算机病毒及检测方法

本文从病毒的定义、计算机病毒自身特征、病毒分类、病毒发展的特点、计算机病毒的基本机制、计算机病毒的检测方法几个方面来说明计算机系统是脆弱的,计算机病毒的危害是巨大的。因此,为了确保信息的安全与畅通,一定要作好对病毒的检测防范工作。     

基于人工免疫原理的入侵检测模型研究

本文在研究入侵检测技术和免疫学原理的基础上,分析了免疫系统的工作机理,将其和入侵检测系统的工作原理进行了详细比较,并在研究当前各种人工免疫算法的基础上,建立了一个新的基于人工免疫的入侵检测模型框架．实现了当前智能化入侵检测系统所要求的自学习、自适应、分布式和可扩展功能,具有一定的现实意义。     

入侵检测系统发展简述

入侵检测系统是目前信息安全系统中的一个重要组成部分,该文简述了其二十多年的主要发展历程,对其使用的技术以及未来的发展方向进行了简要介绍。