空间刚体区域与拟等距映射

在引入广义局部连通性以及可控曲面等概念的基础上,本文研究了空间一类刚体区域的几何特征,并由此导出了拟球面的一个必要条件.此外对R~n(n≥2)中拟等距映照的扩充及存在性等问题进行了讨论.     

硫酸盐固体电解质探头与对硫酸铜的热力学研究

本研究的目的是为了发展一种在线测定的探测器,测定工业生产中常见的二氧化硫的浓度.首先研究了Ag_2So_4-Li_2So_4体系。在高达10％的二氧化硫浓度下,该体系的电导率仍与浓度无关.电导率与相图的对应关系很好.在氧存在的条件下可用这种电解质测定含量在10％以下的二氧化硫或三氧化硫·用于硫酸铜的分解研究其所得结果与文献中其他方法比较,相差在3％以内.     

正项级数比较判别法的一个推广

对正项级数常用比较判别法进行推广,证明比较判别法具有一般性.     

关于循环节长度计算公式的改进

设p为正整数,p=2α.5β.m,α,β为非负整数,(m,10)=1.若m标准分解式为m=p1t1p2t2…pktk,其中pi为不等于2和5的质数,ti∈Z,令τ(m)=[φ(p1t1),φ(p2t2),…,φ(pktk)],则既约真分数q/p转化为循环小数时,其循环节长度h|τ(m)。     

因文求义论(续)

所谓"因文求义",就是据上下文即具体语境以求义.从训诂的角度看,语境可分为文旨、文义、文理三端,词语训诂只有合乎这三端,才有可能正确.而要使词语训诂合乎这三端即具体语境,莫过于因文求义.因文求义的依据是语境对词语具有制约功能,其作用则不仅在于考求词义,还可用来校勘文字.     

综合控制系统的动态输出反馈控制器设计

为进一步对控制系统进行系统分析与设计,对离散时滞奇异摄动不确定控制系统设计动态输出反馈控制器,使闭环系统渐近稳定.针对时滞依赖和时滞独立两种情形进行讨论,构造一种新的二次求和型李雅普诺夫泛函.利用交叉项界定方法对泛函差分过程进行放大,并综合运用引理消除系统的不确定性,推出动态输出反馈控制器在时滞条件下存在的充分性判据,扩大控制器的摄动控制范围.对所得结论进行推广,通过算例验证该方法的有效性和可行性,并通过对比相应文献,说明所得控制器具有一定的优越性,可使闭环系统渐近稳定.不仅符合设计要求,而且能达到二次调节控制效果.     

三阶非线性中立型阻尼泛函微分方程的振动性

研究一类三阶非线性中立型阻尼泛函微分方程,利用广义Riccati变换和积分平均技巧,建立了该类方程的所有解振动或收敛于零的若干新的充分条件,推广和改进最近文献的结果.     

航空术语语义知识库ATHowNet的构建

语义知识库在自然语言处理的许多领域中起着重要的作用。现有的语义知识库主要面向常识知识,特定领域的语义知识库则很少。文章将知网(HowNet)的理论体系与概念表示方法扩展至航空领域,提出了一个航空领域术语语义知识库——ATHowNet,并介绍了构建过程。该知识库包含3700个概念、3959个概念关系和3864个术语。在航空术语相似度计算及词类比任务上应用与验证了ATHowNet,结果证实了其在航空领域概念语义描述及基于概念关系推理上的有效性。     

英语法律术语翻译策略研究——以刑法罪名为例

法律术语翻译是法律翻译中的难题之一,它不仅仅涉及源语与目的语,还涉及法律文化和具体法律概念的转换。刑法罪名是一种典型的法律术语。为了更准确地翻译这些术语,文章根据相关翻译理论、刑法原则及刑法罪名构成要件提出一些刑法罪名的翻译策略。     

论《海国图志》地理术语译名的民族化

《海国图志》译介了大量西方近代地理学术语,这些术语的译名在音节、构词法和文化蕴含等方面呈现出典型的民族化倾向。就西方地理学术语汉译的命名而言,《海国图志》的译名倾向于沿用传统地理学术语,或以词缀法新造术语。作为近代地理知识的载体,这些民族化的术语有利于西方近代地理学知识在中国社会的接受和普及,也促进了中国传统地理学的近代化转型。