“浙江望安科技有限公司”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

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

[发明专利]一种对结合形式化验证持续集成的方法-CN202310591843.2在审
发明人：赵永望;章喆 -专利权人： 浙江望安科技有限公司
申请日： 2023-05-24 - 公布日： 2023-09-15 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种对结合形式化验证持续集成的方法，包括步骤一在提交代码阶段，将书写的测试用例、形式规约和交互式定理证明一并在提交代码阶段，将书写的测试用例、形式规约和交互式定理证明一并提交到分支，并包含配置文件和验证记录文件，其中配置文件中声明待验证模块的安全等级，验证记录文件记录已通过的高安全模块的信息摘要。本方案在持续集成的过程中，支持用户同时提交测试用例、形式规约和Isabelle定理证明文件，在构建过程中根据配置文件依照流程顺序检查，同时提高了验证的效率和可靠性。
一种结合形式化验证持续集成方法

[发明专利]一种信息安全评估中安全目标证据自动生成的系统及方法-CN202211586478.8在审
发明人：赵永望;姚历智;聂金 -专利权人： 浙江望安科技有限公司
申请日： 2022-12-09 - 公布日： 2023-04-21 - 主分类号： G06F40/166 文献下载
摘要：本发明提供一种信息安全评估中安全目标证据自动生成的系统及方法，包括规范文档、解析器和安全目标文档，所述规范文档包括用于定义所述安全目标文档的安全保障类、需要认证的产品类型、准备申请的评估保障级别以及将所述安全目标证据按照保障族SUB‑CLASS、保障组件SUB‑FAMILY的划分填入，所述解析器包括UML模型和以供解析器使用的专家数据库。本发明可应用于IT产品和系统在进行安全评估(CC认证)时需要提供的安全目标证据中，解决了非专业人员编写安全评估验证证据时出现的编写困难、编写效率低、文档前后内容的不一致性、易出现错误等问题，实现安全目标证据自动生成。
一种信息安全评估目标证据自动生成系统方法

[发明专利]一种对源代码形式化验证方法-CN202211570303.8有效
发明人：赵永望;章喆;姚历智;赵健宏 -专利权人： 浙江望安科技有限公司
申请日： 2022-12-08 - 公布日： 2023-03-07 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种对源代码形式化验证方法，包括输入生成器、符号执行器、规约生成器、规约匹配器、形式化验证规约库、规约学习器、规约筛选器、自然语言转换器、代码验证器、验证报告生成器，所述输入生成器将源代码作为输入，生成多个将变量和函数参数值随机化的代码文件，所述符号执行器用于读取上述代码文件，解析出文件集合，其中每个文件包含单个函数的输入状态、执行函数及输出状态。本方案通过规约生成器，将源代码进行自动化处理后生成原始规约，并通过模型学习手段，利用规约学习器对规约进行修正和补充，流程高度自动化，有效降低了开发和验证人员手动撰写形式规约的门槛，减少了形式语言学习和实施的成本，提高验证自动化程度。
一种源代码形式化验证方法

[发明专利]一种便携式计算机外接散热平台-CN202110233260.3有效
发明人：姚历智 -专利权人： 浙江望安科技有限公司
申请日： 2021-03-03 - 公布日： 2022-06-14 - 主分类号： G06F1/20 文献下载
摘要：本发明提供一种便携式计算机外接散热平台，该便携式计算机外接散热平台，包括主体、设有金属内壁的底座、外连接座、风扇和保温机构，所述风扇设置在主体上，所述外连接座设置在主体上。所述主体上设置有电脑，所述保温机构包括导通管、波纹管、导热板、环状凹槽座、导出管和主活塞，所述底座的侧壁内开设有夹层，所述环状凹槽座滑动配合在夹层内。该便携式计算机外接散热平台，通过设置的体、设有金属内壁的底座、外连接座、风扇和保温机构的相互配合。使得本发明可以分别利用电脑散热所吹出的热风中的风力和热量，对其内的杯子进行保温和恒温。延长杯子水温的下降的时间。有效节约了能源。防止造成能源浪费。
一种便携式计算机外接散热平台

[发明专利]一种方便对计算机硬件进行定位的安装设备-CN202110233282.X有效
发明人：姚历智 -专利权人： 浙江望安科技有限公司
申请日： 2021-03-03 - 公布日： 2022-04-15 - 主分类号： G06F1/18 文献下载
摘要：本发明公开了一种方便对计算机硬件进行定位的安装设备，属于计算机领域，包括底板，通过移动机构将本装置推至合适位置，再将计算机硬件放置在夹持机构中的固定框内部，第二弹簧推动第一夹板和第二夹板对硬件进行夹持固定，再通过拧转螺纹筒使其通过螺纹柱做相对运动，使第一夹板和第二夹板相互靠近，使夹持固定效果更好，需要取下硬件时反向拧转螺纹筒即可，通过升降机构、旋转机构平移机构和偏移机构的配合使硬件调节至合适位置，当硬件需要转动安装时，拧转第一转杆使偏移机构转动，从而使夹持机构中的硬件转动，转动至合适位置后，拧转螺纹槽内的固定螺栓，使固定螺栓推动第一卡板对第一转杆进行限位固定。
一种方便计算机硬件进行定位安装设备

[发明专利]一种用于计算机软件储存的HDD硬盘插槽装置-CN202110927804.6在审
发明人：陈建明;聂金;姚历智;李存芳 -专利权人： 浙江望安科技有限公司
申请日： 2021-08-13 - 公布日： 2021-11-16 - 主分类号： G06F1/18 文献下载
摘要：本发明公开了一种用于计算机软件储存的HDD硬盘插槽装置，该装置包括外壳，所述外壳沿长度方向一侧开设有传动室一、硬盘插槽和传动室二，所述传动室一内固定安装有固定机构，所述硬盘插槽底部固定安装有接口柱，所述传动室二内固定有传动机构，所述硬盘插槽两侧枢接有扶手，所述扶手一侧与固定机构相配合，所述扶手一侧与传动机构相配合，所述硬盘插槽底部滑动配合有底板，所述顶板与螺纹柱相对一侧枢接有若干螺栓，螺栓与接口柱一侧螺纹配合，螺纹柱与若干螺栓相配合。该装置通过设置的硬盘插槽来插入硬盘，使人员在安装硬盘时更加方便；通过设置的顶板与接口柱的配合，可以使硬盘底部接口和接口柱接触更加紧密，防止出现松动而造成的接触不良。
一种用于计算机软件储存 hdd 硬盘插槽装置

[实用新型]一种用于计算机硬件的抗摔检测装置-CN202022170236.3有效
发明人：陈建明 -专利权人： 浙江望安科技有限公司
申请日： 2020-09-28 - 公布日： 2021-05-04 - 主分类号： G01N3/30 文献下载
摘要：本实用新型提供一种用于计算机硬件的抗摔检测装置，涉及硬件检测领域，包括底座、转盘、电机、若干检测槽、升降机构、升降台、容置箱、气缸、若干硬件以及推送块，所述电机设置在底座上，所述转盘设置在电机的输出端上，若干所述检测槽设置在转盘上且绕其中心等角度分布，所述升降机构设置在底座上，所述升降台设置在升降机构上，且升降机构能够带动升降台升降，所述容置箱设置在升降台的顶部，若干硬件竖向容置在容置箱中。当第一个硬件掉入其中一号检测槽中进行测试时，无需立即将其取出，利用电机带动转盘上的二号检测槽进入抗摔区，气缸将第二个硬件推入二号检测槽内进行测试，以此循环，在保证检测精度的同时，大大提高了检测效率。
一种用于计算机硬件检测装置

[发明专利]一种Java自动形式化建模检测验证方法及系统-CN202011096439.0在审
发明人：赵永望;陈卓玲;姚历智 -专利权人： 浙江望安科技有限公司
申请日： 2020-10-14 - 公布日： 2021-02-19 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种Java自动形式化建模检测验证方法及系统，属于互联网安全技术领域，包括：向Java自动形式化建模器导入软件需求文档和Java源码；Java自动形式化建模器根据软件需求文档和Java源代码生成并输出验证代码；将验证代码导入Java验证代码证明器，测试验证代码正确性并输出测试结果；将测试结果导入Java验证结果分析器，根据测试结果在模型库中匹配建议方案；将测试结果的详细信息进行界面化展示。本发明解决了使用Java代码编写的软件系统的形式化验证问题，更好的找到软件系统中的bug，实现快速查找bug位置进行修改，提升工作效率的同时构造更加安全可信的软件。
一种 java 自动形式化建模检测验证方法系统

[实用新型]一种计算机硬件检测多功能测试台-CN202020734437.9有效
发明人：陈建明 -专利权人： 浙江望安科技有限公司
申请日： 2020-05-07 - 公布日： 2021-01-05 - 主分类号： B25H1/08 文献下载
摘要：本实用新型提供一种计算机硬件检测多功能测试台，包括框型的工作台、横移机构、底槽、用于放置硬件的容置槽、检测架、气缸二以及用于检测硬件的检测仪，所述检测架设置在工作台的顶部且两侧贯通，所述底槽设置在横移机构上，且横移机构能够横向带动底槽进入检测架和离开检测架，所述容置槽设置在底槽上，所述气缸二竖向设置在检测架内腔的顶部，所述检测仪设置在气缸二的输出端上且与容置槽上下对应，所述容置槽内腔的两侧设置有用于夹紧硬件的夹板。将计算机硬件夹持在容置槽内进行检测，当检测完毕后将硬件连带容置槽一起取离底槽，硬件夹持在容置槽内的位置不变，当需要进行二次检测时，也无需调整，只需将容置槽再次放上底槽即可。
一种计算机硬件检测多功能测试

[发明专利]一种软件安全评估用CC验证描述模板自动生成方法及系统-CN202010993569.8在审
发明人：赵永望;陈建明;陈卓玲 -专利权人： 浙江望安科技有限公司
申请日： 2020-09-21 - 公布日： 2020-12-15 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种软件安全评估用CC验证描述模板自动生成方法及系统，属于互联网安全技术领域，包括：根据软件安全功能需求建立规范文档并导入CC建模器；CC建模器判断规范文档格式是否符合要求；若符合要求，则检查规范文档中CC组件名称，生成对应的初始化CC验证描述模板；读取规范文档中的软件安全功能需求，完善初始化CC验证描述模板；读取规范文档，根据安全功能需求选取一种模板规范，进行数学建模，得到并输出最终的CC验证描述模板。该发明的有益效果：该建模器实现了自动化对CC准则提出的251个安全功能需求进行建模，生成的模型遵循Isabelle/HOL使用语法规范；通过自动化建立CC验证描述模板，可以提高验证效率，并很大程度上的减少手动书写的错误率。
一种软件安全评估 cc 验证描述模板自动生成方法系统

[实用新型]一种便携式计算机硬件及软件故障诊断修复装置-CN202020733375.X有效
发明人：陈建明 -专利权人： 浙江望安科技有限公司
申请日： 2020-05-07 - 公布日： 2020-10-20 - 主分类号： G06F11/22 文献下载
摘要：本实用新型提供一种便携式计算机硬件及软件故障诊断修复装置，包括槽体、若干隔板、硬件检测仪、两根数据线、两个接头以及移动电源，若干所述隔板将槽体内分隔成腔室一、两个腔室二、腔室三和腔室四，所述腔室一内设置有用于夹紧硬件的夹紧机构，所述硬件检测仪设置在腔室三内，所述移动电源设置在腔室四内且与硬件检测仪相连，所述硬件检测仪、数据线、接头依次相连，两根所述数据线分别收纳在两个腔室二内。当检测时，将拆卸下来需要检测的计算机硬件夹持在夹紧机构上，然后将接头连接硬件的插口，并在硬件检测仪上进行操作，检测时硬件在一个固定的点上，不会造成乱堆乱放，各部件都收纳在各个腔室内，整齐有序，便于携带。
一种便携式计算机硬件软件故障诊断修复装置

[实用新型]一种计算机硬件自动化检测平台-CN202020734467.X有效
发明人：陈建明 -专利权人： 浙江望安科技有限公司
申请日： 2020-05-07 - 公布日： 2020-10-20 - 主分类号： G06F11/22 文献下载
摘要：本实用新型提供一种计算机硬件自动化检测平台，包括工作台、电机、转动架、若干用于夹紧硬件的夹紧机构、气缸以及用于检测硬件是否合格的硬件检测仪，所述转动架枢接在工作台的顶部，所述电机设置在工作台的底部且与转动架的枢接轴相连，若干所述夹紧机构设置在转动架上，且绕其枢接轴等角度分布，所述气缸竖直设置在工作台的顶部，所述气缸的输出端通过联动板与硬件检测仪相连。启动硬件检测仪，工人只需将CPU硬件放置在夹紧机构上，由于有两个夹紧机构，当其中一个夹紧机构上的硬件接收检测时，工人可将待检测的硬件放置在另一个夹紧机构上，在电机的带动下两个夹紧机构交换位置，以此循环作业，能够大大提升硬件的检测效率。
一种计算机硬件自动化检测平台

1
共 12 条