专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果11个,建议您升级VIP下载更多相关专利
  • [外观设计]文胸(B13)-CN202330271038.2有效
  • 陈卓玲 - 陈卓玲
  • 2023-05-10 - 2023-10-17 - 02-01
  • 1.本外观设计产品的名称:文胸(B13)。2.本外观设计产品的用途:用于女性穿戴文胸。3.本外观设计产品的设计要点:在于形状与图案的结合。4.最能表明设计要点的图片或照片:立体图。5.俯视方向设计要点在其他视图中已显示,省略俯视图;仰视方向在使用过程中一般不容易看到,省略仰视图。6.外观设计图片中的人体模特为衬托物不属于请求保护的外观设计内容。
  • 文胸b13
  • [外观设计]文胸(B11)-CN202330069342.9有效
  • 陈卓玲 - 陈卓玲
  • 2023-02-23 - 2023-10-13 - 02-01
  • 1.本外观设计产品的名称:文胸(B11)。2.本外观设计产品的用途:用于女性穿戴文胸。3.本外观设计产品的设计要点:在于形状与图案的结合。4.最能表明设计要点的图片或照片:立体图。5.俯视方向设计要点在其他视图中已显示,省略俯视图;仰视方向在使用过程中一般不容易看到,省略仰视图。6.其他需要说明的情形其他说明:人体模型用于支撑衣物使用,不属于本外观设计保护范围。
  • 文胸b11
  • [外观设计]文胸(B10)-CN202230590092.9有效
  • 陈卓玲 - 陈卓玲
  • 2022-09-07 - 2022-11-25 - 02-01
  • 1.本外观设计产品的名称:文胸(B10)。2.本外观设计产品的用途:用于女性穿戴文胸。3.本外观设计产品的设计要点:在于形状与图案的结合。4.最能表明设计要点的图片或照片:立体图。5.俯视图无设计要点,省略俯视图;仰视图无设计要点,省略仰视图。6.人体模型用于支撑衣物,不属于本外观设计保护范围。
  • 文胸b10
  • [发明专利]一种Java自动形式化建模检测验证方法及系统-CN202011096439.0在审
  • 赵永望;陈卓玲;姚历智 - 浙江望安科技有限公司
  • 2020-10-14 - 2021-02-19 - G06F11/36
  • 本发明提供一种Java自动形式化建模检测验证方法及系统,属于互联网安全技术领域,包括:向Java自动形式化建模器导入软件需求文档和Java源码;Java自动形式化建模器根据软件需求文档和Java源代码生成并输出验证代码;将验证代码导入Java验证代码证明器,测试验证代码正确性并输出测试结果;将测试结果导入Java验证结果分析器,根据测试结果在模型库中匹配建议方案;将测试结果的详细信息进行界面化展示。本发明解决了使用Java代码编写的软件系统的形式化验证问题,更好的找到软件系统中的bug,实现快速查找bug位置进行修改,提升工作效率的同时构造更加安全可信的软件。
  • 一种java自动形式化建模检测验证方法系统
  • [发明专利]一种软件安全评估用CC验证描述模板自动生成方法及系统-CN202010993569.8在审
  • 赵永望;陈建明;陈卓玲 - 浙江望安科技有限公司
  • 2020-09-21 - 2020-12-15 - G06F11/36
  • 本发明提供一种软件安全评估用CC验证描述模板自动生成方法及系统,属于互联网安全技术领域,包括:根据软件安全功能需求建立规范文档并导入CC建模器;CC建模器判断规范文档格式是否符合要求;若符合要求,则检查规范文档中CC组件名称,生成对应的初始化CC验证描述模板;读取规范文档中的软件安全功能需求,完善初始化CC验证描述模板;读取规范文档,根据安全功能需求选取一种模板规范,进行数学建模,得到并输出最终的CC验证描述模板。该发明的有益效果:该建模器实现了自动化对CC准则提出的251个安全功能需求进行建模,生成的模型遵循Isabelle/HOL使用语法规范;通过自动化建立CC验证描述模板,可以提高验证效率,并很大程度上的减少手动书写的错误率。
  • 一种软件安全评估cc验证描述模板自动生成方法系统

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

钻瓜专利网在线咨询

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

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