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

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

晋煤集团赵庄煤矿建筑外部空间规划浅谈

通过对晋煤集团赵庄煤矿建筑外部空间规划的实例分析,综合考虑工业、行政、生活区的不同功能,构建园林、人文、旅游式矿山,从文化提炼、总体把握、景观构成等方面解决了煤矿建设中的可持续发展问题,以达到良好的规划效果。     

关于真值维护系统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.     

黄河三角洲河口地区土地利用及生态环境景观分析

通过人机交互解译1996年和2004年TM影像得到2期土地利用数据,求得到土地利用转移矩阵和各种生态环境景观指数。通过分析两期土地利用及景观结构指数之间的差异性,指出由自然和人为原因引起的生态环境的变化:研究区总面积有所减少,盐碱地改良后用于了鱼虾养殖,部分未利用地和水域盐碱化,区域景观类型丰富且均匀,局部破碎严重。     

逻辑与数据库技术概论

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

容纳矛盾逻辑系统与悖论

分析了目前各种容纳矛盾逻辑系统的不足,提出了正域、反域、不动域的概念,进而发现悖论是逻辑思维领域的不动点,建立了一个容纳矛盾的逻辑系统S,并给出了系统S的语义模型,证明了系统S的元定理.在系统S中,命题演算被分成3个独立的域,正域、反域中所有经典逻辑的定理与演算模式都是有效的;不动域是一个包含矛盾的域,在不动域中,可以证明悖论是一个定理.系统S与Da Costa的次协调逻辑系统Cn相比较,它不但可以容纳矛盾,并且可以把矛盾解释清晰.以此逻辑系统为基础,可以建立一个容纳矛盾的数学基础.     

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.