安全性

Objective To evaluate the effectiveness and safety of forceps' pleural biopsy trocar in obtaining pleural tissue diaphragm.

目的 探讨钳式胸膜活检套管针对膈肌胸膜活检的诊断价值和安全性。

Enterprise stock sale system is a typical management information system. Its development mainly includes supporter foundation and maintains of the backstage database, and the development of application program of the forestage .

摘 要：企业进销存系统是一个典型的管理信息系统，其开发主要包括后台数据库的建立和维护以及前端应用程序的开发两个方面，对于前者要求建立起数据一致性和完整性强、数据安全性好的数据库。

Its development mainly includes supporter foundation and maintains of the backstage database, and the development of application program of the forestage .

摘 要：企业进销存系统是一个典型的管理信息系统，其开发主要包括后台数据库的建立和维护以及前端应用程序的开发两个方面，对于前者要求建立起数据一致性和完整性强、数据安全性好的数据库。

In the course of development, it accomplishes the building and maintaining of backstage supporter's database and the development of forestage supporter's application program which based on many oriented object tools of development provided by PowerBuilder, especially its data window that is intelligent object that can handle the database easily.

在开发的过程中，采用了PowerBuilder提供的各种面向对象的开发工具，尤其是数据窗口这一能方便而简洁操作数据库的智能化对象，进行后台数据库的建立和维护以及前端应用程序的开发，建立起数据一致良好性，并且具有强数据安全性的数据库，应用程序功能完备、善于使用。

The formal definition of this model was given, and the security was also analyzed with proof.

形式化描述了模型，并对模型的安全性进行相应的分析和证明。

Formalization language Alloy is used to describe and verify security domain model for reliability and security of its design.

首次使用形式化工具Alloy描述和验证安全域模型，保障了安全域设计的可靠性和安全性。

What's more, in order to develop high-safety software, it is also very necessary to formalize specification of SCS.

此外，要开发高安全性的软件，对安全关键软件的规格说明进行形式化的描述，也是十分必要的。

It proposes a method to formalize and analyze security properties of workflow systems by process calculus and types.

提出了一种基于Pi演算的工作流系统建模和安全性分析的方法。

It proposes a method to formalize and analyze workflow with SoD constraints based on Colored Petri Nets.

提出了一种基于着色Petri网的工作流系统建模和安全性分析的方法。

So it is very important to adopt the effective seismic fortification measures to insure the safety of the structure in earthquake.

因此，对大跨度斜拉桥结构桥梁采取合理有效的抗震措施以确保其在地震中的安全性，具有十分重要的社会和经济意义。

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.

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