可定义性

基本解释 (translations)

definability

与可定义性相关的网络例句 [注：此内容来源于网络，仅供参考]

The definition of the absolute value for a fuzzy number is obtained.Furthermore,a lot ofproblems,such as absolute integrability,bounded variation and absolute continuity,arepresented and discussed.The representation theorem of the absolute values of fuzzy num-bers is established.It plays an important role in discussing the problems conceming theabsolute value.The relation between the absolute integrability and integrabili-ty is discussed,and the following result is obtained:aintegrable fuzzy-number-valued function is absolutely integrable iff it is integrable.The relation between theabsolute integrability and the absolute continuity of the primitive for fuzzy-number-valuedfunctions is dealt with.It is also pointed out that a fuzzy number valued function is ab-solutelyintegrable if and only if its integral primitive is fuzzy absolutely continuous.

提出了模糊数绝对值的概念并讨论了与绝对值相关的一系列问题，如绝对可积性、有界变差性、绝对连续性等，给出了模糊数绝对值的定义以及表示定理，该表示定理在涉及绝对值问题的讨论中起非常重要的作用；讨论了绝对可积与可积之间的关系，得到了结论：可积的模糊数值函数绝对可积的充要条件是该模糊数值函数可积；给出了模糊数值函数绝对可积与其积分原函数绝对连续性之间的关系，指出模糊数值函数绝对可积的充要条件是其原函数模糊绝对连续。

By getting Lebesgue characteristic of integrable function of Riemann from the definition of Gather zero measure, discussing the relation between almost continuous everywhere and existent of limit, it gets the theory which is from the function integrability to the consecution and from consecution to the limit existence .i.e. the almost limit existence is equal to the almost continuous everywhere in the integrable function of Riemann. It also gets a unified condition which has a wider range than regulated function and comes to the conclusion that the function of bounded variation is the integrable function of Riemann.

通过定义零测度集给出了可积函数的特征，讨论了其几乎处处连续与极限存在的关系，从而得到了从函数可积性到连续性，从连续性到极限存在性的函数特性理论，即可积函数中极限的几乎处处存在与几乎处处连续是等价的，得出比正规函数更加宽泛的统一条件，得出了有界变差函数是可积函数的结论。

Analysis for testability is widely used in DFT and test pattern generation, but most testability analysis algorithms have the shortcoming of either inaccuracy or being too complicated. A new method to calculate the signal probabilities of the nodes in IC is pre-sented in Chapter 7 of this dissertation. The signal probabilities by our method is more exact than by the previous ones. A symbol of the signal probability at the fan-out node is created and is propagated to the RFON (Reconvergent Fan-out Nodes). At the RFON, the expression containing the symbol is simplified using the rule which corresponds to the law of identity in Boolean algebra. After the expression is simplified, the symbol is substituted with its numeric value. Theoretical analysis shows that this method is concise and has a low computing complexity.

可测试性分析在可测试性设计和测试生成中都有着广泛的应用，然而大部分的可测性分析方法都存在不精确或者过于复杂的毛病，在第七章中作者提出了一种新的计算IC电路节点的信号概率值的符号算法，该算法得出的信号概率值比用以往的算法法得出的要更准确，也更简洁，针对电路中的扇出节点重汇聚现象，我们在每一个扇出节点定义了一个信号概率的符号，在以后的计算中一直使用该符号参与计算，直到该符号传播至重汇聚处，利用一定的规则把含符号的表达式化简，再将符号的真实值代入，在计算符号概率的过程中定义了一个和布尔代数中的同一律相对应的运算规则，通过该运算规则，使得信号概率的结果更加准确，符号算法具有简洁方便，计算复杂度小的特点 4。

In this paper, a conception of computer measurement system based on virtual instrument idea is presented. The system's flexibility, expandability, interconnection and wide hardware compatibility are also emphasized.

文中提出了基于虚拟仪器的计算机测试系统的技术概念，强调系统功能的用户定义，系统的柔性、可扩充性、可互连性和对硬件设备的广泛兼容性。

Any item recognized in the financial statements should meet recognition criteria of definitions,measurability,relevance and reliability.

在财务报表上确认的任何项目，都必须符合可定义性、可计量性、相关性与可靠性的特征。

This paper discusses the integrability of Riemann integral systematically: By analyzing the common characters of a lot of integral calculus, it abstracts the concept of Riemann integral and discusses its integrability of Riemann integral and then gets integrable functions.

摘要本文较为系统地讨论了积分的可积性：通过分析诸多积分概念的共性，抽象定义了积分并详细讨论了其可积性，得出了可积函数类。

This paper discusses the integrability of Riemann's integral theory systematically: By analyzing the common characters of a lot of integral calculus, it abstracts the concept of Riemann integral and discusses its integrability of Riemann's integral theory and then gets integrable functions.

摘要本文较为系统地讨论了积分可积性理论：通过分析诸多积分概念的共性，抽象定义了积分，详细讨论了其可积性理论，得出了可积函数类。

Several experimental applications have been developed finally. In this paper, there areinnovations from the following four aspects:1. Definition and research methods of current distributed system and distributedinteractive simulation system follow those of traditional parallel computing system.While this paper points out it is one-sided to measure the scalability just from thenumber of processors and performance of a system, because the resources of distributed systems are heterogeneous and they can be used in diverse applications. Inthis paper, scalability of distributed interactive simulation platform is defined as theability of scaling (including scale-up and scale-down) in functionality and performanceof systems which is run on the platform when number of processors and otherhardware resources such as network change, i.e. when problem size is scaled up and system resources is increased, the performanceremains fixed and it is easy to expand the functions of simulationapplications.

本文的创新工作主要体现在下述4个方面：1、现有的分布式系统和分布式交互仿真系统可扩性的定义和研究方法都沿用了传统的并行计算系统可扩性的定义和研究方法，本文指出分布式系统的系统资源异构多样、应用种类丰富多样，只从传统方法采用的处理机资源和性能角度衡量一个系统是否可扩是有一定的片面性，提出了分布式交互仿真平台可扩性的定义是在处理机和网络等系统资源变化时，运行在平台上的分布式交互仿真系统在性能和功能方面发生扩缩的能力，即当问题规模扩大时，增加系统资源，系统能获得指定的性能及在功能方面能方便进行扩充。

Due to the impendency of defective products recalls and management,it is necessary to study on the product traceability .

针对缺陷产品进行召回管理的迫切性，指出了产品可追溯性研究的必要性，在总结和借鉴已有产品可追溯性研究的基础之上，给出了产品可追溯性的定义。

The conception of inspectability is presented, the content of inspectability is defined, and the principle and how to realize the inspectability Analysis are studied.

提出了可检测性的概念，定义了检测性内容，并研究了可检测性分析的原理和实现方法。

与可定义性相关的网络解释 [注：此内容来源于网络，仅供参考]

definability：可定义性

deficient number 靠 | definability 可定义性 | definable 可定义的

finite definability：有限可定义性

finite cyclic group 有限循环群 | finite definability 有限可定义性 | finite difference approximation 有限差分逼近

definable：可解说的

definability 可定义性 | definable 可解说的 | definable 可下定义的

existential definable set：存在可定义集

存在性 existence | 存在可定义集 existential definable set | 存在推广 existential generalization

differentiability：可微性

藉由这些观念,便能够定义模糊值函数 (fuzzy-valued functions)的连续性(continuity)与可微性 (differentiability). 最后,将试著导出求得nondominated solution 之充分条件,也就是最佳化条件. 本计划需为两年期计画,在第一年计画中,

metrizable：可度量化

可定义性|definability | 可度量化|metrizable | 可度量性|metrizability

predictability：可预测性

期望是信任定义中的核心概念之一,而正面的期望与认为对方具有"行为的可预测性"(predictability)是密切相连的,正犹如一枚硬币之两面. 至于认为对方的行为可预测,当然和己方的认知架构有关. 因为在己方的认知架构中已经具有对方的某些特质和评价,

subadditivity：次可加性

1根据最新的研究,自然垄断的特点在于代表性厂商的成本函数的次可加性(Subadditivity),即如果由一个厂商生产整个行业的成本比由两个或两个以上的厂商生产这个产出的总成本低,则这个行业就是自然垄断行业.虽然用次可加性定义自然垄断是80年代才出现的,

traceability：可追溯性

国际标准化组织对"可追溯性"(Traceability)定义是:"通过标识信息追踪个体历史、应用情况和所处位置的能力" . 欧盟委员会2002年178号法令中,"可追溯性"被定义为:"食品、饲料、畜产品和饲料原料,在生产、加工、流通的所有阶段具有的跟踪追寻其痕迹的能力".

testability：可测性

本文对可测性(Testability)的定义为可见性和可控制性. 可见性是我们能观察被测软件的状态、输出、资源利用和其它影响的程度;可控制性是我们能向被测软件输入或把它设置到某个特定状态的程度.