查询词典 F-22

Especially for the type-D view and type-F view, further theoretical work is crucial in assessing the theories (e.g., in explicating quantum interactionism, or in understanding phenomenal composition).

特别是D和F类，进一步理论工作是评估的关键（例如，在解释量子上的相互作用，或理解现象构成）。

Show by example that Intermediate Value Theorem can fail if f is continuous only on and bounded on

举例说明当f在有界，而只在连续时，中值定理有可能不成立。

To ensure highest dependability, all be IP55 with electric machinery in intertropical area place standard and use F insulation social estate.

为保证最高，的可信性，在热带地方使用电机都是IP55准则和使用F绝缘级別。

In order to make transformation between two temporal logics, we develop other two predicates to manipulate the interval. Their function is f: I→〓.

为实现两种时间语义的统一，ISITL定义了两个形式语义为f：I→〓的函词来实现对时段的各种操作。

We use mechanics testing method like stretch and bend to test the 3mm magnesium alloy(MB3) after friction stir welding. The stretch sample can show no less than 70% of raw materials performance when the condition is suitable: R= 1500r/min,v = 90mm/min,R/v=16.7 and F=1470N. Curve intensity of the joint reaches 90.2% and 83.0% at obverse and inverse curve separately.

利用拉伸、弯曲等力学测试手段对搅拌摩擦连接的3mm厚MB3镁合金板进行机械性能检验，检验结果为：在使用焊接合理工艺参数R=1500r／min，v=90mm／min，R／v=16.7，F=1470N的情况下，拉伸试样70％以上断裂于母材，接头正弯与背弯强度分别可以达到母材的90.2％和83.0％。

For the current in the ionization chamber is not amplified, so it is hard to collect the electric signal, in this paper, a direct I/F convertor is used to convert the electric current signal into frequent signal.

由于电离室本身不对电流放大，因此信号的采集较为困难，本文另外介绍了用I/F直接变换的电路以达到信号的转换。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

In the mean time we also give out a reduction way for nonlinear generalized system F =0 by use of the special projection mappings Q . Based on these we prove that the qualitative structure near the isolated equilibrium point of regular nonlinear generalized system is qualitatively equivalent with the structure near the equilibriun point of the linearization system of nonlinear generalized system, so we give out a way for qualitative analysis near equilibrium point of nonlinear generalized system.

其次，对一般形式的非线性广义系统F=0，利用特殊选择的投影函数Q，给出了一种归约方法，在此基础上，并证明了正则非线性广义系统问题的孤立平衡点的小邻域的定性结构等价于其线性化后的线性广义系统平衡点的定性结构，从而为非线性广义系统的平衡点的定性分析提供了一条途径。

For k≥1, an isometry φ between codes over Zsubscript P(superscript k+1 and codes over Z(subscript P^2) is introduced and used to give a generalization of the Gray map φ: Z(superscript n subscript 4)→F(superscript 2n subscript 2). Furthermore, by means of this isometry, the concept of negacyclic codes is extended to codes over the ring Zsubscript P(superscript k+1. A characterization of these codes in terms of their images under φ is given. It is also shown that the generalized Gray map image of the 1-P(superscript k-cyclic code is a distance-invariant quasi-cyclic code.

文章引入了Z下标 P(上标 k+1码和Z(下标 P^2)码之间的等距同构φ(k≥1)；利用φ把Gray映射φ：Z(上标 n 下标 4)→F(上标 2n 下标 2)推广为φ：；而且利用φ，负循环码概念被推广到Z下标 P(上标 k+1码，得到了1-P(上标 k-循环码；依据等距同构φ，给出了这些码的表示；也证明了1-P(上标 k-循环码在推广的Gray映射下的像是距离不变的准循环码。

Products have the F series of European standards, as well as the Japanese standard JIS series.

产品有欧洲标准的F系列，以及日本标准的JIS系列。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。