L*系统中L*10的特点及应用

对模糊命题演算的形式演绎系统中的公理L10：(A→B)V((A→B)→A∨B)进行了较为深刻的研究,一方面应用L10讨论了￡~*系统与Lukasiewicz系统,Godel系统的相互独立性,说明L10是￡~*系统区别于其它模糊命题演算的形式演译系统的特征标志,另一方面应用L10证明了￡~*系统中的条件演绎定理,给出了L10在￡~*中的一个重要应用。     

Goedel逻辑系统中F（S）中的一个分划及其应用

将王国俊教授于1997年以来在逻辑系统W∧-、W、Wk中引入的广义重言式理论加以扩充、推广,引入α-矛盾式等概念并应用于Goedel逻辑系统G∧-、G、Gn中,得到了（1）在逻辑系统G∧-、G中,重言式不可能由对非重言式进行有限次升级算法得到;（2）在逻辑系统Gn中,对任一公式最多进行n-1次升级算法即可得到重言式;（3）在逻辑系统Gn中,{C（Gn),[i/n-1-C(Gn),][i/n-1]-T(Gn),T(Gn)|i∈{1,2,…,n-2}}是F（S）的一个关于→同余的分划,在逻辑系统G∧-中,{C（G∧-）,[（1/2）-]-C（G∧-）,[1/2]-C（G∧-）,[1∧-]-C（G∧-）,[0∧ ]-T（G∧-）,[1/2]-T（G∧-）,[（1/2∧ ]-T（G∧-）,T（G∧-）}是F(S)的一个关于→同余的分划,（4）在[0]-T（R）（R∈{G∧-,G,Gn}）中引入了一种降级算法并讨论了其性质。     

非线性方程x=Ax+λBx的可解性

X是实Banach空间,FX是楔形,(0,1)X是闭单位球,Ω,DX是两个有界开集,D;用和分别表示D_F≡D∩F关于F的闭包和边界,A:→F是半紧1—集压缩,B:(—Ω)_F→F全连续,当F∩(0,1)非紧或F是锥以及A和B满足某些补充假设时,本文证明了固有向量集∑={x∈(-Ω)_F|x∈Ax+λBx,对采个λ∈[0,m/β]}中有一连通分支C使得C∩F(A)≠φ,C∩≠φ,这里F(A)={x∈(-Ω)_F|x=Ax}。     

非线性单调算子方程解的存在与唯一性定理

定理1 设定Banach空间中的锥P正规,连续减算子A:P→P。若存在全连续减算子B:P→P,使AB=BA,且Aθ≤Bθ。当AB在P中的不动点唯一时,则A在P中存在唯一不动点,这时对任何X_0∈[θ,4θ],均有 [证]可用数学归纳证明     

高乙烯基聚丁二烯橡胶的制造方法

本发明属于高乙烯基聚丁二烯橡胶的制造方法。催化体系组成为：A．铁元素的有机化合物；B．三烷基铝或二烷基氢化铝；C．含磷有机化合物。催化体系的组分，可将单组分以任何顺序或方式加入丁二烯-溶剂中引发聚合，较好的是有少量丁二烯（Bd）存在下预混合陈化方式，尤以A＋Bd＋B→C和A＋Bd＋C→B的二元陈化方式或A＋B＋C和A＋C＋B单加为最好。A组分与B组分摩尔比在5～100之间；C组分与A组分摩尔比0．5～10。     

Ti50Ni40Cu10合金的相变潜热及相变热滞

本文采用示差扫描量热仪(DSC)系统分析了Ti50Ni40Cu10(at.%)合金的马氏体相变潜热(ΔHB2→B19)和逆马氏体相变潜热(ΔHB19→B2)、相变热滞(ΔT)与固溶温度、退火温度和相变热循环间的关系.结果表明:相变潜热随着固溶化温度的升高而明显降低、随着退火温度的升高则略微降低.相变热滞、逆马氏体相变温度在热循环初期迅速降低,当热循环次数超过2次时则均保持不变;逆马氏体相变潜热(ΔHB19→B2和ΔHB19→B19)随着热循环次数(n＜4)的增加有所升高,特别是ΔHB19→B19约增加58%,而热循环次数对马氏体相变温度和潜热ΔHB2→B19则无明显影响.     

带粘性项Burger''''s方程解的收敛性(为庆贺游兆永教授60寿辰而作)

本文研究了Burger's方程初边值问题的解c(t,x)与带粘性项Burger's方程初边值问题的解(t,x)之间的关系,证明了,当它们具有相同的定解数据(f,c_0)时,当y→0时,(t,x)在L~2(I)中收敛于C(t,x).     

C~*-代数中元素的τ-期望与τ-方差(英文)

引入了有单位元的C*-代数A的元素A的τ-期望Expτ(A)与τ-方差Varτ(A),它们分别定义为Expτ(A)=τ(A)与Varτ(A)=Expτ((A Expτ(A)1AI)2),建立了关于它们的若干等式与不等式,给出了Expτ(AB)Expτ(A)Expτ(B)与Varτ(A+B)Varτ(A)+Varτ(A)的一些估计.引入并研究了元素A,B的τ-协方差Covτ(A,B),研究了元素的τ-独立性.     

高频Q表指示Q值误差的检定

在QBG-1A及QBG-1B型高频Q表试行检定规程(JJG382-85)第二条中规定: Q表的Q值测量误差可按Q值参考标准不同分为两类,其中之一是指示Q值误差:以Q表均值回路标准指示Q值     

德国4008系列血液透析机故障排查

<正>一、校准(检测)、调试1.流量报警流量报警包括:流量报警、水报警、高流量报警和低流量报警。(1)校准A、B、C、D 4点压力值(水路系统的压力)A点:进水压力0.05MPa~0.1MPa变化→用61进水阀调节(注:41阀关闭时为0.1MPa,开时为0.05MPa),若不行可能是由于:1进水压力小。检查机壳外的63进水滤芯是否脏堵。2进水阀损坏。B点:平衡腔装载压力0.12MPa→用增压阀65调节。     

Insertion of triangulated surfaces into a meccano tetrahedral discretization by means of mesh refinement and optimization procedures

In this paper, we present a new method for inserting several triangulated surfaces into an existing tetrahedral mesh generated by the meccano method. The result is a conformal mesh where each inserted surface is approximated by a set of faces of the final tetrahedral mesh. First, the tetrahedral mesh is refined around the inserted surfaces to capture their geometric features. Second, each immersed surface is approximated by a set of faces from the tetrahedral mesh. Third, following a novel approach, the nodes of the approximated surfaces are mapped to the corresponding immersed surface. Fourth, we untangle and smooth the mesh by optimizing a regularized shape distortion measure for tetrahedral elements in which we move all the nodes of the mesh, restricting the movement of the edge and surface nodes along the corresponding entity they belong to. The refining process allows approximating the immersed surface for any initial meccano tetrahedral mesh. Moreover, the proposed projection method avoids computational expensive geometric projections. Finally, the applied simultaneous untangling and smoothing process delivers a high‐quality mesh and ensures that the immersed surfaces are interpolated. Several examples are presented to assess the properties of the proposed method.     

The Research of Anti-Wear Properties of Organomolybdenum Compounds in the Engine Oils

A four-ball tester was used to evaluate the anti-wear performance of three kinds of organomolybdemun compounds in the engine oils, i. e., molybdenum dialkyldithiophosphate (MoDDP), molybdenum dialkyldithiocarbamate ( MoDTC), and sulphur and phosphorus freeorganomolybdeum (Molybdate). The results indicate that a low concentration of MoDDP doesn' t improve the anti-wear properties of the commercial engine oils, but a high concentration of MoDDP can obviously improve the anti-wear properties and the load-carrying capacity of the engine oils. MoDTC doesn' t improve the antiwear properties of the engine oils, but worsens the anti-wear properties of the oils. Signifi can timprove ment of frictional and wear characteristics is obtained with Molybdate added in the commercial engine oils and the formulated oils.     

Certification Institutions Expected to Update and Transfer Information on Present Standards

Standards are the basis for production enterprises to organize production, ex-factory inspection, trade (delivery) and technical exchanges, product certification, quality arbitration and supervision.……     

Flow calorimeter for enthalpy increment measurements on condensed gases

A flow calorimeter for enthalpy increment measurements on condensed gases is presented. A better knowledge of the properties of the liquefied natural gas is needed, and therefore a liquid loop has been designed for our flow calorimeter. The fluid loop in the calorimeter is designed in order to avoid the two-phase region, since two phases would give compositional disturbances in the measurements. The avoidance of the two-phase region is made possible by increasing the pressure of the test fluid after the measurement section, then heating the fluid at super-critical pressure past the critical point. Finally, the fluid is throttled to the low-pressure gas state at the inlet condition of the compressor that circulates the fluid. To perform the pressure increase, a new cryogenic pump has been designed. To evaluate the new equipment, measurements were taken on liquid ethane over the temperature range 146–256 K at pressure between 0.9 and 5.1 MPa.     

Refrigerators Enter a New Era of Health Preservation Frestech initiates the establishment of China's first standard for household sterilization refrigerators

On November 30, 2007, the China Association for Standardization (CAS) held a press conference at Beijing Diaoyutai State Guest House. Leaders from the China Household Electric Appliance Research Institute, the China Household Electric Appliance Association, and the China Consumers' Association attended and made speeches.……     

Optimum-Simulation von Ernteprozessen

Zusammenfassung Bei der Gestaltung von Ernteprozessen — beispielsweise des Prozesses Mähdrusch, Körnertransport und -abnahme — als transportverbundene Fließarbeitsverfahren mit mindestens zwei verschiedenen Arbeitsmitteln gibt es einen großen Optimierungsspielraum. Solche Prozesse sind mehrstufige Bedienungsprozesse mit gemischter Anordnung der Bedienungseinrichtungen. Außerdem besitzen sie stark ausgeprägte räumliche Aspekte. Es wird vor allem gezeigt, welche Merkmale solcher Prozesse in Simulationsmodellen abgebildet sein müssen, welche Zielgrößen in Abhängigkeit von welchen Einflußgrößen unter Berücksichtigung welcher Prozeßbedingungen ermittelt werden sollten und wie der Bewertungsprozeß zur Ermittlung der gewünschten Informationen gestaltet werden muß.     

A study of centrifugal cast high boron high speed steel

In the present study a high‐boron high speed steel (HSS) roll material was designed. Many expensive alloy elements have been substituted by cheap boron alloy, and high‐boron high speed steel roll has been manufactured by centrifugal casting method. The microstructures, mechanical properties and wear resistance of centrifugal casting high‐boron high speed steel roll have been investigated by optical microscopy (OM), scanning electron microscopy (SEM), and X‐ray diffraction (XRD) analysis, hardness test, impact test and wear test. The results indicated that the solidification microstructures of high‐boron high speed steel roll consisted of M₂(B,C), (W,Mo)₂(B,C), M₃(B,C), M₂₃(B,C)₆ type borocarbides and martensite, a small amount of retained austenite. Borocarbides were continuously distributed over the grain boundary. After quenching from 1050 °C, local broken network appeared in partial borocarbides, and fine secondary borocarbide precipitated from the matrix. After tempering from 525 °C, the amount of precipitated borocarbide increased significantly. After heat treatment, the hardness of high‐boron high speed steel roll excelled 60 HRC, and its impact toughness excelled 8.0 J/cm². The single groove steel rolling amount of high‐boron high speed steel rolls increases by 500% than that of bainite cast iron roll, when the rolls are used in K₁ mill housing of bar mill.     

Certification Becomes Important for the I Quality; and Safety Supervision of the Chinese Liquor Sector

The end of 2007, over 200 unit products of more than 80 Chinese firms have passed the quality grade certification for liquor products. These products involve distilled spirits, beer, wine, yellow wine, fruit syrup wine and others, and cover over 80% of the national top-branded liquor products.……     

Deposition and Coating Properties on CVD Tungsten

Surface characterization and microstructure studies are performed on chemical vapor deposited (CVD) tungsten coating. There is about 2 μm thickness diffusion layer of tungsten in the molybdenum substrate. The thermal shock test shows tungsten coating has good adhesion with molybdenum substrate, but the elements of oxygen and carbon in the tungsten coating have the bad affection to the adhesion. The result of high-temperature diffusion experiment is the diffusion rate from molybdenum substrate to tungsten coating is faster.