ID 原文 译文
57968 基于 2.55 GHz 市区微蜂窝多输入多输出信道实测数据，将机器学习中的最小二乘支持向量机( LS-SVM) 算法应用于时变信道参数的建模中，建立了基于遗传算法 ( GA) 优化的 LS-SVM 信道参数预测模型，对信道参数如时延扩展、接收端的水平角度扩展和垂直角度扩展的数据特征进行了学习，并实现了准确预测;同时通过与反向传播神经网络模型以及传统的 LS-SVM 模型进行比较，验证了算法的有效性.基于 GA 优化的 LS-SVM 模型能够在有限数据量下对信道参数的变化有着良好的适应性，可实现非线性时变信道参数的准确预测. Based on 2. 55 GHz urban microcellular multiple-input multiple-output ( MIMO) channelmeasurement data，the least squares support vector machine ( LS-SVM) method was applied on time-varying channel model. Specifically，a genetic algorithm ( GA) based LS-SVM ( GA + LS-SVM) model wasestablished for channel parameter prediction. Based on GA + LS-SVM model，the time-varying channelparameters，such as delay spread，horizontal angle spread and vertical angle spread of receiver，were investigated and predicted accurately. Moreover，the GA + LS-SVM model was compared with back propagation neural network and traditional LS-SVM algorithms to verify the effectiveness of the algorithm. Insummary，with limited amount of data the GA based LS-SVM model can better adapt to non-linear timevarying channel to realize the accurate prediction of nonlinear time-varying channel parameters.
57969 针对在山区地形上非测距三维基于距离向量的定位算法存在定位误差较大的问题，提出了山区复杂地形的无线传感器网络节点定位算法( NLA-MT) . Aiming at the problem that the non-ranging three-dimensional distance vector based localization algorithm has a large positioning error in mountainous terrain，a wireless sensor network node localization algorithm ( NLA-MT) is proposed.
57970 该算法有效地利用了山区地形环境的特点，用局部平面拟合山区地形表面，并将三维空间定位运算降为二维平面的定位运算来进行节点定位，有效提高了节点的定位精度. The algorithm effectively utilizes the characteristics of themountainous terrain environment and uses the local plane to fit the surface of the mountainous terrain. The three-dimensional spatial positioning operation is reduced to a two-dimensional plane positioning operation to perform node positioning，which effectively improves the positioning accuracy of the node.
57971 不同通信半径、不同锚节点比例、不同节点总数的多角度仿真实验结果显示，NLA-MT 定位算法在山区地形场景中表现良好，有效提高了无线传感器网络非测距定位算法精度. Themulti-angle simulation experiments with different communication radius，different anchor node ratios anddifferent total nodes show that the NLA-MT localization algorithm performs well in mountainous terrainscenes. The accuracy of the non-ranging positioning algorithm of the wireless sensor network is effectivelyimproved.
57972 基于计算机证明辅助工具 Coq，提出一种选择公理与 Tukey 引理等价性的形式化证明. On the basis of the computer proof assistant Coq，a formal proof of the equivalence betweenthe axiom of choice and Tukey’s lemma is presented.
57973 在公理化集合论形式化系统基础上，给出选择公理与 Tukey 引理的形式化描述，这是 Tukey 引理的首次形式化. The formal description of axiom of choice andTukey lemma was given based on the“axiomatic set theory”formal system，which was the first formalization of Tukey’s lemma.
57974 完成了选择公理与Tukey 引理等价性的证明代码，并在 Coq 中通过验证. A complete proof code of the equivalence between the axiom of choice andTukey’s lemma was completed. All the proofs were formally checked in Coq.
57975 体现了基于 Coq 的数学定理机器证明具有可读性和交互性的特点，其证明过程规范、严谨、可靠，在集合论、拓扑学和代数学的形式化构建中具有重要应用. The formal proof demonstrated that the Coq-based mechanized proof of mathematics theorem had the characteristics of readabilityand interactivity. The proof process was standardized，rigorous and reliable. This formal work has important applications in many fields of formal mathematics，especially in set theory，topology and algebra.
57976 针对建筑信息模型( BIM) 模型版权保护的问题，基于 BIM 的数据特征提出了一种 BIM 模型的零水印算法. Aiming at the building information modeling ( BIM) model copyright problem，basing on theBIM data characteristics，designs a zero watermarking algorithm for BIM data，which will not change dataprecision.
57977 首先，将不同数据中约束性不强的点图元排除，获得其他点图元的位置信息，计算单体模型的特征点到各个点图元的基准点之间的距离作为水印构造的载体; Because different modeling has its own primitives and constraint relation，the proposed algorithm must be taking full account of the difference. Firstly，the lowly constraints of the primitive pointsare removing and the other primitive location points are obtaining.