可验证性

In this paper, using time Petri nets as specification models, system functionality and timeliness are first verified. Then a heuristic algorithm is proposed to optimize the system energy, which is driven by subtasks' energy-gradients and can be further simplified in the case that TPNs are composable. The experimental results show that the proposed methods can support the high-level low-power synthesis of real-time systems with results close to the optimum one, but with very low time complexities.

以时间Petri网为模型，验证系统功能性和实时性，在此基础上，提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法，并针对一类特殊形式的网模型———可组合时间Petri网，设计了相应的简化算法·实验说明，上述算法时间复杂度低，且优化效果接近最优值，能够为实时系统低能耗高层综合提供有力支持

The standard applied modes of geometric flatness in new GPS(geometrical product specification),including the duality principle and common operation technology in new GPS system,and the expression,algorithm,data processing issues of the theoretical,specification and verification model,were investigated.

研究了新一代GPS中几何平面度标准的应用模式，包括新一代GPS体系的对偶性及共性操作技术以及公称、规范和验证模型的表示、算法和数据处理。开发了试验性软件系统，通过可视化方法表示了它们的关系，实现了GPS几何平面度标准在烟机零件中的具体应用。为进一步应用新一代GPS标准以及规范表达产品的设计、制造、检验所要求的统一公差信息提供了较好的借鉴

The Non-perfect Elastic Collision DC model in half space is presented, considering the influence of participating soil mass and the interaction of tamper and ground during DC. Series solutions of displacement, velocity, acceleration and impact stress are obtained.

通过与边界元法、Laplace—Hankel联合反变换法的计算结果，以及山西某湿陷性黄土地基和南京某填土地基工程中的实测数据的验证和对比表明，该模型是符合实际的，它可用于分析强夯规律，计算冲击应力，解释强夯加固机理和工程中的现象，便于工程应用，而且比其他方法简单易行。

The anatomical study deepens the knowledge of G-type conducting cells: 1 It proves the theory of two depositional process for secondary wall (Bierhorst, 1960): the discontinuous cellulose layer is laid down before the continuous lignified layer; the former layer is prone to be broken down, while the latter is highly decay-resistant; 2 It suggests that the cellulose primary and secondary walls of tracheids are not perforated. Instead of longitudinal pits (Li, 1992), the lignified tracheid secondary wall of Hsüa possesses irregular simple perforations; 3 In Hsüa reflexa and Huia gracilis, the perforation casts may represent the thickness of lignified secondary wall; 4 The wall structure of G-type tracheid is diversified. At the genus level, the secondary wall structure differs in the distribution, internal shape and structure of the perforations; 5 Perforations of some G-type tracheids combine the characters of S-type tracheids in their distribution, density and diameter.

解剖学的研究加深了对G-型输水管胞的认识 1）验证了管胞次生壁分两个阶段形成的理论（Bierhorst，1960），即先后形成不连续的纤维质层和连续的木质化层，前者易被分解，后者抗侵蚀性强；2）证明管胞纤维质的初生壁和次生壁不具穿孔，Hsüa管胞的木质化次生壁具有不规则的简单穿孔，而不是纵列的纹孔（Li，1992）；3）Hsüa reflexa和Huia gracilis的穿孔铸体可代表木质化次生壁的厚度；4）G-型管胞壁层结构具多样性，植物属一级的分异主要表现在次生壁穿孔的分布、孔腔形状和结构的不同；5）某些G-型管胞的穿孔在其分布、密度和孔径方面可兼有S-型管胞的特征。

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure. Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis ofOCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure . Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis of OCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

Many IP based SOC design approaches focus on mapping an application onto a previously designed complex SOC architecture built from an existing IP by configuring and extending the architecture, representing a configure and execute methodology.

这种方法是从一个预设计的参数化SOC体系结构出发，以参数化的IP核为组件，通过编写代码、设置参数的方式，对可编程的IP核进行配置以实现设计，通过模拟器仿真执行以完成功能验证，最后产生物理芯片。由于IP核的多样性及其可优化参数的矛盾性，使得SOC的设计空间极其复杂。

PM records provide the informaiton about provenience, context, custody history, technical environment, render approach, rights of digital object, helping content verification, and surport the information be needed in preservation strategy execution process.

一保存性诠释资料可提供数位物件之来源资讯、脉络资讯、管理资讯、技术环境资讯、解译资讯、权利资讯、协助内容验证及保存策略执行过程中所需的资讯。

Relying on the statistic tools, team would figure out what the truth behind should be. At last, the results of improvement and control plan presented what the representability and sustainability of the project would be.

最后，在改善方案和控制计划的执行结果下，验证了此研究方案的可代表性和永续性。

The test results shown that consistent between the theoretical and the experimental data and simulating models reliability as well its usability in engineering was confirmed.In the dissertation, the dynamics properties of MR fluid and the relationship between its viscosity and extern-controllable magnetic field were investigated.

研制出了可控参数的磁流阻尼器试验机及其数据处理系统，为阻尼可控研究提供了试验手段；通过试验，验证了理论模型与实验结果的一致性，从而确认了模拟模型在理论分析中的可信度及在工程中的可用性。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。