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

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

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

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

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,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相似文献   

一种实时运动控制软件的建模与研究

为满足高速度、高精度的实时运动控制要求,本文针对自主研发的通用多轴运动控制器平台,进行实时运动控制软件的建模和研究.并以绗缝系统应用为实例,使用UML对绗缝实时运动控制软件建模,并设计出该控制软件.通过在绗缝系统中的应用,验证该模型的实用性.     

基于经济的网格资源调度算法研究

网格使构建虚拟组织,在全世界范围内共享资源成为现实.但是,在网格环境下的资源管理和调度是一项相当复杂的工作,这主要是由于资源分布在世界各地,隶属于不同的组织,各个资源拥有者都有不同的使用和访问策略、开销模型、不断变化的负载和可用性.为了满足网格计算环境中资源调度的复杂需要,可以将现实世界中的经济原理和模型应用到网格环境下的任务调度中,并据此提出了几种经济资源调度算法.     

非结构矢量场的特征区域可视化方法

基于特征比对的可视化方法涉及的问题主要包括,如何判断一个矢量场中是否存在另一个矢量场中的一些特定结构,如何评价两个矢量场结构间存在的相似性,如何从诸多矢量场中将这些特定的结构检测,定位并绘制出来.给出了一种基于曲线结构的矢量场特征区域可视化方法,该方法通过构造与曲线结构相关联的柱坐标系,保证了提取特征的平移、旋转和尺度不变性;采用曲线积分的Clifford Fourier变换,获取了曲线结构的频域特征并简化计算;利用多曲线结构匹配和多尺度逼近等方法,实现了区域结构的特征可视化.     

GUI软件测试文档辅助工具的设计与实现

GUI软件的应用越来越广泛的同时,GUI软件的测试任务变得也越来越重,如何减少GUI软件测试文档的编写负担成为一个值得关注的问题。文中介绍了一款自主研发的测试文档辅助工具AutoDoc的设计和实现,AutoDoc通过调用Windows底层的Hook消息处理函数,来监视用户操作及系统响应的各种消息,达到录制的目的。文中着重说明了工具实现过程中的解决方案,结合例子对工具进行实验,实验证明本工具可以有效地提高测试文档编写的效率。