期刊文献+
共找到22篇文章
< 1 2 >
每页显示 20 50 100
基于LIBS技术对铌基中锡扩散进行深度剖析
1
作者 陈楠 李暾 +3 位作者 何亚雄 汪金凤 张红 蔡芳共 《广州化工》 CAS 2024年第5期50-53,66,共5页
锡含量的扩散浓度变化对于超导材料的制备非常重要。本文基于LIBS技术研究了不同烧结温度下锡元素在铌片中扩散反应后样品内不同深度的锡元素的浓度分布情况。结果表明,700℃以下烧结的样品中,锡元素在铌片中的扩散深度高于800℃以上的... 锡含量的扩散浓度变化对于超导材料的制备非常重要。本文基于LIBS技术研究了不同烧结温度下锡元素在铌片中扩散反应后样品内不同深度的锡元素的浓度分布情况。结果表明,700℃以下烧结的样品中,锡元素在铌片中的扩散深度高于800℃以上的锡扩散深度。锡元素扩散的同时形成Nb3Sn相,且晶粒迅速长大并形成了致密层,阻止了锡元素的进一步扩散。因此若想提高样品中的锡元素扩散深度以及在样品中的扩散浓度,需要在低温下长时间内进行,尽量避免晶粒的长大。 展开更多
关键词 激光诱导击穿光谱 锡扩散 深度分析 晶粒尺寸
下载PDF
敏捷设计中基于机器学习的静态时序分析方法综述 被引量:1
2
作者 贺旭 王耀 +4 位作者 傅智勇 李暾 屈婉霞 万海 张吉良 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2023年第4期640-652,共13页
随着集成电路规模越来越大,设计变得越来越复杂.为了有效地提升设计生产率,芯片敏捷设计受到越来越广泛的重视.在芯片RTL-to-GDSII设计流程中,敏捷设计方法需要广泛借助机器学习技术,寻求“无人参与”的解决方案.时序性能作为芯片的重... 随着集成电路规模越来越大,设计变得越来越复杂.为了有效地提升设计生产率,芯片敏捷设计受到越来越广泛的重视.在芯片RTL-to-GDSII设计流程中,敏捷设计方法需要广泛借助机器学习技术,寻求“无人参与”的解决方案.时序性能作为芯片的重要性能指标,需要在RTL-to-GDSII设计的各个流程中进行静态时序分析.快速、准确、可靠的时序预测,可以将Sign-Off的时序性能前馈到早期设计流程中,指导早期设计的时序优化和时序收敛,减少芯片设计的迭代次数和迭代周期.文中给出敏捷设计中时序优化的流程框架,详细地梳理了RTL-to-GDSII设计流程中基于机器学习的时序分析研究现状;并从数据准备、问题建模、实用性以及通用性等多方面,探讨了敏捷设计中基于机器学习方法进行时序预测的挑战. 展开更多
关键词 敏捷设计 电子设计自动化 静态时序分析 机器学习
下载PDF
基于C语言程序分析验证技术的Verilog代码验证方法
3
作者 邓茜 范广生 +2 位作者 陈立前 李暾 王戟 《计算机工程与科学》 CSCD 北大核心 2023年第12期2146-2154,共9页
传统的硬件验证方法将RTL设计综合成门级网表并使用SAT求解器进行验证,没有有效利用其字级结构,导致部分性质不能验证。近年来,软件分析验证技术和SMT求解技术取得了长足的发展,为将最新的软件分析验证技术迁移到硬件验证上来,提出一种... 传统的硬件验证方法将RTL设计综合成门级网表并使用SAT求解器进行验证,没有有效利用其字级结构,导致部分性质不能验证。近年来,软件分析验证技术和SMT求解技术取得了长足的发展,为将最新的软件分析验证技术迁移到硬件验证上来,提出一种基于C语言程序分析验证技术的Verilog代码验证方法。首先设计一个基于综合语义的Verilog到C的转换系统;然后使用当前软件分析验证领域典型的技术与工具对转换后的C语言程序进行分析验证,以判定原Verilog代码是否满足性质断言。实验结果表明了将C语言程序分析验证技术迁移到Verilog代码验证上的可行性和有效性。 展开更多
关键词 软件分析与验证 硬件验证 综合语义 程序转换
下载PDF
早期APRV模式下自主呼吸强度评价对中重度ARDS患者氧合、肺顺应性及预后的影响:一项前瞻性随机对照研究
4
作者 李暾 沈金蓉 《中国急救复苏与灾害医学杂志》 2023年第11期1452-1458,共7页
目的探究早期气道压力释放通气(APRV)模式下自主呼吸强度评价对中重度急性呼吸窘迫综合征(ARDS)患者氧合、肺顺应性及预后的影响。方法选取2021年1月—2023年1月成都市双流区第一人民医院60例中重度ARDS患者,按照1∶1比例随机分为研究组... 目的探究早期气道压力释放通气(APRV)模式下自主呼吸强度评价对中重度急性呼吸窘迫综合征(ARDS)患者氧合、肺顺应性及预后的影响。方法选取2021年1月—2023年1月成都市双流区第一人民医院60例中重度ARDS患者,按照1∶1比例随机分为研究组(30例)、对照组(30例),开展前瞻性研究。两组初始均给予容量控制通气1 h后转为APRV模式,给予镇静/镇痛处置,研究组每小时监测气道吸气闭合压(P0.1),对照组每小时监测自发每分通气量/每分总通气量(MVspont/MV)。比较两组治疗前(T0)和治疗1 h后(T_(1))、6 h后(T_(2))、12 h后(T_(3))、24 h后(T_(4))、48 h后(T_(5))、72 h后(T_(6))氧合指标[动脉二氧化碳分压(PaCO_(2))、动脉血氧分压(PaO_(2))、酸碱度(pH值)、血乳酸(Lac)]、肺顺应性(动态顺应性、静态顺应性)、呼吸力学参数[气道峰压(Ppeak)、气道平台压(Pplat)]、血流动力学指标[心率(HR)、平均动脉压(MAP)、中心静脉压(CVP)],并比较两组预后情况。结果研究组T0~T_(6)时刻PaCO_(2)、pH值与对照组比较,差异无统计学意义(P>0.05),T_(1)~T_(6)时刻PaO_(2)高于对照组,Lac低于对照组(P<0.05);研究组T_(1)~T_(6)时刻动态顺应性、静态顺应性高于对照组(P<0.05),Ppeak、Pplat低于对照组(P<0.05);研究组T0~T_(6)时刻HR与对照组比较,差异无统计学意义(P>0.05),研究组T_(1)~T_(6)时刻MAP高于对照组,CVP低于对照组(P<0.05);研究组机械通气时间、ICU治疗时间、住院时间短于对照组,28 d全因病死率(6.67%)低于对照组(26.67%)(P<0.05),但研究组拔管成功率(90.00%)与对照组(80.00%)比较,差异无统计学意义(P>0.05)。结论P0.1作为早期APRV模式下监测自主呼吸强度的指标,有助于改善患者肺顺应性,恢复血流动力学与呼吸力学,改善患者氧合状态,进而降低患者28 d全因病死率,促进患者早日康复。 展开更多
关键词 急性呼吸窘迫综合征 气道压力释放通气模式 肺顺应性 氧合指标 呼吸力学参数 血流动力学 预后
下载PDF
CSE教学实施过程与思考 被引量:4
5
作者 刘万伟 毛晓光 +2 位作者 张春元 李暾 周会平 《计算机工程与科学》 CSCD 北大核心 2018年第A01期27-31,共5页
科学计算机教育(CSE)的教学理念将本科课程中的数学物理计算方法融入至软件工程系列课程中,并通过使用计算机扩展传统问题的求解范围,培养学生基于计算机进行问题求解的能力。回顾了课程组在近年实施CSE实验性教学改革过程中的基本情况... 科学计算机教育(CSE)的教学理念将本科课程中的数学物理计算方法融入至软件工程系列课程中,并通过使用计算机扩展传统问题的求解范围,培养学生基于计算机进行问题求解的能力。回顾了课程组在近年实施CSE实验性教学改革过程中的基本情况,重点就教学案例的设计进行了探讨,同时就教学改革过程中的经验教训进行了总结。 展开更多
关键词 软件工程 程序设计 科学计算 CSE
下载PDF
增量式任务驱动的面向对象程序设计教学 被引量:6
6
作者 刘万伟 李暾 +1 位作者 尹良泽 陈立前 《计算机工程与科学》 CSCD 北大核心 2018年第A01期1-5,共5页
面向对象程序设计是计算机专业及软件工程专业的重要基础课程。探讨了在当前教学改革中,针对计算机、软件工程专业学生开展增量式任务驱动的面向对象程序设计的实施过程,具体包括教学理念及方法、迭代式增量练习、综合性练习的设置、课... 面向对象程序设计是计算机专业及软件工程专业的重要基础课程。探讨了在当前教学改革中,针对计算机、软件工程专业学生开展增量式任务驱动的面向对象程序设计的实施过程,具体包括教学理念及方法、迭代式增量练习、综合性练习的设置、课程的考察考核等内容。并对课程的进一步规划进行了讨论。 展开更多
关键词 面向对象程序设计 课程设计 任务驱动
下载PDF
微处理器敏捷设计方法综述 被引量:4
7
作者 李暾 贺旭 +1 位作者 屈婉霞 万海 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2021年第2期298-309,共12页
随着登纳德缩放定律和摩尔定律几近终结,通过领域特定体系结构提升微处理器性能变得越来越重要,迫切需要提升微处理器设计生产率来应对网络、智能、安全等领域特定需求.国内外的实践表明,微处理器敏捷设计方法是一种能有效提升微处理器... 随着登纳德缩放定律和摩尔定律几近终结,通过领域特定体系结构提升微处理器性能变得越来越重要,迫切需要提升微处理器设计生产率来应对网络、智能、安全等领域特定需求.国内外的实践表明,微处理器敏捷设计方法是一种能有效提升微处理器设计生产率的方法.通过对比软硬件设计的差异,分析出敏捷设计的本质及其应用于微处理器设计所面临的挑战.综述了微处理器敏捷设计领域近年来代表性研究实践,归纳出微处理器敏捷设计关键使能技术,探讨了该领域未来潜在的研究方向. 展开更多
关键词 敏捷设计 微处理器 领域特定语言 电子设计自动化
下载PDF
一种基于线性反馈移位寄存器的轻量级强PUF设计 被引量:4
8
作者 侯申 郭阳 +1 位作者 李暾 李少青 《图学学报》 CSCD 北大核心 2020年第1期125-131,共7页
物理不可克隆函数(PUF),是一种新型硬件安全原语,可以用FPGA和ASIC实现,避免芯片被过度制造和非法克隆。PUF可以用于安全密钥生成和芯片认证,强PUF是其中一种重要的分类,强PUF具有极大的CRP空间,适用于设备实体的安全认证。经典的以仲裁... 物理不可克隆函数(PUF),是一种新型硬件安全原语,可以用FPGA和ASIC实现,避免芯片被过度制造和非法克隆。PUF可以用于安全密钥生成和芯片认证,强PUF是其中一种重要的分类,强PUF具有极大的CRP空间,适用于设备实体的安全认证。经典的以仲裁器PUF为代表的强PUF设计面积开销大,唯一性不够理想,难以在一些资源集约的场景,如嵌入式系统和物联网(IoT)设备中应用。为了减小硬件开销,提出了一种新型轻量级强PUF设计,该设计利用线性反馈移位寄存器对弱PUF的输出响应进行混淆以获得大量的输出响应,结构简单,易于实现。在28 nm的FPGA上实现并评估了该PUF设计。实验结果表明,该PUF的随机性为49.8%,唯一性为50.25%,硬件开销很小。 展开更多
关键词 硬件安全 物理不可克隆函数 线性反馈移位寄存器 FPGA 轻量级
下载PDF
基于谱矩的单自由度复阻尼结构的等效阻尼分析 被引量:3
9
作者 李暾 谢海文 +1 位作者 李创第 葛新广 《广西科技大学学报》 2019年第4期6-14,共9页
复阻尼模型与实验结果吻合较好,但结构动力分析较为复杂.本文针对单自由度复阻尼耗能结构基于谱矩相等准则,即令复阻尼原始系统和等效系统的的零阶和二阶谱矩相等,得到单自由度复阻尼耗能结构的等效频率和等效阻尼.将等效系统的计算结... 复阻尼模型与实验结果吻合较好,但结构动力分析较为复杂.本文针对单自由度复阻尼耗能结构基于谱矩相等准则,即令复阻尼原始系统和等效系统的的零阶和二阶谱矩相等,得到单自由度复阻尼耗能结构的等效频率和等效阻尼.将等效系统的计算结果与原始系统计算得到的精确解以及由经典的模态应变能法计算得到的结果进行比较,等效系统具有很高的精度. 展开更多
关键词 复阻尼结构 谱矩 等效频率 等效阻尼 单自由度
下载PDF
基于近似Davenport风速谱的建筑结构动力响应的新封闭解法 被引量:7
10
作者 李暾 张梦丹 +1 位作者 姜琰 葛新广 《广西科技大学学报》 2020年第4期1-10,18,共11页
杨庆山风速谱是Davenport风速谱的近似,可简化结构风振响应的分析.传统方法所得结构响应的表达式比较复杂,为此,提出了一种简明封闭解法.首先,研究了考虑空间相关性的杨庆山风速谱的建筑结构脉动风压的功率谱密度函数改进表达式;其次,基... 杨庆山风速谱是Davenport风速谱的近似,可简化结构风振响应的分析.传统方法所得结构响应的表达式比较复杂,为此,提出了一种简明封闭解法.首先,研究了考虑空间相关性的杨庆山风速谱的建筑结构脉动风压的功率谱密度函数改进表达式;其次,基于1阶微分方程的虚拟激励法获得了建筑结构风振响应(结构层绝对位移及其振动速度、层间位移及其变化率)的功率谱密度函数的统一简明封闭解;最后,研究了结构层绝对位移和层间位移响应的0—2阶及4阶的谱矩的简明封闭解.以10层建筑结构为例,利用该方法和传统虚拟激励法进行对比分析,结果表明:该方法为杨庆山风速谱激励下结构风振响应的精确解法,且可用于判断传统虚拟激励法分析的精度. 展开更多
关键词 杨庆山风速谱 1阶微分方程虚拟激励法 谱矩 简明封闭解
下载PDF
建筑结构基于巴斯金风速谱的系列风振响应的简明封闭解 被引量:2
11
作者 李暾 张梦丹 +1 位作者 姜琰 葛新广 《计算力学学报》 CAS CSCD 北大核心 2021年第6期739-747,共9页
针对巴斯金风速谱激励下的建筑结构顺风向振动响应表达式复杂的问题,提出了一种简明封闭解法。巴斯金随机谱广泛应用于描述脉动风、随机地震动和路面不平顺等各种随机激励,本文基于留数定理给出巴斯金风速功率谱的二次正交式。综合运用... 针对巴斯金风速谱激励下的建筑结构顺风向振动响应表达式复杂的问题,提出了一种简明封闭解法。巴斯金随机谱广泛应用于描述脉动风、随机地震动和路面不平顺等各种随机激励,本文基于留数定理给出巴斯金风速功率谱的二次正交式。综合运用复模态法和虚拟激励法获得了建筑结构系列响应(位移、层间位移及其变化率)功率谱的统一形式的二次正交式,并根据谱矩的定义获得了建筑结构系列响应的方差和谱矩及绝对加速度方差的简明封闭解。运用本文方法对一8层建筑结构进行分析,并与传统虚拟激励法进行对比研究,表明本文所得封闭解正确,并可用于验证虚拟激励法在谱矩和方差分析时的精度和效率。由于本文方法含有复模态法,故可用于各类线性结构基于巴斯金谱的随机响应分析和基于动力可靠度及舒适度的动力优化分析。 展开更多
关键词 巴斯金风速谱 响应功率谱的二次正交式 谱矩 方差 简明封闭解
下载PDF
基于卡口上下文和深度置信网络的车辆轨迹预测模型研究 被引量:2
12
作者 李暾 朱耀堃 +2 位作者 吴欣虹 肖云鹏 吴海峰 《电子与信息学报》 EI CSCD 北大核心 2021年第5期1323-1330,共8页
针对车辆轨迹预测中节点序列的时序特性和实际路网中的空间关联性,该文提出一种基于深度置信网络和SoftMax(DBN-SoftMax)轨迹预测方法。首先,考虑到轨迹在节点集合中的强稀疏性和一般特征学习方法对新特征的泛化能力不足,该文利用深度... 针对车辆轨迹预测中节点序列的时序特性和实际路网中的空间关联性,该文提出一种基于深度置信网络和SoftMax(DBN-SoftMax)轨迹预测方法。首先,考虑到轨迹在节点集合中的强稀疏性和一般特征学习方法对新特征的泛化能力不足,该文利用深度置信网络(DBN)较强的无监督特征学习能力,达到提取轨迹局部空间特性的目的;然后,针对轨迹的时序特性,该文采用逻辑回归的预测思路,用当前轨迹集在路网特征空间中的线性组合来预测轨迹;最后,结合自然语言处理领域中的词嵌入的思想,基于实际轨迹中节点存在的上下文关系,运用节点的向量集表征了节点间的交通时空关系。实验结果表明该模型不仅能够有效地提取轨迹特征,并且在拓扑结构复杂的路网中也能得到较好的预测结果。 展开更多
关键词 智能交通 轨迹预测 卡口上下文分析 特征提取 深度置信网络
下载PDF
风速变化对拉索风雨激振的影响 被引量:1
13
作者 李暾 杨雄伟 +2 位作者 严宁 肖志豪 谢海文 《广西科技大学学报》 2018年第3期7-14,共8页
斜拉索风雨激振受周边复杂的风雨环境影响,其中风速时刻变化,与以往研究中假定在某一工况下风速始终不变的情形有较大差异.通过采用基于悬链线静态线型的运动水线连续弹性拉索风雨激振理论模型及运动水线节段拉索风雨激振理论模型,研究... 斜拉索风雨激振受周边复杂的风雨环境影响,其中风速时刻变化,与以往研究中假定在某一工况下风速始终不变的情形有较大差异.通过采用基于悬链线静态线型的运动水线连续弹性拉索风雨激振理论模型及运动水线节段拉索风雨激振理论模型,研究了风速改变对拉索风雨激振的影响规律.研究结果表明:风速变化对拉索风雨激振振幅以及起振风速范围有较大影响,风速改变会使ψ值产生变化,ψ值变化决定着拉索振幅的变化规律. 展开更多
关键词 斜拉索 风雨激振 风速变化 悬链线
下载PDF
基于工程一线的土木工程专业实验教学模块研究与实践 被引量:2
14
作者 李暾 黄柳云 +2 位作者 陈荣明 钟卿瑜 胡强 《中国教育技术装备》 2018年第10期121-123,共3页
以工程实践为切入点,探索面向工程一线的实验教学模块的建设思路,设立以工程质量检测实验作为特色开放性实验,建立实物的建筑工程施工工法展示中心,与工程单位联合录制实验操作视频,建立实验网络平台,革新实验教学环节,为高校土木工程... 以工程实践为切入点,探索面向工程一线的实验教学模块的建设思路,设立以工程质量检测实验作为特色开放性实验,建立实物的建筑工程施工工法展示中心,与工程单位联合录制实验操作视频,建立实验网络平台,革新实验教学环节,为高校土木工程实验教学提供借鉴。 展开更多
关键词 土木工程 实验教学 工程一线 虚拟仿真 实验室 实验网络平台
下载PDF
NLR、PLR、RDW与宫颈癌放化疗预后的相关性研究
15
作者 朱映霞 李云 +3 位作者 杨镇休 梁朝莹 段相会 梁洁 《实用妇科内分泌电子杂志》 2021年第18期1-4,共4页
目的探讨中性粒细胞与淋巴细胞比值(NLR)、血小板/淋巴细胞比值(PLR)、红细胞分布宽度(RDW)与宫颈癌放化疗预后的相关性。方法回顾性分析本院治疗的100例宫颈癌患者的临床资料。根据随访情况,将疾病进展、死亡的患者纳为预后不良组,无... 目的探讨中性粒细胞与淋巴细胞比值(NLR)、血小板/淋巴细胞比值(PLR)、红细胞分布宽度(RDW)与宫颈癌放化疗预后的相关性。方法回顾性分析本院治疗的100例宫颈癌患者的临床资料。根据随访情况,将疾病进展、死亡的患者纳为预后不良组,无病进展纳为预后良好组。分析NLR、PLR、RDW与宫颈癌放化疗预后的相关性。结果随访期间无病进展患者65例,疾病进展35例,其中死亡26例。预后不良组的NLR、PLR、RDW高于预后良好组,差异有统计学意义(P<0.05)。采用Spearman相关性分析,NLR、PLR、RDW与生存时间呈负相关,ROC曲线分析显示,NLR、PLR、RDW预测宫颈癌放化疗预后的曲线下面积分别为0.773、0.725、0.741。结论NLR、PLR、RDW与宫颈癌根治性放化疗的预后具有相关性,NLR、PLR、RDW水平越高,宫颈癌放化疗预后越差。 展开更多
关键词 宫颈癌放化疗 预后 相关性
下载PDF
基于悬链线型的斜拉索自由振动特性分析
16
作者 李暾 肖志豪 杨雄伟 《新乡学院学报》 2018年第12期55-60,共6页
在拉索质量沿轴向均匀分布的条件下给出了悬链线型表达式。在考虑拉索抗弯刚度和拉索垂度的基础上建立了拉索面内的非线性自由振动微分方程,通过Galerkin法将此微分方程转化为常微分方程,并通过龙格-库塔法对其进行数值求解。分析了抛... 在拉索质量沿轴向均匀分布的条件下给出了悬链线型表达式。在考虑拉索抗弯刚度和拉索垂度的基础上建立了拉索面内的非线性自由振动微分方程,通过Galerkin法将此微分方程转化为常微分方程,并通过龙格-库塔法对其进行数值求解。分析了抛物线型拉索与悬链线型拉索产生自由振动的差异,研究了拉索长度、线质量、张力和倾角分别与两种线型拉索的自振频率、垂度影响系数的关系。 展开更多
关键词 悬链线型 微分方程 斜拉索 自由振动
下载PDF
Angr动态软件测试应用分析与优化 被引量:4
17
作者 宋丛溪 王辛 张文喆 《计算机工程与科学》 CSCD 北大核心 2018年第A01期163-168,共6页
如今,基于符号化执行技术的动态软件测试被人们广泛应用,然而符号化执行遍历路径时带来的路径爆炸问题限制了其性能。应用了基于动态符号化执行技术的系统Angr,它加载待测二进制程序,并转化成中间语言符号化遍历程序。提出将待测程序根... 如今,基于符号化执行技术的动态软件测试被人们广泛应用,然而符号化执行遍历路径时带来的路径爆炸问题限制了其性能。应用了基于动态符号化执行技术的系统Angr,它加载待测二进制程序,并转化成中间语言符号化遍历程序。提出将待测程序根据特点分类的方法,调整遍历时的参数设置,对遍历过程剪枝,缓解了路径爆炸问题。为了分析Angr在软件测试中的应用方法,我们使用该系统对几种类别的程序分别进行了参数调整,以便扩展应用于更多软件系统的漏洞探测中。 展开更多
关键词 软件测试 符号化执行 Angr
下载PDF
Equivalent damping of SDOF structure with Maxwell damper 被引量:2
18
作者 li Chuangdi li tun +1 位作者 Ban Dingwei Ge Xinguang 《Earthquake Engineering and Engineering Vibration》 SCIE EI CSCD 2018年第3期627-639,共13页
To predict the maximum earthquake response of an SDOF structure with a Maxwell fluid damper or supplemental brace-viscous damper system using the seismic design response spectrum technique,a new approach is presented ... To predict the maximum earthquake response of an SDOF structure with a Maxwell fluid damper or supplemental brace-viscous damper system using the seismic design response spectrum technique,a new approach is presented to determine the first-and second-order equivalent viscous damping and stiffness,the peak responses,and the damper force of the above structure.Based on the fact that the dynamic characteristics of a general linear viscoelastically damped structure are fully determined by its free vibration properties and the relaxation time constants of a Maxwell fluid damper and supplemental brace-viscous damper system in engineering practice are all small,the method of improved multiple time scales and the equivalent criterion in which all free vibration properties are the same are used to obtain the first-and second-order equivalent viscous damping and stiffness of the above structure in closed form.The accuracy of the proposed method is higher and significantly better than that of the modal strain energy method.Furthermore,in the parametric range of the requirements of the Chinese "Code for Seismic Design of Buildings",the error of the proposed second-order equivalent system for the abovementioned engineering structure is not more than 0.5%. 展开更多
关键词 Maxwell damper supplemental brace-viscous damper system equivalent viscous damping response spectrum method maximum response of damper force
下载PDF
面向敏捷硬件设计的符号模拟器设计与实现
19
作者 邹鸿基 李暾 +1 位作者 罗丹 方雨德 《计算机工程与科学》 CSCD 北大核心 2021年第12期2098-2104,共7页
敏捷硬件设计方法中,RTL建模常使用自定义的描述语言,并将设计转换为某种中间格式,为设计验证带来了新挑战。符号模拟技术是(限界)模型检验、等价性检查和测试生成等验证技术的基础,为构建敏捷硬件设计方法验证技术基础,针对PyRTL语言... 敏捷硬件设计方法中,RTL建模常使用自定义的描述语言,并将设计转换为某种中间格式,为设计验证带来了新挑战。符号模拟技术是(限界)模型检验、等价性检查和测试生成等验证技术的基础,为构建敏捷硬件设计方法验证技术基础,针对PyRTL语言及其中间格式,设计并实现了一个符号模拟器。介绍了符号模拟器的设计原理、转换规则等关键技术。实验结果表明了所实现的符号模拟器的正确性。 展开更多
关键词 符号模拟器 PyRTL 敏捷硬件设计 验证
下载PDF
基于真人CS的闽东红色旅游体验性设计构想 被引量:1
20
作者 李暾 《福建广播电视大学学报》 2020年第2期67-70,共4页
现试图在红色旅游中引进体验性极强的真人CS这种军事模拟类户外竞技运动。从真人CS的应用领域、设备特点和投资经营三个方面对其应用在红色旅游中的可行性进行了分析,对闽东苏区武装斗争史与真人CS的融合进行了研究,并给出在这基础上进... 现试图在红色旅游中引进体验性极强的真人CS这种军事模拟类户外竞技运动。从真人CS的应用领域、设备特点和投资经营三个方面对其应用在红色旅游中的可行性进行了分析,对闽东苏区武装斗争史与真人CS的融合进行了研究,并给出在这基础上进行奇袭战类真人CS流程设计的实例一个。 展开更多
关键词 闽东 红色旅游 体验式旅游 真人CS 游戏设计
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部