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.     

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.     

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

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

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

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

充分灌与调亏灌溉条件下桃树滴灌的耗水量研究

本文研究了充分灌与调亏灌溉条件下桃树滴灌的耗水量。在田间设置有两个处理，其一是在整个生育期以蒸发量的80%进行充分灌溉；其二是在果实生长缓慢期以蒸发量的20%进行亏缺灌溉，而在其它季节以蒸发量的80%进行充分灌溉。利用石膏块土壤水分传感器和中子仪分别测量了根区土壤水势和土壤含水量的变化，并实测了果实生长量、枝条生长量和产量。利用水量平衡法得出了在上述两种滴灌条件下桃树不同生育期的日均耗水量与蒸发皿系数。与充分灌比较，调亏灌溉对产量没有影响，灌水量减少了32%，并有效抑制了枝条生长。     

机电排灌工程管理之我见

机电排灌工程是丘陵、滨湖地区的主要灌溉设施，必须建立适应市场经济的管理新机制，确保工程良性运行和巩固发展，满足不断发展的工农业生产需要。     

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

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