一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

基于MCGS的电动机性能测试系统研究

采用PC机做上位机,并使用MCGS组态软件生成测试界面,结合数字式转矩传感器及光电隔离脉冲计数／定时接口卡构成电动机性能测试系统。该系统可完成电动机的转速、转矩、轴输出功率等参数的显示及实时、历史曲线绘制,实时数据及历史数据的显示、查询、打印。     

土木工程词典

本词典非常全面地涉及了土木工程中的各种术语，是公共建设工程史上的一座里程碑。很早，人类就开始想办法驱除自然界中的各种障碍：一根树干被横跨在河的两边，人们就试图改善它的结构，建造桥梁，以便行动更迅速；轮子的发明．不但满足了人类的征服欲，还增加了运输的方便与舒适性；随着人类开始建造木制和石制建筑的需求，出现了钢筋混凝土；工业革命和钢铁工业的迅速发展。铁路的需要和公路网的改进，使高架桥和隧道等大型横跨工程随之产生；     

文学思潮视野下的现象——“五·四”时期问题小说初探

从文学思潮的概念出发,从分析文学思潮的实践形态入手,以“五·四”时期出现的“问题小说”这一具体现象为例,分析其理论主张、整体风格及相应作家的创作实践,从而由这些表面的“群”的现象寻找以现实主义创作方法为重要组成部分的“五·四”启蒙主义文学思潮的特性。     

仿射Weyl群族afs（W）s∈R的结构

本文给出有限维单李代数g( )的s-仿射Weyl群afs(W) (s∈R)的定义 ,讨论了这类变换群的结构性质 .并且证明了以下结论 : 对每个s∈R ,s-仿射Weyl群afs(W)同构于仿射型Kac -Moody代数g(A)的Weyl群W ; 对s∈Z ,afs(W)可由af1 (W)生成 . 对于每个λ∈η s 设Wλ 是λ在W中的稳定子群 ,则afs(Wλ)=(Wafs) λ, λ是λ在 η 上的投影     

New structure of Kalman filter for radar networking

1.INTRODUCTION Inpractice,radarsoftenoperateasynchronouslyandpro videdataatdifferentrateswithdifferentcommunication timedelays,thustheproblemofdatafusioninradarnet workingsystemisasynchronousinsteadofsynchronous. However,theresearchinthefieldofdatafusionfocuses onthesynchronousproblems,andthemeasurementsof differentsensorsarealwayspredictedatthesametimefor updatingKalmanfiltersynchronously.Thisapproachis complicatedforengineering,anditwillreducethedata ratesofthesystem,atthesametimethee…     

单片机仿真实验的探讨与研究

本文介绍了传统的单片机实验方法和利用Proteus（http：／／www．labcenter.co．uk）软件进行单片机仿真实验。包括从元器件的选择、电路的连结、源程序的输入及调试、仿真结果的输出，并比较了各自的特点。     

Thermal performance and reduction kinetic analysis of cold-bonded pellets with CO and H_2 mixtures

Cold-bonded pellets, to which a new type of inorganic binder was applied, were reduced by H2–CO mixtures with different H2/CO molar ratios(1:0, 5:2, 1:1, 2:5, and 0:1) under various temperatures(1023, 1123, 1223, 1323, and 1423 K) in a thermogravimetric analysis apparatus. The effects of gas composition, temperature, and binder ratio on the reduction process were studied, and the microstructure of reduced pellets was observed by scanning electron microscopy–energy-dispersive spectrometry(SEM-EDS). The SEM-EDS images show that binder particles exist in pellets in two forms, and the form that binder particles completely surround ore particles has a more significant hinder effect on the reduction. The reduction equilibrium constant, effective diffusion coefficient, and the reaction rate constant were calculated on the basis of the unreacted core model, and the promotion effect of temperature on reduction was further analyzed. The results show that no sintering phenomenon occurred at low temperatures and that the increasing reaction rate constant and high gas diffusion coefficient could maintain the promotion effect of temperature; however, when the sintering phenomenon occurs at high temperatures, gas diffusion is hindered and the promotion effect is diminished. The contribution of the overall equilibrium constant to the promotion effect depends on the gas composition.     

Heritable and inducible genetic interference by double-stranded RNA encoded by transgenes

Double-stranded RNA interference (RNAi) is an effective method for disrupting expression of specific genes in Caenorhabditis elegans and other organisms. Applications of this reverse-genetics tool, however, are somewhat restricted in nematodes because introduced dsRNA is not stably inherited. Another difficulty is that RNAi disruption of late-acting genes has been generally less consistent than that of embryonically expressed genes, perhaps because the concentration of dsRNA becomes lower as cellular division proceeds or as developmental time advances. In particular, some neuronally expressed genes appear refractory to dsRNA-mediated interference. We sought to extend the applicability of RNAi by in vivo expression of heritable inverted-repeat (IR) genes. We assayed the efficacy of in vivo-driven RNAi in three situations for which heritable, inducible RNAi would be advantageous: (i) production of large numbers of animals deficient for gene activities required for viability or reproduction; (ii) generation of large populations of phenocopy mutants for biochemical analysis; and (iii) effective gene inactivation in the nervous system. We report that heritable IR genes confer potent and specific gene inactivation for each of these applications. We suggest that a similar strategy might be used to test for dsRNA interference effects in higher organisms in which it is feasible to construct transgenic animals, but impossible to directly or transiently introduce high concentrations of dsRNA.     

一种新型的CPU故障检测方法及其应用

本文根据国产新型单路数字新闻传真系统的特点,采用一种新颖而有效的 CPU 故障诊断算法.此方法的故障覆盖率较高,在程序运行后,得到令人满意的效果.