拟线性系统的周期解

本文应用Schauder不动点定理,给出了周期系统(?)=A(t)x+g(t,x)x∈R~n存在周期解的一组充分性条件,推扩了文[1]的结果。     

基于ERC Roberta的提示学习实现对话情感识别

使用Transformer架构的预训练模型进行对话情感识别时，用传统的微调分类方法难以充分考虑对话文本的语序和结构特征。而且情感对话分类任务与预训练任务不匹配。而使用提示学习方法可通过重建下游任务缩小情感对话分类任务与预训练任务之间的差距。因此，提出一种将提示学习与Roberta模型相融合的对话情感识别(PERC Roberta)模型。利用该模型通过文本掩码预测任务学习对话的语序和结构特征；然后通过提示学习重建下游任务，进一步激发学习到的丰富对话知识。将该模型在2个对话情感识别公共数据集上进行了实验，实验结果表明，PERC Roberta模型比其他模型具有更好的分类效果。此外，消融实验的对比结果也证明了所提模型的有效性。     

大型冷水机组在地源／污水源／海（江、河）水热泵系统中应用

介绍大型冷水机组在地源／污水源,海（江、河）水源热泵系统中应用的特点、供冷与供热运行模式转换,以及冷水机组串联逆向流系统设计特点,通过3个工程实例,说明其在节省系统运行费用和初投资方面所具有的优势。     

大型冷水机组在地源／污水源／海（江、河）水热泵系统中的应用

介绍大型冷水机组在地源／污水源／海（江、河）水热泵系统中应用的特点、供冷与供热运行模式转换,以及冷水机组串联逆向流系统设计特点,通过3个工程实例,说明其在节省系统运行费用和初投资方面的优势。     

一类非线性积分方程的周期解(Ⅱ)

应用Ｓｃｈａｕｄｅｒ和Ｒｏｔｈ不动点定理,讨论了一类非线性积分方程周期解的存在唯一性。所得结果推广了有关文献中的结论。     

基于改进边权重的成对马尔可夫随机场模型的社交异常账号检测方法

社交媒体系统为人们提供了便利的共享、交流和协作平台。人们在享受社交媒体的开放性和便利性时,可能会发生许多恶意行为,例如欺凌、恐怖袭击计划和欺诈信息传播。因此,尽可能准确、及早地发现这些异常活动,以防止灾难和袭击,是非常重要的。近年来,随着在线社交网络(OSN)如Twitter,Facebook,Google+,LinkedIN等的成功,丰厚的利益资源使得它们成为了攻击者的目标。社交网络的开放性,使其特别容易受到异常账号攻击的威胁。现有基于图形的最先进分类模型大多使用首先为图的边分配权重,在加权图中迭代地传播节点的信誉分数,并使用最终的后验分数来对节点进行分类的方法。边权重的分配是其中一项重要的任务,此参数将直接影响检测结果的准确度。为此,文中针对社交媒体中异常账号的检测任务,分析了基于社交图全局结构的方法,通过在成对马尔可夫随机场模型中改进边权重的计算方法,使其能够在迭代过程中自适应优化,提出了准确度更高的GANG+LW,GANG+LOGW和GANG+PLOGW算法。这3种算法使用了不同的改进边权重的方法。实验证明,新提出的方法相对于基本的成对马尔可夫随机场模型,可取得更准确的异常账号检测结果,3种算法中GANG+PLOGW得到的结果最好。结果证明,此改进模型在检测社交网络中的异常账号时,能够更有效地解决问题。     

基于MIMO几何信道模型的容量界研究

MIMO技术是LTE的最重要技术之一。为了研究MIMO系统中信道容量界限,提出了基于双反射的几何信道模型。基于此模型,推导了信道相关系数及信道容量的表达式,证明了收发相关的MIMO信道容量上、下界。MonteCarlo信道容量仿真结果表明,MIMO信道容量上界在低信噪比的条件下具有紧性;而在高信噪比的条件下,MIMO信道容量的下界具有紧性。     

Fuzzy半导集算子与Fuzzy导集算子

对分明集Ｘ，给出了半导集算子与导集算子的概念，然后在Ｉ＾Ｘ上引入了Ｆｕｚｚｙ半导集算子与Ｆｕｚｚｙ导集算子的概念，研究了它们的性质，讨论了它们与拓间的关系。     

TURBO51嵌入式微处理器功能验证

首先介绍了TURBO51嵌入式微处理器的基于分支预测和动态执行结构设计与设计背景及目前验证的发展状况,即形式验证、模拟仿真和硬件加速仿真, 然后介绍了TURBO51设计验证所采用的步骤和每个阶段的任务及通过准则,即首先同步定义文档功能时序设计及验证策略,再进行RTL仿真并达到覆盖率和代码检查并给出覆盖率结果,然后进行FPGA验证,最后进行门级仿真.给出了错误的累计过程,显示TURBO51的设计验证中错误收敛快,在RTL仿真前已排除大部分严重错误,FPGA验证前已排除全部严重错误和99%的其它错误,确保了TURBO51的一次流片成功.但另一方面,在验证中使用配置约束的自动随机指令序列还需加强.     

超标量TURB052嵌入式微处理器结构设计

介绍了TURBO52的研究背景及技术路线,在保持对经典8051指令集后向兼容的前题下,通过重新进行结构设计来提高系统性能。介绍了指令流水线的结构设计,包括两路超标量结构、分支预测、动态执行和存储管理。在FPGA上运行真实控制系统应用程序测试表明,在相同工作频率下运行一系列系统软件可达经典8051的30倍以上,最高指令吞吐率每时钟周期两条指令。但由于未实现三级存储体系和数据高速缓存,工作在100 MHz以上性能的提升会受限。