科研专业方向
研究领域：
计算机及终端设计与制造技术
研究方向：
计算机科学技术-计算机软件;信息与系统科学相关工程与技术-信息安全技术-软件安全;
马博士
B类
山东济南市
科研重点分布
近年科研重点
2013
判定链表 确定有限状态自动机（DFA） 最小化科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：9
互联网技术：6
电信技术：1
生物学：1
自动化技术：1
逻辑学：1
总数:
17
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 山东省网络环境智能计算技术重点实验室 | 4 |
| 北京科技大学信息工程学院 | 2 |
| 曲阜师范大学计算机科学学院 | 2 |
| 山东网络环境智能计算技术重点实验室 | 2 |
| 山东财经大学计算机科学与技术学院 | 1 |
| 山东省数字媒体技术重点实验室 | 1 |
| 联通系统集成有限公司山东省分公司 | 1 |
| 山东财政学院计算机信息工程学院 | 1 |
| 山东科技大学信息科学与工程学院 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 一个完善的基于判定链表的DFA最小化算法 | 国家自然科学基金 |
| 一个完善的基于判定链表的DFA最小化算法 | 山东省自然科学基金 |
荣誉&成就
目前主要从事服务计算、Petri网理论与应用、智能信息处理等方向的科学研究工作，参加完成国家自然科学基金1 项（第2位），主持完成国家科技支撑计划子课题1项，济南大学博士科研基金项目1项，现主持国家自然科学基金项目1项，山东省优秀中青年科学家奖励基金项目1项，山东省高等学校科技计划项目1项。
科研成果
- 期刊论文
- 专利
无冲突Petri网的结构活性判定研究
一个完善的基于判定链表的DFA最小化算法
一个完善的基于判定链表的DFA最小化算法
基于功能分组的群体Web服务QoS动态计算研究
Web服务组合的Petri网自动生成方法
基于Petri网的Web服务注册方法的研究与实现
面向用户服务质量需求的服务选择方法研究
基于语义的Petri网自动共享合成方法研究
基于身份的TLS协议及其BAN逻辑分析
基于Petri网的Web服务的创建与描述
基于轮廓系数的聚类有效性分析
利用进化模糊K近邻及其集成预测蛋白质亚核定位
基于分层身份的电子政务网格认证模型研究
动态描述逻辑动作系统的Petri网自动生成方法
OWL-S服务的Petri网自动建模方法研究
动态描述逻辑动作间关系的Petri网分析方法研究
OWL-S服务操作语义的Petri网描述新方法
一种手持式多功能无线教学装置
展开全部
数据信息来源于网络，若有侵权请联系客服