检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

RTL级模拟矢量自动生成设计化简方法研究

计算机辅助设计与图形学学报 2004年第5期16卷 671-677页

作者：李暾郭阳李思昆国防科学技术大学计算机科学与技术学院长沙410073

提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的实验结果表明 :该算法对状态化简效果非常明显。

关键词： VLSI Verilog程序切片有限状态机模拟矢量自动生成 RTL级

在线全文

学校读者我要写书评

暂无评论

基于连续数据流的动态手势识别算法

北京航空航天大学学报 2012年第2期38卷 273-279页

作者：郑韡沈旭昆 The State Key Laboratory of Virtual Reality Technology and Systems Beijing University of Aeronautics and Astronautics Beijing 100191 China

为识别用户做出的动态手势序列,基于数据手套采集的连续数据流,运用奇异值分解消除数据噪点,提取手势的特征信息,并利用关节弯曲的生理学特性与用户解耦合,将各种动作片段抽象成用户无关的手势模板,从而唯一定义手势特征并屏蔽不同用户... 详细信息

为识别用户做出的动态手势序列,基于数据手套采集的连续数据流,运用奇异值分解消除数据噪点,提取手势的特征信息,并利用关节弯曲的生理学特性与用户解耦合,将各种动作片段抽象成用户无关的手势模板,从而唯一定义手势特征并屏蔽不同用户的手势差异,再基于Hill Climbing思想把连续数据流分割成有序的动作序列,并按时序对所有片段在预先构造的层次树上实时搜索,根据欧式距离度量序列与手势模板的相似性.该算法对手势序列的分割准确,对多用户具有良好的适应性,其有效性在使用5DT数据手套搭建的两组动态手势识别的实验中得以验证.

关键词：连续数据流奇异值分解动态手势识别

在线全文

学校读者我要写书评

暂无评论

交互状态机模型模拟矢量自动生成方法

软件学报 2003年第3期14卷 628-634页

作者：李暾郭阳李思昆国防科学技术大学计算机学院湖南长沙410073

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生... 详细信息

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.

关键词：交互状态机模型模拟矢量自动生成方法数字系统覆盖率测度

具有频率不确定性的π型谐振感应电能传输系统H_∞控制方法

在线全文

学校读者我要写书评

暂无评论

中国电机工程学报 2011年第30期31卷 45-53页

作者：戴欣周继昆孙跃重庆大学自动化学院重庆市沙坪坝区400030

在型谐振感应电能传输(inductive power transfer,IPT)系统中,由于负载及耦合参数变化,导致系统谐振频率产生随机漂移。针对频率不确定条件下的输出控制,利用广义状态空间平均(generalized state space averaging,GSSA)法对系统进行频... 详细信息

在型谐振感应电能传输(inductive power transfer,IPT)系统中,由于负载及耦合参数变化,导致系统谐振频率产生随机漂移。针对频率不确定条件下的输出控制,利用广义状态空间平均(generalized state space averaging,GSSA)法对系统进行频域建模,将状态变量进行频域展开获得广义状态变量,从而获得线性状态空间模型。借助线性分式变换,将GSSA模型的确定部分与不确定部分分离,从而将系统的不确定模型转化为含摄动反馈的线性动力学系统。在此基础上提出一种基于GSSA模型的H_∞控制方法,又基于频域设计出混合灵敏度H_∞控制器,实现了多变量无静差跟踪鲁棒控制,并利用结构奇异值分析方法校验了鲁棒控制器的稳定性及性能。仿真及实验结果验证了其可行性。

关键词：不确定鲁棒控制广义状态空间平均法结构奇异值

RTL数据通路模拟矢量自动生成方法研究与实现

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2004年第8期16卷 1062-1069页

作者：李暾郭阳李思昆国防科学技术大学计算机科学与技术学院长沙410073

针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 详细信息

针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求实验结果表明。

关键词： RTL 数据通路模拟矢量自动生成方法约束逻辑编辑 CLP VLSI 形式化描述模型检验位向量算术约束求解

在线全文

学校读者我要写书评

暂无评论

空分短期停车时间阈值对氧气生产调度的影响

化工学报 2017年第6期68卷 2423-2433页

作者：张培昆王立北京科技大学能源与环境工程学院北京100083 北京市高等学校节能与环保工程研究中心北京100083

针对钢铁企业高炉休风场景下的氧气生产调度问题,提出以空分短期计划性停车为主要手段的调度策略,并基于MILP方法建立了氧气系统的优化调度模型。调度模型的优化目标为整个规划周期内氧气高压管网的综合压力最小化。模型包含了空分和部... 详细信息

针对钢铁企业高炉休风场景下的氧气生产调度问题,提出以空分短期计划性停车为主要手段的调度策略,并基于MILP方法建立了氧气系统的优化调度模型。调度模型的优化目标为整个规划周期内氧气高压管网的综合压力最小化。模型包含了空分和部分氧气压缩机短期停车再启动操作的约束条件,并结合实际情况考虑了前述设备的停车时间阈值和运行时间阈值。以国内某大型钢铁企业为实际案例,验证了调度模型的合理性与可行性,然后基于模型计算分析了空分停车时间阈值对调度目标的影响规律。分析结果表明,减小空分停车时间阈值有利于获得更优的调度目标,但空分停车时间阈值对优化目标的影响规律具有阶跃特性,而非简单的比例关系。

关键词：钢铁冶金分离数学模型氧气生产优化 MILP

在线全文

学校读者我要写书评

暂无评论

特征融合和多重约束的协同显著性检测

计算机辅助设计与图形学学报 2019年第9期31卷 1477-1484页

作者：金志刚李静昆天津大学电气自动化与信息工程学院

针对环境复杂的图像组中前景和背景信息混乱、共显性目标无法准确显示的问题,提出一种特征融合和多重约束的图像协同显著性检测算法.首先通过融合对象性概率优化的深度信息和颜色信息计算图像间显著性引导传播的显著值;然后使用深度概... 详细信息

针对环境复杂的图像组中前景和背景信息混乱、共显性目标无法准确显示的问题,提出一种特征融合和多重约束的图像协同显著性检测算法.首先通过融合对象性概率优化的深度信息和颜色信息计算图像间显著性引导传播的显著值;然后使用深度概率指导的多重约束的背景先验方法计算图像内显著值以进一步优化;将两阶段得到的显著值进行区域性建议融合,采用最小二乘法学习得到最终的协同显著性结果.在公共数据集上的实验结果表明,该算法有效地利用图像间相似性信息且抑制了背景信息,使得显著目标更加接近真值标定结果;克服了复杂环境因素的影响,在各个实验指标上的评估结果都有明显提高.

关键词：协同显著性检测特征融合多重约束深度信息

在线全文

学校读者我要写书评

暂无评论

基于声纹特征的伪造语音检测

声学学报 2025年第1期 201-210页

作者：张宇翔李茁陆镜泽尚增强陈树丽王文超张鹏远中国科学院语音与智能信息处理实验室(声学研究所) 中国科学院大学

目前的伪造语音检测方法在特定数据集上表现良好,但鲁棒性和可解释性较差。伪造语音生成通常通过单一特征实现说话人表示,缺乏对声纹特征的精细控制,导致真伪语音声纹特征分布存在差异。为此提出了一种基于声纹特征的伪造语音检测方法... 详细信息

目前的伪造语音检测方法在特定数据集上表现良好,但鲁棒性和可解释性较差。伪造语音生成通常通过单一特征实现说话人表示,缺乏对声纹特征的精细控制,导致真伪语音声纹特征分布存在差异。为此提出了一种基于声纹特征的伪造语音检测方法。该方法通过在预训练声纹识别系统基础上训练部分参数,建模真伪语音之间浅层帧级声纹特征的分布差异,实现伪造语音检测。该方法还改善了直接使用声纹特征鉴伪难以应对单元选择合成等音色高度相似的伪造算法的情况。所提方法在ASVspoof 2019 LA测试集中相比训练声纹识别系统全部参数的基线系统等错误率相对降低69.6%,且在跨信道和切除静音等场景中都具有良好的鲁棒性。

关键词：伪造语音检测声纹识别鲁棒性可解释性

同方期刊数据库

表面滚压对LZ50车轴钢疲劳短裂纹行为的影响

在线全文

学校读者我要写书评

暂无评论

金属学报 2012年第8期48卷 922-928页

作者：杨冰赵永翔西南交通大学牵引动力国家重点实验室成都610031

完成了6根表面经滚压处理的漏斗形圆棒试样疲劳短裂纹复型实验,结果表明其短裂纹行为表现出明显的微观结构短裂纹(MSC)和物理短裂纹(PSC)2阶段特征.在MSC阶段,由于不同微观结构障碍的阻碍,主导短裂纹出现2次较明显的扩展减速,进入PSC阶... 详细信息

完成了6根表面经滚压处理的漏斗形圆棒试样疲劳短裂纹复型实验,结果表明其短裂纹行为表现出明显的微观结构短裂纹(MSC)和物理短裂纹(PSC)2阶段特征.在MSC阶段,由于不同微观结构障碍的阻碍,主导短裂纹出现2次较明显的扩展减速,进入PSC阶段后,随着主导短裂纹尺度的增长,该现象不再显著.与表面未经滚压的试样相比,在给定主导短裂纹尺度条件下,滚压试样的裂纹扩展速率低得多,这种差异在MSC阶段可达1个数量级.滚压试样平均疲劳寿命达到未滚压试样的6.4倍.表面滚压处理有效抑制了微裂纹的形核与合并,改善了局部微观结构条件,并推迟了MSC与PSC过渡阶段的到来,提高了材料的抗疲劳性能.对主导短裂纹尺度、疲劳寿命分数和有效短裂纹密度3种特征参量进行分析,确定了其良好假设分布和统计演化规律.

关键词：疲劳短裂纹表面滚压扩展率 LZ50车轴钢