定性演算的扩充

在已有定性演算的类的划分上进行了扩充并定义了新的定性演算,而且进一步讨论了定性运算的性质.     

加入WTO后庆加快信息资源的建设

文章就我国加入WTO后信息资源建设方面的必要性、紧迫性、实用性、目标等方面做了阐述。     

三峡库区移民区曲溪小流域能源利用分析

通过分析小流域的能源资源现状、不同时期能源需求变化对生态环境的影响、秸秆利用对坡耕地生产力的影响、经济发展对生物质能需求影响、节能及替代能源对生物质能需求的影响等,提出了解决能源问题,促进生态环境持续改善的对策.     

A propos d'antibiotiques insolubles

Summary The authors show the antibiotic activity of water-insoluble salts of hydrosoluble antibiotics in the case of penicillin G (salts of iron, copper, silver, gold, and uranium) and streptomycin (oleate).     

The serini reaction

Zusammenfassung Der Mechanismus der Serini-Reaktion wird kurz erörtert und ein 17, 20-Oxyd als Zwischenprodukt vorgeschlagen. Das stereochemische Ergebnis der Reaktion soll von zwei Faktoren abhängig sein, und zwar: 1. von der Geometrie des « transition state » und 2. von der Konfiguration des Oxydrings. Ausgehend von diesen Überlegungen, kann vorausgesagt werden, daßReichsteins Substanz 0-Diacetat durch die Serini-Reaktion in ein 17-Iso-20-keton und nicht in ein 17-Normal-20-keton umgewandelt werden soll. Tatsächlich ist das 17-Isoallopregnanol-(3)-on-20 als einziges Produkt experimentell aufgefunden worden.     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

铝厂污水零排放研究

本文从水质方面分析了西南某铝厂污水零排放的可行性。为了实现污水零排放,对该铝厂东片区、氧化铝厂、热电厂三大污水处理系统进行改进。从现场试验监测及统计分析结果表明,改进后的处理系统处理的水质满足再生水水质指标要求,该铝厂污水零排放的实现创造了极大的经济和社会效益。     

Effects of self evaluation on late ERP components

High-density event-related potentials (ERPs) were measured when participants were required to evaluate oneself, significant others (father and mother) and the most familiar public figures (Lei Feng and Jiang Qing) based on trait adjectives. There were three referential conditions and a non-referential control condition including self-evaluation (SE), significant other-evaluation (SOE), general other-evaluation (GOE), and semantic positivity-evaluation (SPE). The behavioral data showed that RTs to GOE condition were longer than the other three conditions. Scalp ERP analysis revealed that (1) SPE condition elicited a more negative N2 than SE condition, which was associated with inhibition of responses; (2) SE condition elicited a more positive P300 than SPE condition, which was an index of attention to self-relevant stimuli; (3) there was no difference on the amplitude and latency of P300 between SE and SOE conditions, which reflected that the concept of “self” included intimate others (e.g., father and mother) in Chinese culture.