面向SoC系统的可扩展UVM自动化验证平台

得益于设计IP的成熟可靠性,目前SoC系统能够基于设计IP实现快速构建。在SoC系统构建过程中,往往需要考虑从IP模块到SoC系统的功能验证。为了能够减小SoC系统构建与功能验证之间的项目压力,提出了一种可快速构建、可扩展、可复用的自动化验证平台。该平台基于UVM、Python、Mako技术,同时具备SV、UVM、C的测试能力,可以快速部署验证平台,有利于验证环境,标准化测试指令规范了测试代码。在不同验证层次中投入试用,有效节省了96.9%的构建测试平台时间,减少了66.2%的测试框架代码,减少了66.4%的测试用例代码。该平台已作为独立EDA产品,参与到多个芯片研发。

汉语框架语义网中词元语义搭配模式确定规则研究

机器理解自然语言和抽取信息涉及对词汇语义信息和句法信息两项重要内容的理解。汉语框架语义知识库(CFN)的词元语义搭配模式记录了词元与框架元素、词元与句法的组合方式,为机器自动进行语义分析和信息抽取提供了资源。而目前的词元语义搭配模式的数量多,机器确定并应用词元语义搭配模式存在一定困难,且框架元素间的关系比较模糊,词元配价成分的语义信息存在歧义,使机器不能准确理解和抽取文本信息。采用基于规则的方法,根据词元配价成分的语义信息和语义特征、词元外部的语境和框架元素提炼规则,可以使机器能够更准确地理解与抽取文本的语义信息。

基于句子层次结构的语义句模研究

汉语句模对计算机在处理自然语言时具有重要作用,可以使其更好地理解和分析汉语文本、抽取文本信息,提高自然语言处理的准确性和效率。但由于中文文本表达存在一定的灵活性和多样性,使得目前现有的句模存在匹配精度低、句模数量多、难以完全覆盖所有句子等问题,阻碍了句模在具体领域实现广泛应用和发展。针对以上的不足,文章提出基于句子层次结构的语义句模(HSST)。该句模以句子是嵌套的、有层次结构的,句子结构并非单向线性的为构建依据,使用多个句模且根据句子的层次结构对这些句模进行组合,大大减少了句模的数量,提高句模的匹配精度,并使得其对中文文本的覆盖面更广,使机器能更准确有效地理解与抽取文本语义信息。

基于SEER数据库建立和验证甲胎蛋白阴性肝细胞癌患者癌症特异生存期的列线图

目的:探讨甲胎蛋白(AFP)阴性肝细胞癌(HCC)患者预后相关因素,构建列线图以预测患者生存时间。方法:回顾性分析监测、流行病学和最终结果(SEER)数据库提取的2064例AFP阴性HCC患者数据,将所有患者按7∶3比例随机分为训练集和内部验证集,以湖南省中西医结合医院101例AFP阴性HCC患者作为外部验证集。将单因素Cox回归分析结果纳入多因素分析,采用多因素Cox分析获得AFP阴性HCC患者的独立危险因素,构建AFP阴性HCC患者癌症特异生存(CSS)预后列线图。采用时间依赖受试者工作特征曲线(ROC)、校准图和决策曲线分析(DCA)评估列线图的预测效能和临床实用性。将列线图所得总分进行风险分层,比较列线图和美国癌症联合委员会(AJCC)分期系统的风险区分程度。结果:采用多因素Cox回归分析筛选出10个独立危险因素,构建AFP阴性HCC患者3、4和5年CSS预后列线图,包括患者年龄、病理分级、手术情况、放疗情况、化疗情况、肺转移情况、肿瘤大小、肿瘤T分期、肿瘤M分期和婚姻状况。3、4和5年时间依赖ROC曲线下面积(AUC),训练集分别为0.807(95%CI:0.786~0.828)、0.804(95%CI:0.782~0.826)和0.813(95%CI:0.790~0.835),内部验证集分别为0.776(95%CI:0.743~0.810)、0.772(95%CI:0.737~0.808)和0.789(95%CI:0.752~0.826),外部验证集分别为0.773(95%CI:0.677~0.868)、0.746(95%CI:0.620~0.872)和0.736(95%CI:0.577~0.895)。校准图验证列线图能够很好地拟合到完美曲线上。DCA曲线显示列线图在某特定概率阈值上的净收益明显高于AJCC分期在某特定概率时净收益。与AJCC分期比较,列线图具有较好的识别高风险人群的能力。结论:血清中AFP表达是HCC患者的预后指标之一,对于部分血清中AFP阴性表达的HCC患者应区别对待,基于多个风险因素建立的列线图模型有望成为临床评估AFP阴性HCC患者CSS的有效工具。

遮荫下光伏发电数学模型的对比研究

对比研究了光伏系统的两种局部遮荫发电模型,即幂律模型与四参数模型。结果首先发现,上述两种模型都和实验数据总体符合较好,但都有明显误差,原因在于,两种模型都是在简化下获得;其次,可以看出在低偏置电压下,两种模型都与实验数据符合较好,而在高偏置电压下,出现明显的误差,原因在于低偏置电压的时候,电池内部二极管未达到导通,流过二极管上的电流极小,可以忽略,电池可以看成是一个恒流源加上负载。随着偏压的增大,电池非线性效应显著增强,从而导致发电模型不适用'再次,注意到非均勻光照下,电池的工作状态受旁路二极管的影响不能由简单分析得到。旁路二极管是否处于阻断状态是一个渐变的过程,而不是简单的突变过程;最后,从理论与实验数据之间的均方根误差分析,可知四参数模型优于幂律模型,原因可能在于四参数模型考虑了光电流、反向饱和电流、理想因子、串联电阻的影响。

聚点·搭台·设梯:长文章专题单元教学路径探寻——以统编教科书四年级下册第六单元为例

针对长文章专题单元,教师应如何基于教材单元内容,实施单元整体结构化教学,从而落实单元语文要素,促进学生语文核心素养的形成和发展这一问题,以统编教科书四年级下册第六单元为例,从“聚点”“搭台”“设梯”三个维度探寻长文章专题单元教学的进阶路径,即深度解读要素,锁定单元学习起点;融合学习资源,明晰单元整体规划;有序推进学程,实现语文素养落地。

骨纤维结构不良的SPECT/CT骨显像及临床特点

目的分析骨纤维结构不良的SPECT/CT骨显像结果,探讨其核医学显像特征及鉴别要点。方法回顾性分析我院34例经病理或随诊证实为骨纤维结构不良患者的SPECT/CT影像学特点,按病灶数量分为单发骨纤维结构不良病灶组(n=25)及多发病灶组(n=9),比较两组患者的临床资料、病灶特点及放射性分布特点。结果34例病例中,20例有疼痛症状(58.8%),但两组差异无统计学意义(χ^(2)=1.045,P=0.307)。多病灶组年龄较单病灶组小(t=17.315,P=0.018);两组血清白细胞水平、中性粒细胞水平、C反应蛋白、碱性磷酸酶及肿瘤指标(癌胚抗原、甲胎蛋白、CA199、CA724、CYFRA21-1、神经元特异性烯醇化酶、胃泌素释放肽前体)的差异均无统计学意义(P>0.05)。病变多见于四肢长骨,病变类型以磨玻璃样及囊状改变多见,多病灶型出现磨玻璃样改变的概率较大(χ^(2)=8.579,P=0.003),而丝瓜络样、地图样及囊状改变等征象在两组间出现频率的差异无统计学意义(P>0.05);34例全部病灶均为放射性异常浓聚,多病灶型常见集中于一侧的放射性浓聚优势灶。结论SPECT/CT可通过一次全身成像,观察全身骨多部位病灶,分析各病灶的解剖结构及代谢状态,可作为骨纤维结构不良的鉴别与诊断的重要补充检查方法。

面向MOOC的情境仿真支持系统

针对当前大规模在线课程(MOOC)教学模式情境缺乏、交互不足等缺点,文章提出面向MOOC的情境仿真支持系统C3S。C3S首先支持学习情境仿真并生成仿真文件,然后把仿真文件嵌入课件视频,通过有机执行仿真文件,来支持更多学习情境以增强情境性与交互性。C3S支持MOOC教学模式下教师的提问,支持教师对问题情境的仿真,以及学生对问题情境的重构,以增强学生对问题的理解;C3S支持学生的解题情境并能对解题步骤进行感知,使教师能够把握学生对知识的掌握情况。文章并对C3S在MOOC教学模式中的应用作了一定研究。C3S能有效支持弥补MOOC的不足,对提高慕课教学质量、促进教育公平等十分有意义。

集成电路先进制造技术进展与趋势

【目的】近年来随着摩尔定律逼近物理极限,传统的器件尺寸微缩变得越来越困难。尽管近年来人们开始尝试探索以碳基材料为代表的新材料、以量子计算为代表的新原理集成电路技术,但以传统硅基场效应晶体管为基础的CMOS电路仍将是集成电路发展的优选方案和主流趋势。为了持续提升集成电路性能和集成度,场效应晶体管器件技术出现了重大变革,并伴随着集成电路制造技术的不断革新。【方法】基于场效应晶体管器件性能提升的原理,阐述了通过引入新材料、新结构、新工艺方法,实现器件性能提升和集成度增大的先进制造技术,其中主要包括以高介电常数介质/金属栅和FinFET/SOI/Nanosheet MOSFET结构为代表的器件电学性能提升技术、以空气侧墙和Co局部接触金属材料为代表的寄生效应抑制技术以及以先进光刻和Forksheet/CFET为代表的器件布局紧凑化技术。【结果】基于这些新方法,集成电路制造技术近年来出现了诸多突破性进展,成功推进摩尔定律向更高水平延伸,也为集成电路技术在未来各应用场景下发挥关键作用奠定了基础。【结论】集成电路先进制造为基础的重要技术革新将促进信息社会的进一步发展和融合。

基于ST89C52单片机的智能小车与手机操控端APP研制

基于STC89C52单片机,编写了步进转动控制、障碍检测与自动避障、温湿度AD数据转化与传输、单片机串口数据收发等算法。由单片机作为主控系统,达到步进电机、L298N电压转化模块、红外线模块、温湿度模块、WIFI视频传输模块等电子元件的高度协调统一。采用Java编程语言,参考GitHub上开源代码,利用Android Studio进行了名为“XC431”的APK开发,形成了与自己的小车的功能高度符合的Android手机端操控软件。最终,软件“XC431”通过Socket通信原理对该小车进行了远程控制,实现了智能家居的部分功能需求。

一种面向SoC的全方位系统监测验证方案

伴随着目前SoC尺寸和复杂度的迅速增加,如何在系统层面实施充分完善的验证成为了一项重要挑战。棘手的工作不但来自于对系统层面各项硬件资源的调度和测试场景实现,也来自于如何从复杂的系统运行中获得有用的信息。为了让验证人员在仿真过程中及时掌握系统信息,提出一种面向SoC的全方位系统监测验证方案,基于UVM框架可以实时获得多种系统状态信息。该方案也是基于一种自动化的验证平台并在此之上将监测到的信息做了处理,以用来辅助验证人员更好地分析系统和定位问题。

面向SoC开发的一致性时钟信息管理方案

受益于芯片时钟优化处理技术,时钟信息的管理也变得更为复杂。一致性时钟信息缺失可能造成芯片时钟数据的错误输入和输出,继而影响最终后端综合结果。文中提出了一个覆盖芯片开发全流程的一致性时钟信息管理方案,采用Python、Tkinter、Graphviz技术共同实现对时钟信息进行中心化管理、可视化编辑、脚本批量处理。项目投入使用后,减少了整体时钟冗余信息32.8%,节省后端维护脚本时间76.0%,降低时钟信息出错率88.3%。多个部门利用一致性时钟信息获得所需信息,跨时钟域检查和后端综合均从该方案受益。

代谢物在肝内胆管癌诊治及预后评估中的应用探讨

肝内胆管癌(ICC)起病隐匿、恶性程度高、预后差,故早期诊断、及时评估疗效、准确判断预后对ICC患者尤为重要。ICC在发生过程中存在代谢重编程,发展过程中伴随着代谢表型的动态变化,代谢物的含量异常或比例改变是代谢变化中的重要特征,因此,将患者肿瘤组织及体液中的代谢物作为ICC早期诊断、疗效评估及预后判断的生物标志物具有广阔前景。本文就代谢物在ICC诊断、治疗及预后评估中的应用及研究进展进行梳理,并探讨代谢物、代谢紊乱与ICC之间的相互关系。

基于改进Inception结构的知识图谱嵌入模型

知识图谱嵌入(KGE)将实体和关系映射到低维连续向量空间中,以利用机器学习方法实现关系数据的应用,如知识分析、推理、补全等。以ConvE为代表将卷积神经网络(CNN)应用于知识图谱嵌入中,以捕捉实体和关系的交互信息,但其标准卷积捕捉特征交互信息能力不足,特征表达能力低下。针对特征交互能力不足问题,提出了一种改进的Inception结构,在此基础上构建一个知识图谱嵌入模型InceE。首先,该结构使用混合空洞卷积替代标准卷积,以提高特征交互信息捕捉能力;其次,使用残差网络结构,以减少特征信息丢失。实验使用基准数据集Kinship、FB15k、WN18验证InceE链接预测有效性。在Kinship、FB15k数据集上,相较于ArcE和QuatRE模型,InceE的Hit@1分别提升了1.6和1.5个百分点;在三个数据集上,与ConvE对比,InceE的Hit@1分别提升了6.3、20.8和1.0个百分点。实验结果表明InceE具有更强的特征交互信息捕捉能力。

HER-2通过影响EMT增强胃癌细胞的侵袭、迁移及黏附能力

目的:研究HER-2表达对胃癌细胞侵袭、迁移及黏附的影响,并探讨HER-2表达与EMT相关蛋白的关系。方法:利用小干扰RNA技术,在MKN-45胃癌细胞中沉默HER-2表达;采用实时荧光定量PCR法及Western blot法验证HER-2沉默效果,并将实验分为空白对照组、阴性对照组和HER-2沉默组;采用实时荧光定量PCR法及Western blot法检测各组细胞EMT相关蛋白E-cadherin、Vimentin、Snail的mRNA和蛋白表达情况。采用Transwell小室技术检测细胞侵袭及迁移能力;MTT实验检测细胞黏附能力。结果:沉默MKN-45胃癌细胞株中HER-2表达后,HER-2沉默组Vimentin、Snail表达水平以及侵袭、迁移及黏附能力明显低于空白对照组和阴性对照组;HER-2沉默组E-cadherin表达水平明显高于空白对照组和阴性对照组,差异均具有统计学意义(P<0.05)。结论:在胃癌细胞中,HER-2可能通过影响EMT相关蛋白表达从而增强胃癌细胞的侵袭、迁移及黏附能力。

基于改进SegNet模型的遥感图像建筑物分割

针对原始SegNet网络模型存在的参数数量多、梯度不稳定及分割精度低等问题,提出一种通过构建SegNet与带残差的bottleneck块、深度可分离卷积以及跳跃连接结构相结合的改进模型.在航空和卫星遥感图像数据集上进行实验的结果表明,改进后的网络模型在精确率、召回率及F_(1)值等性能评价指标上均获得更优结果,表明改进的网络模型在遥感图像建筑物分割任务中有良好的实用价值.

电网运行风险管控可视化系统架构与功能研究

为了提升电网运行风险管控的科学化和智能化水平,该文对可视化技术在电网运行风险中的应用进行了研究。采用数字感知技术、三维实景建模、实时渲染技术等方法,研究并设计了电网运行风险管控可视化系统。系统分为两部分:上层应用系统和底层支持平台,5层系统架构分别为数据支持层、网络通讯层、动态编辑层、模型库支持层和应用系统层;构建了大屏可视化、风险预控场景展示、增强现实互动热区、三维引擎动态编辑、用户管理等系统功能模块。该系统能够实现电网运行的多维度可视化和风险预控场景展示,进而为电网运行风险管控提供决策支持。

基于特征增强的KNN文本分类方法研究

现有KNN文本分类方法未考虑语义信息导致特征向量维度庞大、分类效率低、准确率不高。提出一种特征增强的KNN文本分类方法 FE-KNN,构建领域框架库和领域句模,降低同义词对特征的影响,利用语义关系信息强化文本特征。在Math数学应用题语料库上的实验结果显示,该方法的准确率为0.953 2,与传统KNN方法相比精准率、召回率和F1值都有所提升,验证了通过框架语义与语义搭配能够改善文本分类的效果。

面向应用题的问题情境理解能力追踪模型研究

问题情境的理解是应用题表征的关键,运用贝叶斯知识追踪模型BKT,对被试的问题情境理解能力进行建模,有利于对被试的个性化辅导。问题情境理解属于被试的心理活动,不易显式展示,使得用于BKT分析所需的数据难以收集。文章提出问题情境理解能力追踪模型PS-BKT,通过被试对问题情境的重构,显示展示其对问题情境的理解,并收集相关数据。实验结果表明:PS-BKT模型能较好收集数据,较快估算模型参数。

基于综合赋权灰色关联模型的电网运行安全能力评价模型

为科学合理地评估电网运行安全能力,本文采用等级相关主观赋权法和指标信息量集成客观权重的综合赋权法,综合确定电网运行安全能力评价指标体系最终权重。构建了含有分辨系数的改进灰色关联综合评价模型,对某电网运行6个时期的安全能力进行评价,并与传统的灰色绝对关联度模型进行了对比。对比结果验证了本文模型的有效性和实用性。