查询词典 validating

It was the double check validating that a Woodall prime was found on 4 Aug 2007, 19:36:57 UTC.

这是一个复查，确认在2007年8月4日发现的候选目标 2013992*2^2013992-1 的确是一个质数。

It was the double check validating that a Woodall prime was found on 13 Aug 2007, 1:42:08 UTC.

在2007年8月20日，PrimeGrid的服务器接收到了一个 Woodall 质数搜索的可能发现报告。

Construction yeast and plant expression vector with original gene and mutated gene, transferred into tobacco plant by electroporation and Agrobacterium mediated transformation respectively, validating genic function. Under the glyphosate pressure, the transgenic yeast strains with good tolerance are screened. The mark named ATME-4-M and ATME-9 prives the attained genes have biological function.

成功地将epsps基因构建到酵母胞内表达载体pPIC3.5K和植物表达载体PBI121上，利用电击法转化酵母及农杆菌介导法转化烟草，转基因酵母在草甘膦压力下筛选出耐受性较好的菌株，标记为ATME-4-M和ATME-9证明了所获基因具有生物学功能。

Validating the range-synthesis model of time memory, in the research on retrospective time memory, in experiment 1, we selected 14 recognizable news events from 1995 to 2000,in experiment 2, fifteen film episodes and eight news segments were broadcasted aperiodically to examine the retrospective time memory;results showed that, the range-synthesis model of time had predictive validity to retrospective time memory.

对时间记忆的分段综合模型的验证，在回溯式时间记忆的研究中，实验1选取1995年到2001年之间发生可辨别的新闻事件14项，实验2在2个月的时间内不定期地给被试播放15个影视片断和8个新闻事件，要求被试进行回溯式时间回忆；结果发现，时间记忆的分段综合模型对回溯式时间记忆具有预测效度。

After that, a numerical model about Zhejiang shore tide is established by mike21 program. After validating the good agreement between simulated results and observed ones, the planar hydrodynamic flow of this ocean area is analysed in detail. Then co-tidal and co-range chart of each main tide is drew based on the computational result. It can be found that each co-tidal and co-range chart that is based on the simulated result is suitable to the co-tidal and co-range chart that is deduced from autoptical data, besides, the modle co-tidal and co-range chart can perfect the co-tidal and co-range chart from autoptical data where autoptical data is too hard to get .

在这之后，使用MIKE21水动力模块建立起浙江近海海域潮波模型，在模型潮位、潮流流速流向验证均合理的基础上，分析了计算得到的二维水动力流场，最后将模拟结果绘制出浙江近海M2、S2、N2、K1、O1主要分潮的同潮时图，并将其与实测同潮时图比较，发现各分潮等振幅线及同潮时线相同或相近值的等值线位置及走势基本一致，而且模拟得到的同潮时图对实测资料覆盖不到的海区做了适当补充。

Trusted third party called confirmer is introduced who should finish validating or denying a signature.

同时方案引入了一个半可信任的第三方，完成证实或否认一个签名的功摘要能。

An Advanced Cryptographically Generated Addresses method is proposed.It uses two sets of cryptographically keys to produce IPv6 address.One set cryptographically key is public key and private key of ISP.And the private key is used in assigning ACGA address,the public key is used in validating whether the address come from the ISP that it claimed.

提出一种改进的密码生成地址方法，ACGA涉及到两组公钥和私钥对，一组是ISP的公钥和私钥对，其中私钥在分配ACGA地址中使用，公钥在验证该地址是否存在或是否来自声称的ISP中使用。

This thesis investigates the profile extraction and shape optimization on the result of topology optimization of planar compliant mechanisms. The main context includes the following work:(1) summarizing and analyzing the recent research status, some harvest and unsolved problems;(2) analyzing the conceptual design of planar path-generating compliant mechanisms and its mathematical model and tools;(3) Modifying the method of density contour as the method of profile extraction, and developing a method to optimize the density function in the profile extraction according to the requirement of the design of compliant mechanism;(4) developing a method to abstract the compliant mechanism into a form of links and joints by using the principle of connectivity on topology;(5) developing a method of shape optimization of planar path-generating compliant mechanisms, by representing the profile of the abstracted compliant mechanism as simple curves such as straight lines and arcs, establishing the models of the size optimization of the parameters of these curves, so that the compliant mechanism has a machinable shape;(6) At last, proving the feasibleness and effectiveness of the design method by making simulation design and validating it in FEA software.

主要工作包括：(1)分析了柔顺机构拓扑优化和形状优化的研究现状，分析了目前柔顺机构的研究重点、主要成果和尚未解决的问题；(2)分析了基于SIMP的柔顺机构概念设计方法及其相关工具和模型；(3)针对柔顺机构轮廓提取的特殊要求，提出了密度等值线法的改进方案，对密度函数插值点密度值进行优化，提出优化模型和选择优化算法；(4)根据轨迹输出平面全柔顺机构自身的形状特点，提出了轨迹输出平面全柔顺机构的抽象方法，即应用拓扑学上的连通性原理将柔顺机构抽象成杆件和结点形式，并对相应的数学原理进行了证明；(5)提出了平面全柔顺机构的形状还原和尺寸优化方法，对抽象的柔顺机构进行还原，将其轮廓还原成简单曲线的连接，从而建立尺寸优化模型，对机构进行尺寸优化设计，在得到可加工的机构轮廓的同时又能对关键部位进行特别处理；(6)进行了柔顺机构的数值仿真设计，并将所得设计结果导入商用有限元软件中进行仿真实验，证明了设计方法的可行性和有效性。

Validating vibration control experiment of the imitational foldaway solar array with ACLD treatments is done.

5开展了基于主动约束阻尼技术的太阳能电池翼振动控制的验证性实验研究。

It is very important to carry out critical experiment on spent fuel for selecting calculation code packages and validating calculation methods using burnup credit technology.

开展乏燃料的临界实验非常重要，在建造乏燃料临界实验装置之前需要对其进行大量的详细的临界计算。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。