查询词典 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.

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

Foreigners who are employed to work in Nanshan District (including those who invest in a company or factory, standing representatives, scientific or technological experts, engineering, cultural or educational specialists, etc.) shall, within 30 days of their entry, apply to Shenzhen Municipal Bureau of Labor and Social Security for an Alien Employment License , which will lead to an Alien Employment Permit upon approval of residence qualification, or apply to Shenzhen Administration Bureau of Foreign Experts Affairs for a Foreign Experts Certificate . Then, together with their Health Examination Certificate (issued by Shenzhen Kou An Hospital) and Registration Form of Temporary Residence for Visitors , they may apply for a Residence Permit to Nanshan Public Security Branch and Shenzhen Municipal Public Security Bureau as specified in No.

外国人在南山区就业，需自入境之日起30日内向深圳市劳动及社会保障局申请《外国人就业许可证书》（在申请人获得居留资格后将可换发《外国人就业证》），或向深圳市外国专家局申请《外国人专家证》，并连同其体检报告和临时住宿登记表向南山公安分局、市公安局申请《外国人居留许可》（程序如以上第3点）。

I centres with the Shaanxi Provincial Public Security Department, Ji Fangban examination and approval issued by the "social public security sector in Shaanxi Province Jifangchanpin sales permit", the subsidiary operating facilities for police use, police security equipment sales and installation.

我中心具有陕西省公安厅技防办审核批准颁发的《陕西省社会公共安全行业技防产品销售许可证》，附属经营警用设施，警用保安器材的销售和安装。

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废物的安全等级，使已制定的措施的有效性碎纸机安全。

The French are not suggesting a new EU treaty, but they have plenty of other wheezes.

法国人并不是在建议签署一个新的欧盟条约，但他们有许多其他的阴谋。

This letter was written by my brother.

这封信是我弟弟写的。