未来智能视频监控技术发展及应用

评述了智能视频监控系统技术,分析了智能视频监控技术发展面临的问题,指出了未来视频监控系统的发展趋势.重点分析了视频监控系统中的智能视频监控技术,阐述了主要研究内容以及所要解决的问题.通过智能视频分析技术,将被动监控变为主动监控,将操作人员从繁重的监控工作中解脱出来,提高视频监控系统的智能水平.     

基于B/S及TCP/IP的电信机房监控系统

本文通过分析传统的监控系统特征,介绍了一种基于B/S和TCP/IP的电信机房智能监控系统的结构及实现方法,并提出监控系统的未来发展前景。     

计算机视觉在交通监控中的应用

本文介绍了交通监控系统的发展,叙述了一般交通监控系统的组成和功能,实现了计算机视觉在交通监控中的应用如车辆检测、车辆速度检测、统计车辆数目、车辆分类等,并指出了未来交通监控系统的发展方向.     

浅谈高速公路视频监控改造方案

高速公路监控系统的发展,在未来几年将会全部过度到数字系统,大型高速公路视频监控联网将成为现实.高清、智能分析、3G等新技术的应用将逐渐普及.多种系统技术的融合发展,是未来监控系统发展的方向趋势.     

微机监控技术在煤气输配系统中的应用

本文结合煤气输配领域的行业特点，阐述了其计算机监控系统的设计原则，详细介绍了煤气监控调度系统的总体构成和主要功能，并对煤气监控领域的未来发展提出了自己的看法。     

浅谈网络视频监控系统

在当今网络技术、IT技术和视频压缩技术的不断发展的前提下,视频监控系统在交通监控、超级市场、企业园区等的应用也更加广泛.视频监控系统为社会管理做出了十分重要的贡献,它为私人空间,保密地区的安全监护提供了便利.而近几年全国视频监控系统市场总额的持续增长也证明了视频监控系统在未来的良好发展趋势.     

基于人脸识别的智能监控系统的技术分析

相比传统监控系统,基于人脸识别的智能监控系统的智能化程度更高,能够在人脸特征值的提取和人脸识别技术的基础上,实现智能监控模式,是未来监控系统的发展方向,因此本文将从人脸识别智能监控系统的设计方法出发,深入研究智能监控系统的关键技术,以供相关从业人员借鉴学习。     

微机监控技术在煤气输配系统中的应用

本文结合煤气输领域的行业特点，阐述了其计算机监控系统的设计原则，详细介绍了煤气监控调度系统的总体构成和主要功能，并对煤气监控领域的未来发展提出了自己的看法。     

航空机载系统智能测试监控技术

基于对国外航空机载系统监控体系架构技术、机载数据总线技术、测试仪器总线技术、边界扫描技术、嵌入式专用监控芯片与模块技术、智能化监控技术等发展情况的分析,阐述了国内机载系统智能测试监控相关技术发展现状,提出了国内必须从全机级体系架构、成员级监控、板级监控和标准化等方面系统开展工作的建议,希望能够为未来我国航空机载系统智能测试监控技术发展起到一定的指导作用。     

计算机监控高层建筑消防报警系统

本文对计算机监控高层建筑预报警系统的设计原理进行了分析，阐述计算机监控的优越性及对未来的展望。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.