“顾荣辉”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果2个，建议您升级VIP下载更多相关专利

[发明专利]形式化验证的系统和方法-CN201880087842.1在审
发明人：邵中;顾荣辉;威廉·舍贝里;金志应;热雷米·凯尼格 -专利权人：耶鲁大学
申请日： 2018-11-28 - 公布日： 2020-12-22 - 主分类号： G06Q50/18 文献下载
摘要：用于程序的形式化验证的系统和方法。系统和方法提供了用于并发的新的基于博弈论策略的组合语义模型，用于组合多线程和多核的并发层的一组形式化链接定理，以及支持认证的线程安全编译和链接的编译器。覆盖接口的验证可以包括确定用于在底层接口上运行的原语操作的中间策略，以及通过应用垂直和水平组合规则将中间策略细化为在覆盖接口上运行的策略。然后，可以根据并行组合规则将细化的策略与在覆盖接口上运行的兼容策略组合。当由每个策略施加的依赖条件满足由其他策略提供的保证时，策略可以是兼容的。形式化验证的系统和方法可以应用于智能合约的形式化验证。
形式化验证系统方法

[实用新型]一种工业厂房用防寒隔热卷帘门-CN201521031623.1有效
发明人： 顾荣辉;顾婷婷 -专利权人：辽宁明辉彩板钢结构有限公司
申请日： 2015-12-14 - 公布日： 2016-04-20 - 主分类号： E06B5/16 文献下载
摘要：本实用新型公开了一种工业厂房用防寒隔热卷帘门，包括帘片门、两组滑道和帘片门驱动机构，帘片门由上帘片和下门体组成，上帘片由多节帘片构成，上帘片和下门体的左、右两侧装有滚轮；两组滑道分置于帘片门的左、右两侧，每组滑道由竖直段滑道、延伸段滑道和弧形过渡段滑道构成，上帘片和下门体左、右两侧的滚轮分置于两组槽钢滑道内；帘片门滑行驱动机构包括电机卷扬、固装于一组槽钢滑道竖直段滑道上方的第一、第二定滑轮及相配合的第一、第二转向定滑轮，电机卷扬分别通过钢丝绳绕经第一定滑轮和第一转向定滑轮、第二定滑轮和第二转向定滑轮与下门体下部固定相连。本实用新型整体强度大，改变了传统卷帘门以卷轴转动开关门方式，节省了安装空间。
一种工业厂房防寒隔热卷帘门