科技论文摘要英译策略研究——以《中国钨业》摘要英译为例

科技论文摘要属典型的信息类语篇,其英译的预期功能是向译文读者传播科研成果。译者应在充分了解汉英两种语言在语用、逻辑和句法差异的基础上,灵活进行相应的变通,使译文做到语言通顺自然、逻辑层次清楚、措辞精确严谨。     

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

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

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

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

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

逻辑与数据库技术概论

本文对二十余年来人们在逻辑与数据库相结合领域所作的工作进行了归纳总结,并把它们区分为三类:理论和完全关系结构方法,纯理论方法以及理论和不完全关系结构方法。本文简要介绍了这三种方法的基本思想和关键技术,并讨论了它们各自的特点和适用范围。     

基于．NET气门尺寸检测系统软件架构设计

光学非接触检测是随着机械制造技术、计算机视觉技术、图像处理技术等发展而出现的新兴检测技术。传统人工手段对气门尺寸的检测往往存在效率低、可靠性差、检测精度不高、成本高、容易出错等弊端,采用光学非接触检测技术不仅可以提高检测的效率、精度和可靠性,同时可以降低成本和出错率。文中在阐述了系统的硬件结构和基本工作原理的基础上,通过分析实际生产需求,结合．NET技术框架,提出了符合实际需求的检测系统总体架构,并开发了汽车发动机气门尺寸自动检测系统,实现了系统各个功能模块并合理地解决了模块之间的联系,通过高精度算法检测出零件参数。该系统已应用于实际生产中,取得不错的效果。     

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.     

PID控制在高炉煤气置换焦炉煤气中的应用

介绍了在八钢高炉煤气置换焦炉煤气项目中,调节阀PID控制的设计与应用。