查询词典 performance specification

Three kinds of BCRC No.51534, 10322 and 10675 would be selected and acted as an experimental sample of Escherichia coli. Results shows that Escherichia coli of No.51534 will appear better performance because the maximum of open circuit voltage, closed current and power density are 1.01V, 22mA and 1342mW/m2, respectively. Concerning the effect of culture time with respect to different phase type on the electricity performance of MFCs, the time points on the intersection between lag phase and logarithmic phase, the middle of point of stationary phase for growth curve of Escherichia coli would appear a good performance of MFCs. In addition, the BCRC No. 51534 Escherichia coli possessing a better performance of MFCs than others would be suggested and applied to further studying. Comparison with the performance of MFCs with respect to electron mediator under different mole number, result shows that electron mediator of methylene blue with 4.63mM would appear a better electricity performance of MFCs than others. Concerning the different material of proton exchange membrane with PTFE-Nafion, Nafion 211, 212 and 117 with respect to the performance of MFCs, result shows that the Nafion 117 applied in MFCs will have a better performance of MFCs than other cases. Finally, the effect of molar concentration on the performance of MFCs would be expected at the studied cases of 0.4M, 0.2M, 0.1M and 0.05M respectively for cathode oxidant, result shows that a good performance of MFCs will happen at the condition of 0.2M. Those observations will be useful to improvement of MFCs in the further study.

於上述电池系统条件下，进行大肠杆菌生长曲线、电子传递介质、质子交换膜、电极与阴极氧化剂对电池电性效能分析；选择编号10322、10675与51534之大肠杆菌为实验菌株，依定量培养之生长曲线取出代表不同时生长特性时期的培养时间，利用亚甲基蓝作为电子传递介质进行实验分析从所测得的电量进行分析，以编号51534之大肠杆菌的微生物燃料电池有最大的开路电压为1.01V及最大闭路电流为22mA；当极化曲线中电压为0.47V、电流为11.4 mA时有最大的功率密度为1342 mW/m2；加以负载有平均工作功率密度294 mW/m2；从生长曲线与电性效能来分析，得知生长曲线的迟滞期与对数期的转变点与静止期的中间点有最佳电性效能表现；对於加入不同莫耳数之电子传递介质methylene blue、neutral red与thionine之电池效能表现，则以加入4.63mM methylene blue电子传递介质的电池有较佳平均功率密度230 mW/m2；另对於质子交换膜PTFE-Nafion、Nafion 211、Nafion 212与Nafion 117之电池效能表现，以Nafion 117质子交换膜的电池有较佳平均功率密度340 mW/m2；对於分析加入不同莫耳数浓度0.4M、0.2M、0.1M与0.05M的阴极氧化剂之电池效能，则以0.2M的阴极氧化剂的电池可得到较佳平均功率密度429 mW/m2。

This text proceeds with intension of government performance management of government and performance evaluation, has explained meaning of performance management of government, standard and value orientation of performance evaluation; has summered history and current situation of performance management of government in the West, and has analyzed the characteristic of performance management of government in the West; has analyzed predicament of performance management of government, and expounded improvement tactics pointedly; On the basis of discussing the necessity, research and existing problems of implementing performance management of our government, has explained how to structure the performance administrative system of our government , think that it should include structure principle , system platform and evaluation system, put forward implementing tactics of the performance management of our government finally.

本文从政府绩效管理及绩效评估的内涵入手，阐述了政府绩效管理的意义、绩效评估的标准及价值取向；对政府绩效管理在西方的历史和现状进行了概述，并分析了西方政府绩效管理的特点；就政府绩效管理的困境进行了分析，并有针对性地提出了改进策略；在论述了我国政府绩效管理的必要性、探索及存在的问题的基础上，阐述了如何构建我国的政府绩效管理体系的设想，认为应该包括确立构建原则、制度平台及评估体系，最后提出了我国政府绩效管理的推行策略。

Tackling the problems in bank C's credit approver performance management, considering the daily work practice, this thesis reconstruct employees'KPI index system on the basis of Balanced Scorecard model, and work out a new performance management project which should be more suitable for credit approvers: the"360 degree matrix"project. Processed-based performance management is introduced; therefore the whole implementation process, including Performance Planning, Performance Communication and Guidance, Performance Appraisal and Performance Feedbacks, is described as a complete performance solution.

本文针对C银行信贷审批人员绩效管理中存在的问题，结合日常工作的实际情况，运用平衡计分卡的模式重新构建了员工的KPI指标体系，设计出更适合信贷审批人员的&360度矩阵&绩效管理方案，通过引入过程化的绩效管理，描述了绩效计划、绩效沟通和辅导、绩效考核、绩效结果反馈和运用的整个实施过程，从而提供了一整套较为完整的绩效管理解决方案。

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

A change of the specification may be considered small if it affects only a small number of specification modules; to ensure continuity, there must be a direct correspondence between specification, design and implementation modules.

如果一个规格的变化只影响小部分的规格模块，那么这可能会被认为无关紧要；为了确保连续性，在规格，设计和实现模块之间必须有直接对应。

The last one: Produced the application method of LOTOS specification styles in network service and protocol design, the concept of formal structural model and its design approach, Macro-oriented specification style and its implementation, the transformation of LOTOS specification to C or C++. Then an example is taken to illustrate how to use the ADT to describle a protocol.

第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、面向宏的概念及实现方法、LOTOS规范的C、C++实现方法；并举一案例说明基于LOTOS技术的协议设计方法。

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

According to the definition of technical specification by ISO and WTO and the relationship between technical specification and laws and regulations, in fact technical specification is a peremptory technical document, it has the characters both of technology and laws.

根据ISO和WTO对技术法规的定义以及技术法规与法律法规的关系，技术法规本质上是一种需要强制遵守的技术性文件，具有技术和法律两方面的规定性。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Its basic idea is to adopt formal or semi-formal method to develop the component. The developer provide the component with a formal specification with a given structure firstly, then build the component from this specification, and produces the description of component by this specification and other information.

其基本思想是：采用形式化或半形式化的方法来开发组件，首先为组件提供一个特定结构的形式规格说明，开发者根据该规格说明构造组件，并根据该规格说明及相关信息获得组件描述。

No, it's unnecessary. I don't think I have a fever.

不，没有必要，我想我没有发烧。

We live in a culture of instant gratification.

我们生活在即时满足的文化中。