基于联邦学习的图像语义通信系统

作为一种全新的通信范式,语义通信旨在提取并传递数据源中的语义信息而不是符号级的精确传输,极大地提高了通信效率,为6G移动通信提供了新思路。针对未来万物智联场景,为实现模型在多用户之间有效训练、动态更新、及时分发,同时在提供隐私保护的前提下充分利用广泛分布的用户数据,首先构建基于自编码器的图像语义通信系统,然后提出利用联邦学习对语义通信系统进行分布式的训练、更新和分发,为了进一步减少学习过程中模型频繁更新带来的巨大通信负载,根据模型更新前后参数差值动态范围较小(-0.1~0.1)的特点,提出针对模型差值更新的、包含放大,取整,边界限制,缩小共4步的量化方案。仿真结果表明,通过联邦学习训练得到的语义通信模型在图像恢复以及下游语义任务两方面的性能均接近集中训练的,且所提的量化方案在几乎不影响模型性能的情况下减少模型更新过程75%的通信负载。

敏捷设计中基于机器学习的静态时序分析方法综述

随着集成电路规模越来越大,设计变得越来越复杂.为了有效地提升设计生产率,芯片敏捷设计受到越来越广泛的重视.在芯片RTL-to-GDSII设计流程中,敏捷设计方法需要广泛借助机器学习技术,寻求“无人参与”的解决方案.时序性能作为芯片的重要性能指标,需要在RTL-to-GDSII设计的各个流程中进行静态时序分析.快速、准确、可靠的时序预测,可以将Sign-Off的时序性能前馈到早期设计流程中,指导早期设计的时序优化和时序收敛,减少芯片设计的迭代次数和迭代周期.文中给出敏捷设计中时序优化的流程框架,详细地梳理了RTL-to-GDSII设计流程中基于机器学习的时序分析研究现状;并从数据准备、问题建模、实用性以及通用性等多方面,探讨了敏捷设计中基于机器学习方法进行时序预测的挑战.

套索边界条件:一种可指导目标冲突修复的分歧描述

在需求工程中,分歧的目标冲突分析旨在识别、评估和修复分歧。分歧是由于域属性和目标不适配,使得系统在边界条件下无法同时满足所有目标。边界条件以线性时态逻辑的形式描述分歧。由于任意形式的边界条件缺乏可解释性,且评估和修复分歧需要大量人工评估和设计,所以目前边界条件的定义不利于高效地、自动化地评估和修复分歧。为此,首先提出一个可解释的边界条件——套索边界条件,直观地描述了系统由于一些特定的前提条件而产生分歧的情况;然后,设计了一个基于逐步弱化的套索边界条件识别算法LBCI,通过弱化线性时态逻辑公式逐步满足边界条件;最后,在基准数据集上评估了套索边界条件和LBCI的有效性。实验结果显示,套索边界条件增强了分歧的可解释性和对修复分歧有一定的指导作用。

高效ZSM-5-L二元复合分子筛的合成及正戊烷芳构化性能

通过优化水热陈化条件制备纳米L沸石,再采用水热合成结合原位二次晶化法,合成具有微-介复合孔结构的高效ZSM-5-L二元复合分子筛.考察了体系pH、二次晶化温度等因素对ZSM-5-L复合分子筛合成的影响,采用X射线衍射（XRD）、扫描电子显微镜（SEM）、透射电子显微镜（TEM）和傅里叶变换红外光谱（FTIR）等技术对复合分子筛进行表征,确定了最佳复合条件：pH=10.5-11.5,晶化温度170℃,晶化时间24 h.ZSM-5-L复合分子筛具有不同于ZSM-5沸石、L沸石及两者机械混合物的物性特征,且具有微-介复合孔结构.以正戊烷催化转化为探针反应,评价了ZSM-5-L复合分子筛轻烃芳构化反应性能.在相同反应条件下,ZSM-5-L复合分子筛具有优于2种单分子筛及二者机械混合物的正戊烷芳构化催化性能.

Pd掺杂方式对Pt/KL分子筛正己烷芳构化及抗硫性能的影响

以浸渍法和水热合成法向Pt/KL催化剂中掺杂金属Pd,对催化剂进行改性和表征,并在固定床微型反应装置上考察Pd掺杂方式对Pt/KL催化剂正己烷芳构化性能及抗硫性能的影响.结果表明:不同方式掺杂Pd对分子筛的晶体结构和孔径分布等影响较小,对催化剂表面酸碱性质的影响较大;浸渍法掺杂金属Pd较水热法更能提高Pt/KL催化剂的正己烷芳构化反应活性、芳烃选择性及抗硫性能.这是由于通过浸渍法制备催化剂Pt-Pd/KL中的Pd与Pt相互作用增强了催化剂的金属催化功能,使得其芳构化活性和抗硫性增强;通过水热法制备催化剂Pt/PdKL中的Pd增强了催化剂酸性,从而降低了催化剂芳构化活性和抗硫能力所致.

轻白油生产工艺技术研究

中国石油抚顺石化分公司石油三厂以加氢生成油经北蒸馏装置常压分馏得到的北塔底油(柴油组分)为原料,通过微型加氢试验装置,筛选出加氢精制催化剂3996、临氢降凝催化剂3792、加氢脱芳烃催化剂FV-1,将上述三种催化剂按照19:6:25(体积比)进行组合装填,在微型加氢试验装置进行一段加氢法生产轻白油试验,并经过了工业试生产。结果表明,在适宜的操作条件下,可以产出合格的轻白油产品。

ZSM-5/KL复合分子筛的形貌控制及轻烃芳构化性能

以ZSM-5分子筛为基体,采用分级晶化方式合成ZSM-5/KL复合分子筛。通过调控晶化时间、晶化温度和晶化级数等合成因素控制复合分子筛的合成过程及形貌,并利用X射线衍射(XRD)、N2吸附脱附、扫描电镜(SEM)等技术对样品进行表征,采用正戊烷芳构化反应考察复合分子筛的催化性能。结果表明,不同的晶化方式对复合分子筛的形貌具有明显影响。与单级晶化方式相比,多级晶化方式可有效调控壳相L纳米晶体在ZSM-5晶粒表面的生长和形貌,并促进核壳型复合分子筛的生成。反应实验结果表明,与混晶型复合分子筛相比,核壳型复合分子筛具有更好的芳构化性能。

约束逻辑编程中宽数据算术运算算法

提出了一种在利用约束逻辑编程生成RTL数据通路模拟矢量的方法中处理宽数据的新方法。该方法解决了现有CLP求解器所能处理的最大整数限制问题。该文设计并实现了宽数据加法、减法和乘法运算的分解算法，运算分解扩展了现有CLP的功能，使其能适应实际的数据通路设计。实验结果表明方法是有效的。

基于情景演算多流程交互软件模型的研究与实现

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基于黑板的流程交互模型,实现异步数据交换,具有集中控制、共享数据结构等特点,适用于流程间事件消息的传递,模型具有松耦合、灵活、通用和高效等特点;此研究方法与模型在CTS系统设计开发中得到具体应用.

中压加氢装置长周期运行影响因素及对策

中国石油抚顺石化公司石油三厂中压加氢装置因氢气供应不稳定;原料油携带的固体杂质含量高、储存时间过长与换热器结焦等因素,造成反应系统压差快速上升,氢油比下降,影响了装置长周期运转。通过稳定中压加氢装置氢气供应;并对上述影响装置长周期运行的因素进行了分析,提出了相应的解决对策,延缓了装置压差上升的速度。

无级电话网动态路由策略的研究

无级电话网的动态路由技术能有效降低呼损、提高接通率。本文针对所开发的一个集中式、全局优化无级电话网动态路由策略选择系统进行综述;详细分析了求解路由方案的四种算法;介绍了该系统的实现、运行情况和话务模拟结果;该系统在广东省长话网得到了良好的应用。

疫情下在线评测系统远程教学与机考实践

在疫情影响下,线上远程教学与考核使教学的高效性和考核的公平性受到质疑。由中山大学自主研发的程序在线自动评测平台Matrix具有教学、机考、在线评测等功能,是疫情下实施远程教学与考试的优选平台。文章介绍了如何通过Matrix平台翻转课堂实践程序设计课程的远程教学,特别介绍了在新型冠状病毒的疫情下,学校如何克服各种困难,建立面向考生的管道模型,有序地开展考生身份核验、主辅机位引导与测试,顺利对700多名学生开展远程机考。

基于回答集语义复杂信息系统表单驱动需求规约的描述与验证

高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础;通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的"主谓宾状"需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用.

无级电话网非线性单纯形动态路由策略及算法评估方法

无级电话网动态路由技术是充分利用现有设备、提高服务质量的关键技术.为了提高求解速度和求解质量,本文提出一个基于非线性单纯形动态路由策略及其评估方法;介绍了在离散的解空间中根据链路负载均方差构造动态路由最优化问题和算法的具体实现;并根据话务溢出率和网络阻塞率对网络正常或网络异常情况下的算法求解结果进行评估;分析了系统运行情况和话务模拟结果.仿真实验与评估结果说明该策略能够在很短的时间内得到质量较优的全局优化的路由方案,该策略正应用于广东省电话网智能管理系统.

HDL描述中决策图模型的提取方法和实现

决策图模型描述了VLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统,取得了良好的效果。

用蒙砂粉对玻璃进行蒙砂

用蒙砂粉及工业酸配制蒙砂液对玻璃进行化学蒙砂.对蒙砂效果、蒙砂液稳定性、制作成本及环境污染等方面的综合分析,结果表明:蒙砂粉与工业盐酸的配比为3∶1时配制的蒙砂液,温度在25～30℃的条件下具有最好的蒙砂效果.

软件需求数据源向关系的挖掘与分析

分析数据源向关系有利于描述用户需求;提出以表单流图作为挖掘数据源向关系的起点,利用数据源向图分析数据源向关系;并分别给出表单流图和数据源向图的定义、绘制方法及关键步骤分析.在需求分析阶段挖掘和分析数据之间的源向关系,确定中间辅助结果的数据结构,可以清晰地描述用户需求的静态数据模型.

加氢工艺技术生产25^#变压器油

以江苏常二线油为原料,通过加氢微型试验装置,筛选出加氢精制催化剂3996、FV-1,将上述2种催化剂按照1︰1(体积比)进行组合装填,进行一段加氢法生产25#变压器油试验取得成功,并经过了工业生产试运行。结果表明,在适宜的操作条件下,可以利用原白油加氢装置生产出合格的25#变压器油产品,优化了装置产品结构,提高了装置创效能力。

重整切尾油催化加氢生产优质溶剂油

介绍了中国石油抚顺石化公司石油三厂以重整切尾油为原料,通过加氢微型试验装置,筛选出加氢精制催化剂3996与加氢脱芳催化剂FV-1,将上述2种催化剂按照体积比1︰1进行组合装填,在加氢微型试验装置进行一段加氢法生产塑胶溶剂油试验,并经过了工业生产运行。结果表明,在适宜的操作条件下,可以出合格的塑胶油产品,并获得较好的经济效益。