USING FORMAL 中文是什么意思 - 中文翻译

• 采用正式
• 使用正式
• 使用形式
• 利用正式

在 英语 中使用 Using formal 的示例及其翻译为 中文

Many of the design flaws were discovered using formal verification.
许多设计缺陷是使用形式验证发现的。

Using formal legal terms in an inappropriate way when discussing Wikipedia policy;
使用正式的法律条款，却是不恰当的方式，来讨论维基百科政策时。

It's a bit counterintuitive, but using formal language may undermine the sincerity of the apology;
这有点违反直觉，但使用形式语言可能会破坏道歉的诚意;

Using formal law to break down barriers to the mainstream is necessary but not sufficient.
利用正规法律打破融入主流的障碍是必要的，但还不够。

If the task requires informal writing, such as a letter to a friend, avoid using formal'heavy' words.
如果写作考试任务中需要用到非正式用语，例如给朋友写的一封信，那么就要避免使用正式用语。

In making these assessments about using formal techniques for producing change, we are not rejecting the use of such methods.
在进行关于使用正式技术来产生变化的评估时，我们并不是拒绝使用这种方法。

UNICEF, UNIDO, the World Bank and UNFPA assessed their training programmes using formal training evaluations.
儿童基金会、工发组织、世界银行和人口基金利用正式的培训评价来评估其培训方案。

But when you define“line” using formal logic, it turns out“between-ness” also needs to be defined- something Euclid overlooked.
但是，当你使用形式逻辑来定义“直线”时，“之间”这个概念也需要加以界定，而欧几里得恰恰忽视了这一点。

On the other side are the advocates of AI methods based on the construction and manipulation of symbols(e.g., using formal logic).
领一部分批评者倡导基于符号的构造和操纵（例如，使用形式逻辑）的AI方法。

But using formal mathematical methods, we should be able to automatically guarantee there will be far fewer surprises of that kind,' he says.
但使用正式的数学方法，我们应该能够自动地保证，这类惊喜会少得多，”他表示。

(a) The Registrar may determine for a particular procurement action that using formal methods of solicitation is not in the best interest of the Court:.
(a)对于某一具体采购行动，书记官长可在以下情况中认定，采用正式邀约方法不符合法院最高利益：.

(d) Using formal agreements to reinforce informal personal contacts and formalise concepts and principles for conducting joint investigations;
运用正式协议，加强非正式个人间交往，并正式规定进行联合调查的概念和原则正规化；.

Now rule 115.5.a. The CPO may determine for a particular procurement action that using formal methods of solicitation is not in the best interest of UNFPA:.
对于某一具体采购行动，首席采购干事在下列情况下可认定采用正式邀约方法不符合人口基金的最佳利益：.

Using formal verification, it is possible to perform an automated mathematical proof that your source code fulfills a certain formal specification.
使用形式化验证可以执行自动化的数学证明，保证源代码符合特定的正式规范。

This is the biggest benefit of representing programs strictly using formal primitives- code adheres to mathematical laws and can be reasoned about mathematically.
这是严格用形式原语描述程序的巨大优势--代码固守着数学定律并可以数学的方式进行推理。

Using formal, well-constructed metrics and patterns, we can turn the opinions of experts into a trustworthy assessment of the benefits of BI for the organization.
使用正规的，结构完善的度量标准和模式，我们可以为企业把专业人士的观点转化成值得信赖的商业智能（BI）的效益评估。

(a) The USG/M may determine for a particular procurement action that using formal methods of solicitation is not in the best interest of the United Nations:.
(a)对于某一采购行动，主管管理事务副秘书长可在以下情况认定，采用正式邀约方法不符合联合国最高利益：.

Guidelines often suggest using formal evaluation processes when issues are associated with medium-to- high-impact risks or when issues affect the ability to achieve work objectives.
指南通常建议针对涉及中高影响度风险的问题，或影响项目目标达成能力的问题，采用正式评价过程。

The Chief Procurement Officer may determine for a particular procurement action that using formal methods of solicitation is not in the best interest of UN-Women:.
对于某一具体采购行动,首席采购干事在下列情况下可认定采用正式邀约方法不符合妇女署的最佳利益：.

Even after 1971, the movement in Switzerland has“largely followed the rules” according to Zinggeler, using formal petitions and processes to achieve its goals.
据钦格勒透露，即使在1971年后，瑞士的运动依然“基本上遵纪守法”，使用正式的请愿与程序来实现自己的目标。

The Chief Procurement Officer may determine for a particular procurement action that using formal methods of solicitation is not in the best interest of UNDP when:.
对于某一具体采购行动，首席采购干事可在以下情况中认定，采用正式邀约方法不符合开发署的最高利益：.

Exceptions to the use of formal methods of solicitation(a) The Registrar may, with the approval of the President, determine for a particular procurement action that using formal methods of solicitation is not in the best interest of the Tribunal:.
(a)对于下列采购行动，书记官长可在获得庭长核准的情况下认定，采用正式邀约方法并非最符合法庭的利益：.

These vulnerabilities could be mitigated by adopting secure coding mechanisms and using formal expressions to verify codes and functions in the software development phase.
这些漏洞可以通过采用安全编码机制并使用正式表达式来验证软件开发阶段的代码和功能来缓解。

(a) The Registrar may, with the approval of the President, determine for a particular procurement action that using formal methods of solicitation is not in the best interest of the Tribunal:.
(a)对于下列采购行动，书记官长可在获得庭长核准的情况下认定，采用正式邀约方法不符合法庭最高利益：.

(a) Decide on the subject areas and possible texts in which legislative development should be undertaken using formal working methods during the period to the next Commission session, in 2015;
(a)决定目前到委员会2015年下届会议这段时间应当使用正式工作方法开展立法工作的主题领域和可能的案文；.

Several speakers highlighted the importance of inter-agency, regional and international cooperation, using formal agreements and informal networks, to exchange information to counter money-laundering.
几名发言者强调必须利用正式协定和非正式网络，开展机构间、区域和国际合作，交流信息以打击洗钱。

A static code analysis tool that uses formal methods for analysis.
一款使用正式方法进行分析的静态代码分析工具。

It said HarmonyOS uses formal verification methods to“reshape security.”.
它说HarmonyOS使用形式验证方法来“重塑安全性”。