交换性规则

In general we can expect completion to fail e.g. for rules expressing commutativity, so that an approach to testing equality of two terms via a canonical set of rewrites appears too strong.

一般来说，我们可以预期，例如未能完成表达交换性的规则，这样，通过规范的重写一套测试方法两个方面的平等似乎太强大。

The design includes many new technologies in data exchange and data security, they are: Converting non-XML data to XML in order to apply the XML security technology to more data types; Using the technology of XKMS and PKI to manage the public key in order to overcome the shortage of complexity and difficulty in using PKI and improve the efficiency of the public key management; Using Diffe-Hellman algorithm combining with the public key technology to exchange secret key in order to furthest increase the security of the key; Using the technology of XML digital signature algorithm to ensure the integrity, message authentication and signer authentication of the data; Using the technology of XML encryption to ensure confidentiality of the data; Defining delegable access rules on the structure and content of the XML documents to provide fine-grained access control. According to the XML security framework, a XML security library is designed and implemented.

在对XML及其安全技术主要包括XML加密技术、XML数字签名、公钥管理、密钥产生和交换进行研究的基础上，结合传统密码技术和XML安全技术提出了一种基于XML的数据安全模型，模型中包含了目前网络数据交换和安全领域的一系列最新技术，主要有：将非XML格式数据转换为XML格式数据的方法，以保证现有的大部分网络数据能够应用XML安全技术；使用XML公钥管理技术结合PKI技术管理公钥，以克服PKI技术实施和部署复杂、难度大等问题，提高公钥管理的效率；使用Diffie-Hellman算法结合公钥技术交换密钥，以最大限度保证密钥的安全；使用XML数字签名技术保证数据的完整性、不可否认性和发送方身份认证；使用XML加密技术保证数据的机密性；根据XML文档的内容和结构定义授权访问规则进行良好的访问控制。

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.

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