一类活性Petri网控制器的冗余检测及结构简化

S4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S4R控制器.该方法的核心思想是:如果网中已经存在一个p-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性.     

图匹配算法激光扫描点云树干分割

目的 移动激光扫描系统能够成功采集丰富的城市行道树侧边信息,然而由于点云数据规模大、密度欠均匀和噪声多等原因,导致行道树的提取精度和效率偏低。为此,本文提出一种基于层次聚类的算法从移动激光扫描点云中提取树干。方法 采用自下而上的聚类策略合并目标区域,基于点云间欧氏距离和点云的局部主方向计算聚类所需的邻近矩阵,通过构造能量函数评估不同的簇合并方案,将能量函数最小化问题转换为计算二分图匹配问题,求解二分图的最小代价完美匹配获得全局最优的层次聚类。结果 实验在公开的巴黎场景数据集与自采集的南京黄埔路场景数据集上进行测试,本文提出的自下向上的聚类算法成功地从点云中提取出树干和主要树枝点,其中提取树干的平均正确率、完整率和F-score分别为98.5%、94.8%和0.97,与其他算法中最好的实验结果对比,分别提高了1.0%、0.6%和0.02。结论 实验结果表明,本文算法通过优化层次聚类中的簇合并,可以有效减少聚类中的“过分割”和“欠分割”,提高点云中树干的分割精度与效率。     

计及离散出力特征的火电机群固有运行灵活性评价方法

考虑到未来一段时期传统火电机组依旧是主要的灵活性供给源,文章提出一种充分反映现有火电机群固有运行灵活性的定量评价方法。固有运行灵活性为火电机群自身通过爬坡或者改变开机组合来平衡负荷波动的能力,只与技术参数和负荷波动范围有关,与系统的运行方式无关。首先,在单台机组灵活调节特性的基础上,对多台机组构成的机群进行离散组合分析,获得机群层面的灵活调节参数。其次,由于开机状态的离散性,机群出力区间也是离散的,基于这一离散出力特征提出反映机群不同时间尺度的固有运行灵活性评价指标,并采用机组最小启停时间分类聚集的方法减少模型求解的计算量,形成"聚集-分段-交叉-评估"四阶段的指标求解方法。最后,模型的有效性和正确性通过数值算例进行验证,并对提出的评价方法进行了灵敏度分析。结果表明,火电机群固有运行灵活性与其自身的离散出力特征和承担的负荷区间有密切关系。     

空心玻璃微珠对阻尼固体浮力材料力学性能影响研究

通过空心玻璃微珠（HGB）的体积分数、粒径、偶联剂改性等系列实验,总结分析了空心玻璃微珠对阻尼固体浮力材料力学性能的影响。结果表明,随着空心玻璃微珠体积分数的增加,浮力材料的吸水率逐渐增大,而密度、压缩强度和阻尼损耗因子逐渐降低;随着空心玻璃微珠粒径的增大,浮力材料的吸水率和阻尼损耗因子逐渐增加,而密度、压缩强度逐渐减小;添加偶联剂可有效改善空心玻璃微珠与环氧树脂的界面结合性,提高浮力材料的性能。      

一种改进型的S4PR网活性条件

研究了顺序资源共享分配系统的建模模型S4PR (Systems of sequential systems with shared resources)网的活性问题. 已有的研究成果表明, 一个S4PR网在所有信标都满足max, max'或max"-controlled 时能保持活性, 但现有的活性条件对信标的限制严格且不适用于某些网系统, 本文提出了一类名为max*-controlled的改进型条件, 并证明了当一个S4PR网的所有信标都满足max*-controlled条件时, 网系统能保持活性. 与现有的其他条件相比, 新的活性条件更加宽松, 为设计更高允许度的死锁预防或者活性保持监控器提供了理论支撑.     

立体匹配中边界信息的强化算法

为解决立体匹配中边界模糊、无纹理区域的边界误匹配、初始匹配代价过于粗糙等问题,设计了一种基于改进数据项的图像边界信息强化算法。通过归一化匹配代价削弱匹配不利的像素点;通过设置权值强化边界信息,对边界进行匹配约束。实验证明,新的能量函数能在边界区域得到正确视差;消除了大量无纹理区域的不连续线段;以较少的迭代次数提高了优化效果。在图片无纹理区域可降低14％的错误率。     

浅析少数民族建筑文化研究领域中的局限性——以西南地区侗族为例

以中国西南地区侗族建筑文化研究为例,阐述少数民族建筑文化研究领域的影响条件,指出以行政管辖范围进行少数民族建筑文化研究的局限性,提出了少数民族建筑文化研究中应该注意的一些问题和建议,强调在少数民族建筑文化研究中进行多学科组合研究的重要性和必要性.     

大规模火电灵活性改造背景下电-热能源集成系统优化调度

对于燃煤机组占比较高的国家而言,实施灵活性改造是增强电力系统灵活性的关键手段之一。然而,机组改造后系统角色及运行方式均发生了转变,原有的建模方法及调度策略已不适用。基于此,文章提出了一种考虑火电差异化灵活性改造的电-热集成系统优化调度方法。首先,对比分析了2种类型火电机组灵活性改造的相关技术及特点,采用顶点凸组合法对纯凝机组多阶段调峰、热电联产机组多模式运行过程进行统一建模。其次,以系统总运行成本最小为目标函数,以电热平衡、机组运行模式、机组爬坡和启停为约束,建立了电热集成系统优化调度混合整数规划模型。最后,通过算例对模型的有效性和适用性进行了验证。结果表明所提模型可大幅提升系统风电消纳能力,降低系统运行成本,可有效缓解“三北”地区电网调峰压力。     

一种新的基于子连接结构的混合预编码算法

毫米波通信是5G网络的关键技术,因为它可以提供较高数量级的频谱,但它具有更大的路损,采用大规模天线阵列和定向波束成形技术可以有效解决这一问题.随着天线数量的增加,传统数字预编码器的硬件和能量成本非常高,需采用混合预编码来克服这一困难,但全连接结构中该算法的功耗较高,因此提出了一种新的基于子连接结构的混合预编码算法.该算...     

针对图像区域连续化问题的立体匹配算法

传统图割算法解决双目立体匹配问题,在高精度的同时需要消耗大量时间.提出一种新的算法,将最小割求取问题转化为贪心问题,从而降低算法复杂度.由于转化后的图割在处理图像区域连续化问题时效率低下,给出了图割与区域匹配相结合的GR（Graphic Cut in Region）算法,算法不仅将图割理论运用到立体匹配问题中,且在求取...