炼钢中间包塞棒液压伺服比例控制系统的应用

济钢第三炼钢厂中间包塞棒液压伺服比例控制系统采用伺服比例阀和伺服缸等,系统设计完善,功能齐全,可实现塞棒位置的闭环控制,保证了结晶器中钢水液面的稳定。     

澳大利亚进口焦煤煤质特性与结焦特性研究

通过质量检测、煤的岩相分析和20kg试验焦炉炼焦试验，对澳大利亚两种进口焦煤诺维茨煤和峰景煤的煤质和结焦特性进行了研究，两种进口焦煤低灰、低硫，为单一煤层煤，煤质稳定，配煤炼焦有利于焦炭质量稳定。峰景煤和国内柳湾煤的结焦性能相当，诺维茨煤的结焦性能与国内恒山煤和祁县煤的结焦性能接近。     

基于FusionWidgets Gauges开发高职院校人才培养工作状态数据仪表盘

提出使用FusionWidgets Gauges仪表盘套件展示高职院校人才培养工作状态数据量化指标的仪表盘方法,给出了实现原理,文末给出实现实例。     

区位码/国标码输入法技术初探

计算机技术领域中,使用键盘输入汉字的方法实质是区位码/国标码输入法。本文介绍了区位码/国标码输入法的现实意义,IME的组成结构以及区位码/国标码输入法的发展动态。主要说明区位码/国标码输入法在中文键盘输入法的重要地位,并简单分析了中文键盘输入法编辑器的组成结构等技术。     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

现代汉语常用动词释义对比研究——以《现代汉语词典》(第六版)和《重編國語辭典修訂本》为例

动词在语言中的地位十分重要,而汉语更是一种动词性语言。了解动词的释义,是研究动词的一个重要途径。该文采用《现代汉语词典》(第六版)和《重編國語辭典修訂本》为对比研究的材料,参考新汉语水平考试大纲,选取三者共有的动词词条进行研究,着重对比两本词典对动词的释义,找出普通话和台湾地区所用标准语两者在动词方面的差异,减少两岸交流中因词义不同所产生的误会,更好地促进两岸交流。     

乳胶涂料中填料粒径测定与分散剂的选择

介绍了重力沉降法和容量沉降法两种测定乳胶涂料中填料粒径的方法。通过比较粉体粒径结果显示：沉降法比激光法更形象直观，更能代表体系粒径真实情况。以滑石粉、重钙、轻钙粉体为基准，采用不同用量、不同类型的分散剂的容量沉降法进行比较得出：用容量沉降法能定量地对分散剂性能做出评价。     

Monotonic and nonmonotonic gentzen deduction systems for L3-valued propositional logic

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L₃-valued propositional logic, a multisequent is a triple Δ|Θ|Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a comultisequent is a triple Δ : Θ : Γ, which is valid if there is an assignment v in which each formula in Δ has truth-value≠t, each formula in Θ has truth-value≠m, and each formula in Γ has truth-value≠f. Correspondingly there is a sound and complete Gentzen deduction system G⁻ for co-multisequents which is nonmonotonic.     

INVESTIGATION ON CRYSTALLIZATION KINETICS OF Pd-Cu-Si GLASS

The crystallization kinetics of Pd-Cu-Si glass was studied by means of diferential scanningcalorimetry-Ⅱ.According to Kissinger peak shift meth(?)d and Arrhenius equation,theapparent activation energy was calculated.The crystallization kinetics follows Johnson-Mehl-Avrami equation with n=3.0 within 0.15相似文献   

基于负载电压控制的可控串补技术研究

可控串联补偿技术（TCSC）能很好的提高电压质量和电力系统的稳定性。本文提出了一种以负载电压作为控制变量,根据其与目标电压的差值,计算晶闸管触发脉冲的触发角,从而控制无功串补容量的控制方法,并在Matlab／Simulink环境中设计了仿真系统。结果表明该控制方法能很好的提高负载电压,改善系统的暂态稳定性,对无功串补控制技术有一定的适用性。