查询词典 formalising

Air links have been restored, however, and recently Turkish diplomats have hinted at a more dramatic move: formalising ties, over the objections of a vocal Azeri lobby in Turkey, not to mention those of its hawkish generals.

然而，两国的通航已经恢复，并且土耳其的外交官也暗示将会出现一个更激奋人心的举措，那就是两国关系的正式化，而这却超出了阿塞拜疆游说团在土耳其的活动目标，更超出了强硬派将军们的目的。

Nowadays the KMT does not even rule Taiwan, having lost its last two presidential elections to the Democratic Progressive Party, which leans towards formalising the island's de facto independence.

如今的台湾也不是GuoMinDang得天下，因为它已经连续2次在总统大选中输给了民进党，一个想在事实上把该岛正式独立出去的党派。

Recognising that pastoralism frequently needs to cross international borders, and that regional trade needs support, several international institutions are formalising cross-border pastoral mobility.

游牧经常需要穿越国界，区域贸易亟待支持，在意识到这些需要后，一些国际机构正着手将跨境游牧迁徙正规化。

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

This was officially a response to an agreement formalising American use of seven Colombian bases for anti-drug operations, but it also coincided with questions as to how anti-tank rocket-launchers sold by Sweden to the Venezuelan army ended up in a camp belonging to the FARC guerrillas in Colombia.

这算是对于美国因扫毒战争租用哥伦比亚七座军事基地签署正式协议的官方响应，但是瑞典出售给委内瑞拉陆军的反战车火箭发射器最后为何会出现在哥伦比亚境内的FARC游击队营区，亦同样引起质疑。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。