基于层次单元划分的软件模型检测技术研究

通过对近年来软件模型检测领域流行的几种技术进行综述,提出了一种基于层次单元划分,使用引导式搜索方式的软件模型检测方案。本方案分为预处理、单元划分、状态空间搜索三个阶段,其中使用on-the-fly技术提高了搜索性能。实验证明,该方案在解决状态爆炸问题上有较好的效果。     

智能单元（Agent）及其核心技术

本文讨论智能单元的有关问题，就智能单元的定义、含意进行了分析研究；最后介绍智能单元的有关核心技术．     

基于参数优化的多层次单元划分曲面重建

为了提高现有MPU曲面重建的稳定性,提出了一种基于参数优化的MPU曲面重建算法。通过分析包围球半径的比例系数α和包围球内点云最小数目Nmin对曲面重建的影响,根据局部隐含数逼近的条件,对Nmin进行调整。同时,结合不同形态特征的点云模型对覆盖密度的要求,对α进行调整,使得α和Nmin达到一个最优组合,进而使得曲面重建算法更稳定。实验结果表明,该算法能快速准确的对不同点云模型进行参数选取,从而得到更理想的曲面重建效果。     

批量控制在精细化工生产中的应用

该文介绍了目前批量控制软件在过程控制中的使用和发展状况,通过其在精细化工生产过程控制中的应用实例,详细说明了批量控制软件的技术特点、程序设计和使用方法.同时描述了使用该技术后的实际运行情况和成果以及存在的问题和缺陷,最后分析了该技术的优势和其在未来的发展趋势.该应用实例能给控制系统的设计和应用人员以启发,对不断完善和改进离散生产工艺的过程控制方式起到借鉴作用.     

机器可选制造单元设计的半边图划分模型

机器可选制造单元设计问题是一类含有多种局部约束的复杂组合优化问题,用图划分算法解决此类问题将会面临指数级个图的划分。论文提出半边图理论,半边附属于顶点,一对半边可结合为边。用半边及其结合性表示各种局部约束,将机器可选制造单元设计问题转化为基于半边图的组合优化问题,即计划路径可选的半边图划分问题。     

基于单元划分的复杂岩层面三维建模方法研究

针对现有岩层面三维建模方法未系统考虑含断层、陷落柱等地质条件的复杂岩层面三维模型构建的问题,通过定义投影度和投影单元,给出了不同地质条件下岩层面水平投影单元特征,同时提出一种基于单元划分的复杂岩层面三维建模方法。先划分岩层面水平投影单元和空间插值单元,将水平投影单元边界、空间插值单元边界、岩层面控制点和控制线作为约束条件,对实投影单元进行约束Delaunay三角剖分;然后分别求解各个空间插值单元内三角网顶点对应的岩层面空间插值点,并应用计算机三维图形技术绘制岩层面三维图形。实例分析结果表明,通过划分水平投影单元和空间插值单元,可将复杂岩层面分解为多个一般岩层面,从而降低其三维建模难度;合理进行约束Delaunay三角剖分和空间插值,可有效构建复杂岩层面的三维模型。     

基于多尺度特征融合网络的HEVC帧内编码单元快速划分研究

高效视频编码HEVC显著提高了编码效率,但同时增加了编码复杂度,在基于四叉树结构的编码单元(CU)划分过程中尤为明显,因此研究CU快速划分具有重要意义。多尺度特征融合的网络可以实现HEVC编码单元快速划分。为此,结合U-Net和CU划分特性设计了UcuNet网络,同时为加强不同尺度像素的特征提取,采用了非对称卷积AC和CBAM注意力机制。为更好地训练深度学习模型,收集了不同分辨率的原始视频和对应的编码信息构建出大规模的数据集。最后将模型嵌入到HEVC编码架构中,提前预测CU划分的结果,跳过了原始CU划分方法中递归的率失真优化(RDO)计算过程,从而有效降低CU划分带来的编码复杂度。实验结果表明,对比HEVC官方测试模型(HM16.20),UcuNet在BD-BR仅损失2.63%的情况下,使平均编码时间缩短了68.13%。     

基于PLC模拟单元的在线控制

本文对OMRON模拟单元MAD01作了简介，从硬件设置及软件编程两方面叙述了OMRON模拟单元MAD01在气密检测和干燥处理设备中具体应用。     

Proficy Batch软件在烟草制丝线中的应用

GE公司有着许多自动化产品,而Proficy Batch便是其中的佼佼者。Proficy Batch是一款有着高性能的自动化批次处理软件,可以在短时间内将复杂的工厂工艺建立成模型,并构建配方,实现批次管理功能。随着Proficy Batch软件的成型和发展升级,Proficy Batch软件受到了越来越多的公司的青睐。     

基于基金会现场总线的批量控制的阶段的实现

在分析批量控制的特点及其关键技术的基础上，提出了用基金会现场总线功能块实现阶段的方法．最后，采用PVC聚合过程作为实例，给出了具体的实现技术.     

批量增量规则获取算法

以规则库为切入点,提出一个决策规则的批量增量更新算法。为所有新增对象建立一个等价类表,将原有规则库与等价类表进行高效匹配,根据新对象的不同匹配类型分别进行规则更新。该算法既适用于完备数据也适用于不完备数据,且只需访问2遍规则库就可以实现规则更新。理论分析和UCI数据上的比较实验结果都表明该方法优于传统方法。     

用DCS实现聚酯装置催化剂溶液配制的批量控制

介绍了一种DCS逻辑编程完成顺序控制的方法,以及如何利用该系统的基本逻辑,实现间歇式聚酯装置催化剂溶液配制的批量控制。     

PROVOX系统在间歇反应聚丙烯装置上的应用

本文简要介绍了费希尔－罗斯蒙特公司的ＰＯＶＯＸ系统特点，以及在间歇反应聚丙烯装置中的应用。     

水温控制系统的逻辑规则控制研究

设计了基于逻辑规则控制算法的水温控制系统。该系统是基于泛布尔代数理论,根据水温控制系统的控制经验,按照一系列控制规则调节PWM脉冲的占空比大小,从而调节了加热设备的输出功率。实际测试表明,系统超调量小,上升时间快,且控制方便,易于实现,控制精度最高可达到0.1℃。     

某型伺服控制组件测试系统的研究

针对某武器装备的伺服控制组件检测项目的要求,完成了一套基于虚拟仪器、DSP和CPLD技术的自动化测试系统设计;测试系统的硬件由主测试板、接口适配器和通用化测试模块组成,主测试板采用DSP+CPLD技术设计,负责数据的实时采集及处理,通用测试模块由搭建的虚拟仪器平台来完成波形测试、信号发生和电源的实时监测;系统测试软件采用LabWindows/CVI软件平台开发,主要任务是完成人机交互;该测试系统已成功应用于某型号伺服控制组件的出厂调试与质检工作,实践表明,系统设计合理,工作可靠,自动化程度高,具有较强的实用性,满足了自动化、通用化、模块化的设计要求。     

间隙蒸煮过程计算机优化控制

介绍了一套应用于纸厂蒸煮车间的间歇蒸煮过程计算机优化控制系统。该系统能自动完成蒸煮各阶段的操作，也可用来指导操作工进行操作。除了实现对蒸煮过程的常规控制，包括温度随动控制和压力定值控制以外，还针对立式蒸锅建立了Kappa的软测量模型，实现蒸煮终点的精确预报。该系统在福建青州造纸厂蒸煮车间投运后。运行稳定，Kappa值的均方差减小约20％，单锅产量提高约1％，蒸汽压力波动减少91％，化学品用量减少8％，增加产量14．1％。取得了良好的经济效益。     

序批式反应器污水处理工艺建模与控制研究

近年来采用序批式反应器工艺进行生化污水处理的研究日益受到关注.在工艺流程设计、模型建立、操作优化、控制器设计等都取得大量的成果.􀁱本文综述了这个领域一些最新的!与未来应用有关的研究进展.􀁱