学术活动
  2006-10-21
  2005-10-21
 

马光胜    Ma Guangsheng







同名作者区分

马光胜 哈尔滨船舶工程学院马光胜 北京钢铁设计研究总院马光胜 哈尔滨工程大学
马光胜 黑龙江电力职工大学马光胜 Unknown
注:C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST(GrapH-based framewOrk for name diStincTion)算法,在此表示感谢。
共检索到结果32条  被引8次[注:ScholarSpace内自引数]
查看马光胜的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2012
32 张磊 马光胜 修建新 . 任务网络到时间自动机的等价模型验证. 计算机工程, 2012, (13): 0
2011
31 宋朝晖 马光胜 宋大雷 . NoC处理单元随机舍入的启发式应用映射. 计算机辅助设计与图形学学报, 2011, (07): 1263-1270 0
2009
30 杨志 马光胜 张曙 . 基于多项式符号代数方法的高层次数据通路的等价验证. 计算机研究与发展, 2009, (03): 1
29 王秀芹 王昊 马光胜 . EDA领域中可满足性问题求解方法研究. 计算机科学, 2009, (09): 0
28 李东海 马光胜 胡靖 . 定点算术数据通路的等价性检验方法. 计算机辅助设计与图形学学报, 2009, (01): 27-32 0
27 胡靖 马光胜 李东海 冯刚 . 可逆电路的符号综合方法. 小型微型计算机系统, 2009, (06): 1214-1219 0
26 李东海 任艳庆 马光胜 . 定点数据通路的等价验证. 小型微型计算机系统, 2009, 30 (03): 537-540 0
25 李光顺 马光胜 吴俊华 . 高层次数据流的多电压低功耗综合方法. , 2009, (07): 0
24 王秀芹 马光胜 王昊 . 可满足性求解器中一种可观无关性利用方法. 计算机辅助设计与图形学学报, 2009, (02): 0
23 邵晶波 马光胜 刘晓晓 . SoC测试调度的进程代数模型. 计算机辅助设计与图形学学报, 2009, (04): 493-499 0
22 李光顺 马光胜 吴俊华 . 高层次数据流的多电压低功耗综合方法. 计算机辅助设计与图形学学报, 2009, (07): 991-998 0
21 吴俊华 李光顺 马光胜 王冠军 . 资源约束的高层次数据流调度方法. 小型微型计算机系统, 2009, (06): 1062-1066 0
2008
20 李光顺 吴俊华 马光胜 . 不规则IP模块到2维NoC结构的映射方法研究. 计算机科学, 2008, (01): 31-33 0
19 杨志 马光胜 冯刚 邵晶波 . 应用吴方法进行高层次定界模型检验. 计算机辅助设计与图形学学报, 2008, 20 (02): 137-143 0
18 孙强 马光胜 刘晓晓 李海军 . 一种应用加权相容图的可测性寄存器分配算法. 小型微型计算机系统, 2008, 29 (05): 989-992 0
17 孙强 马光胜 刘晓晓 . 求解SAT问题的退火遗传算法. 小型微型计算机系统, 2008, 29 (07): 1268-1271 1
16 胡靖 马光胜 李东海 冯刚 . 基于相关系数-海森矩阵的漏功耗分析. 计算机辅助设计与图形学学报, 2008, 20 (05): 598-604 0
15 胡靖 马光胜 李东海 冯刚 . 考虑串扰因素的可逆电路的符号综合方法. 电子学报, 2008, 36 (05): 1029-1034 2
2007
14 王冠军 马光胜 刘晓晓 李东海 . 高级综合十年进展. 计算机科学, 2007, 34 (08): 4-7 1
13 刘晓晓 刘庆江 马光胜 冯刚 . VLSI设计中容性交叉耦合对时序分析的影响. 小型微型计算机系统, 2007, 28 (11): 2062-2065 0
2005
12 任长宁 马光胜 王昊 冯刚 . 基于多目标演化算法的SOC设计空间搜索策略. 计算机工程, 2005, 31 (06): 46-49 0
11 冯刚 马光胜 杜振军 . 信号相关的串扰优化详细布线. 计算机辅助设计与图形学学报, 2005, 17 (05): 1074-1078 1
2004
10 冯刚 马光胜 杜振军 . 串扰最小化的网格模式下的双层通道布线. 小型微型计算机系统, 2004, 25 (07): 1124-1128 0
9 吴俊华 马光胜 李光顺 . 含有分支电路的多项式表示. 计算机工程, 2004, 30 (22): 40-41 0
2003
8 杜振军 马光胜 . 多值Boole过程. 计算机工程, 2003, (10): 0
2001
7 杜振军 马光胜 冯刚 . 基于布尔过程论的层次化延时分析方法. 计算机研究与发展, 2001, 38 (10): 1269-1275 1
1996
6 董洪斌 马光胜 . 基于神经网络的植物分类专家系统. 小型微型计算机系统, 1996, 17 (03): 42-46 0
5 黄少滨 马光胜 . 关于PLA优化设计的一个综合算法. 计算机辅助设计与图形学学报, 1996, 8 (04): 295-299 0
1995
4 马光胜 王备红 黄少滨 . 大集成度PLD逻辑综合算法研究. 计算机辅助设计与图形学学报, 1995, (04): 0
1990
3 王志海 马光胜 . 一种求解多值逻辑函数接近最小覆盖的算法. 计算机学报, 1990, 13 (11): 875-878 1
1983
2 马光胜 . 用ULM和SSI门构造混合网络多级实现组合函数的一种综合方法. 计算机研究与发展, 1983, (10): 0
1982
1 马光胜 . TTL系列IC实现组合函数的简述. 计算机研究与发展, 1982, (01): 0

DBLP检索到的论文列表

No. Paper Inforamtion
2010
1 Zhi Yang, Guangsheng Ma, Shu Zhang, Formal verification of high-level data-flow synthesis designs using relational modeling and symbolic computation. Integration, 2010, Integration, 43(1): 101-112

承担项目历史

*注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系rucwamdm(at)gmail(dot)com
项目起止年份项目名称项目类别经费(万)
2003~2005基于多项式符号代数的系统芯片DA新方法研究 国家自然科学基金-面上项目
项目号:60273081
20
2000~2002Boole过程论中高速ASIC设计自动化新方法研究 国家自然科学基金-面上项目
项目号:69973014
12

合作作者列表

1 任艳庆 [26]  
2 任长宁 [12]  
3 修建新 [32]  
4 冯刚 [7]   [12]  [10]  [13]  [11]  [19]  [16]  [15]  [27]  
5 刘庆江 [13]  
6 刘晓晓 [13]   [18]  [14]  [17]  [23]  
7 吴俊华 [9]   [20]  [21]  [25]  [22]  
8 孙强 [18]   [17]  
9 宋大雷 [31]  
10 宋朝晖 [31]  
11 张曙 [30]  
12 张磊 [32]  
13 李东海 [14]   [16]  [15]  [28]  [26]  [27]  
14 李光顺 [9]   [20]  [21]  [25]  [22]  
15 李海军 [18]  
16 杜振军 [7]   [8]  [10]  [11]  
17 杨志 [19]   [30]  
18 王冠军 [14]   [21]  
19 王备红 [4]  
20 王志海 [3]  
21 王昊 [12]   [24]  [29]  
22 王秀芹 [24]   [29]  
23 胡靖 [16]   [15]  [28]  [27]  
24 董洪斌 [6]  
25 邵晶波 [19]   [23]  
26 黄少滨 [4]   [5]  

单位历史信息

哈尔滨工程大学计算机科学与技术学院 (2001--2012)
哈尔滨工程大学计算机系 (1995--1996)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。