期刊文献+
共找到50,249篇文章
< 1 2 250 >
每页显示 20 50 100
玉米逆境胁迫响应基因ZmbZIP84的克隆与功能验证 被引量:2
1
作者 曹丽茹 庞芸芸 +4 位作者 叶飞宇 马晨晨 张新 王振华 鲁晓民 《核农学报》 CAS CSCD 北大核心 2024年第4期644-653,共10页
碱性亮氨酸拉链(Basic leucine zipper,bZIP)转录因子是真核生物中分布最广泛、结构极其保守的家族之一,在植物生长进程中发挥重要作用。为验证bZIP转录因子在逆境胁迫中发挥的作用,本研究通过分析转录组数据,筛选到27个参与干旱-复水... 碱性亮氨酸拉链(Basic leucine zipper,bZIP)转录因子是真核生物中分布最广泛、结构极其保守的家族之一,在植物生长进程中发挥重要作用。为验证bZIP转录因子在逆境胁迫中发挥的作用,本研究通过分析转录组数据,筛选到27个参与干旱-复水胁迫的bZIP基因,计算相关性系数、构建共表达网络图发现ZmbZIP84(Zm00001d053988)是核心节点基因;该基因位于玉米第4号染色体,具有高度保守的bZIP结构域;分析理化性质,发现该基因是亲水性蛋白且属于不稳定蛋白;构建系统发育树,发现该基因与柳枝稷和高粱的亲缘关系最近;实时荧光定量PCR(qRT-PCR)结果显示,ZmbZIP84在玉米各组织中均有表达,成熟根中的表达量最高;设置20%聚乙二醇(PEG)-6000、42℃高温、200 mmol·L^(-1)NaCl以及缺乏铵态氮等模拟试验,发现该基因在高温、干旱、氮处理下表达量显著上调,而在NaCl处理下表达量下调,说明ZmbZIP84基因积极参与并响应非生物胁迫;利用CRISPR/Cas9技术获得ZmbZIP84基因的拟南芥同源基因缺失型纯合突变体,发现在高温、干旱胁迫处理下突变体植株生长受到严重抑制、叶片萎蔫、甚至干死,而野生型植株影响较小,说明在干旱、高温胁迫处理下,ZmbZIP84基因敲除后抗旱、耐高温能力下降;亚细胞定位发现该基因编码的蛋白位于细胞核。本研究结果可为后续研究ZmbZIP84基因的功能及下游靶基因的调控机制奠定基础,为培育抗逆性玉米新品种提供参考。 展开更多
关键词 玉米 转录因子 非生物胁迫 功能验证 亚细胞定位
下载PDF
我国24家检验检测机构洁净环境照度检测能力验证 被引量:1
2
作者 田霖 刘雅丹 +2 位作者 项新华 谢兰桂 杨会英 《中国药业》 CAS 2024年第2期68-71,共4页
目的评价我国检验检测机构对洁净环境照度的检测能力。方法回顾性分析中国食品药品检定研究院于2022年在全国范围内首次设计并组织实施的洁净环境照度能力验证项目。基于洁净环境检测的行业特点,该项目分为笔试和实际操作(简称实操)两... 目的评价我国检验检测机构对洁净环境照度的检测能力。方法回顾性分析中国食品药品检定研究院于2022年在全国范围内首次设计并组织实施的洁净环境照度能力验证项目。基于洁净环境检测的行业特点,该项目分为笔试和实际操作(简称实操)两部分。笔试部分,共3题(限时40 min完成),考察参加测试(简称参测)实验室对检测标准正确理解和掌握的程度,根据专家商议确定的评分标准评分(满分50分)。实操部分,以该院药用辅料和包装材料检定所的2台洁净工作台为现场考核样品,以参测实验室的现场测试结果考察参测实验室的仪器操作和实验水平(限时5 min完成),以Z值进行评价(︱Z︱≤2,>2~<3,≥3分别为满意、有问题、不满意)并打分(满分50分)。以笔试和实操评分之和评价参测实验室的检测能力(≥60分为合格)。结果共24家实验室参加了能力验证并按要求提交了结果报告。笔试,评分为45~50分,满分21家(87.50%)。实操,样品A,满意21家(87.50%),有问题3家(12.50%);样品B,满意23家(95.83%),有问题1家(4.17%),2个样品均无不满意的实验室。24家实验室总评分均合格。结论该次能力验证结果显示,各实验室的检测能力维持良好,但部分实验室存在对标准的理解和掌握仍有欠缺或未按校准周期对照度计进行计量等问题,建议检测人员加深对洁净环境检测标准的理解,相应机构重视仪器的校准,持续提高检测能力。 展开更多
关键词 检验检测机构 洁净环境 照度 能力验证
下载PDF
基于HCPN的复杂BPMN协作模型数据流建模与验证 被引量:2
3
作者 黄凤兰 倪枫 +3 位作者 刘姜 陶蒙怡 周奕宁 李业勋 《计算机集成制造系统》 EI CSCD 北大核心 2024年第5期1754-1769,共16页
为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重... 为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。 展开更多
关键词 着色PETRI网 BPMN协作模型 数据流错误 模型验证 形式化
下载PDF
N6-甲基腺苷相关调节因子与骨关节炎:生物信息学和实验验证分析 被引量:3
4
作者 袁长深 廖书宁 +5 位作者 李哲 官岩兵 吴思萍 胡琪 梅其杰 段戡 《中国组织工程研究》 CAS 北大核心 2024年第11期1724-1729,共6页
背景:越来越多证据表明N6-甲基腺苷(N6-methyladenosine,m6A)调节因子与骨关节炎密切相关,被认为是防治骨关节炎新方向,但具体作用机制不明。目的:通过对骨关节炎基因芯片数据集进行生物信息学分析,探讨m6A对骨关节炎的作用,解析骨关节... 背景:越来越多证据表明N6-甲基腺苷(N6-methyladenosine,m6A)调节因子与骨关节炎密切相关,被认为是防治骨关节炎新方向,但具体作用机制不明。目的:通过对骨关节炎基因芯片数据集进行生物信息学分析,探讨m6A对骨关节炎的作用,解析骨关节炎发病机制。方法:首先利用R软件提取GEO数据库中GSE1919数据集中骨关节炎相关m6A调节因子及其表达量,进而对提取结果行基因差异分析及GO、KEGG富集分析;接着对PPI网络拓扑学分析结果和机器学习结果取交集得到m6A关键调节因子,并通过体外细胞实验验证。结果与结论:①提取得到16个骨关节炎相关m6A调节因子表达量,通过差异分析获得ZC3H13、YTHDC1、YTHDF3、HNRNPC等11个m6A差异调节因子;②GO富集分析显示,骨关节炎相关m6A差异调节因子在生物过程中主要于mRNA转运、RNA分解代谢、胰岛素样生长因子受体信号通路调控等发挥作用;③KEGG富集分析显示,差异调节因子主要参与p53、白细胞介素17和AMPK信号通路;④综合PPI网络拓扑学分析和机器学习结果获得m6A关键调节因子——YTHDC1;⑤体外细胞实验结果表明,m6A关键调节因子——YTHDC1在对照组与骨关节炎组中表达存在显著差异(P<0.05);⑥结果显示,YTHDC1与骨关节炎发生发展密切相关,有望成为m6A治疗骨关节炎的分子靶点。 展开更多
关键词 骨关节炎 N6-甲基腺苷 生物信息学 机器学习 调节因子 软骨细胞 实验验证
下载PDF
参考区间转移和验证的方式 被引量:1
5
作者 曾洁 张传宝 《临床检验杂志》 CAS 2024年第6期401-405,共5页
参考区间是解释临床结果的基本工具,通常实验室需要建立本地人群的参考区间,但这要耗费大量资源,并不是每个实验室都有这样的能力。转移和验证已有参考区间是一种经济、可行的实验室应用参考区间的方式。该文基于美国临床和实验室标准... 参考区间是解释临床结果的基本工具,通常实验室需要建立本地人群的参考区间,但这要耗费大量资源,并不是每个实验室都有这样的能力。转移和验证已有参考区间是一种经济、可行的实验室应用参考区间的方式。该文基于美国临床和实验室标准研究所(CLSI)EP28-A3c文件讨论转移和验证参考区间的方式,以期帮助广大实验室在更好理解的基础上开展中国人群参考区间的转移和验证研究。 展开更多
关键词 EP28-A3c 参考区间 转移 验证
下载PDF
Twitter提及论文的布拉德福定律验证及来源期刊特征——以图书情报学科为例 被引量:3
6
作者 张蕊 王莹 邱均平 《图书情报知识》 CSSCI 北大核心 2024年第1期121-132,共12页
[目的/意义]调研社交媒体提及的论文是否符合布拉德福定律有助于了解社交媒体环境下论文的分布特征,并获取媒体关注的核心信息。[研究设计/方法]以2018-2022年图书情报学科相关的推文为研究对象,通过描述性统计、布拉德福定律验证和特... [目的/意义]调研社交媒体提及的论文是否符合布拉德福定律有助于了解社交媒体环境下论文的分布特征,并获取媒体关注的核心信息。[研究设计/方法]以2018-2022年图书情报学科相关的推文为研究对象,通过描述性统计、布拉德福定律验证和特征分析方法,考察布拉德福定律在Twitter环境下的有效性及其分布特点。[结论/发现]在图书情报领域,Twitter提及论文所在来源分布符合布拉德福分散定律;核心区中被JCR收录的、拥有Twitter账号的期刊数量更多。[创新/价值]关注了传统理论在社交媒体环境下的适用性,对比不同分区来源期刊的特征能够为发现成为核心区期刊的关键因素提供参考。 展开更多
关键词 布拉德福定律 推文分布 Twitter提及 图书情报学科 验证分析
下载PDF
基于铜死亡相关lncRNAs的胰腺癌预后模型构建与验证 被引量:1
7
作者 黄菲菲 杨馨奕 +2 位作者 秦振溜 张杰 金约朋 《肝胆胰外科杂志》 CAS 2024年第6期348-359,共12页
目的研究铜死亡相关lncRNAs在胰腺癌(PAAD)患者中的预后预测价值,并进一步构建预后预测模型。方法从TCGA数据库中下载胰腺癌患者的转录组测序数据和相应临床信息,通过Pearson相关性分析筛选与预后相关的铜死亡相关lncRNAs,先后利用单因... 目的研究铜死亡相关lncRNAs在胰腺癌(PAAD)患者中的预后预测价值,并进一步构建预后预测模型。方法从TCGA数据库中下载胰腺癌患者的转录组测序数据和相应临床信息,通过Pearson相关性分析筛选与预后相关的铜死亡相关lncRNAs,先后利用单因素Cox回归和Lasso回归分析并进一步构建预后模型。根据模型的风险评分中位数,将所有患者分为高风险组和低风险组。通过Kaplan-Meier生存分析、亚组分析、ROC曲线分析及一致性指数分析评估模型的预后预测价值,并利用单因素和多因素回归分析验证模型的独立性。对高、低风险组的差异表达基因进行GO及KEGG功能富集分析,并对高、低风险组患者进行肿瘤突变负荷(TMB)分析、免疫治疗反应预测以及药物敏感性分析。结果通过Pearson相关性分析,确定了127个铜死亡相关的lncRNAs,先后利用单因素Cox回归分析及Lasso回归分析构建了一个基于6个铜死亡相关lncRNAs的预后预测模型。根据模型计算结果将PAAD患者队列分成高风险组和低风险组,Kaplan-Meier生存分析表明低风险组患者的生存时间要长于高风险组(P<0.05)。ROC曲线证明了该模型对胰腺癌患者预后的预测性能良好:1、3、5年ROC曲线下面积分别为0.687、0.753、0.771;基因功能富集分析表明,高、低风险组差异表达基因主要富集于免疫相关通路。此外,高风险组患者的TMB值明显大于低风险组,而TIDE评分明显低于低风险组。最后,通过药物敏感性分析发现不同组的胰腺癌患者对特定药物的敏感性存在统计学差异,对临床用药具有一定的指导意义。结论本研究基于铜死亡相关lncRNAs成功构建了一个PAAD患者预后模型,可精准预测PAAD患者的预后,并为患者的临床药物治疗选择提供个性化指导。 展开更多
关键词 胰腺癌 铜死亡 长链非编码RNA(lncRNAs) 预后模型 构建与验证
下载PDF
新时代中国教师应具备什么样的素养?——基于教师视角的“新时代中国教师素养模型”的调查验证 被引量:1
8
作者 吴琼 李晓 《教育科学》 CSSCI 北大核心 2024年第3期24-30,共7页
自21世纪以来,厘清教师素养的内涵并建构相应框架或模型,成为教师教育领域的一个研究热点。然而,目前关于教师素养模型的研究在很大程度上缺乏充分的理论基础与实证依据。本研究通过大型问卷调查,了解教师群体对新时代教师所需素养的看... 自21世纪以来,厘清教师素养的内涵并建构相应框架或模型,成为教师教育领域的一个研究热点。然而,目前关于教师素养模型的研究在很大程度上缺乏充分的理论基础与实证依据。本研究通过大型问卷调查,了解教师群体对新时代教师所需素养的看法,并在此基础上检验“新时代中国教师素养模型”,判断其内容和结构是否合理。结果显示:尽管存在内部差异,但是教师整体高度认同教师应该具备学科素养、通识素养、学习支持、全人教育、沟通合作、发展改进和师德情怀这七大素养;“两种专业角色×四种专业关系”框架作为教师素养的推导逻辑是合理可行的,并且,“新时代中国教师素养模型”对教师素养的结构化解释是成立的。本研究将丰富教师素养理论研究,并有可能为我国未来修订教师专业标准、促进教师队伍发展建设和推进教师教育课程改革提供决策依据。 展开更多
关键词 教师 教师素养 教师专业标准 素养模型 模型验证
下载PDF
阅读理解中的可靠性验证:基于知识和基于文本
9
作者 林文毅 范小月 万正维 《心理发展与教育》 CSSCI 北大核心 2024年第6期905-912,共8页
网络时代的阅读者必须在阅读过程中对于文本信息的可靠性进行验证,从而避免错误信息或者有害信息的侵扰。而文本信息可靠性验证的结果,影响该信息进入心理表征的概率。阅读理解中,阅读者主要使用基于知识和基于文本这两类可靠性验证策... 网络时代的阅读者必须在阅读过程中对于文本信息的可靠性进行验证,从而避免错误信息或者有害信息的侵扰。而文本信息可靠性验证的结果,影响该信息进入心理表征的概率。阅读理解中,阅读者主要使用基于知识和基于文本这两类可靠性验证策略。在冲突检测阶段,基于知识和基于文本的可靠性验证策略以同样的方式发挥作用;而在冲突解决阶段,基于知识的可靠性验证策略优先于基于文本的可靠性验证策略。未来的研究可以结合神经生理学的研究范式,将信息强度和工作记忆纳入研究的框架中,以获得对文本信息的可靠性验证机制更为全面和深刻的理解。 展开更多
关键词 可靠性效应 验证 两步验证模型
下载PDF
一种小型火工机构的输出计算及其验证
10
作者 杜永刚 王雪松 +4 位作者 刘轶鑫 康昌玺 雷小光 张文台 孙永壮 《宇航学报》 EI CAS CSCD 北大核心 2024年第2期231-239,共9页
针对某折叠翼展开机构的小型化难题,研究了一种小型火工机构。利用内弹道理论建立了该火工机构的输出理论模型,通过理论模型计算和优化了机构参数,并用有限元法校验了计算结果。测试结果表明:该原型机具备了小型特点,其输出角度达到了12... 针对某折叠翼展开机构的小型化难题,研究了一种小型火工机构。利用内弹道理论建立了该火工机构的输出理论模型,通过理论模型计算和优化了机构参数,并用有限元法校验了计算结果。测试结果表明:该原型机具备了小型特点,其输出角度达到了128.5°。在逆风和顺风负载下,该火工机构的工作时间均小于200 ms,其最大角速度不大于3 000 (°)/s,试验数据证实该火工机构具备缓冲作用,理论计算结果和试验数据基本一致。研究成果可作为薄型折叠翼的一种设计方法,为薄型折叠翼的工程应用奠定技术基础。 展开更多
关键词 火工机构 折叠翼 小型化 理论模型 验证
下载PDF
离心泵轴承疲劳寿命仿真分析及试验验证
11
作者 汪家琼 胡波 +2 位作者 黄倩 朱荣生 付强 《排灌机械工程学报》 CSCD 北大核心 2024年第9期865-871,共7页
针对工程中常出现的离心泵轴承实际寿命低于其设计寿命问题,以IS 100-80-160型离心泵为研究对象,对其进行数值仿真,将多个工况下的仿真结果与工程中校核泵轴承寿命的Steponff经验公式进行对比,发现Steponff公式计算出的径向力值偏小.为... 针对工程中常出现的离心泵轴承实际寿命低于其设计寿命问题,以IS 100-80-160型离心泵为研究对象,对其进行数值仿真,将多个工况下的仿真结果与工程中校核泵轴承寿命的Steponff经验公式进行对比,发现Steponff公式计算出的径向力值偏小.为分析Steponff公式计算的轴承寿命校核误差,将径向力加载至轴承内圈进行有限元疲劳寿命仿真分析,并搭建离心泵径向力及轴承寿命试验台进行试验验证.结果表明:径向力计算误差以及工况变化将产生较大的轴承寿命偏差,该偏差在额定工况下最大,且随着径向力变大而逐步减小;与ISO寿命计算结果对比,数值仿真疲劳寿命安全系数更高;Steponff公式的计算值不够准确,将导致轴承实际寿命与其设计寿命相差极大;在大型低比转数离心泵轴承选用中,需考量Steponff公式的适用范围,同时可应用数值仿真校核其额定寿命.研究结果可为大型泵轴承寿命校核提供一定的依据. 展开更多
关键词 离心泵 轴承 疲劳寿命 数值仿真 试验验证
下载PDF
科技成果转化新路径和新模式的探索:国内外技术转移概念验证中心的建设启示 被引量:1
12
作者 张士运 刘平平 陈曦 《科技智囊》 2024年第4期48-53,共6页
[研究目的]概念验证是技术转移机构核心职能之一,可弥补早期科技成果与可进行市场化成果之间的空白,提高科技成果转化效率。[研究方法]就概念验证在科技成果转化技术创新链中所处的位置、特点详细阐明,对国内代表性城市概念验证中心建... [研究目的]概念验证是技术转移机构核心职能之一,可弥补早期科技成果与可进行市场化成果之间的空白,提高科技成果转化效率。[研究方法]就概念验证在科技成果转化技术创新链中所处的位置、特点详细阐明,对国内代表性城市概念验证中心建设、发布政策情况开展梳理与研究。[研究结论]在借鉴国外概念验证中心建设的具体举措基础上,针对我国概念验证在科技成果转化链条中的薄弱点与瓶颈制约提出对策建议,以进一步促进科技成果向现实新质生产力转化、让创新成果更快更好落地。 展开更多
关键词 科技成果转化 技术转移 概念验证 路径 模式
下载PDF
不同核酸提取方法对HBV-DNA检测性能验证情况分析 被引量:1
13
作者 周文娟 林真 徐建萍 《现代医药卫生》 2024年第4期575-580,共6页
目的评估2种乙型肝炎病毒(HBV)-DNA提取方法及2家检测试剂的性能,有助于选择优化提取试剂和检测试剂。方法2023年4月采用达安全自动核酸提取仪提取法(磁珠法)和手工提取法(一步法),并用达安和圣湘2种HBV-DNA试剂检测,对其进行精密度、... 目的评估2种乙型肝炎病毒(HBV)-DNA提取方法及2家检测试剂的性能,有助于选择优化提取试剂和检测试剂。方法2023年4月采用达安全自动核酸提取仪提取法(磁珠法)和手工提取法(一步法),并用达安和圣湘2种HBV-DNA试剂检测,对其进行精密度、正确度、线性范围、检出限及抗干扰能力等性能进行验证和评价。结果达安全自动核酸提取仪提取达安试剂检测、手工提取达安试剂检测和手工提取圣湘试剂检测在精密度、正确度、线性范围、检出限方面验证结果均达标;达安全自动核酸提取仪提取圣湘试剂检测在低值检测中变异系数大于5%,最低检测限验证不合格;抗干扰能力方面,全自动核酸提取仪提取的2.0 g/dL血红蛋白浓度的样本用达安和圣湘试剂检测结果均不受影响。手工提取甘油三酯浓度达3000 mg/dL的样本用达安和圣湘试剂检测的结果均不受影响。结论不同厂家的提取和检测试剂避免混用,达安和圣湘试剂对HBV-DNA定量检测的结果均符合要求。 展开更多
关键词 乙型肝炎病毒-DNA定量检测 全自动核酸提取仪法 手工提取法 性能验证
下载PDF
无人集群博弈对抗系统仿真验证及决策关键技术综述
14
作者 梁晓龙 杨爱武 +4 位作者 张佳强 侯岳奇 王宁 黄骁 龚俊斌 《系统仿真学报》 CAS CSCD 北大核心 2024年第4期805-816,共12页
无人集群博弈对抗是一种新兴的作战样式,在智能化战争扮演着至关重要的作用,其核心是自主生成博弈对抗决策序列,为集群“赋能”。分析了无人集群博弈对抗系统仿真验证的进展;从基于专家系统和博弈论的技术、基于群体智能和优化理论的技... 无人集群博弈对抗是一种新兴的作战样式,在智能化战争扮演着至关重要的作用,其核心是自主生成博弈对抗决策序列,为集群“赋能”。分析了无人集群博弈对抗系统仿真验证的进展;从基于专家系统和博弈论的技术、基于群体智能和优化理论的技术,以及基于神经网络和强化学习的技术三个方面论述了自主决策关键技术,以及课题组在自主决策上开展的相关工作;提出了无人集群博弈对抗的发展方向。 展开更多
关键词 无人集群 博弈对抗 自主决策 系统仿真验证
下载PDF
命令式动态规划类算法程序推导及机械化验证
15
作者 左正康 孙欢 +3 位作者 王昌晶 游珍 黄箐 王唱唱 《软件学报》 EI CSCD 北大核心 2024年第9期4218-4241,共24页
动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Is... 动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值. 展开更多
关键词 Isabelle/HOL 机械化验证 动态规划 命令式 VCG
下载PDF
低轨星座卫星快速开发与验证方案设计
16
作者 刘敏 范为 +1 位作者 裴胜伟 李峰 《航天器工程》 CSCD 北大核心 2024年第2期16-20,共5页
针对低轨星座卫星快速开发与验证需求,提出试验星+工程星+接口验证平台(VPI)并行研制验证方案。通过工程星研制,对卫星结构、总装设计及供电主通道、推进贮供主通道等设计进行验证,支撑试验星设计优化与结构投产;VPI对星上电子单机接口... 针对低轨星座卫星快速开发与验证需求,提出试验星+工程星+接口验证平台(VPI)并行研制验证方案。通过工程星研制,对卫星结构、总装设计及供电主通道、推进贮供主通道等设计进行验证,支撑试验星设计优化与结构投产;VPI对星上电子单机接口、星上软件等进行迭代验证。通过试验星研制,对低轨星座卫星功能性能全面验证,确定星座卫星基线。该方案经多颗卫星实施验证,有效提高了低轨星座卫星验证效率。 展开更多
关键词 低轨星座卫星 工程星 快速开发 设计验证
下载PDF
面向SoC系统的可扩展UVM自动化验证平台
17
作者 刘斌 虞小鹏 谭年熊 《电子设计工程》 2024年第7期158-163,共6页
得益于设计IP的成熟可靠性,目前SoC系统能够基于设计IP实现快速构建。在SoC系统构建过程中,往往需要考虑从IP模块到SoC系统的功能验证。为了能够减小SoC系统构建与功能验证之间的项目压力,提出了一种可快速构建、可扩展、可复用的自动... 得益于设计IP的成熟可靠性,目前SoC系统能够基于设计IP实现快速构建。在SoC系统构建过程中,往往需要考虑从IP模块到SoC系统的功能验证。为了能够减小SoC系统构建与功能验证之间的项目压力,提出了一种可快速构建、可扩展、可复用的自动化验证平台。该平台基于UVM、Python、Mako技术,同时具备SV、UVM、C的测试能力,可以快速部署验证平台,有利于验证环境,标准化测试指令规范了测试代码。在不同验证层次中投入试用,有效节省了96.9%的构建测试平台时间,减少了66.2%的测试框架代码,减少了66.4%的测试用例代码。该平台已作为独立EDA产品,参与到多个芯片研发。 展开更多
关键词 SOC UVM 验证平台 自动化
下载PDF
构建无线网络内生智能通信验证系统的挑战与方法 被引量:1
18
作者 何世文 董浩磊 +3 位作者 彭石林 刘文超 张晓宇 朱小亮 《移动通信》 2024年第7期2-14,共13页
随着人工智能和深度学习在计算机视觉、机器人、医疗等领域的成功应用,无线网络智能化成为下一代无线通信发展的关键技术之一。因此探讨构建无线网络内生智能通信验证系统所面临的关键技术挑战与部署方案。采用网络功能虚拟化、软件定... 随着人工智能和深度学习在计算机视觉、机器人、医疗等领域的成功应用,无线网络智能化成为下一代无线通信发展的关键技术之一。因此探讨构建无线网络内生智能通信验证系统所面临的关键技术挑战与部署方案。采用网络功能虚拟化、软件定义网络、容器和微服务等先进技术,以Kubernetes为平台基座,以信号处理时间轴为主线,以计算、网络、数据及无线资源等池化管理为核心,构建集无线数据采集与分析、网络状态建模与预测、模型部署与应用、数据要素动态监控与可视的无线网络内生智能通信验证系统,使该系统具备实时数据采析、全面地理解和监控无线网络状态,实现无线通信与网络中数据-算力-资源灵活、敏捷、智能的编排与管理、传输策略智能调优等内生智能通信技术测试验证的目标。 展开更多
关键词 内生智能 无线网络 验证系统
下载PDF
泌尿外科老年住院患者院内感染的风险预测模型构建及效能验证研究
19
作者 席翔 马筱 +3 位作者 卓晖 熊黎强 袁仁斌 曹敏 《河北医药》 CAS 2024年第14期2148-2151,2155,共5页
目的 分析泌尿外科老年住院患者院内感染的危险因素,构建泌尿外科老年住院患者院内感染的风险预测模型,并对其效能进行验证。方法 选取成都市第三人民医院泌尿外科2022年1~12月老年住院患者1 050例为研究对象,按照患者医院感染发生情况... 目的 分析泌尿外科老年住院患者院内感染的危险因素,构建泌尿外科老年住院患者院内感染的风险预测模型,并对其效能进行验证。方法 选取成都市第三人民医院泌尿外科2022年1~12月老年住院患者1 050例为研究对象,按照患者医院感染发生情况,分为感染患者(研究组)45例和非感染患者(对照组)1 005例。采用单因素和多因素Logistic法,筛选泌尿外科老年住院患者院内感染的危险因素,进而构建老年住院患者院内感染的风险预测模型。采用Hosmer and Lemeshow进行风险预测模型的拟合优度检验,绘制ROC曲线,评价风险预测模型的预测价值。结果 年龄>75岁、住院时间≥15 d、手术治疗、使用呼吸机辅助通气和留置导尿管是泌尿外科老年住院患者院感发生的危险因素;预测老年住院患者院内感染发生的概率模型:P=1/[1+exp(6.055-0.969X1-2.802X2-1.904X4-1.169X5-2.120X6)];ROC曲线分析显AUC为0.916,95%CI为0.874~0.957。结论 年龄>75岁、住院时间≥15 d、手术治疗、使用呼吸机辅助通气和留置导尿管是泌尿外科老年住院患者院感发生的危险因素,临床实践中应针对上述因素对高危患者人群进行筛查,并实施有针对性的治疗和干预措施以预防感染发生。同时,采用风险预测模型能够对泌尿外科老年住院患者医院感染风险进行科学评价,能够为临床实践提供参考和指导依据。 展开更多
关键词 老年住院患者 院内感染 风险预测模型 效能验证
下载PDF
智能机舱验证平台设计与开发
20
作者 王晓 余永华 +2 位作者 董旭 胡磊 刘迪 《船海工程》 北大核心 2024年第4期24-28,35,共6页
智能机舱是近年来提出的概念,目前尚处于初级阶段,其功能,如数据采集、特征提取,以及故障诊断等的准确性尚缺乏规范性的验证手段。以某型内河船舶机舱动力系统为对象,基于NI LabVIEW软件平台和现场可编程门阵列硬件开发智能机舱验证平台... 智能机舱是近年来提出的概念,目前尚处于初级阶段,其功能,如数据采集、特征提取,以及故障诊断等的准确性尚缺乏规范性的验证手段。以某型内河船舶机舱动力系统为对象,基于NI LabVIEW软件平台和现场可编程门阵列硬件开发智能机舱验证平台,结合监测设备工作过程机理,按信号特征、通道,以及接口一致的原则,模拟输出柴油机、辅助发电机、齿轮箱和轴系等设备各类监测信号。通过开发的控制软件,可实现标准的、故障的和设备性能衰退的3类信号输出,为智能机舱系统数据采集、信号特征提取、监测诊断算法,以及健康状态评估算法的准确性和实时性提供验证平台。 展开更多
关键词 智能机舱 信号模拟 验证平台
下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部