单元串联式多电平高压变频器的起源、现状和展望

本文对单元串联式多电平高压变频器的起源和现状进行了总结,同时从无速度传感器矢量控制、大容量化、冗余设计等方面对该技术未来的发展趋势进行了展望。     

SCB火工品的研究与发展

文章评述了半导体桥火工品问世以来的研究成果与发展趋势。主要内容有半导体桥作用机理、半导体桥的结构与封装、半导体桥火工品的特点、半导体桥火工品的应用、半导体桥火工品的研究和发展趋势。     

具有阻力特性材料的σ_f－σ关系及一种新的阻力曲线测定方法

通过对相变增韧陶瓷及一种可切削玻璃－陶瓷动态疲劳（恒应力速率）试验中高应力速率区断裂应力下降现象的理论分析，发现这种现象与材料的阻力特性（Ｒ－ｃｕｒｖｅ）密切相关。确立的σ_ｆ－σ理论关系能够很好地描述整个应力速率区间内的动态疲劳试验结果。高应力速率区σ_ｆ－σ在双对数坐标下为负斜率直线，直线斜率为（ｍ为阻力曲线ＫＲ＝ｋ（△ａ）~ｍ的指数），断裂主要由材料阻力行为控制；低应力速率区，σ_ｆ－σ在双对数坐标下为正斜率直线，直线斜率为　（ｎ为应力腐蚀指数），断裂主要由材料应力腐蚀行为控制。建立了测定材料阻力特性的一种新方法，分别用这种方法及压痕／弯曲方法对一种可切削玻璃－陶瓷的阻力特性进行了实验测定，两种方法所得结果有很好的一致性。     

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.     

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.     

新型实用布线算法──L─M算法

本文提出新型布线算法，集李氏迷宫法与线搜索法的长处为一体，以饱和带法进行动态排序，以线搜索法确定借孔位置，然后用李氏法进行单层布线，获得最佳路径，从而达到线型好，布通率高的效果。