bodied in sever

d jointly by the national laws,folk customs and morality,though the ways of regulation can vary in different countries or historical periods.laws about sex, sex laws, Foucault0贵州大学学报(社会科学版)Journal of Guizhou Uni     

AOC M92

来自显示器厂商的电脑产品：M92是以显示器产品见长的AOC所推出的第一款台式电脑产品,它既具有一体电脑普遍拥有的小型化机身等特点,还具有时尚个性的“变脸下巴”设计,这令它在外观上增色不少。     

Correction to `A4 logic-based approach to reverse engineering toolsproduction (Dec 92 1053-1064)

A typographic error in rule 10 in the above-titled paper (see ibid., vol.18, no.12, p.1053-64, Dec. 1992), is corrected     

RE 05: Engineering Successful Products

At the Requirements Engineering conference series, researchers and practitioners exchange experiences, discuss problems, and propose solutions. The theme of RE 05--Engineering Successful Products--reflects the understanding that high-quality requirements are at the heart of successful products. To be successful, developers must understand the goals and needs of users, customers, and other stakeholders and must build products that address these goals.     

大白菜核复等位基因向可育品系92—11的转育

根据复等位基因遗传假说,利用现有大白菜雄性不育系,将核不育复等位基因向可育品系92-11转育获得了成功,得到了具有92-11遗传基础的新甲型两用系、临时保持系和雄性不育系。     

基于标准探测器的FY-2(05)星扫描辐射计可见通道外场定标

为了对FY-2号05星扫描辐射计可见光通道进行发射前外场辐射定标,在采用了传统的辐亮度定标方法的同时,提出了一种新型的独立于扫描辐射计可见光通道光谱响应函数的基于标准探测器的反射比定标法(Detector Based Reflectance Calibration)。该方法通过筛选波长得出在一定的精度范围内FY-2号可见光通道的漫射板反射辐亮度与漫射板的某一单波长反射辐亮度成正比,从而可以用8通道高精度辐亮度标准探测器中对应波段的探测器的响应替代FY-2号05星扫描辐射计宽波段响应直接求出定标系数。传统辐亮度定标方法结果的不确定度为6.0%～6.4%,而利用基于标准探测器的反射比定标法定标结果的不确定度达到5.4%。实验结果表明基于标准探测器的反射比定标法由于采用了直接由高精度低温绝对辐射计传递的标准探测器,与传统的基于辐射源传递相比其测量精度得到有效提高,并且受现场大气条件的影响小。     

`Authentication' revisited (correction and addendum to`Authentication' for distributed systems, Jan. 92, 39-52)

In the article by T.Y.C. Woo and S.S. Lam (see ibid., vol.25, no.1, p.39-52, 1992), the peer-peer authentication protocol needs augmentation, this augmentation is presented and discussed briefly     

从SOL-92到SOL:1999

SQL plays a very important rote in the data base area,so its standardization attracts the attention of data base cooperation and the related standard organizations. Seven years later form the emer gence of SQL-92,the SQL's new version SQLt999 at last comes up at 1999. This paper describes the main contents of SQL 1999,especially the changes to SQL-92,including the new added data types,com paring predicates ,semantics ,security,trigger mechanism and other object relational characteristics,such as user defiaed structured type,stored procedure,function,method, typed relation and rets, fence type. Some under developing parts and the future works are also described.     

基于SQL-92进行频集发现

关联规则挖掘是数据挖掘的主要分枝,频集发现是关联规则挖掘的重要阶段,该文主要讨论利用SQL-92进行频集发现的相关问题,并给出一种实现算法。     

A Mechanization of Unity in PC-NQTHM-92

This paper presents in detail how the Unity logic for reasoning about concurrent programs was formalized within the mechanized theorem prover PC-NQTHM-92. Most of Unitys proof rules were formalized in the unquantified logic of NQTHM, and the proof system has been used to mechanically verify several concurrent programs. The mechanized proof system is sound by construction, since Unitys proof rules were proved about an operational semantics of concurrency, also presented here. Skolem functions are used instead of quantifiers, and the paper describes how proof rules containing Skolem function are used instead of Unitys quantified proof rules when verifying concurrent programs. This formalization includes several natural extensions to Unity, including nondeterministic statements. The paper concludes with a discussion of the cost and value of mechanization.     

ITSC 05: current issues and research trends

The IEEE held its eighth annual International Conference on Intelligent Transportation Systems 05 in Vienna, Austria. This was ITSC's first time in Europe and its first time as the annual conference of the IEEE Intelligent Transportation Systems Society. The conference featured over 200 papers and hosted approximately 300 attendees, representing 35 countries. Furthermore, it exemplified the extraordinary progress ITS theory and applications have made over the last decade toward improving transportation systems' safety, efficiency, and quality. In this paper, we review the topics covered at ITSC 05, providing a broad overview of the field's current research programs and projects.