余函数的特性函数—内压能和余体焓

本文指出余体焓也象内压能一样,是一个很有用的余函数的特征函数,导出用余体焓和内压能所表示的全部余函数△X(T,P)和△X(T,v)的微分方程,以及余体焓与内压能之间的关系,这为利用P=P(T, v)或v=v(T,P)型状态方程计算实际气体由T,v或T,P表示的各项热力学性质提供了简捷途径。     

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

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

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

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

氯化芳基汞化合物的合成

芳香族重氮盐与氯化汞基乙醛、氯化铜和丙酮所配成的混合物直接作用,放出氮气生成相应的氯化芳基汞,产率良好.用这种方法合成了12种氯化芳基汞化合物.对这个反应的历程进行了初步探讨,提出了可能的反应机理.     

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

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

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

设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,结果证实了其在航空领域概念语义描述及基于概念关系推理上的有效性。