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

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

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

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

基于生成对抗网络的高端装备研制数据脱敏方法

针对高端装备研制数据的保密性和重要性,提出一种基于生成对抗网络(generative adversarial networks, GAN)的高端装备研制数据脱敏方法。面对高端装备研制数据在数据挖掘和数据共享时可能面临泄露的风险,利用GAN进行数据脱敏。在随机生成的高斯数据集上进行实验,通过比较源数据和脱敏数据的统计特征,证明GAN的数据脱敏方法能够有效实现数据脱敏过程中所要求的数据安全性、数据有效性和成本可控性。最后,在Yeast数据集上进行验证, GAN输出的脱敏数据同样在现实世界数据集上表现出色,能够准确地预测Yeast的分类,为高端装备研制数据的管理和分析提供了一种新的思路。     

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

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