Equitone Predicate Algebras and Their Applications

Predicates that preserve their values on a larger (extended) body of data are called equitone. An algebra of such predicates is constructed, a system of its generators is specified, and a complete system of transformations of identities is defined. The results obtained are used for construction and investigation of complete classes of compositions of various types and levels of abstractions that are used in logics of partial predicates.     

声表面波32位MSK抽头延迟线

介绍了扩频通信有效的ＭＳＫ信号特点及声表面波ＭＳＫ抽头延迟线构成方式，给出了声表面波３２位ＭＳＫ抽头延迟线的实验结果。     

Partial scan design and test sequence generation based on reduced scan shift method

This paper presents a partial scan algorithm, calledPARES (PartialscanAlgorithm based onREduced Scan shift), for designing partial scan circuits. PARES is based on the reduced scan shift that has been previously proposed for generating short test sequences for full scan circuits. In the reduced scan shift method, one determines proch FFs must be controlled and observed for each test vector. According to the results of similar analysis, PARES selects these FFs that must be controlled or observed for a large number of test vectors, as scanned FFs. Short test sequences are generated by reducing scan shift operations using a static test compaction method. To minimize the loss of fault coverage, the order of test vectors is so determined that the unscanned FFs are in the state required by the next test vector. If there are any faults undetected yet by a test sequence derived from the test vectors, then PARES uses a sequential circuit test generator to detect the faults. Experimental results for ISCAS'89 benchmark circuits are given to demonstrate the effectiveness of PARES.     

Selective partial oxidation of light paraffins with hydrogen peroxide on thin-layer supported Nafion-H catalysts

Thin-layer carbon supported Nafion-H catalysts were found to be active and highly selective (S>98%) for the partial oxidation of C₁-C₃ alkanes, in a three phase catalytic membrane reactor (3PCMR), under mild conditions and in the presence of H₂O₂. The influences of the catalyst teflon loading and H₂O₂ concentration on the reaction rate have been evaluated. A reaction pathway, based on the electrophilic hydroxylation of the C-H bond of alkanes with protonated hydrogen peroxide (H₃O ₂ ⁺ ), is discussed.     

多模光纤出射的光通过透镜后的场分布

用部分相干光理论,研究了单模激光入射的多模光纤出射的光经透镜后,在菲涅尔衍射区内场的分布。     

VSP旅行时反演应用于VSP—CDP转换

非零偏移距垂直地震剖面(VSP)模型的制作是非零偏移距VSP资料处理的关键环节之一,是VSP-CDP转换的基础。本文试用旅行时反演修正非零偏移距VSP的模型,以加速模型的制作过程,提高非零偏移距VSP的处理速度。用合成VSP资料试算表明:旅行时的随机误差对模型的制作影响不大;只要能较准确地确定界面位置,用旅行时反演修改制作非零偏移VSP模型是可行的。本文还探讨了初始模型的不同选择方法,并将旅行时反演用于实际VSP资料的处理。结果表明,大大地节省了非零偏移距VSP资料的处理时间。     

Mg-Li-Al合金近液相线制浆及部分重熔

采用近液相线铸造方法制备了Mg—5％Li—3％A1合金的半固态浆料。通过对该合金近液相线铸造与常规铸造组织进行比较，以及在不同静置时间、不同冷却速率下对其铸造组织的影响，较详细地分析了近液相线铸造组织的变化过程。试验结果表明，在Mg—Li合金熔炼中，添加2％Ca可实现阻燃，但效果不如对一般镁合金；与常规铸造相比，近液相线铸造可获得均匀、细小枝晶的组织结构；适当静置或提高冷却速率有利于组织的细化和均匀化；在适当的部分重熔工艺条件下，坯料组织可获得较理想的触变组织。     

大同煤矿集团公司供水处局域网的开发和应用

介绍了大同煤矿集团公司供水处处级局域网的设计原则及开发过程，对外级局域网1年来取得的管理效果、经济效益、社会效益进行了简明的阐述。     

Closed-loop automatic tuning of PID controller for nonlinear systems

In this paper, a robust control system is first proposed which is suitable for the control of a class of nonlinear systems. A parallel connection of a relay to a proportional integral derivative (PID) controller collectively forms the robust controller. The relay ensures robust control by providing a high feedback gain, but it also induces a control chattering phenomenon. Instead of viewing chattering as an undesirable yet inevitable feature, the chattering signals are used as natural excitation signals for identifying an equivalent PID controller using the recursive least squares algorithm. No other explicit input signal is required. Analysis is provided on the stability properties of the control scheme. Simulation results for the level control of fluid in a spherical tank using the scheme are presented.     

基于最小截面差的相位展开

相位展开 (PhU)问题从理论上讲是一个不适定问题。根据被测物理量的整体连续性 ,提出了一种基于最小截面差的相位展开方法。理论分析和对实验条纹图的处理结果表明 ,该方法特别适合于具有相位间断大于π ,条纹欠采样及随机噪声等条纹图的相位展开。同支切 (Branchcuts)法相比 ,该方法具有算法简单、计算量小且可靠度高的特点 ,具有一定的实用性。