论文降重
免费查重- 钛学术文献服务平台 \
-
专利文献\
-
时间多栈下推网络的静态转换方法
时间多栈下推网络的静态转换方法
申请人：
摘要：
本发明公开一种时间多栈下推网络的静态转换方法，首先，为了描述实时系统中并发递归机制，以及线程之间的交互，在MPDN的基础上引入时钟，提出TMPDN模型，并给出其语法及操作语义。其次，利用时钟域等价的优化技术，通过静态转换方法，将连续时间的TMPDN模型转换成离散的MPDN模型。本发明能够实现同时实现实时并发系统的实时性和并发性的描述，并能为实时并发程序的形式化验证提供保证。
基本信息
| 专利类型 | 发明 | ||
| 申请(专利)号 | CN201510581206.2 | 申请日 | 2015-09-14 |
| 授权公布号 | CN105260295B | 授权公告日 | 2018-09-25 |
| 申请人 | 桂林电子科技大学 | ||
| 地址 | 广西壮族自治区桂林市金鸡路1号 | ||
| 发明人 | 钱俊彦 甘鹏程 郭云川 赵岭忠 古天龙 | ||
| 分类号 | G06F11/36 G06F21/57 | 主分类号 | G06F11/36 |
| 国省代码 | 广西 | 页数 | |
| 代理机构 | 桂林市持衡专利商标事务所有限公司 | ||
| 代理人 | 桂林电子科技大学 | ||
法律状态
专利分析
关键词
关键词热度
相关文献总数
(/次)
(/年)
同族专利
相关专利
- 热门期刊
- 最新期刊
- 期刊推荐
中国电机工程学报
生态学报
生态学报
电力系统自动化
安徽农业科学
农业工程学报
计算机工程与应用
岩石力学与工程学报
中国医药指南
食品科学
电网技术
应用生态学报
中华护理杂志
中国组织工程研究
中华医院感染学杂志
计算机工程
中国实用医药
科学技术创新
护理研究
山西建筑
中国老年学杂志
地理学报
中国农学通报
中国妇幼保健
岩土工程学报
科技信息
中国农业科学
中国实用护理杂志
岩土力学
现代中西医结合杂志
机械工程学报
计算机应用研究
中国中药杂志
环境科学
商场现代化
软件学报
中草药
中国医药导报
护理学杂志
护士进修杂志
21世纪
居业
21世纪商业评论
癌变·畸变·突变
安防科技
鞍钢技术
安徽电力
安徽电气工程职业技术学院学报
安徽大学学报(自然科学版)
安徽地质
安徽电子信息职业技术学院学报
安徽化工
安徽工程大学学报
安徽科技学院学报
合肥师范学院学报
安徽建筑
安徽建筑大学学报
安徽科技
安徽科技与企业
安徽林业
安徽林业科技
安徽农学通报
现代农业科技
安徽农业大学学报
安徽农业科学
安徽师范大学学报(自然科学版)
安徽水利水电职业技术学院学报
安徽商贸职业技术学院学报(社会科学版)
安徽体育科技
安徽卫生职业技术学院学报
安徽文献研究集刊
安徽预防医学杂志
安徽冶金
安徽冶金科技职业学院学报
安徽医科大学学报
安徽医学
安徽医药
安徽中医药大学学报
安家
生物资源
