检索结果-内蒙古大学图书馆

浙江大学学报（工学版） 2014年第7期48卷 1217-1225页

作者：斯袁杰桂林杨小虎浙江大学计算机科学与技术学院浙江杭州310027 新加坡国立大学软件工程实验室

研究模型验证中的公平性问题,全面定义了包括进程层面(process-level)的强/弱公平、事件层面(eventlevel)的强/弱公平以及全局强公平性(strong global fairness)等,把这些公平性条件集成进了一个模型验证工具PAT.该工具支持以on-the-fl... 详细信息

研究模型验证中的公平性问题,全面定义了包括进程层面(process-level)的强/弱公平、事件层面(eventlevel)的强/弱公平以及全局强公平性(strong global fairness)等,把这些公平性条件集成进了一个模型验证工具PAT.该工具支持以on-the-fly的方式对线性时序逻辑性质进行验证.通过对多个基准模型进行实验,该工具在基于公平条件的模型验证中表现出良好的性能.

关键词：模型验证公平性 PAT 验证工具

来源：评论

学校读者我要写书评

暂无评论

基于GWO-LSTM与LSSVM的锂离子电池荷电状态与容量联合估计

引用

汽车安全与节能学报 2022年第3期13卷 571-579页

作者：王桥魏孟叶敏廉高棨麻玉川长安大学公路养护装备国家工程实验室中国西安710064 新加坡国立大学机械工程系新加坡117576

为了提高锂离子电池老化后的荷电状态(SOC)估计精度,通过分析锂离子电池的充电与放电特性,提出一种基于长短时记忆(LSTM)网络和最小二乘支持向量机(LSSVM)的荷电状态与容量联合估计模型。根据锂离子电池的充放电特性,提出片段电压的充... 详细信息

为了提高锂离子电池老化后的荷电状态(SOC)估计精度,通过分析锂离子电池的充电与放电特性,提出一种基于长短时记忆(LSTM)网络和最小二乘支持向量机(LSSVM)的荷电状态与容量联合估计模型。根据锂离子电池的充放电特性,提出片段电压的充电时间作为健康因子;基于最小二乘支持向量机建立了锂离子电池的容量估计模块,容量估计结果通过记忆门控被记录下来;基于灰狼算法优化的长短时记忆网络(GWO-LSTM)框架建立了锂离子电池的荷电状态与容量的联合估计模型。结果表明:与粒子群算法优化的反向传播神经网络(BPNN-PSO)和传统长短时记忆网络模型对比,所提方法的容量估计精度提高了43%以上,SOC估计表现出更好的鲁棒性。

关键词：锂离子电池荷电状态(SOC)估计容量估计长短时记忆网络(LSTM) 灰狼优化(GWO) 最小二乘支持向量机(LSSVM)

来源：评论

学校读者我要写书评

暂无评论

可快速精确重建的毫米波MIMO近距离成像机制研究

引用

红外与毫米波学报 2021年第5期40卷 638-646页

作者：于洋游燕陈旭东乔灵博赵自然清华大学工程物理系北京100084 清华大学危爆物品扫描探测国家工程实验室北京100084 新加坡国立大学电子与计算机工程系 117583新加坡

毫米波成像在人体安检领域发挥了重要作用,引起了人们的广泛关注。现有的毫米波近场人体安检成像机制主要分为SISO和MIMO两种。SISO机制可实现快速精确成像,然而随着工作频率的升高,其所需天线数目迅速增长、天线间隔下降,不仅造成了系... 详细信息

毫米波成像在人体安检领域发挥了重要作用,引起了人们的广泛关注。现有的毫米波近场人体安检成像机制主要分为SISO和MIMO两种。SISO机制可实现快速精确成像,然而随着工作频率的升高,其所需天线数目迅速增长、天线间隔下降,不仅造成了系统成本提升,还使得天线耦合难以被抑制。MIMO机制虽然降低了成像所需的天线数目、增大了天线间隔,但目前无法实现类似SISO机制的快速精确重建。提出了一种可快速精确重建的MIMO近距离成像机制,定量给出了该机制的适用条件。与传统MIMO近距离成像机制不同,该MIMO近距离成像机制通过巧妙地设计MIMO子阵列,使其在近场成像中满足等效相位中心原理。因此它能够直接使用诸如距离迁徙算法(range migration algorithm,RMA)等各种基于SISO机制开发的精确且快速的成像算法去重建图像,兼顾了SISO机制和MIMO机制的优势。E波段的示例表明,在近场毫米波成像中,该MIMO机制与SISO机制具有同等水平的成像质量和成像速度,但相较于SISO机制,该MIMO机制的天线利用率、天线间隔可提升4倍以上。与传统MIMO成像机制相比,该MIMO成像机制不但有更好的成像质量,而且其重建速度大幅提升,在一个成像区域为1 m×1 m×0.2 m,体素尺寸为1.85 mm^(3)的典型成像场景中,比传统MIMO成像机制快近200,000倍。仿真和实验结果验证了该成像机制的有效性。

关键词：毫米波 MIMO 近距离成像快速精确成像算法

来源：评论

学校读者我要写书评

暂无评论

基于dropout-MC递归神经网络的锂电池剩余寿命预测

引用

汽车安全与节能学报 2022年第3期13卷 541-549页

作者：魏孟王桥叶敏廉高棨徐信芯长安大学公路养护装备国家工程实验室中国西安710064 新加坡国立大学机械系新加坡新加坡117576 河南省高等级公路检测与养护技术重点实验室中国新乡453003

为保障电动车辆的可靠性和安全性,提出了一种dropout Monte Carlo(dropout-MC)递归神经网络的锂离子动力电池系统的剩余寿命(RUL)预测方法。以等电压充电时间间隔作为间接健康因子,考虑外部干扰和容量再生现象的影响,以变分模态分解(VMD... 详细信息

为保障电动车辆的可靠性和安全性,提出了一种dropout Monte Carlo(dropout-MC)递归神经网络的锂离子动力电池系统的剩余寿命(RUL)预测方法。以等电压充电时间间隔作为间接健康因子,考虑外部干扰和容量再生现象的影响,以变分模态分解(VMD)来获得电池退化趋势。以改进的递归神经网络模型——长短时间序列(LSTM)来获得剩余寿命预测。以dropout-MC采样方法来表征锂离子电池剩余寿命的不确定性,并获得锂离子电池RUL的95%置信区间。结果表明:相较于传统的极限学习机(ELM)方法和非线性自回归神经网络(NARX)方法,该文方法的剩余寿命预测性能指标均低于2.4%。因而,该方法具有优越的预测性能,且获得预测的置信区间。

关键词：车辆安全锂离子电池剩余寿命(RUL) 变分模态分解(VMD) dropout Monte Carlo(dropout-MC)方法递归神经网络

来源：评论

学校读者我要写书评

暂无评论

一种优化关系型溯源信息存储的新方法

引用

计算机学报 2011年第10期34卷 1863-1875页

作者：王黎维鲍芝峰 KOEHLER Henning 周晓方 SADIQ Shazia 武汉大学国际软件学院武汉430072 新加坡国立大学计算机学院新加坡117417 昆士兰大学信息技术与电子工程学院数据工程与知识工程教育部重点实验室(中国人民大学) 北京100872

现代数据管理必须处理来源不同、质量各异的数据,因此从系统层面支持数据溯源,让用户了解数据的来源及派生过程成为当前至关重要的一个研究课题.基于标注的方法是支持数据溯源的基本方法之一.这种方法的主要问题是存储空间开销,因为溯... 详细信息

现代数据管理必须处理来源不同、质量各异的数据,因此从系统层面支持数据溯源,让用户了解数据的来源及派生过程成为当前至关重要的一个研究课题.基于标注的方法是支持数据溯源的基本方法之一.这种方法的主要问题是存储空间开销,因为溯源信息可能会超过实际数据的大小.在该文中,作者提出了一个用与查询结构匹配的溯源树来表达和存储溯源信息从而避免数据派生过程中冗余存储的基本框架.基于这个框架,作者提出了一系列针对关系型查询的存储优化方法,选择查询树部分节点来存储溯源信息.这些优化算法对于查询大小是多项式时间,对于溯源信息大小是线性时间,在溯源信息的跟踪和优化方面均不会产生巨大的开销.这一框架是数据溯源研究的一个新思路,有着广泛的应用前景.

关键词：溯源树溯源表存储优化最优削剪规则I&II削剪

来源：评论

学校读者我要写书评

暂无评论

光学相干断层成像诊断肺动脉高压研究进展

引用

中国介入影像与治疗学 2014年第10期11卷 692-694页

作者：尚小珂 ZHONG Liang 李丁扬张刚成武汉市亚洲心脏病医院心外科导管室湖北武汉430022 新加坡国立大学医学研究院国立心脏研究所国立心脏中心生物工程实验室新加坡169609

肺动脉高压(PAH)严重威胁健康,诊断困难,治疗棘手,患者预后不良。光学相干断层成像(OCT)是近年来发展的光学成像技术,其图像分辨率可达微米级别,被称为"光活检"。OCT可用于评估PAH患者肺动纤维化程度和判断预后。本文综述OCT... 详细信息

肺动脉高压(PAH)严重威胁健康,诊断困难,治疗棘手,患者预后不良。光学相干断层成像(OCT)是近年来发展的光学成像技术,其图像分辨率可达微米级别,被称为"光活检"。OCT可用于评估PAH患者肺动纤维化程度和判断预后。本文综述OCT诊断和评估PAH的研究进展。

关键词：光学相干断层扫描高血压,肺性诊断显像

来源：评论

学校读者我要写书评

暂无评论

1株异养硝化-好氧反硝化细菌DK1的分离鉴定及其脱氮特性

引用

环境科学 2017年第11期38卷 4763-4773页

作者：牟东阳靳鹏飞彭永臻李夕耀张琼何建中北京工业大学城镇污水深度处理与资源化利用技术国家工程实验室北京市污水脱氮除磷处理与过程控制工程技术研究中心北京100124 新加坡国立大学土木与环境工程学院新加坡117576

从某反应器活性污泥中分离筛选出1株假单胞菌属(Pseudomonas sp.)细菌,命名为DK1,并对该菌进行脱氮特性研究.在以葡萄糖为碳源,C/N量比为5时,分别以NaNO_3和NaNO_2为氮源,二者的好氧反硝化速率为4.09 mg·(L·h)-1和4.43mg·... 详细信息

从某反应器活性污泥中分离筛选出1株假单胞菌属(Pseudomonas sp.)细菌,命名为DK1,并对该菌进行脱氮特性研究.在以葡萄糖为碳源,C/N量比为5时,分别以NaNO_3和NaNO_2为氮源,二者的好氧反硝化速率为4.09 mg·(L·h)-1和4.43mg·(L·h)^(-1).以二者同时为氮源脱氮率为100%;此外,菌株DK1具有异养硝化性能,NH_4^+-N平均去除速率为2.32mg·(L·h)-1.缺氧时以NO_2^--N为氮源菌株DK1可将一系列梯度浓度NO_2^--N(约100~300 mg·L-1)在36 h内降为0.当NO_3^--N和NO_2^--N同时存在时,菌株DK1会优先利用NO_3^--N进行反硝化.同时该菌株还具有同步硝化反硝化(SND)性能,可同时去除NH_4^+-N、NO_2^--N或NH_4^+-N、NO_3^--N,30 h内脱氮率分别达95.06%和94.69%.相同时间内在NH_4^+-N、NO_2^--N和NO_3^--N三者均存在时,脱氮效果最佳,达100%.菌株DK1的高效SND及反硝化性能表明其在处理含氮废水方面有一定的潜力和应用价值.

关键词：异养硝化好氧/缺氧反硝化同步硝化反硝化混合氮源脱氮细菌

来源：评论

学校读者我要写书评

暂无评论

大黄鱼甲状腺激素受体基因在不同年龄与不同织织中的表达差异

引用

江苏农业科学 2006年第6期34卷 339-344页

作者：解竞静杨晓静吴天星岳根华陈杰赵茹茜南京农业大学农业部动物生理生化重点开放实验室江苏南京210095 浙江大学宁波理工学院分子设计与营养工程实验室浙江宁波315100 新加坡国立大学TEMASEK生命科学实验室新加坡117604

为了深入研究甲状腺激素及其受体在大黄鱼生长和代谢调节中的作用,首次分离和克隆了大黄鱼甲状腺激素受体基因TRα、TRβcDNA的部分序列,并采用RT-PCR方法检测不同年龄的大黄鱼TRα、TRβmRNA的组织分布和发育性变化。此外,用放射免疫... 详细信息

为了深入研究甲状腺激素及其受体在大黄鱼生长和代谢调节中的作用,首次分离和克隆了大黄鱼甲状腺激素受体基因TRα、TRβcDNA的部分序列,并采用RT-PCR方法检测不同年龄的大黄鱼TRα、TRβmRNA的组织分布和发育性变化。此外,用放射免疫分析法检测血清中甲状腺激素水平。结果显示:1龄和2龄大黄鱼血清T3水平无显著差异,而T4水平2龄鱼显著低于1龄鱼。2龄大黄鱼肝脏TRβmRNA表达较1龄大黄鱼极显著下调(P<0.01),而TRα表达没有显著变化;肌肉中TRαmRNA表达2龄鱼较1龄鱼极显著上调(P<0.01),而TRβ表达未见显著差异。大黄鱼两种甲状腺激素受体基因表达呈现不同的组织分布和年龄相关变化模式,提示它们在大黄鱼生长和代谢调节中可能起不同的作用。

关键词：大黄鱼甲状腺激素受体基因表达

来源：评论

学校读者我要写书评

暂无评论

杆弹侵彻半无限延性靶板的特征、规律及其机理

引用

兵工学报 2016年第S2期37卷 114-121页

作者：高光发赵凯王焕然南京理工大学机械工程学院江苏南京210094 中国科学技术大学近代力学系安徽合肥230027 新加坡国立大学冲击工程实验室新加坡117576 北京理工大学爆炸科学与技术国家重点实验室北京100081 宁波大学力学与材料科学研究中心浙江宁波315211

对4种不同长度4340钢杆弹分别以30个不同入射速度垂直侵彻半无限4340钢靶板进行数值仿真研究,分析了侵彻3个阶段中相应的特征、规律及其机理。分析结果表明:当入射速度不大于0.6 km/s时,侵彻无法进入后续阶段,一直处于开坑阶段,其绝大... 详细信息

对4种不同长度4340钢杆弹分别以30个不同入射速度垂直侵彻半无限4340钢靶板进行数值仿真研究,分析了侵彻3个阶段中相应的特征、规律及其机理。分析结果表明:当入射速度不大于0.6 km/s时,侵彻无法进入后续阶段,一直处于开坑阶段,其绝大部分弹体动能的损失转化为弹体变形所产生的塑性功,靶板的开坑深度与杆弹的长度没有明显内在联系,而只与弹体的能量密度相关;当入射速度大于0.7 km/s时,侵彻进入准稳定阶段,此时弹体动能损失主要以质量损失为主,且单位时间内的动能损失量和塑性功增加量和长度与初始速度的平方之积呈线性正比。同时,弹坑半径随着入射速度的提高和杆弹长度的增加皆呈近似线性增大趋势,其增大趋势缓慢,远低于杆长和弹坑深度变化。此阶段内弹体的速度变化率与弹体长度呈线性正比,侵彻准稳定过程中的弹体速度和侵彻速度(弹坑深度增长速度)满足线性关系。在侵彻第3阶段,随着入射速度的增加,其侵彻效率逐渐增加。

关键词：兵器科学与技术杆弹侵彻特征侵彻规律侵彻机理

来源：评论

学校读者我要写书评

暂无评论

延性材料中球腔膨胀模型及其解析解的进一步研究

引用

安徽理工大学学报（自然科学版） 2017年第3期37卷 6-16页

作者：高光发李永池南京理工大学机械工程学院江苏南京210094 中国科学技术大学近代力学系安徽合肥230027 新加坡国立大学冲击工程实验室新加坡117576

空腔膨胀模型是当前广泛应用于许多工程领域的一个理论模型。基于Euler坐标构架,对球腔膨胀过程中不同阶段介质内的应力应变场的通解进行理论推导。讨论了当前国内外的一些推导成果的不足之处,分析表明当前的研究结果具有弹塑性解不连... 详细信息

空腔膨胀模型是当前广泛应用于许多工程领域的一个理论模型。基于Euler坐标构架,对球腔膨胀过程中不同阶段介质内的应力应变场的通解进行理论推导。讨论了当前国内外的一些推导成果的不足之处,分析表明当前的研究结果具有弹塑性解不连续、混淆了弹性体积压缩率和塑性阶段体积压缩率的概念等局限性,是一种间断的特解。给出了考虑塑性压缩性和塑性不可压两种情况下的弹塑性通解,在此基础上给出了考虑初始球腔尺寸和弹性变形等相关参数的准确的、连续的通解;并对塑性阶段压缩率的影响进行分析讨论。经过验证分析,这些通解更加普适,其简化及在特定假设下的特解与当前的国内外研究结果一致,该研究为球腔膨胀模型的应用和深化研究提供一定的参考。

关键词：球腔膨胀空腔膨胀应用力学塑性力学

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：