查询词典 public security

From the above theorem,（1） compositional invariant security properties and constructive security properties are proved to exist, and （2） security properties are degraded under operators of process algebra, which is known as "bucket principle", i.e, a composed system cannot be securer than the weakest link of the system.

根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性，并且在安全性质集合上证明了安全性质的"木桶原理"，即复合系统的整体安全性不强于系统中最弱的部分。

Thus the paper puts forward that different forms of expression should be adopted in different fields, the results are as follows: As to the Industry involving national military security, economic security and cultural security, the state-owned capital should be in the form of single proprietorship or conditional diversification, that is to say, taking the solely state-owned company as its main body. As to the strategic industry and basic industry in the vital position to the national economy, the state-owned capital should be As to the strategic competitive industry which plays an important role in development of national economy and society, the state-owned capital account for a certain proportion with the freedom to select holding shares or taking equity participation. As to the industry related to non-strategic competitive fields, state-owned capital does not necessarily exist in the form of state-owned enterprise, it can also obtain the stock right to share the benefit, and to cooperate, even compete with other capitals appropriately.

由此提出了国有资本在不同领域应采取不同的表现形式：在涉及国家军事安全、经济安全、文化安全的产业内，国有资本只能是独资或有条件的多元化，也就是以国有独资公司为主；在关系国民经济命脉的战略产业和基础产业内，国有资本必须保持控股，即还将保留相当数量的国有企业；在对国民经济和社会发展具有重要作用的战略性竞争产业内，国有资本仍要占有一定比重，但可以根据具体情况选择控股和参股；在非战略性竞争领域的产业内，国有资本不一定必须要采取国有企业的形式存在其中，完全可以以股权的形式参与进来，适度与其它性质的资本开展合作与竞争。

Pass the analysis of the connection between pair of social security and economics and distinction, think social security is academic cannot a simple branch that is regarded as economics, cannot replace social security theory with economics.

通过对社会保障与经济学之间的联系与区别的分析，认为社会保障理论不能简单的被视为经济学的一个分支，不能用经济学来代替社会保障理论。

At the basis of this, the article discusses the theory basis and valuefunction of information disclosure system, and advances following points: the springhead ofinformation disclosure system rests with the inter of the security market and the characteristicof the security information; the basic value function of information disclosure system is tomake the security market open, justice and equity.

在此基础上，文章论述了信息披露制度的理论基础和价值功能，提出了以下观点：一是信息披露制度的根源在于证券市场风险的内生性和证券信息的特性本身；二是信息披露制度的基本价值功能是使证券市场的运作公开、公平和公正。第二章探讨和分析了我国上市公司信息披露的现状和原因。

As a kind of method based on symbolic logic, Formal method has gained more and more attention because of its preciseness. It has been applied broadly in systems in which the security and reliability are the key issues. For example, protocol security analysis, operating system security model, software development.

作为一种以数学逻辑为基础的方法，形式化方法以其严密性越来越受到众多领域的重视，尤其是在安全性和可靠性作为关键问题的系统，如协议安全性分析、操作系统安全模型、软件开发等方面得到了较为广泛的应用。

The Tear Tape Security Essentials have been selected from the established range of security technologies available through the Payne Security Division.

泪磁带安全锦囊已选定由既定的范围内的安全技术可通过佩恩安全记名表决。

At the same time, the paper uses the spot price expression based on security region, which takes the consideration of transmission line thermal stability constraint and static voltage stability constraint and transient stability constraint simultaneously, thus the main security constraints of power system can be considered comprehensively in the security cost allocation.

同时，该文使用基于安全域的节点电价表达式，其中计及了输电线路热稳定约束、系统的静态电压稳定约束和暂态稳定约束，使安全成本的分摊能综合考虑电力系统中主要的安全约束。

Security is of utmost importance in protecting waste from thieve so security ratings have been devised to measure the effectiveness of shredder security .

安全是极其重要的保护thieve废物的安全等级，使已制定的措施的有效性碎纸机安全。

Trader ; security system ; security domain ; security service ; client ; server ; turing machine

交易器；安全系统；安全域；安全服务；客户；服务器；自动机

However, with the internet is becoming the best carrier of e-commerce, the internet has a fully open, undefended carers to enhance the characteristics of the security of e-commerce is becoming increasingly urgent, it is necessary to strengthen the security of e-commerce, the need for scientific and advanced security technology.

然而，随着internet逐渐发展成为电子商务的最佳载体，互联网具有充分开放，不设防护的特点使加强电子商务的安全的问题日益紧迫，要加强电子商务的安全，需要有科学的、先进的安全技术。

Researches reveal that students who suffer from corporal punishment tend to resort to violence in their future life.

研究表明遭受过肉体惩罚的孩子倾向于在他们今后的人生中使用暴力。

Total sugar of sarcocarp and chlorophyll of pericarp increased firstly, and then decreased afterward along with altitude; Titratable acidity, ascorbicacid and anthocyanin of pericarp were increased along with altitude; The content of protein increased firstly and decreased afterward along with altitude; Carotenoid of pericarp were decreased along with altitude.

果肉总糖和果皮叶绿素含量随海拔高度升高先升高后降低；可滴定酸、维生素C和果皮花青苷含量均随海拔升高而升高；蛋白质在1720m处最大，1420m处最小；果皮类胡萝卜素随海拔升高而降低。