不安全的

In recent years, sever security accidents frequently arise in China, especially the colliery industry, of which serious posture exists. To protect the secure of producing and managing more efficiently, and to punish those who produce and manage with insecure elements, the Amendatory Act 6 makes amendments in this field. However, a imprecisely prescription would cause a inaccurately applying.

近几年，我国重特大安全事故频发，尤其是矿山行业的安全生产形势非常严峻，为了更有效地维护生产经营的安全，惩治那些不重视对安全生产设施和安全生产条件进行投入、建设、管理和维护的行为，《刑法修正案》对重大劳动安全事故罪进行了修改，但是修改后的条文在犯罪构成要件的表述上不明确，在司法上不能得到准确适用。

In recent years, sever security accidents frequently arise in China, especially thecolliery industry, of which serious posture exists. To protect the secure of producing and managingmore efficiently, and to punish those who produce and manage with insecure elements, theAmendatory Act 6 makes amendments in this field. However, a imprecisely prescription wouldcause a inaccurately applying.

近几年，我国重特大安全事故频发，尤其是煤矿行业的安全生产形势非常严峻，为了更有效地维护生产经营的安全，惩治那些不重视对安全生产设施和安全生产条件进行投入、建设、管理和维护的行为，《刑法修正案》对重大劳动安全事故罪进行了修改，但是修改后的条文在犯罪构成要件的表述上不明确，在司法上不能得到准确适用。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Moving from paper share certificates and written share registers to "dematerialized" shares, computerized trading and registration required not only extensive changes to legislation but also the development of the necessary technology: online and real time systems rather than batch; electronic communications rather than the postal service, telex or the physical shipment of computer tapes, and the development of secure cryptographic algorithms.

从纸质的股票证书和书面股票注册到&虚拟&的股票，电脑化的交易和注册不仅要求立法的一系列改变，还要求所需技术的发展：在线和实时的系统，电子通讯（而不是邮政服务、电传或电脑磁带的实际运输），还有安全的保密算法的发展。

This is the sum of good government, and this is necessary to close the circle of our felicities.

实行人人平等和真正的公平，而不论其宗教或政治上的地位或派别；同所有国家和平相处，商务往来，真诚友好，而下与任何国家结盟，维护备州政府的一切权利，将它们作为我国最有权能的内政机构，和抵御反共和趋势的最可靠屏障；维持全国政府在宪制上的全部活力，将其作为国内安定和国际安全的最后依靠；忠实地维护人民的选举仅——将它作为一种温和而稳妥的矫正手段，对革命留下的，尚无和平补救办法的种种弊端予以矫正；绝对同意多数人的决定，因为这是共和制的主要原则，反之，不诉诸舆论而诉诸武力乃是专制的主要原则和直接根源；建立一支训练有来的民兵，作为平时和战争初期的最好依靠，直到正规军来接替；实行文职权高于军职权；节约政府开支，减轻劳工负担；诚实地偿还债务，庄严地维护政府信誉；鼓励农业，辅之以商业；传播信息，以公众理智力准绳补偏救弊；实行宗教自由；实行出版自由和人身自由，根据人身保护法和公正选出陪审团进行审判来保证人身自由。

Financing at different stages of financial institutions must ensure the safety of their investments to recover, it is necessary to keep the lower reaches of the refinancing; developers to ensure that the project development, construction and pre-sales of capital adequacy, it must maintain its credibility, then is necessary to guarantee the high quality of the project itself; the public real estate funds and bonds to buy, they must ensure that their investment is not devalued, it will strengthen the developer community supervision, and select the item truly trustworthy, finally, to left behind are the essence of the benefit the consumer; At the same time, real estate financing, construction, sales of the various sectors of society as a whole will also be placed under the line of sight, an increase of transparency and credibility.

在不同阶段融资的金融机构必须确保安全的投资收回，有必要保持下游的再融资；开发，以确保该项目的开发，建设和预售的资本充足率，它必须保持其信誉，则是必要的，以保证高质量的项目本身；公共房地产基金和债券的购买，但他们必须确保他们的投资不贬值，这将加强发展社区监督，并选择了这个项目真正值得信赖的，最后，留下的是精华，造福消费者；与此同时，房地产融资，建设，销售的各个部门的社会作为一个整体也将置于视线，增加了透明度和信誉。

In the face of the very grave environmental question and ecocides day by day, the mankind begins to realize that there should be involvement with regular law in the fields of people and natural relation, however, people"s ecological environmental awareness and concrete law are adjusted and only stayed on very undeveloped aspect, this kind of state reflects and protects in the criminal law of the ecological environment too, the legislative thoughts of most countries have inherited the value idea of the traditional criminal law, the traditional criminal law is regarded as the last kind of means to adjust social relationships, the target that adjust is interpersonal social relationships, the object protected by criminal law is that the people"s life , health and property are safe, it is a kind of idea of value taking human interests as the center that reflects.

面对日益深重的环境问题和生态危机，人类开始意识到在人与自然关系的领域中要有法律规则的介入，然而，人们的生态环境意识及具体的法律调整还停留在很不发达的层面上，这种状况反映在生态环境的刑法保护上更为明显，多数国家的立法思想继承了传统刑法的价值理念，传统刑法作为调整社会关系的最后一种手段，其调整的对象是人与人之间的社会关系，受刑法保护的客体是人的生命、健康和财产安全，体现的是一种以人类利益为中心的价值理念。

An improved shceme for the old double-way authentication access control scheme based on Harns digital signature is proposed. The new double-way authentication protocol of the improved access control scheme can prevent man-in-the-middle attack and replay attack. After strict formal analysis with BAN logic, the result have proved that the authentication protocol is secure. The improved access control scheme is realized by the mode of single-key-lock-pair. Under new access control scheme, user can own several kinds of access right upon one file under the new scheme without the supposition that the access rights is increase by degrees, and the possibility of overflow problem is significantly reduced by our new method

作为对原双向认证访问控制方案的改进，改进后的双向身份认证协议可以很好的抵抗中间人攻击和重放攻击，经过严密的BAN逻辑形式分析和论证，结果表明该协议是安全的；改进后的访问控制方案用单钥-锁对方案实现，除保持了一般单钥-锁对方案的良好动态特性外，在不需要访问权限递增假设下，实现了用户对文件的多种访问控制权限，并大大减小了溢出问题的发生可能

Waiting is the hard work after sowing, is grinding sickle of effort is a rest when you smoke cigarettes cozy mood is hard to recharge your batteries in order to supplement and patience is a farmer of wheat to watch is the philosopher's deep and humor, is endless source of fascination for the poet,"I'd rather stop two-thirds do not grab a second," comity, is "red light stop, green line" of the agreement, is the embodiment of security, is home capital.

等待是播种后的耕耘，是磨镰的功夫，是歇息时抽支香烟的惬意心情，是养精蓄锐以拼搏的补充与忍耐，是老农对麦田的守望，是哲人的深邃与幽默，是诗人无尽的遐想，是&宁停三分，不抢一秒&的礼让，是&红灯停，绿灯行&的约定，是安全的化身，是回家的本钱。

The main research contents are as follows:1. Through massive calculation, analysis and comparison, sum up the similarities and differences between the special-shaped cross sections and rectangular cross sections in mechanical features, between reinforced concrete special-shaped columns and rectangular columns in load-bearing capacity, ductility performance and provide necessary basic concepts and data for further understanding the characteristics of the special-shaped columns;2. Through massive elastic calculations and elasto-plastic analysis, under the preconditions of satisfying the code's requirements for axial compression ratio, limit value of lateral displacement and load-bearing capacity of normal section,oblique section and beam-column joint, under circumstances of different intensity of earthquake, structure dead weight, sort of site and column grid bay dimension, the variation regularity of maximum suitable height of structure, and thus sum up the maximum suitable height of structure for code for the purpose of macro-control while deciding the design scheme;3. Make a preliminary study on the stress feature of reinforced concrete special-shaped column and Z-shaped column of which the ratio of limb length to limb thickness is between 4~5 ,and the preliminary design method is suggested;4. Through elato-plastic time history dynamic analysis of typical projects, check up the weak storey of the special-shaped column structure and yielding, breaking and collapse mechanism to satisfy the earthquake resistant requirement to buildings of remaining stand under strong earthquake;5. Derive for project use simplified calculation formula of vibration period, suitable vibration period, suitable rigidity of special-shaped column structure through theoretical analysis, and provide an easy and practical method for deciding the structure scheme economically, safely and reasonably;6. Based on the study achievements in theory and massive analysis and calculations of this paper, sum up the regularities of inner force, deformation of special-shaped column structure and seismic conceptual design, and thus the suggection of seismic design of special-shaped column structures is presented.

本文研究的主要内容如下：通过大量的计算、分析和对比，总结出异形截面与矩形截面在力学特性、钢筋混凝土异形截面柱与矩形截面柱在承载能力、延性性能等方面的异同，为深入了解异形截面柱的特点提供必要的基本概念和数据；通过大量的弹性及弹塑性计算分析，在满足规程对轴压比、侧移限值及正截面、斜截面、节点承载力抗震验算要求的前提下，在不同抗震设防烈度、结构自重、场地类别及柱网开间尺寸情况下最大适宜高度的变化规律，并在此基础上总结归纳出异形柱结构的最大适用高度规定，可用于规程，以便于在确定方案时起到宏观控制的作用；对肢长与肢厚比在4～5的钢筋混凝土异形截面柱及Z形柱的受力特点进行初步探讨，提出初步的设计方法；通过对典型工程的弹塑性动力时程分析，检验异形柱结构的薄弱层及屈服、破坏、倒塌机制，以达到建筑物大震不倒的抗震设防要求；通过理论分析，推导出异形柱结构自振周期，以及适宜自振周期、适宜刚度的工程实用简化计算公式，为经济、安全、合理地确定结构方案提供简便实用的方法；在本文理论分析、计算以及大量的研究成果基础上，总结归纳出异形柱结构内力、变形的规律及抗震概念设计内容，并在此基础上提出异形柱结构的抗震设计建议。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。