变电站智能安防辅助控制系统的开发与应用

介绍变电站智能辅助控制系统,采用双操作系统开发环境(应用UNIX操作系统实现IEC61850规约的数据传送,而人机界面部分采用Windows操作系统),利用SCADA组态平台和视频监控软件,实现了变电站内各相关辅助系统之间的高度集成。     

温室控制专家系统开发平台的设计与实现

本文研制了一个面向领域专家(温室工人)的温室控制专家系统开发平台。其知识编辑器采用图形组态的形式．使不具备专家系统编程方面专门知识的用户也能容易地输入知识经验。平台的知识编辑器与推理机把模糊控制与专家控制理论相结合，提高了系统智能化程度。实例证明了用该平台开发温室控制专家系统的可行性与优点。     

露天煤矿智能化调度系统的研究与设计

针对露天煤矿监控系统的特点,提出了以GPS、GPRS无线通信技术为数据传输平台,利用现代通信设备组建智能化调度系统的方案。智能化调度系统主要由智能化视频监控系统、车辆智能统计系统、基于GPS的车辆及人员定位系统和矿区无线网络系统组成。整个系统能够准确实现现场数据采集和数据管理,从而实现露天煤矿调度系统的远程遥控。     

网络视频监控系统中的目录服务设计

文章设计了一种基于C++类的网络视频监控系统的目录服务,系统采用类似于DNS的目录服务,将所有逻辑节点、物理节点都统一编码,集中存储到本地数据库中,实现了网络视频终端、客户监控端、管理平台、视频数据文件等信息的管理和访问。通过实际应用证明了该目录服务能较好的满足网络视频监控的需要。     

CTK: configurable object abstractions for multiprocessors

The Configuration Toolkit (CTK) is a library for constructing configurable object based abstractions that are part of multiprocessor programs or operating systems. The library is unique in its exploration of runtime configuration for attaining performance improvements: 1) its programming model facilitates the expression and implementation of program configuration; and 2) its efficient runtime support enables performance improvements by the configuration of program components during their execution. Program configuration is attained without compromising the encapsulation or the reuse of software abstractions. CTK programs are configured using attributes associated with object classes, object instances, state variables, operations, and object invocations. At runtime, such attributes are interpreted by policy classes, which may be varied separately from the abstractions with which they are associated. Using policies and attributes, an object's runtime behavior may be varied by: 1) changing its performance or reliability while preserving the implementation of its functional behavior, or 2) changing the implementation of its internal computational strategy. CTK's multiprocessor implementation is layered on a Cthreads-compatible programming library, which results in its portability to a wide variety of uni- and multiprocessor machines, including a Kendall Square KSR-2 Supercomputer, SGI machines, various SUN workstations, and as a native kernel on the GP1000 BBN Butterfly multiprocessor. The platforms evaluated in the paper are the KSR and SGI machines     

视频结构挖掘的概念和框架

视频信息处理的关键是视频信息的结构化，视频除了有基本层次结构之外，还有隐藏其中的视频结构语法和结构语义。该文提出了一种视频结构挖掘的概念框架和视频结构挖掘的系统框架，在概念框架中对视频结构挖掘相关概念给出了明确定义和界定；视频结构挖掘框架主要包括：视频基本层次结构挖掘，视频结构语法挖掘和视频结构语义挖掘。讨论了视频结构模式和知识的具体应用，包括指导视频的组织与管理、实现基于内容的个性视频推荐和改善视频摘要系统。     

基于OpenCV的通用人脸检测模块设计

人脸检测是智能视频监控系统中的重要组成部分,OpenCV实现的Adaboost人脸检测算法达到了实时检测人脸的处理速度.但在实际应用中,由于平台移植等障碍,现有系统升级兼容此模块困难.本文提出了一种支持多编程语言平台的通用人脸检测模块,详细阐述了.NET平台调用技术和改进的JNI方法调用OpenCV人脸检测模块的具体步...     

基于ARM的数字图像采集与传输系统设计

针对安全防御系统、视频监测系统以及机器人视觉的应用广泛性,设计出了一个基于32位处理器ARM（S3C2410）和嵌入式Linux操作系统的数字图像采集系统,并通过无线通讯模块将采集到的图像传输到PC机上,然后再进行Windows编程完成图形界面的开发。最后系统测试表明：该系统不仅成本低、功耗低,而且还能够将接收到的视频图像在Windows上进行流畅的播放,同时还可以完成视频图像的截取、存储以及录像等功能。     

基于图形化热工水力测控程序的解释性加载设计

在热工水力测控系统中,常采用图形化编程的方式构建编程控件之间逻辑关系,形成所需的系统功能。程序的部署和运行时,若采用程序实时编译的模式,会带来编译时间长、编译环境复杂等问题。为了提高测控程序的开发效率,采用控件组件化的思想,进行图形化程序逻辑关系的分解与重构机制设计;提出程序模板+轻量级配置交件的模式,利用程序模板对配置交件进行解释性加载。在热工水力测控系统的测试验证中,利用基于解释性加载机制的图形化编程平台完成了其中测控软件的开发及运行,功能及数据结果准确无误。该解释性加载机制真实、有效,可实现图形化热工水力测控程序的快速部署与加载运行。     

Knowledge-based programs

Summary.  Reasoning about activities in a distributed computer system at the level of the knowledge of individuals and groups allows us to abstract away from many concrete details of the system we are considering. In this paper, we make use of two notions introduced in our recent book to facilitate designing and reasoning about systems in terms of knowledge. The first notion is that of a knowledge-based program. A knowledge-based program is a syntactic object: a program with tests for knowledge. The second notion is that of a context, which captures the setting in which a program is to be executed. In a given context, a standard program (one without tests for knowledge) is represented by (i.e., corresponds in a precise sense to) a unique system. A knowledge-based program, on the other hand, may be represented by no system, one system, or many systems. In this paper, we provide a sufficient condition for a knowledge-based program to be represented in a unique way in a given context. This condition applies to many cases of interest, and covers many of the knowledge-based programs considered in the literature. We also completely characterize the complexity of determining whether a given knowledge-based program has a unique representation, or any representation at all, in a given finite-state context. Received: October 1995 / Accepted: February 1997     

Integration strategy for distributed intelligent systems

In this article, we describe a new framework for designing real-time intelligent control systems. An integrated intelligent system is a large knowledge integration environment that consists of both symbolic reasoning systems (expert systems) and numerical computation packages. These modular software programs are controlled by a meta-system which manages the selection, operation, and communication of these programs. This new architecture can serve as a universal configuration to develop high-performance intelligent systems for many complicated application domains in the real-time manufacturing process. As an example, an intelligent optimal control is utilized to illustrate the integrated intelligent control system.     

浙江水利视频监控云平台研究

针对浙江省水利视频监控标准不一、相互隔离、共享困难等不足,开展浙江省水利视频监控云平台研究,结合浙江省政府政务云进行平台部署,通过终端直连、平台级联等方式,实现跨运营商水利视频监控的统一接入,开发可供第三方使用的视频服务。平台将视频监控与水利资源进行整合,提高水利视频的使用效率和决策支持水平,为相关行业视频资源整合提供参考。     

无线传感器网络中视频传输系统的研究

介绍了一种基于S3C2440硬件平台和嵌八式Linux操作系统的远程视频传输系统的总体设计方案,阐述了系统的总体结构和各部分的实现并给出关键功能的软件买现方法。在系统中的视频处理采用MPEG-4压缩算法。该系统实现了802．11无线局域网的视频传输,与传统的视频监控系统比较,该方案具有体积小、成本低、稳定可靠等优点。     

基于物联网的机房环境综合监控系统设计与实现

机房环境动力、视频监控和门禁系统相互独立,没有融合统一的监控平台,存在信息无法共享等问题.针对地点分散的多个信息机房监控系统的设计,采用嵌入式数据采集主机、网络摄像机、网络门禁主机构成信息传感层,以有线和无线网络作为信息传输层,最后以机房环境综合监控平台和各种管理终端构建核心业务层,建立基于物联网的分布式联网机房环境综合监控系统.该系统融合了机房环境动力监控、视频监控、门禁管理,实现了互通互联,数据交换和信息共享.在这种物联网中,管理人员可以随时随地与机房设备进行信息交互,监控和管理整个机房环境,实现了多机房集中监控、分布管理的模式,提升了机房智能化管理水平.     

Maintaining distributed logic programs incrementally

Distributed logic programming languages, which allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declaratively program a wide-range of distributed systems, such as network protocols and multi-agent systems. However, the distributed nature of the underlying systems poses serious challenges to developing efficient and correct algorithms for evaluating these programs. This paper proposes an efficient asynchronous algorithm to compute incrementally the changes to the states in response to insertions and deletions of base facts. Our algorithm is formally proven to be correct in the presence of message reordering in the system. To our knowledge, this is the first formal proof of correctness for such an algorithm.     

On the extraction of 3D models from airborne video sensors for geolocation

Geolocation of a feature in a video sequence collected from a moving platform is an activity that must be undertaken in video exploitation, especially surveillance and reconnaissance applications. Examples of sensor systems that are the focus of this work include manned and unmanned aerial vehicles. The approach described here uses positional information from three sources to compute refined coordinates in three dimensions for any feature in the video sequence. These three sources are: first, sensor-platform metadata describing the likely sensor footprint based on sensor-platform positional and attitudinal information; second, 3D information of a scene inherent in a video sequence collected from a moving platform; and third, reference imagery of the region of interest that is geolocated and georectified such as aerial photography. We describe the overall steps involved in this process and the progress made to date.     

视频结构挖掘的概念及应用*

提出了一种视频结构挖掘的概念框架和视频结构挖掘系统框架,在概念框架中对视频结构挖掘相关概念给出了规范化的定义,视频结构挖掘框架包括的主要内容有视频基本结构挖掘、视频语法结构挖掘和视频语义结构挖掘。最后讨论了视频结构挖掘中发现的结构模式和知识的具体应用,包括指导视频的组织与管理、实现基于内容的个性视频推荐和改善视频摘要系统。     

基于PMAC的超声速风洞控制系统软件开发设计

目前设计的超声速风洞控制系统软件采集精准度低,软件程序安全性差;基于PMAC开发设计了一种新的超声速风洞控制系统软件,通过Windows XP平台中的语言编辑器开发与调试程序,选择PMAC运动控制卡操作控制程序,利用XP系统进行程序协调,完成程序内的上位机与通信模型的数据编写,在64种功能函数下计算和提取程序代码,根据3个独立的风动参数进行PID计算,应用集成软件统一配置计算机中的软件资源,确保在程序的控制下其他软件程序可以自行执行相应的工作,以Fame View组态软件作为此程序的运行基础,采用C++语言编写,开发监控程序;实验结果表明,基于PMAC的超声速风洞控制系统软件采集精准度得到了提高,监测范围较大,且监测波动较稳定,有效保证了软件程序的安全性。     

基于DSP与CPLD的图像压缩编码系统设计

提供了一套利用TMS320VC54x和CPLD实现图像采集与压缩编码系统的通用设计方法。阐述了压缩编码系统的设计和其中的关键技术问题，并结合图像编码算法和DSP流水线的特点进行程序优化。设计结果表明：在系统功能和结构方面，完全满足低速率数字视频通信系统的要求；在实现和应用方面，由于所选用的都是通用器件，成本低廉．对于数字视频监控领域有很高的实用价值．     

Video placement and configuration of distributed video servers on cable TV networks

A large-scale, distributed video-on-demand (VOD) system allows geographically dispersed residential and business users to access video services, such as movies and other multimedia programs or documents on demand from video servers on a high-speed network. In this paper, we first demonstrate through analysis and simulation the need for a hierarchical architecture for the VOD distribution network.We then assume a hierarchical architecture, which fits the existing tree topology used in today's cable TV (CATV) hybrid fiber/coaxial (HFC) distribution networks. We develop a model for the video program placement, configuration, and performance evaluation of such systems. Our approach takes into account the user behavior, the fact that the user requests are transmitted over a shared channel before reaching the video server containing the requested program, the fact that the input/output (I/O) capacity of the video servers is the costlier resource, and finally the communication cost. In addition, our model employs batching of user requests at the video servers. We study the effect of batching on the performance of the video servers and on the quality of service (QoS) delivered to the user, and we contribute dynamic batching policies which improve server utilization, user QoS, and lower the servers' cost. The evaluation is based on an extensive analytical and simulation study.