数字测控系统电磁兼容性设计技术

从模块化的角度,系统、全面地探讨了数字测控系统电磁干扰的来源及机理,并依据所建立的干扰模型和设计不等式,给出了丰富的设计对策。     

“校园卫士”平台的实现及应用

"校园卫士"平台对学生、家长及老师提供个性化的信息服务,使受益方达到最大程度的沟通。本文主要对"校园卫士"平台进行系统介绍,并对其功能及应用方式作出探讨。     

渣处理自动控制故障分析与措施

介绍高炉INBA法渣处理工作原理和转鼓自动控制故障和自动控制故障的方法,以及INBA自动控制改造措施与故障的解决方法。     

"震网"引发网络安全新思考

本文概述了近期发生的"震网"事件.同时分析了"震网"的特点和行为特征.并根据我国的具体情况给出了安全警示和安全防范建议.     

An axiom system for sequence-based specification

This paper establishes an axiomatic foundation and a representation theorem for the rigorous, constructive process, called sequence-based specification, of deriving precise specifications from ordinary (informal) statements of functional requirements. The representation theorem targets a special class of Mealy state machines, and algorithms are presented for converting from the set of sequences that define the specification to the equivalent Mealy machine, and vice versa. Since its inception, sequence-based specification has been effectively used in a variety of real applications, with gains reported in quality and productivity. This paper establishes the mathematical foundation independently of the process itself.     

基于SSH架构的高职院校成绩管理系统的分析和设计

本文介绍了当前基于Struts2、Spring、Hibernate框架的高职院校成绩管理系统的分析和设计。     

Dynamical systems identification using Gaussian process models with incorporated local models

Gaussian process (GP) models form an emerging methodology for modelling nonlinear dynamic systems which tries to overcome certain limitations inherent to traditional methods such as e.g. neural networks (ANN) or local model networks (LMN).The GP model seems promising for three reasons. First, less training parameters are needed to parameterize the model. Second, the variance of the model's output depending on data positioning is obtained. Third, prior knowledge, e.g. in the form of linear local models can be included into the model. In this paper the focus is on GP with incorporated local models as the approach which could replace local models network.Much of the effort up to now has been spent on the development of the methodology of the GP model with included local models, while no application and practical validation has yet been carried out. The aim of this paper is therefore twofold. The first aim is to present the methodology of the GP model identification with emphasis on the inclusion of the prior knowledge in the form of linear local models. The second aim is to demonstrate practically the use of the method on two higher order dynamical systems, one based on simulation and one based on measurement data.     

Loss and gain functions for CBR retrieval

The method described in this article evaluates case similarity in the retrieval stage of case-based reasoning (CBR). It thus plays a key role in deciding which case to select, and therefore, in deciding which solution will be eventually applied. In CBR, there are many retrieval techniques. One feature shared by most is that case retrieval is based on attribute similarity and importance. However, there are other crucial factors that should be considered, such as the possible consequences of a given solution, in other words its potential loss and gain. As their name clearly implies, these concepts are defined as functions measuring loss and gain when a given retrieval case solution is applied. Moreover, these functions help the user to choose the best solution so that when a mistake is made the resulting loss is minimal. In this way, the highest benefit is always obtained.