摘要：本文介绍多校区固定资产网络报增系统的设计及管理方案.

摘要：本文从计算机取证中有害图像分析技术的现状出发,提出了建立已知有害图像基准特征库,基于内容进行有害图像查找的分析方法。根据计算机取证的特点,设计了对亮度、纹理和颜色特征进行匹配的算法,并对算法的实用性进行了测试。

摘要：传统室温控制存在滞后性大、鲁棒性弱等问题,通过TRNSYS仿真、热电类比、参数辨识建立目标建筑等效RC模型,基于闭环MPC方案和Simulink建立目标建筑室温模型预测控制仿真平台。对比相同模型在PID控制策略下的耗电量,验证了模型预测控制在建筑室温控制、节能减排上的优越性。

摘要：为保证建筑中智能电子产品安全运行,解决实际工程中电能质量扰动识别分类准确率低、抗噪性差等问题,提出一种基于优化RBF神经网络识别电能质量扰动的方法。首先,将20种电能质量扰动信号通过S变换进行时频域分析,提取出的扰动时频域特征数据划分为测试集和训练集;然后,构建径向基函数(RBF)神经网络电能质量扰动分类模型;其次,引入蜣螂优化算法(DBO)对RBF神经网络参数进行参数优化;最后,将划分好的训练集和测试集输入到优化后的神经网络中进行扰动分类。仿真及工程实验表明,提出的方法对于电能质量扰动识别准确率高,抗噪性及泛化能力强。

摘要：由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS(Verified Secure Operating System)内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的.

摘要：公交系统的发展对于一个城市的发展至关重要。随着公交事业的迅速发展,城市公交路线逐渐增多,这无疑给人们选择公交路线时增添了诸多烦恼。本文以杭州市众信信息有限公司的"百巴士"公交智能查询网站为例,阐述了该公交查询系统基于时间价值和费用价值等的设计理念,着重讨论了该系统实施的可行性和实现方法,并给出具体的实现步骤。

摘要：往复活塞式压缩机是石油、天然气行业及其他工业生产中必不可少的关键设备。考虑实际气体的相对摩尔质量、压缩因子以及生产过程中的相变、漏气等因素,建立了往复活塞式压缩机的实际功率计算模型,并结合某气矿增压站的实际运行数据,计算得到压缩机组的实际运行能耗指标,其计算功率值与实际测算功率值误差低于2.4%,验证了模型的合理性。该增压站增压机组由于运行时间较长、冷却系统性能降低及气阀关闭不及时造成压缩机运行时率不高,为此给出清除冷却器管束沉积物并合理设计气阀的建议。