安全性和正确性折中的软件系统开发方法

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略，来解决商业软件长期以来带有“bug”和安全性问题．对功能正确性和安全性的折中方案，亦有详细的分析，最后还提出将软件开发的折中技术融入软件工程以取得实际的效果．     

延迟微分反馈法控制混沌

利用可测变量的微商进行反馈,提出了用延迟微分反馈控制(DDFC:DelayedDifferentialFeedbackControl)实现混沌控制的方法。理论证明了微分反馈控制和DDFC控制Lü系统3个平衡点的稳定可控性。在Matlab进行了数值仿真,结果表明,通过调节延迟时间τ和控制增益k,DDFC系统能自动寻找和稳定不同的不稳定周期轨道(UPO:UnstablePeriodicOrbit),实现混沌控制。     

过程强化的若干新进展

本文从现代过程工业发展的需求出发，介绍了过程强化的历史和现状，分析了近年来过程强化的特点。本文还结合实例对化工过程强化的作用和存在的问题等进行了讨论。     

建材检测微机控制系统中特征值的提取算法

简要介绍了建材检测微机控制系统的结构及控制过程.详细介绍了建材检测微机控制系统压力控制曲线中去干扰及提取压力最大值的算法的设计及实现过程.根据干扰曲线突变的特点,采用了固定斜率阈值法和连续可调斜率阈值法去除干扰.分析了两种算法的不同特点及适用性.给出了该算法在VisualC 6 0集成开发环境下的流程图及应用结果.该算法已应用到建材检测过程中,取得了良好的效果.     

开关型磁阻电动机的振动分析

针对SR电动机存在的振动和噪声问题,分别应用实验模态分析法和计算模态分析法研究了SR电动机的动力特性,得到了SR电动机定子的固有频率和主振型,计算值与实验测量值吻合较好,所得数据可为制定抑制SR电动机的振动和噪声方案提供参考.     

仿真模型中复杂三维实体集的选择与交互技术研究

鉴于目前商用图形软件包对于复杂模型中三维实体集显示与选择的局限性，本文提出了一种新的判断点与面域从属关系的方法，此方法借鉴计算机图形学中扫描转换填充算法的射线法，并在此基础上对射线法进行扩充和完善，文章同时对三维复杂实体群的交互手段和技术进行了研究，在解决实际问题中取得了良好的效果。     

火电厂炉管温度在线实时监测系统的应用研究

为保证电力设备安全经济运行 ,建立开放的现场数据采集、分析和组态的实时监控系统 ,并将其传送至管理信息系统 (MIS) ,可获得生产现场的信息 ,使得设备检修科学化。该文论述了一种基于ADO技术的炉管温度实时监测与分析系统 ,该系统由运行监测、监测报表等组成 ,并通过组态的使用 ,使实际运行具有了灵活性和通用性     

一类幂数列的单调性

关于一类幂数列的单调性已经有了一些特殊结果 ,而该文以导数为工具 ,通过对幂指型函数图象特征的讨论 ,构造出一个特殊的数列 { bk} ,解决了该类幂数列的单调性 ,得到了 2个有趣的结果。当 l 相似文献   

(β,α)-模糊子群

通过应用模糊点与模糊集之间的邻属关系，给出了(^-β,^-α）-模糊子群的定义。并得到了一种称之为(^-∈^，-∈∨^-q)模糊子群的新模糊子群。     

谈DBASEⅢ数组变量的设计与应用

本文提出混合类型数组的概念,将DBASEⅢ管理系统数据库转换成二维数组变量,解决了在DBASEⅢ中没有数组变量的缺陷。为通用管理程序的设计、不同类型数据的处理以及提高运行速度等,都带来很多方便。