查询词典 be verified

The formula can be verified against its original definition and against its intended behaviour.

该公式可核实其原有的定义和反对其预定的行为。

For this, it is generally required that each individual proof step can be verified by a primitive recursive function or program, and hence the problem is always decidable.

为此，人们普遍要求每个证明步骤可以验证的原始递归函数或程序，因此这个问题始终是判定。

Colors are widely used to manipulate our impression of roominess of a space and the slimness of a figure. It is commonly taught in art schools that certain colors give more advancing and expanding look than the others. However, this observation remains anecdotal and needs to be verified with quantitative methods.

色彩的前进后退以及膨胀收缩效果在色彩规划的实务工作上具有极为重要的份量，举凡利用配色来营造比实际来得宽阔的室内空间、比实际身材苗条的服装设计、或是在平面上制造深度感觉等，均可利用色彩的前进或膨胀特性来发挥。

Civil Contractor that they should make a copy of the scaffolder's certificate and let them carry it so it could be verified on site.

土建供应商应做一份脚手架工证书的复印件并且让他们随身携带以便现场核实。

Some popular statements concerning the government s self- interest are fully contradictory and can not be verified by logic, because the ultimate result of all the individuals, departments and social classes are usually embodied in the self - interest of the individual.

政府自利性的泛滥表明，政府在自身发展中始终没有处理好权与利、任务与责任、绩效与报酬的关系问题，是政府自我控制能力弱化的表现。

Meanwhile, South Korea's new chief delegate to multinational nuclear talks with North Korea Kim Sook told a Seoul-based radio station everything North Korea says will have to be verified.

与此同时，韩国六方会谈首次谈判代表金塾对首尔一家电台说，朝鲜所说的一切都必须得到核实。

This is because SSL certificates are designed to be verified and signed by a trusted third party.

这是因为SSL证书是专门设计由信任的第三方来验证和签署的。

This can be verified on the black startup splash screen.

这可以核实的黑色启动画面。

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

The reliability and applicability of the numerical methods for two-phase cavitating flow in this paper can be verified.

这证明了本文所采用的数值模型和方法的可靠性和准确性。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了