A fully soft-switched extended-period quasi-resonantpower-factor-correction circuit

This paper presents the design criteria, procedure, and implementation of a soft-switched power-factor-correction (PFC) circuit based on the extended-period quasi-resonant (EPQR) principles. All power electronic devices including switches and diodes in the circuit are fully soft switched. The design method is demonstrated in a prototype circuit. The operating principles are confirmed with computer simulation and experimental results. A comparison of the EP-QR operation and zero-voltage-transition (ZVT) pulse-width modulation (PWM) method     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

参数化图形库技术

本文论述了参数化图形库的实现原理，建立了以尺寸叠加算法为基础的参数化图形库开发工具，利用这种开发工具建立的图形数据可以由数据库管理，方便有效。     

小型工业炉窑燃烧过程的智能控制

本文论述了对小型工业炉窑燃烧过程进行智能控制的一种设计思想。该控制器用智能PID调节器控制炉温作为主控回路,用自寻最优控制空燃比作为副控回路。是一种既满足燃烧过程多目标要求,又造价低廉的智能控制器。     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

麻醉剂与二氧化碳的红外线监测系统：控制与信息处理

本文阐述了麻醉剂(氨氟醚或异氟醚)与二氧化碳浓度监测系统的微机控制与信息处理子系统.该子系统完成传感器输出电信号与气体分压强的转换、误差的自动校正、非正常情况的报警、吸入与呼出麻醉剂分压及二氧化碳呼气末分压的自动搜索、呼吸频率的检测等任务,使整个监测系统的功能扩展,性能明显提高.     

烃源岩热解油的轻烃单体和正构烷烃分子碳同位素特征

采用最新引进的国际八十年代后期开发的GC-deltas气体同位素质谱仪,对几类典型烃源岩的热模拟液态烃产物-热解油进行了GC/C/MS在线(Online)碳同位素分析,获得了有关轻烃单体、正构烷烃及姥鲛烷、植烷分子的碳同位素组成数据.分析资料表明,轻烃单体、正构烷烃及姥鲛烷、植烷的碳同位素特征及分布模式能够有效地反映烃源岩的特征-母质类型、沉积环境及热成熟度等.