事实上,有些嵌入式虚拟机监控程序供应商已经正式验证了他们的虚拟机监控程序,并保证它们没有bug。
In fact, some embedded hypervisor vendors have formally verified their hypervisors and guaranteed them to be bug free.
其中几本教材中有很少的篇幅涉及到确认和验证,但是仅仅是简单的引用IEEE标准或其他正式的方法。
Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
验证器的架构文件的格式是经过预先设计的,以便从一个正式规范创建架构成为一个简单任务。
The format of schema files for the validator was designed so that it is a simple task to create from a formal specification.
exi格式使用一种源于信息和正式语言理论的混合方法以及经过测量验证的实践技术对XML信息进行熵编码。
The EXI format USES a hybrid approach drawn from the information and formal language theories, plus practical techniques verified by measurements, for entropy encoding XML information.
如果您不使用正式的DTD或模式,验证特性对于您来说并不重要。
If you are working without a formal DTD or schema, validation features won't be important to you.
有了目标解决方案的正式表示形式,还让我能够应用通用设计模式,实际上就是重用各种用于表示组件及其交互的得到认可和验证的方法。
Having a formal representation of the target solution also enables me to apply common design patterns, essentially reusing accepted and validated ways to express components and their interactions.
有趣的是,在XSL规范中,W3C没有包含一个可用来验证fo文档的正式认可的DTD(文档类型定义)。
It's interesting to note that in the XSL specification, the W3C didn't include an official DTD (document Type Definition) that you could use to validate an FO document.
如果我们要正式而且准确的描述一个架构,除了语法,我们还需要实施验证规则,对模型进行约束。
If we want to describe an architecture formally and correctly, we need to put validation rules into place that constrain the model even further than what can be expressed via the grammar.
据称世界上有100个物种已经灭绝,这项于上个月正式开始的考察,总的目的是验证是否这些物种实际上依然存活着。
The expeditions, formally launched last month, collectively aim to find out whether 100 species thought extinct are in fact still alive.
这是Ostrom贡献的地方游戏的规则,即通过其在地区发现的正式模型,又随后验证了她的模型。
This is the province of game theory, to which Ms Ostrom has contributed, both through formal modelling of what she found in the field and subsequent laboratory tests of her models.
当流程模型正式形成并经过了验证后,可以将其作为项目的下一阶段(如用例建模)的主要输入使用。
The process models, when formalized and validated, serve as the main input for the next phase of a project, for example, use case modeling.
然而它是一个更为健壮的解决方案,而不是不根据语法正式地进行验证就将数据简单地装载到内存中。
Nonetheless, it is a far more robust solution than simply loading the data into memory without formally verifying it against a grammar.
这些模型之间的主要区别在于目标不同:从非正式的交流到通过解析器进行精确的、形式化的验证。
The major difference between all these models is their goal: from informal communication to precise, formal validation by the parser.
正式宏设计流程的概念相对较新,因此未在组织中验证。
The concept of a formal macro design process was relatively new and hence unproven within the organization.
进行了正式说明的基于经过验证的最佳实践的方法和技术。
Formally described methods and techniques based on proven best practices.
验证了这些模型之后,系统架构师向开发商发出正式的信息请求(formal requestsfor informationRFIs)。
After the models are validated, the architects can create formal requests for information (RFIs) for vendors.
年将WI正式定义为了IBM公司的外部身份验证标准,此后我们加速了此迁移工作。
This migration accelerated after 2003, when WI was officially defined as the IBM corporate external authentication standard.
生产件批准的目的是验证由正式生产工装和过程控制制造出来的产品是否符合顾客要求。
The purpose of production parts approval is to check whether toolings for formal production and products made in process control meet the customers' requirements or not.
参与已注册的产品在正式量产之前的法规验证,包括产品样式、包装尺寸、包装设计等。
Participate in the compliance validation before the mass production for the registered product, including the product pattern, package size, package design etc.
所有原始数据必须集中与验证报告一起存档。正式文件的复印件也可接受。
All original data must be collected and filed with the protocol. Copies of official documents are acceptable.
这些政策可以包括密码验证,正式的安全审核,使用跟踪,无线设备的使用,有关可移动媒体的关注,个人应用的限制和用户培训。
Policies may include password requirements, formal security audits, usage tracking, wireless device usage, removable media concerns, personal use limitations, and user training.
因为缺乏与科学相关的正式教育,所以不是透过理论与实验来验证,他打算发表一系列包含各种主题的论文,也因为缺乏系统的理论基础终未实现。
Due to lack of formal education with relative science, so the phenomenon is not tested by the theory and experience. And also, he failed to public a series papers including kinds of themes.
语言输出的注意功能和验证假设功能中均存在“推动效应” ,它能将二语学习者的语言输出从白话体推向正式体。
There exists a "push effect" in the output functions of noticing and hypothesis testing , which can push learner output from vernacular style towards careful style.
其次,对正式调查问卷的数据进行统计分析,通过克朗巴哈信度系数法和因子分析法分别验证了问卷具有较高的信度和效度。
Then, statistic and analysis for the data from the final questionnaires was carried out. By Cronbach Alpha and factor analysis, the questionnaire reflects high reliability and validity.
所需的证明文件副本包括学历与专业资格证书、正式修业成绩单及相关工作经验证明。
The requested copies of supporting documents include academic and professional certificates, transcripts and proof of relevant working experience.
在正式运行期间,系统整体表现出良好的安全性和稳定性,平台方案在实践中得到了验证和完善。
In the formal running period, System as a whole demonstrated a good safety and stability, the platform resolution has been verified in practice and improved.
这些也都被用于标准和操作方法正式发布前的验证。
This is undertaken to validate standards and operating protocols before they are published.
这些也都被用于标准和操作方法正式发布前的验证。
This is undertaken to validate standards and operating protocols before they are published.
应用推荐