马光胜 作品数:80 被引量:130 H指数:5 供职机构: 哈尔滨工程大学 更多>> 发文基金: 国家自然科学基金 黑龙江省自然科学基金 黑龙江省教育厅科学技术研究项目 更多>> 相关领域: 自动化与计算机技术 电子电信 理学 农业科学 更多>>
基于多项式符号代数方法的高层次数据通路的等价验证 被引量:2 2009年 基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式.从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法.针对不同基准数据通路的实验结果表明了该算法的有效性. 杨志 马光胜 张曙关键词:电子设计自动化 基于Boole过程的并行逻辑模拟算法 被引量:5 2001年 在逻辑模拟中用波形作为电路状态的描述工具 ,通过对波形的计算和检查实现精确的模拟 .在Boole过程模拟法的基础上 ,为了降低逻辑模拟计算的时间复杂度 ,提出了一种基于共享主存结构的借助加权活动元件队列来提高处理机利用率的并行逻辑模拟算法 .该算法免除了以往耗时很多的电路划分过程 ,在一定程度上提高了并行加速比 . 冯刚 马光胜 杜振军关键词:加速比 不规则IP模块到2维NoC结构的映射方法研究 被引量:4 2008年 提出了一种新的基于NoC(Network on Chip)的不规则IP模块映射方法。其基本思想是把较大的IP模块分解成几个小的IP虚模型,或把几个较小的IP模块组合成一个IP虚模型,使得每个IP虚模型能映射到NoC结构的一个资源节点上。通过计算曼哈顿距离和输入/输出度,可以确定每个通信节点中缓冲区的大小。根据计算的通信代价可以对初始映射结果进行调整,从而可以避免通信拥塞,降低系统的功耗。 李光顺 吴俊华 马光胜关键词:片上网络 通信代价 一种基于遗传算法的高层次测试综合方法 被引量:1 2007年 提出一种基于遗传算法的高层次测试综合方法,在进行各种资源分配的过程中同时考虑可测性问题。该方法主要的特点在于提出了一种新颖的染色体编码方法,并设计了相应的遗传操作,避免了在进化过程中不可行解的产生。实验结果表明了算法在可测性方面的有效性。 孙强 周涛 马光胜 李海军关键词:资源分配 可测性 遗传算法 定量的信息安全风险评估计算模型的研究 被引量:3 2006年 讨论了信息安全风险评估计算模型相关问题.在原来定性风险评估计算模型的基础上,提出了一种定量的信息安全风险评估计算模型并将其运用在信息安全风险评估过程中,使信息安全风险评估分析过程中进行风险值的计算更加科学和准确,解决了以往定性的计算模型的数据计算粗略、不准确和多个风险值集中于一个相同的风险等级中,区分不出风险的重要性等问题. 孙强 韩有韬 董宇欣 马光胜 刘晓晓关键词:信息安全 风险评估 DES芯片抵御高阶差分功耗分析攻击方法研究 被引量:1 2008年 分析独特的屏蔽方法及改进方法的不足,提出了逻辑层和算法层相结合抵御高阶差分功耗分析攻击的新方法,并给出芯片半定制设计流程.芯片关键部分电路采用自定义功耗恒定逻辑单元实现,非关键部分电路采用CMOS逻辑以减少功耗和面积.整体电路采用独特的屏蔽方法自定义轮实现.结果表明芯片能够抵御高阶差分功耗分析攻击,运算速度与现有方法相当,而所需资源比现有方法少. 李海军 马光胜 刘晓晓关键词:DES 基于演化程序的数据通路综合算法研究 2002年 提出了一种基于演化程序的数据通路综合算法 ,该算法是将演化程序与已知的启发式算法相结合来对较大的设计空间进行智能化搜索 ;并且讨论了应用该方法以减少硬件资源成本和缩短总的执行时间为目标 ,对典型的微分方程电路实施调度、分配和数据通路综合的整体优化过程 .经实验证明 ,该算法可以十分有效地提高高层次综合设计的质量 . 黄少滨 冯彬 马光胜关键词:数据通路 遗传算法 专用集成电路 基于改进PCNN的电视制导视频干扰的仿真研究 2011年 电视制导系统中视频信号的传输过程极易受干扰,对其进行模拟是某型电视制导导弹视景仿真系统的技术要点之一。对传统脉冲耦合神经网络(PCNN)模型进行改进,利用其脉冲耦合特性和变阈值特性,提出了一种模拟视频干扰图像的实现方法。实际工程应用效果验证了所述方法的有效性。 张志宏 马光胜关键词:电视制导 视景仿真 脉冲耦合神经网络 噪声 基于部分向量复用和变游程编码的二级SoC测试压缩 2008年 提出了一种适用于基于核的SoC测试数据压缩的新方法,先将不同待测核对应的测试集中的测试向量部分重叠起来,形成一个重叠向量,对这个重叠向量进行变游程编码(VRL),以进一步压缩测试向量。由于测试应用时间与重叠向量的长度成正比,而重叠向量的长度要远小于原始测试向量的长度总和,从而减少了测试时间。变游程编码最大化了压缩效率。实验结果表明,与已有的算法相比,该方法减少了测试应用的时间,提高了数据的压缩率。 邵晶波 马光胜 张瑞雪面向互连的综合策略 VDSM(超深亚微米)设计中互连线延迟已在电路延迟中起到决定性作用.在前期设计阶段考虑互连延迟问题已是当前研究的重要课题.建立以互连为中心的综合方法是当前的一个棘手问题,尚未有成熟的方法.本文提出了一种面向互连延迟的综合... 马光胜 杜振军关键词:超深亚微米 互连延迟 文献传递