试论词义术语化流程中的转换机制及语义特征

本文从分析科技术语的基本特点入手,深入讨论了术语体系中兼容语词的语义特征及其转换机制。从而为揭示词义术语化流程的基本规律提供了重要的依据。     

边界元法在计算地下水稳定水位和流量中的应用

边界元法是一种新的数值计算方法。该法易于处理无限区域的地下水流问题,并且计算流量也较其他方法准确。本文介绍在二维稳定流的情况下如何计算地下水的水头和流量。承压含水层中的稳定流动,水头H满足拉普拉斯方程。利用格林第二公式,可以得到边界积分方程,即边界元的基本公式。可以用数值方法计算这一边界积分。为此,在边界上选取有限个点,称为节点,两节点间的线段称为单元。本文中选用线性单元和线性插值。引进局部坐标系,可以得到表示H和( H/ n)关系的方程。我们可以选一个节点作为固定的基点,其他节点为动点,对于每一选择都可得到一个方程。依次把每一节点作为基点,可得到N个方程,构成一个线性代数方程组。根据边界条件,每一节点中的H或( H/ n)有一个是已知的,解方程组可求出另一个。解出边界上的全部H和( H/ n)以后,可算出内部的水头和流量。对于非均质问题可划分为几个区域来处理。分界线上要满足相容性方程。对于( H/ n)的不连续点,可用“节点多值法”处理。     

基于 Swin Transformer 和 Style-based Generator 的盲人脸修复

盲人脸修复任务是从低质量的图像（例如模糊、噪声和压缩图像）中恢复高质量的图像.由于事先不知道低质量图像的退化类型和退化参数,因此盲人脸修复是一个高度病态的问题,在修复过程中严重依赖各种先验指导.然而,由于面部成分和面部标志等面部先验通常是从低质量图像中提取或估计的,可能存在不准确的情况,这直接影响最终的修复性能,因此难以有效利用这些先验知识.此外,目前的主流方法基本都是依赖ConvNets进行特征提取,没有很好地考虑长距离特征,导致最终结果缺乏连续一致性.本文提出了一种改进的StyleGAN模型,命名为SwinStyleGAN,应用在高级视觉任务上表现出色的Swin Transformer来提取长距离特征,并通过改进后的类StyleGAN合成网络逐步生成图像.本文设计了一个空间注意力转换模块SAT来重新分配每个阶段特征的像素权重,以进一步约束生成器.大量实验表明,本文提出的方法具有更好的盲人脸修复性能.     

坐标测量机的空间误差检测及误差修正

如何简单、迅速地获取坐标测量机的机构误差,并对其进行软件修正,是近年来国内外学者研究的一个重要课题。本文研究了三坐标测量机的误差修正理论及用三维检具检测测量机误差的方法,提出了空间球检具晶格移位法误差检测原理和多项式拟合的误差函数获得方法,并将其应用于一台中型的坐标测量机的误差修正中,收到了满意的效果。     

关于人造天体运动轨迹确定的一种方法

作者在该文中,从万有引力定律出发,根据有心力的特点,再采用切坐标法很方便地推导出在地球万有引力作用下,人天体运动的轨道必是圆锥曲线,并指出由发射时初始条件能方便地进一步确定其轨迹的形状。     

终周期双峰映射拓扑熵的计算

利用符号动力学的揉理论,讨论双峰映射拓扑熵的计算．对于具有重要意义的终周期揉序列对,给出了决定其拓扑熵的揉行列式的解析表达式．     

CIMS环境中全局信息系统的总体结构与设计

给出了CIMS环境中全局信息系统的总体结构与主要设计方案.在综合考虑现有应用的基础上,提出了具有唯一全局模式的关系型多数据库系统作为全局信息系统的主体.它能与面向对象数据库进行存贮级的信息共享,并具有开放数据库互联(ODBC)接口,可使用户像使用单库系统那样方便地使用多数据库系统.     

泛光照明效果的计算机模拟

从实际灯具的配光曲线及被照面材料的反射特性入手,运用光度学和色度学的计算方法,详细介绍了泛光照明效果的计算机模拟程序的设计思想和分析方法,按照这一思想设计的软件在泛光照明设计中将十分有用。     

异构分布式数据库系统中的数据转换

提出３种实现异构分布式数据库系统中的．ＤＢＦ数据向ＳＱＬ表转换的有代表性的方法：软件工具转换法、客户端转换法、服务器转换法,并分析这３种方法的优缺点．     

捷联寻的制导弹药的新型卡尔曼滤波器设计

针对捷联制导系统的自身特点,设计出用于估计导弹和目标在弹体坐标系中相对运动状态的卡尔曼滤波器,使滤波与制导在同一个坐标系即弹体坐标系内进行,避免了信息在弹体坐标系和惯性坐标系之间的多次转换,从而减少了信息损失.仿真结果表明,该方法能够满足捷联制导系统的要求.