基于变频恒压供水系统的复合控制

城市供水系统具有时滞和非线性特性等特点,仅利用常规PID控制不能使供水系统的各项性能指标很好的满足要求.针对这一实际情况,在双储供水系统中设计了一种模糊技术与常规PID控制算法相结合的模糊PID复合控制系统,该系统能够减少能量浪费,提高水压稳定性.实践运行表明,该系统运行状况良好,性能优越,验证了其有效性和可靠性.     

家庭安全报警及湿度控制系统设计

文章以自行设计的具有红外探测、燃气泄露探测、火警探测等功能的家庭安全报警及湿度控制设计系统为例,重点介绍PLC系统程序设计及特殊功能模块的应用开发。     

CAD数据文件加密技术的剖析

考察了一个小型CAD系统,对其数据文件进行了剖析,导出其数据文件的详细构造,并依据其文件结构编写了一个数据解密的样例程序供参考。     

稻壳气力输送控制系统设计

针对稻壳自动入仓、出仓气力输送系统的基本组成和工艺过程,在研究输送系统控制要求的基础上,设计了基于触摸屏和PLC的自动控制系统。控制系统采用S7-200 SMART CPU SR60 PLC作为主机,利用成组分配法,合理分配了PLC的I/O端口。控制闸门开度时,利用设置闸门打开总时间百分比的方法,实现了在闸门开度范围内任意设置开度,完成了触摸屏和PLC程序的组态。控制系统实现了全部控制要求,对类似控制系统的设计有一定的借鉴意义。     

序列折半划分问题的形式化推导

形式化推导是在程序正确性证明理论下所进行的程序开发,最终得到完全正确的算法程序。针对序列折半划分问题,现有的形式化推导方法将推导与证明交替进行,推导过程繁琐且大多无法直接获得可执行程序。为解决上述问题,提出了一种新的序列折半划分问题的形式化推导方法。该方法基于分划递推的核心思想,应用规约变换技术对问题规约进行变换并严格保证一致性,使得在推导过程中无需交替证明,进而导出递推关系式并得到高可靠性抽象算法程序Apla,最终通过转换工具自动生成可执行程序。实现了从程序规约到具体可执行程序的完整程序求精过程。以2个序列算法为例,验证了该方法的有效性和可行性,对相关问题的形式化推导具有指导意义。     

项目导向法教学与高职软件专业学生职业能力培养研究

项目导向法教学是将传统的学科体系中的知识内容转化为若干个教学项目,以培养关键能力为核心,围绕着项目组织和展开教学,使学生直接参与项目全过程的一种教学方法。项目导向法教学特别适合高职软件专业的课程,使学生掌握理论知识的同时提高了程序设计和开发能力,有利于学生职业能力的提高。本文以Delphi程序设计课程为例阐述了项目导向法教学的实施过程以及项目评价。     

A Novel Stackelberg-Game-Based Energy Storage Sharing Scheme Under Demand Charge

Demand response(DR) using shared energy storage systems(ESSs) is an appealing method to save electricity bills for users under demand charge and time-of-use(TOU) price. A novel Stackelberg-game-based ESS sharing scheme is proposed and analyzed in this study. In this scheme, the interactions between selfish users and an operator are characterized as a Stackelberg game. Operator holds a large-scale ESS that is shared among users in the form of energy transactions. It sells energy to users and sets...     

航天嵌入式软件整数溢出的形式化验证方法

整数溢出引起的软件系统安全性问题屡见不鲜,已有的模型检测技术由于存在状态空间爆炸、不能有效支持中断驱动型程序检测等缺点而少有工程应用.结合真实案例,对航天嵌入式软件整数溢出问题的分布和特征进行了系统性的分析.在有界模型检测技术的基础上,结合整数溢出特征,提出了基于整数溢出变量依赖的程序模型约简技术;同时,针对中断驱动型...     

精确的程序静态分析

程序的静态分析是程序语言和编译领域的一个重要研究方向,已经被研究了很多年.近年来,它也引起形式方法和软件工程领域的重视,被用于程序测试和正确性验证.文中从程序的语法特征、所关心的数据类型和程序性质等方面比较了一些静态分析技术.着重描述基于路径的分析方法,特别是符号执行技术,讨论了程序路径可行性分析问题及其分类、复杂度.针对程序分析精度的一种量化指标,说明了其计算方法.     

机载预警雷达检飞航路设计技术研究

全方位探测能力是机载预警雷达的重要性能,受载机升空和飞行等因素影响,雷达在不同方位上探测能力是不尽相同的。因此,在检飞试验中,需要安排目标机以多种典型进入角度相对载机飞行,来考核雷达对典型方位目标的探测能力,进而评估机载预警雷达的全方位探测能力。根据此要求,提出检飞航线的等φ飞行设计方法,设计了载机与配试目标机的典型检飞航线,满足了对机载预警雷达方位探测能力考核的需求,对机载相控阵预警雷达检飞工作具有指导价值。