期刊文献+
共找到1,097篇文章
< 1 2 55 >
每页显示 20 50 100
基于XMG的乘法器电路等价性验证算法
1
作者 朱柏成 储著飞 +2 位作者 潘鸿洋 王伦耀 夏银水 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2024年第3期443-451,共9页
组合电路等价性验证是数字集成电路设计自动化(EDA)中的重要部分,随着算术电路在现代计算机系统中的占比逐渐增大,传统的等价性验证算法在验证多比特算术电路,尤其是乘法器电路时面临挑战.对此,提出一种基于XOR-Majority Graph(XMG)逻... 组合电路等价性验证是数字集成电路设计自动化(EDA)中的重要部分,随着算术电路在现代计算机系统中的占比逐渐增大,传统的等价性验证算法在验证多比特算术电路,尤其是乘法器电路时面临挑战.对此,提出一种基于XOR-Majority Graph(XMG)逻辑表示的组合电路等价性验证算法.首先将2个待验证电路构建成的联接(Miter)电路进行XMG逻辑重写;然后在等价性一致的前提下对XMG的节点个数和逻辑深度进行逻辑重写优化;最后调用布尔可满足性(SAT)求解器和仿真器进行验证,得到最终等价性验证结果.实验结果表明,与ABC,Lingeling等工具相比,所提算法在验证时间上实现了平均489倍、最高1472倍的加速. 展开更多
关键词 逻辑综合 等价验证 乘法器电路 异或-多数逻辑图
下载PDF
普通话噪声接受度追踪测试材料的开发与等价性评估
2
作者 郑雨晴 龚嘉敏 +7 位作者 管鹏飞 冯佳玲 肖永涛 樊婷 代阿强 周柔嘉 李华伟 王云峰 《听力学及言语疾病杂志》 CAS CSCD 北大核心 2024年第4期302-307,共6页
目的开发普通话噪声接受度追踪(tracking of noise tolerance,TNT)测试材料并进行等价性评估。方法开发6组易于普通大众理解的言语材料(主题分别为日常生活、娱乐、家庭、节日、户外和学校);选取21例听力正常人分别进行6组测试材料的4分... 目的开发普通话噪声接受度追踪(tracking of noise tolerance,TNT)测试材料并进行等价性评估。方法开发6组易于普通大众理解的言语材料(主题分别为日常生活、娱乐、家庭、节日、户外和学校);选取21例听力正常人分别进行6组测试材料的4分钟TNT测试,分别计算获得31~240 s、31~120 s、151~240 s三个时间窗的可容忍噪声水平(tolerable noise level,TNL)和TNT分数。结果听力正常个体间TNL值存在差异(F=43.611,P<0.05)。6组测试材料的标准化(z-scored)分数在三个时间窗内均有统计学差异(P<0.05),事后比较发现,所有的显著性差异结果都涉及家庭和/或日常生活主题。结论本研究开发的娱乐、节日、户外和学校的主题测试材料可作为普通话TNT测试的正式测试材料,可应用于实验研究和临床测试。 展开更多
关键词 噪声接受度追踪测试 可接受噪声级 言语识别测试 等价
下载PDF
DVL/SINS松紧组合的等价性分析及改进的虚拟波束辅助紧组合算法
3
作者 靳凯迪 柴洪洲 宿楚涵 《系统工程与电子技术》 EI CSCD 北大核心 2024年第6期2107-2116,共10页
系统地研究了不同波束可用情况下的多普勒计程仪(Doppler velocity logger,DVL)/捷联惯性导航系统(strapdown inertial navigation system,SINS)紧组合导航算法。证明了3个或4个波束可用情况下,DVL/SINS波束域紧组合的定位精度与三维速... 系统地研究了不同波束可用情况下的多普勒计程仪(Doppler velocity logger,DVL)/捷联惯性导航系统(strapdown inertial navigation system,SINS)紧组合导航算法。证明了3个或4个波束可用情况下,DVL/SINS波束域紧组合的定位精度与三维速度松组合系统具有等价性,并给出了松组合中量测协方差阵的确定方法。针对紧组合系统定位精度随可用波束减少而降低的问题,考虑DVL的误差参数,基于载体运动约束和压力深度计提出一种改进的虚拟波束辅助紧组合算法。实验结果表明,3个或4个波束可用时的松组合与紧组合的定位精度等价;改进的虚拟波束辅助紧组合算法可以准确跟踪故障的波束速度,有效提升了不同波束可用情况下紧组合的定位精度。 展开更多
关键词 多普勒计程仪 捷联惯导航系统 组合导航 等价分析 虚拟波束构建
下载PDF
飞行人员指令性单音节词表的编制和等价性分析
4
作者 党梓怡 翟丽红 +1 位作者 王蒙 金占国 《中国听力语言康复科学杂志》 2024年第1期51-53,共3页
目的根据飞行人员指令性言语词库,编制一组具有粗放音位平衡特征的5张单音节词表,对该词表的等价性进行分析,挑选出难度一致的词表应用于临床,并制定基于此测试材料的健听飞行人员言语识别率—强度函数曲线(performance-intensity funct... 目的根据飞行人员指令性言语词库,编制一组具有粗放音位平衡特征的5张单音节词表,对该词表的等价性进行分析,挑选出难度一致的词表应用于临床,并制定基于此测试材料的健听飞行人员言语识别率—强度函数曲线(performance-intensity function,P-I),完善飞行人员的言语测听体系。方法根据常用原则,依据普通话语音声、韵、调的三维平衡,从飞行人员指令性词库中选择250个单音节词进行录音,组成5张词表(每张50字)。选择30名健听男性飞行人员对该词表进行等价性试验,在0、5、10、15、20、25 dB HL 6个强度下对每张词表进行测试,测试声强从低到高,测试词表顺序不一,记录每张词表在各强度级的正确率。使用SPSS 26.0对测试结果分析。结果5张单音节词表相互等价性较好(P=0.111);在不同测试强度下言语识别率有显著差异(P<0.001)。P-I曲线平均斜率为5.62%/dB;当识别率为50%时,给声强度平均值为8.92±0.21 dB HL,斜率为5.25%/dB,为曲线中最陡峭部分;识别率20%~80%线性区域平均斜率为4.39%/dB。结论具有粗放音位平衡特征的飞行人员指令性单音节言语词表具有较好的等价性。建立了健听飞行人员的言语识别率-强度函数曲线,可用于测试言语识别能力。 展开更多
关键词 言语测听 单音节词 等价 飞行人员
下载PDF
基于Bernstein Copula函数的随机变量序列的Max-Sum局部等价式
5
作者 明瑞星 楼振瀚 +1 位作者 崔盛 龚婵 《数学物理学报(A辑)》 CSCD 北大核心 2024年第4期1110-1125,共16页
该文考虑一类具有局部长尾分布,但不一定具有相同分布的随机变量序列,其联合分布由Bernstein copula函数进行联系.研究其部分和及其最大值的局部分布的渐近性质.在假设诸随机变量服从局部次指数分布的条件下,得到了Max-Sum局部等价性.... 该文考虑一类具有局部长尾分布,但不一定具有相同分布的随机变量序列,其联合分布由Bernstein copula函数进行联系.研究其部分和及其最大值的局部分布的渐近性质.在假设诸随机变量服从局部次指数分布的条件下,得到了Max-Sum局部等价性.该等价性从局部和相依的角度描述了随机游动的一次大跳原理.数值实验表明所得结果稳定可行. 展开更多
关键词 Bernstein copula Max-Sum局部等价 局部次指数分布 一次大跳原理
下载PDF
基于改进型SAT求解器算法的组合电路等价性检查研究
6
作者 屈展 李康 +5 位作者 刘鸿瑾 张绍林 李宾 周游 史江义 祁仲冬 《微电子学》 CAS 北大核心 2023年第1期109-114,共6页
随着工艺节点的缩小,集成电路规模的增加,集成电路设计过程中逻辑等价性检查在确保设计功能正确性方面起着重要作用。文章研究了组合电路逻辑等价性检查技术,针对该领域常用的DPLL和CDCL算法存在的问题,提出了一种基于蒙特卡洛树搜索的... 随着工艺节点的缩小,集成电路规模的增加,集成电路设计过程中逻辑等价性检查在确保设计功能正确性方面起着重要作用。文章研究了组合电路逻辑等价性检查技术,针对该领域常用的DPLL和CDCL算法存在的问题,提出了一种基于蒙特卡洛树搜索的改进算法。通过对ISCAS85测试集的一个子集的实验,证实该算法对CDCL算法有一定的改进,应用于组合电路等价性检查的平均运行时间减少了20%。 展开更多
关键词 等价检查 组合电路 可满足问题 EDA
下载PDF
不作为欺诈的等价性判断 被引量:1
7
作者 李潇洋 《政法论丛》 北大核心 2023年第3期102-113,共12页
不作为欺诈与作为欺诈同属《民法典》第148条所规定的“欺诈手段”,二者不仅一致作用于决定自由的保护,在价值判断上亦应具备等价性,从而配合为欺诈设置更为严厉的法律惩戒。不作为与作为是一种规范区分,当不作为事实上或经由规范解释... 不作为欺诈与作为欺诈同属《民法典》第148条所规定的“欺诈手段”,二者不仅一致作用于决定自由的保护,在价值判断上亦应具备等价性,从而配合为欺诈设置更为严厉的法律惩戒。不作为与作为是一种规范区分,当不作为事实上或经由规范解释得被作为吸收时,二者从整体上被评价为作为欺诈。为实现不作为与作为的等价性,不作为欺诈在客观构成上要求告知义务的范围限定。告知义务的成立需要平衡诚信与自己责任原则,具体判断信息重要性与信息可能性两项要素:重要性是证明问题,不宜进行规范上的概念分层;可能性则要考虑信息所处领域与当事人间信息能力的对比;判断要素需要直接、明确,不宜过度庞杂。等价性的另一面向体现在,不作为欺诈在主观构成要件(故意)的认定上要求“双重认识”,对于应告知信息的明知尚不足以构成故意,还需认识到不告知的违法性,亦即法律评价的基础事实。因此,过失欺诈论不足为采。 展开更多
关键词 不作为欺诈 作为欺诈 等价 告知义务 违法认识
下载PDF
基于观察等价性的协议猜测攻击形式化检测方法
8
作者 苗旭阳 顾纯祥 陆思奇 《密码学报》 CSCD 2023年第2期306-319,共14页
由于口令的低熵性,针对基于口令的安全协议存在特有的口令猜测攻击,当前的形式化语义不能较好地刻画攻击者执行口令猜测攻击的条件,对于协议抗猜测攻击能力没有统一的形式化安全属性定义.本文提出了基于观察等价性的协议猜测攻击形式化... 由于口令的低熵性,针对基于口令的安全协议存在特有的口令猜测攻击,当前的形式化语义不能较好地刻画攻击者执行口令猜测攻击的条件,对于协议抗猜测攻击能力没有统一的形式化安全属性定义.本文提出了基于观察等价性的协议猜测攻击形式化检测方法.使用多集重写规则对协议交互流程进行形式化建模,给出了口令初始化、口令猜测行为的标准化规则,修改完善基于口令的对称加密原语,以支持包含基于口令的对称加密的协议验证.理论上将协议口令猜测攻击的形式化分析检测转换为正确猜测和错误猜测下多集重写规则双系统的观察等价性是否成立的判断问题;实现上使用Tamarin形式化分析工具对协议是否存在口令猜测攻击进行自动化分析,首次实现了形式化分析工具对口令猜测攻击路径的自动化生成.使用该方法对EKE、SPAKE等传统口令认证协议和多因子认证协议进行形式化建模和分析,对其中存在口令猜测攻击的协议自动化生成可行的口令猜测攻击路径,验证了方法的正确性和有效性. 展开更多
关键词 形式化分析 观察等价 口令猜测攻击 Tamarin-Prover
下载PDF
不作为诈骗罪的等价性要件分析
9
作者 曾之健 《北京警察学院学报》 2023年第1期31-37,共7页
不真正不作为犯与作为犯存在结构上的本质差异,只有在行为人通过先行行为创设并支配了法益侵害危险或主动介入并控制了其他因素引起的法益侵害流程时,才能实现二者的等价。诈骗罪中欺骗行为的本质是利用不被允许的信息差风险支配被害人... 不真正不作为犯与作为犯存在结构上的本质差异,只有在行为人通过先行行为创设并支配了法益侵害危险或主动介入并控制了其他因素引起的法益侵害流程时,才能实现二者的等价。诈骗罪中欺骗行为的本质是利用不被允许的信息差风险支配被害人处分财产,只有排除了被害人自救可能性才能认为行为人建立起了对被害人处分财产的排他性支配。不作为只有在行为人实施了创设信息差风险之先行行为,并对被害人处分财产具有排他性支配时可构成欺骗行为。不作为欺骗与默示欺骗的区分,关键在于行为人创设信息差风险的行为能否被评价为实行行为。 展开更多
关键词 诈骗罪 不真正不作为犯 等价 先行行为 排他支配
下载PDF
两个二维多参数绝对值优化问题解的等价性
10
作者 苑文丽 张弦 《运筹与模糊学》 2023年第2期859-876,共18页
对带稀疏惩罚的最小一乘问题,采用MCP函数来连续松弛l0函数,在二维情况下研究由此得到的两个多参数绝对值优化问题解的等价性。 在简单条件下证明了两个问题具有相同全局最优解和最优值,为进一步研究相应高维问题提供了参考。
关键词 最小一乘问题 l0 范数 MCP函数 多参数绝对值优化问题 解的等价
下载PDF
以合成试验为例把握试验等价性
11
作者 胡新明 罗园 +2 位作者 陈慧欣 王文强 李涛 《电气传动自动化》 2023年第2期34-37,63,共5页
等价性作为试验过程中的要点以及支撑试验结果准确可靠的条件,被广泛考虑并引用到电器试验中。试验检测活动重要的一项是多角度全领域模拟试品运行工况,并依据相关规范标准对试验结果做出与正常使用状况一致的评价。本文以合成试验过程... 等价性作为试验过程中的要点以及支撑试验结果准确可靠的条件,被广泛考虑并引用到电器试验中。试验检测活动重要的一项是多角度全领域模拟试品运行工况,并依据相关规范标准对试验结果做出与正常使用状况一致的评价。本文以合成试验过程为例探讨把握试验等价性。 展开更多
关键词 等价 合成试验 电器试验
下载PDF
关于SVD与PCA等价性的研究 被引量:27
12
作者 吴春国 梁艳春 +2 位作者 孙延风 周春光 吕英华 《计算机学报》 EI CSCD 北大核心 2004年第2期286-288,共3页
利用矩阵的Frobenius范数对奇异值分解 (SingularValueDecomposition ,SVD)的正规正交基的最优性给出了一种新的证明 。
关键词 SVD PCA 等价 矩阵 FROBENIUS范数 奇异值分解 正规正交基 主成分分析
下载PDF
自然污秽与人工污秽绝缘子等价性分析方法研究 被引量:23
13
作者 赵晨龙 梅红伟 +3 位作者 戴罕奇 王黎明 关志成 周志成 《中国电机工程学报》 EI CSCD 北大核心 2014年第6期955-964,共10页
污闪事故长期威胁着我国电力系统的安全稳定运行,经过多年防污治理工作及治理规程的完善,中国的污闪事故大大减少,但关于污闪机理的分析研究工作仍需继续开展。人工污秽试验是分析研究绝缘子外绝缘性能的重要方式之一,但人工污秽试验与... 污闪事故长期威胁着我国电力系统的安全稳定运行,经过多年防污治理工作及治理规程的完善,中国的污闪事故大大减少,但关于污闪机理的分析研究工作仍需继续开展。人工污秽试验是分析研究绝缘子外绝缘性能的重要方式之一,但人工污秽试验与自然污秽试验之间等价性的问题并没有得到妥善解决。目前常用的分析方法是以等值盐密作为绝缘子污秽程度评价标准,用在清洗污秽溶液中产生相同电导率的NaCl盐量表示污层可电离物质的导电性。事实上,该方法并没有完全解决两者等价性的问题。首先提出一套评估人工污秽与自然污秽试验结果等价性的数学方法,并利用本方法在不同污秽度度量标准体系下分析人工污秽试验与自然污秽试验结果的等价性。分析结论表明,以绝缘子整体电导率作为衡量参数时,自然污秽绝缘子的外绝缘性能与人工污秽绝缘子外绝缘性能之间的等价性较好。 展开更多
关键词 假设检验 等价 自然污秽试验 人工污秽试验 表面电导率
下载PDF
特高压断路器的大容量开断试验等价性分析与开断试验方法 被引量:24
14
作者 裴振江 何俊佳 姚斯立 《高压电器》 CAS CSCD 北大核心 2009年第5期1-5,共5页
根据特高压断路器试验要求,对Weil-Dobke电流引入型合成试验回路的等价性进行了分析,探讨了引入电流的频率要求。介绍了ABB公司的EPIC合成试验回路,讨论了EPIC回路的结构和工作特点,指出了EPIC回路存在的问题。提出了适用于特高压断路... 根据特高压断路器试验要求,对Weil-Dobke电流引入型合成试验回路的等价性进行了分析,探讨了引入电流的频率要求。介绍了ABB公司的EPIC合成试验回路,讨论了EPIC回路的结构和工作特点,指出了EPIC回路存在的问题。提出了适用于特高压断路器大容量试验的XIHARI合成试验回路,详细介绍了该回路的工作原理,对其试验等价性进行了分析。 展开更多
关键词 特高压断路器 大容量试验 合成试验回路 等价 EPIC试验回路 XIHARI试验回路
下载PDF
大容量锂离子电池的并联性能评估与等价性分析 被引量:7
15
作者 张维戈 时玮 +3 位作者 张言茹 马泽宇 陈大分 王玉坤 《电网技术》 EI CSCD 北大核心 2014年第6期1499-1504,共6页
为研究大容量锂离子电池在并联方式制约下的性能估计和评价方法,首先,基于不同循环条件和不同电池参数差异条件的并联电池实验,分析了支路电流不平衡的起因和结果;选取简化的并联等效电路模型,详细分析了不同充电阶段的支路荷电状态(sta... 为研究大容量锂离子电池在并联方式制约下的性能估计和评价方法,首先,基于不同循环条件和不同电池参数差异条件的并联电池实验,分析了支路电流不平衡的起因和结果;选取简化的并联等效电路模型,详细分析了不同充电阶段的支路荷电状态(state of charge,SOC)累积特性,提出了并联电池电流不平衡的等效计算方法;建立了以并联电池交叉点前的平均电流、放电末端的电流极值和整体容量利用率等参数为基础的电池组综合性能评价指标;阐述了并联电池组和单体电池的等价范围,对延长并联电池使用寿命和成组筛选等应用提供了参考。 展开更多
关键词 锂离子电池并联 能评估 电流不平衡 等价
下载PDF
550kVGIS不同冲击波试验电压作用下的电压等价性分析 被引量:14
16
作者 刘强 郭洁 +1 位作者 胡斌 夏廷君 《高压电器》 CAS CSCD 北大核心 2013年第10期114-120,共7页
由于目前GIS现场冲击耐压试验中出现了一些问题,人们对大型GIS设备冲击耐压试验采用振荡雷电冲击波与标准雷电冲击波时GIS内部各节点的作用电压和电压分布情况以及两种试验波形下的耐压考核等价性等问题提出了质疑。从过电压的角度,利... 由于目前GIS现场冲击耐压试验中出现了一些问题,人们对大型GIS设备冲击耐压试验采用振荡雷电冲击波与标准雷电冲击波时GIS内部各节点的作用电压和电压分布情况以及两种试验波形下的耐压考核等价性等问题提出了质疑。从过电压的角度,利用数值仿真软件ATP-EMTP,模拟现场试验对某550 kV GIS设备分别施加振荡雷电冲击波与标准雷电冲击波两种电压波下GIS中波的传播情况和各节点可能出现的最大电压值进行了仿真计算分析,并对两种电压波作用下的节点电压进行了比对分析,同时对现场试验中出现的盆式绝缘子闪络短路故障做了模拟计算分析,得出的仿真分析结论与现场试验结果十分吻合,为进一步完善现场试验方法,修订试验标准提供参考依据。 展开更多
关键词 GIS ATP-EMTP 振荡雷电冲击波 标准雷电冲击波 节点最大电压分布 等价
下载PDF
网解和PPP解的等价性 被引量:10
17
作者 刘焱雄 彭琳 +1 位作者 周兴华 吴永亭 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2005年第8期736-738,743,共4页
证明了PPP解与网解的等价性,比较了网解和PPP解模式下的位置和对流层延迟参数的解算结果,实验验证了这两种GPS解算模式下参数解的等价性。
关键词 网解 精密单点定位 等价
下载PDF
结合二叉判决图和布尔可满足性的等价性验证算法 被引量:8
18
作者 严晓浪 郑飞君 +1 位作者 葛海通 杨军 《电子学报》 EI CAS CSCD 北大核心 2004年第8期1233-1235,共3页
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比... 本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 .算法是在与 /非图AIG中进行推理 ,并交替使用BDD扩展和基于电路SAT解算器简化电路 .如尚未解决 ,将用基于合取范式SAT解算器进行推理 .与已有算法相比主要有如下改进 :在AIG中结合多种引擎进行简化 ,不存在误判可能 ;充分利用了基于电路解算器和基于合取范式解算器各自优点 ,减小了SAT推理的搜索空间 .实验结果表明了本算法的有效性 . 展开更多
关键词 等价验证 与/非图 孤立节点 二叉判决图 可满足解算器
下载PDF
三维几何约束系统的等价性分析 被引量:8
19
作者 黄学良 王波兴 +1 位作者 陈立平 黄正东 《软件学报》 EI CSCD 北大核心 2011年第5期1106-1120,共15页
针对过约束、完整约束和欠约束三维几何约束系统的求解问题,提出了等价性分析方法.该方法基于三维几何约束系统的内在等价性,充分挖掘几何领域知识,依据拆解约束闭环、缩减约束闭环和析出约束闭环等原则,采用等价约束替换来处理几何约... 针对过约束、完整约束和欠约束三维几何约束系统的求解问题,提出了等价性分析方法.该方法基于三维几何约束系统的内在等价性,充分挖掘几何领域知识,依据拆解约束闭环、缩减约束闭环和析出约束闭环等原则,采用等价约束替换来处理几何约束闭环问题,优化几何约束图的结构,实现几何约束系统的优化分解.最后用多个实例验证了该方法的正确性和有效性. 展开更多
关键词 几何约束求解 几何约束图 几何领域知识 等价分析 等价约束替换
下载PDF
一组汉语普通话双音节测听词表的等价性分析 被引量:18
20
作者 李剑挥 郗昕 +4 位作者 冀飞 陈艾婷 洪梦迪 赵阳 杨伟炎 《中华耳科学杂志》 CSCD 2010年第1期75-77,共3页
目的对一组汉语普通话双音节词表的等价性进行分析。方法选择12名听力正常的受试者对已编辑好的6张(每张40词)等言语识别阈级并具有粗放"音位平衡"特征的汉语普通话双音节词表进行等价性实验,每张词表在言语听力级0、4、8、12... 目的对一组汉语普通话双音节词表的等价性进行分析。方法选择12名听力正常的受试者对已编辑好的6张(每张40词)等言语识别阈级并具有粗放"音位平衡"特征的汉语普通话双音节词表进行等价性实验,每张词表在言语听力级0、4、8、12dBHL等4个强度上进行测试,受试者聆听6张词表的顺序不同。受试者依强度从低到高的顺序进行4轮测试,记录每张词表在各强度级的正确率。使用SPSS12.0统计软件对各张词表的正确率进行双因素方差分析(词表序号、测试强度)。结果6张词表相互间等价性较好(F=0.022,P>0.01),不同测试强度下得分有显著差异(F=583.249,P<0.01)。结论一组具有等价性及音位平衡特征的汉语普通话双音节词表已编制完成。 展开更多
关键词 言语测听 双音节词 等价
下载PDF
上一页 1 2 55 下一页 到第
使用帮助 返回顶部