规范的

The proof is machine checkable. This method guarantees that a certified bytecode program will run on the certified virtual machine without stuck unless hardware faults.

CertVM确保在硬件环境满足其语义规范的情况下，已验证的字节码程序能够在给定虚拟机环境中正常运行。

Now, Elan company held the dustless toothpaste and cosmetic workshop and laboratory, equiped modern advanced manufacture,bottling machine,vacuum emulsifying machine and streamline product line, constituted production security , quality supervision, sanitary conditions and supply chain management.

目前，公司配置无尘牙膏和洗涤化妆品生产车间和实验室，拥有多套现代化先进一体式制膏、灌装、真空乳化等设备和流水式生产线，建立规范的产品安全生产、质量监控、卫生制度和供应链管理等制度，并通过国家质量监督检验检疫总局的安全生产认证。

These kinds of work are descriptive research of epistemological norms.

围绕此问题的研究属于认知规范的描述性研究。

Norms are characterized by their evaluative nature; that is, they refer to what should be done.

规范的特点是其评价的性质，就是指应该做些什么。

To solve water crisis, on one hand, we should improve the present unefficient ways of water usage and strengthen control of water use, on the other hand, we should turn to the help of flexile methods of economics especially reasonable pricing ways .

要解决水危机，不仅要采用节水技术和加强水管理，也要灵活的运用经济手段尤其是价格杠杆，同时要建立规范的市场体系和完善政府宏观调控。

Compliance with the treatment with PALs was satisfactory. Conclusion PALs are a good choice in the treatment of children with hyperopic amblyopia. The lenses are effective and feasible and are superior to the other two treatment options.

在规范的验光条件下，儿童远视所致屈光不正性弱视眼配戴远视渐变镜治疗效果确切，具有很好的可行性，相对全矫与欠矫配镜疗法具有优越性。

Methods One hundred and seventy-nine cases (358 eyes) with hyperopic amblyopia were divided into three groups: full correction group, partial correction group and PAL group.

对远视引起的双眼屈光不正性弱视儿童，在规范的验光条件下配镜，戴镜治疗弱视，根据矫正方法分为全矫组、欠矫组、渐变多焦镜组。

Thousands of Photoshop compatible filter plugins from the Internet are includable.

包括 300 个符合 Photoshop 规范的滤镜，和你能够下载来自互联网络的更多。

Social insurancelaw adjusts the relations between rights and obligations of citizens concerned insocial insurance.

社会保险法是国家为维护社会稳定和经济发展，调整社会保险当事人之间权利义务关系，帮助公民抵御各种社会风险而制定的各种法律规范的总称。

Using IμTL to specify safety and liveness properties, and assumption-guarantee specifications are also discussed.

讨论了使用IμTL与安全性质和活性描述的关系以及描述&假设-保证&规范的问题。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。