专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果1907个,建议您升级VIP下载更多相关专利
  • [发明专利]一种基于ASP的CSP并发系统调试方法-CN201610543275.9有效
  • 赵岭忠;冯于平;钱俊彦;李颖;赵亮;常亮 - 桂林电子科技大学
  • 2016-07-12 - 2019-02-01 - G06F11/36
  • 本发明为一种基于ASP的CSP并发系统调试方法,包括以下步骤:步骤1、根据描述CSP并发系统行为特征的ASP规则集,得到实例化性质规则集;步骤2、生成性质成立或不成立的原因;步骤3、生成反例迹并利用反例迹调试系统错误;步骤4、通过性质成立的原因生成ASP规则L,表示系统中使该性质成立的部分系统结构,分析系统修改后对已验证性质的影响,如果新系统满足规则L,性质依然成立,否则性质需要重新验证。本方法采用基于ASP的CSP并发系统的性质验证框架仅需两层模型即可完成性质验证,且两层模型间的差异较小;利用性质不成立时的反例迹实现针对CSP并发系统错误的调试,避免系统部分改变后,对仍成立的性质重复验证
  • 一种基于aspcsp并发系统调试方法
  • [发明专利]一种在信令传输协议中防止业务中断的装置和方法-CN200410104096.2有效
  • 刘宇洪;雷卓辉;马绵盛;刘东 - 华为技术有限公司
  • 2004-12-19 - 2006-01-25 - H04L12/58
  • 本发明公开了一种在信令传输协议中防止业务中断的装置和方法,所述装置位于MGC端的协议实体中,包括缓存区域和保护定时器;所述方法包括步骤:当AS中所有的ASP由其中至少一个进程处于“激活”状态到所有进程均迁移到非“激活”状态时,启动保护定时器;判断保护定时器是否超时,若超时,则丢弃缓存区域中的消息,AS根据其所包含的ASP实体的状态进行相应的状态迁移,否则,将由上层协议下发的消息保存在缓存区域中,当AS中任意一个或多个ASP迁移到“激活”状态时,停止启动的保护定时器,AS迁移到“激活”状态,保存在缓存中的消息由处于“激活”状态的ASP进程发往SG侧,从而避免了在短时间内因AS处于非“激活”状态而引起的业务中断或消息丢失
  • 一种传输协议防止业务中断装置方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top