串联感应加热电源相角保护

数字感应加热电源在工业中一般采用串联负载与PFM调功方式。串联负载谐振与PFM调功方式要求逆变器频率稳定工作在感性区,但在实际工作过程中逆变器频率可能会由感性区越过谐振点滑入容性区,引起逆变器发生"炸管"现象。为了防止"炸管"现象的发生,在谐振点附近的感性区设置限相区,当频率进入限相区经PI处理使其稳定工作在感性区达到保护逆变器的目的。通过DSP实验平台测试,限相区的设置可以很好的保护逆变器使其稳定工作在感性区。     

关于Φ180限动连轧管机芯棒使用寿命的影响因素分析

从限动连轧工艺、芯棒温度、润滑质量及芯棒加工、镀铬质量等方面分析了限动连轧机组芯棒使用寿命的影响因素,提出了提高限动连轧机组芯棒使用寿命的措施。     

影响回转窑煅烧效果的因素分析

影响回转窑煅烧效果有多种因素，其中有些是不可控因素，有些是可控因素。不可控因素是指工艺线设备的先天性因素，如窑系统各组成部分，回转窑、预热器、分解炉等的设计参数，设备性能的不可变参数等，这些参数设计是否合理，设备选型和配置是否合理，有待系统运转后加以肯定，有缺陷的参数和设备设施只有通过技术改造加以完善和改进。     

公式分层的谓词模态逻辑

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

ANSYS Workbench在船舶舱段有限元分析中的应用

正本文使用ANSYS Workbench对某油船舱段进行了有限元分析,并介绍了变载荷的施加方法,包括使用表格、函数和External Data等对复杂变载荷进行计算和施加。船舶舱段有限元分析中牵涉到许多变载荷,比如静水压力、油舱内静压力和波浪力等。这些载荷大都以压强(Pressure)的方式出现。对于沿坐标方向线性变化的变载荷,可以直接在静力分析(Static Structural)中采用Tabular和Function两种方式施加,对于牵涉到多个坐标变量的复杂可变载荷,则可以采用External Data这个外部工具导入。本文以一油船舱段为例介绍变载荷的施加方法。     

基于可变影响空间的多目标进化算法的解集均匀性评价方法

解集的均匀性评价是多目标进化算法中性能评价的要素之一.文中结合面向个体和面向空间的思想,提出可变影响空间的概念,并基于此提出一种解集均匀性评价方法——基于可变影响空间的多目标进化算法的解集均匀性评价方法(VISUM).该方法通过分析个体在可变影响空间内的相对均匀程度,能准确反映解集的分布均匀性.实验结果证明文中方法的可行性和有效性.     

基于参数可变遗传算法的炮兵通信网络覆盖控制优化

针对节点高密度部署的炮兵通信网络中优化工作节点集的选取问题,提出一种基于参数可变遗传算法的覆盖控制优化方法。设计了密度检测机制优化初始种群,并设计了即考虑到进化代数对算法影响,又考虑到每代中不同个体适应度对算法作用的自适应交叉概率和变异概率。仿真实验及分析表明,该优化方法快速有效地实现了工作节点数目少、节点集覆盖率高的工作节点集的选取,可有效地降低能耗,延长网络生存时间。     

IP子网划分与可变长子网掩码的探讨

在网络规划中,良好的IP地址方案大大提高IP地址利用率,易于管理网络。当前利用划分子网来节约IP地址是非常有效的,掌握可变长子网掩码技术是划分子网的有效手段。该文根据实例对IP子网和可变长子网掩码进一步探讨。     

使用控制模型中可变属性的值域安全分析

属性的可变性是使用控制模型的一个重要特征.可变属性的更新会影响或改变系统的状态和使用决策,而可变属性值域是其变化形式最直接的表现.基于此,从可变属性的值域方面分析探讨其安全问题,包括它的有限性、可被检测性及其变化粒度;同时提出相应的一些定理或规则,从而初步解决可变属性的值域安全问题.     

电容器引线焊接机冲压切边凸轮的三维精确造型

根据电容器引线焊接机冲压切边模具中的凸轮设计要求,利用Pro/ENGINEER软件找出凸轮随动件滚子中心的轨迹,通过可变截面扫描间接得到凸轮的三维精确模型。为类似零件的建模提供一种行之有效的方法,并为后续的仿真分析和制造加工提供一种依据。