基于两种开发平台的电力监控系统软件的设计

根据两种编程软件各自具有的特点,设计了由VisuaI C 平台开发的用来操作底层数据的程序模块,由Visual C#.NET平台开发的用于显示前台界面的程序模块,结合SQL Server2000数据库组合成一套变电站自动化监控系统软件.分析了利用两种开发平台设计一个系统软件的具体实现方法.该方案能有针对性的利用两种开发平台的优势,提高了系统软件的稳定性和可靠性,也为监控系统软件的开发提供了一种新的解决方法.     

多媒体网络实时时监控平台的设计与实现

本文通过对多媒体网络通信,网络监控的特点及现存问题的分析,提出了多媒体络实时监控平台的开发模型,并阐述了实现该平台的关键技术。     

基于Kingview的空调远程监控系统的设计与实现

智能控制器与网络技术的发展给监控系统的设计与实现带来了便利,同时也提出了更高的要求.着重介绍了如何在Kingview开发平台下设计和实现空调远程监控系统.实践表明,利用Kingview开发平台可以简单、灵活地构建稳定、经济的远程监控系统.     

移动平台上的电梯远程监控系统的设计与研究

以远程监控系统为背景,利用WinCE开发平台和数据中心转发电梯相关数据,解决电梯系统内外网IP地址连接问题.首先介绍了电梯远程监控的基本原理,然后分别介绍了WinCE平台的手机终端设备的开发和建立在PC机上的数据中心.     

辽宁省自动气象站运行监控平台的开发

辽宁省自动气象站运行监控平台是一个基于SNMP和ICMP协议的综合性网络管理平台。本文详细介绍了该平台的开发思路和整体架构。并结合辽宁自动气象站管理的实例,分析了该平台在实际应用中的实用价值。     

微小型仿生机器人远程监控平台的设计

采用AVR和ARM双核架构实现的微小型仿生机器人远程监控平台,可以使用PC,PDA或者手机等终端通过Internet对微小型仿生机器人进行遥操作和遥监控.该监控平台的开发同时也是对于其他远程监控平台有一定的借鉴意义.     

集成式Web应用开发平台的设计与实现

提出了一种用Java技术开发的集成式Web应用程序开发平台。这个平台是一套自定义的Java类库,基于J2SDK1.4/servlet2.0、JSP1.1设计开发,封装了构建大型Web应用程序所需的常用功能操作,内嵌了Web项目从构架到发布的中间流程。通过该平台,可以快速高效、统一规范地开发各种分布式Web应用项目。最后给出了该平台在设备网络监控服务系统(Web-Moniserver)中的应用实例。     

基于RSView Studio平台开发人机界面

介绍了PanelView Plus1500和RSView Machine Edition,及基于RSView Studio平台开发的烘丝工艺线监控界面的设计方法.     

业务平台主动监控系统设计

为了更好的满足通信行业互联网业务的发展,设计开发了业务平台主动监控系统。从系统设计以及具体开发角度,阐述了业务平台主动监控系统的设计、开发理念,并最终实现了一个功能完善、扩展性强的业务平台监控系统。     

多媒体网络实时监控平台的设计与实现

本文通过对多媒体网络通信、网络监控的特点及现存问题的分析 ,提出了多媒体网络实时监控平台的开发模型 ,并阐述了实现该平台的关键技术     

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.     

国内外标准法规比对分析系统设计与实现

为发现我国国家标准与国外发达国家标准法规的差距,从根本上提高我国国家标准的总体质量,提升我国产品的质量安全水平,以关键指标(因子)为核心,研究国内外标准法规比对的工作流程,利用面向对象的方法设计,实现了国内外标准法规比对分析系统。该系统适用于所有产品国内外标准法规的比对工作。     

Vignette and exposure calibration and compensation

We discuss calibration and removal of "vignetting" (radial falloff) and exposure (gain) variations from sequences of images. Even when the response curve is known, spatially varying ambiguities prevent us from recovering the vignetting, exposure, and scene radiances uniquely. However, the vignetting and exposure variations can nonetheless be removed from the images without resolving these ambiguities or the previously known scale and gamma ambiguities. Applications include panoramic image mosaics, photometry for material reconstruction, image-based rendering, and preprocessing for correlation-based vision algorithms.     

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.     

冰雪运动生物力学及其机器人研究进展

随着我国冰雪运动的蓬勃发展和2022年北京冬季奥运会的成功申办,冰雪运动生物力学和冰雪机器人的研究越来越受关注.首先,介绍冰雪环境下摩擦力学的基本理论,进一步,对比不同变量对摩擦系数的影响;其次,讨论冰雪运动中空气阻力的成因,并分析潜在的减阻机制;再次,介绍研究中常用的测量手段和不同维度的建模方法,阐明各类手段和方法的优缺点;最后,回顾冰雪机器人的研究进展,分析冰雪机器人研究领域的技术挑战,展望冰雪机器人未来的研究思路.     

面向EAI的高可用性松耦合的扩展JCA架构

企业应用集成(EAI)不可避免的要整合各种异构的数据资源,同时还需要集成业务过程,而JCA则是一种较好的基于J2EE的解决方案。针对现有JCA规范还不成熟、难于使用的问题,主要从企业应用集成的角度对该架构作了一定的扩展,以满足EAI过程中的高可用性和松耦合要求。     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.