关于真值维护系统TMS的研究

本文系统地论述了几类典型的ＴＭＳ系统，对它们进行分析和比较，量后简要地叙述近年来在该领域中的一些重要研究动向。     

电子政务安全中的三网隔离技术及应用

本文介绍了电子政务中各种业务的安全性要求及相应的安全隔离技术,并结合宁波市电子政务的建设,描述了三网隔离技术的应用。     

浅谈下一代网络（NGN）

计算机网络的发展日新月异。下一代计算机网络（NGN）的探讨、研究已经成为当前的潮流。下一代网络是目前电信、互联网运营商和设备厂商都在讨论的热点技术，国内外许多网络运营商都在探讨，并正在或考虑建设试验网进行更深入的研究。本文介绍了NGN的定义、主要特点、分层结构和关键技术。     

新型后坐加速度开关阵列传感器

分析了国外后坐加速度传感器发展动向。介绍了新型后坐加速度开关阵列传感器的结构、原理、参数选择和性能设计。给出了原理性静态、动态试验结果，以证明新方案的可行性。最后指出了这种新型结构的传感器所具有的特点。     

An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...     

Adaptive fuzzy decentralized control for nonlinear large-scale systems based on high-gain observer

An adaptive fuzzy decentralized backstepping output-feedback control approach is proposed for a class of nonlinear large-scale systems with completely unknown functions,the interconnections mismatched in control inputs,and without the measurements of the states.Fuzzy logic systems are employed to approximate the unknown nonlinear functions,and an adaptive high-gain observer is developed to estimate the unmeasured states.Using the designed high-gain observer,and combining the fuzzy adaptive control theory with backstepping approach,an adaptive fuzzy decentralized backstepping output-feedback control scheme is developed.It is proved that the proposed control approach can guarantee that all the signals of the closed-loop system are semi-globally uniformly ultimately bounded(SUUB),and that the observer errors and the tracking errors converge to a small neighborhood of the origin by appropriate choice of the design parameters.Finally,a simulation example is provided to show the eectiveness of the proposed approach.     

隔离开关二次回路防误闭锁改造与应用

分析泉州电业局220kV老式变电站原隔离开关二次防误闭锁回路存在的隐患,针对改造前存在的安全问题,提出了改造措施。     

智能高压开关柜自动识别系统研究

开关柜误操作造成的事故越来越成为影响电力行业安全生产的主要事故类型之一。鉴于此,文章研究了一套智能高压开关柜自动识别系统。本系统中开关柜侧的装置在柜门被打开时可播放语音提示信息,并将开关柜开门关门等事件通过PT2262编码,再无线发送传输到后台。后台接收后,经F330单片机软件解码,并在触摸屏上记录事件的类型和时间。该系统对防止由于工作人员选错开关柜造成的误操作有一定的效果。     

一种新的纸基微流开关及其活跃方法

提出了一种新的、基于声表面波的纸基微流开关。通过软光刻技术制作内含两个微孔的聚二甲基硅氧烷(PDMS)微架,其上固定经折叠、长度可变的纸通道。PDMS微架贴附于压电基片之上,并在待连接的两微通道之下方,折叠纸通道最低端离压电基片间距为2 mm。压电基片上采用微电子工艺光刻一对叉指换能器和反射栅。当足够强度的电信号加到叉指换能器对时,激发两相向声表面波,使得压电基片上微流体输运到折叠纸通道,改变其长度,连接其上待连通的两纸基微通道,完成开关功能。对可编程微流器件提供了一种新的编程和开关控制方法。     

编程思维训练通用模型研究与实现

程序设计类课程是培养学生逻辑编程能力的基本课程之一,但目前普遍反映出学生对此类课程的学习兴趣不浓,对程序设计与实现的逻辑思维混乱不清,学习效果较差。如何脱离编程语言本身,运用模拟现实生活的思维训练模型来形象地展示编程的原理与逻辑流程,以提高学生对程序设计的逻辑思维能力和学习效果是本文研究的重点。