-
公开(公告)号：CN115169269A
公开(公告)日：2022-10-11
申请号：CN202210599036.0
申请日：2022-05-30
Applicant: 西南交通大学 , 成都纺织高等专科学校 , 成都电迅达科技有限公司
IPC: G06F30/33
Abstract: 本发明公开了一种基于FPGA设计的集成电路可信性验证工具与方法，涉及集成电路芯片设计安全领域，包括FPGA模型、形式化模型、形式化验证和结果输出；所述FPGA模型包括高级程序语言实现模型和硬件语言实现模型；形式化模型实施高级程序语言实现模型与硬件语言实现模型的一致性检验，并形成逻辑公式，直接构建硬件语言实现的形式化模型，并转换为逻辑公式；进行可信性验证，接入逻辑公式推理求解系统，通过对逻辑公式求解得到是否可满足结论，进一步反映模型是否存在缺陷；然后输出可信性验证结果，既保障模型高级语言与硬件语言实现的一致性，又提高硬件语言代码的安全性。
-
公开(公告)号：CN115174143B
公开(公告)日：2024-01-26
申请号：CN202210598491.9
申请日：2022-05-30
Applicant: 西南交通大学 , 成都纺织高等专科学校
Abstract: 本发明公开了一种基于安全协议的网络空间安全可信性验证方法，涉及网络安全协议技术领域，包括以下步骤：S1、将安全协议划分为协议规范和协议实施代码两个部分；S2、协议规范的形式化验证，对协议规范构建形式化模型，将其转换为逻辑求解公式，通过逻辑求解系统进行求解验证；S3、协议实施代码的形式化验证，先实施协议安全性质的程序代码描述，再构建协议实施代码的形式化模型，进行验证；S4、实施协议安全性质的一致性检验；本发明结合协议模型和实施代码共同对协议形式化建模和验证，减少安全协议本身的缺陷和可能存在的攻击方式，解决安全(56)对比文件Yuan Liang;K E Guo;Jianping Li.Theremote attestation design based on theidentity and attribute certificates《.2014 11th International ComputerConference on Wavelet Actiev MediaTechnology and Information Processing》.2717-2722.
-
公开(公告)号：CN115174143A
公开(公告)日：2022-10-11
申请号：CN202210598491.9
申请日：2022-05-30
Applicant: 西南交通大学 , 成都纺织高等专科学校
Abstract: 本发明公开了一种基于安全协议的网络空间安全可信性验证方法，涉及网络安全协议技术领域，包括以下步骤：S1、将安全协议划分为协议规范和协议实施代码两个部分；S2、协议规范的形式化验证，对协议规范构建形式化模型，将其转换为逻辑求解公式，通过逻辑求解系统进行求解验证；S3、协议实施代码的形式化验证，先实施协议安全性质的程序代码描述，再构建协议实施代码的形式化模型，进行验证；S4、实施协议安全性质的一致性检验；本发明结合协议模型和实施代码共同对协议形式化建模和验证，减少安全协议本身的缺陷和可能存在的攻击方式，解决安全协议抽象规范和代码之间存在的语义断层问题,协议规范与实施代码的可信性验证均满足协议安全性质。
-
公开(公告)号：CN115582968A
公开(公告)日：2023-01-10
申请号：CN202211303363.3
申请日：2022-10-24
Applicant: 成都纺织高等专科学校 , 四川匹菲特科技有限公司
Abstract: 本发明公开了一种钥匙注塑自动化生产线，包括注塑机和设置在注塑机前端的中转平台机构；中转平台机构连接有至少一个夹持机构；注塑机一侧边设置有进料机构，注塑机另一侧设置有收料机构；注塑机包括注塑平台；注塑平台上设置有旋转部；旋转部上设置有注塑模台。使各个机构相互配合实现了整个钥匙的快速注塑，提高了效率。
-
公开(公告)号：CN119348484A
公开(公告)日：2025-01-24
申请号：CN202411898468.7
申请日：2024-12-23
Applicant: 成都纺织高等专科学校 , 四川瀚申质量检测有限公司
Abstract: 本发明提供了基于充电桩系统的充电效率优化方法及系统，属于充电桩技术领域，方法包括：获取供电电压、充电桩输出功率、充电器输出功率、电池温度和电池电量变化量，分别进行曲面拟合，得到相应的拟合曲面和拟合方程；以电池电量变化量最大为目标，基于相应的拟合曲面，获取对应的第一供电电压、第一充电桩输出功率、第二供电电压、第一充电器输出功率、第三供电电压、第二充电桩输出功率、第二充电器输出功率、第三充电桩输出功率和第三充电器输出功率，并基于这些参数调整实时参数。本发明使用曲面拟合方法得到拟合曲面，基于实时参数和拟合曲面，以电池电量变化量最大为目标，进行实时参数的调整，以达到优化充电效率的目的。
-
Patent Agency Ranking
公开(公告)号：CN218286491U
公开(公告)日：2023-01-13
申请号：CN202222799490.9
申请日：2022-10-24
Applicant: 成都纺织高等专科学校(CN) , 四川匹菲特科技有限公司(CN)
Abstract: 本实用新型公开了一种钥匙注塑自动化生产线，包括注塑机和设置在注塑机前端的中转平台机构；中转平台机构连接有至少一个夹持机构；注塑机一侧边设置有进料机构，注塑机另一侧设置有收料机构；注塑机包括注塑平台；注塑平台上设置有旋转部；旋转部上设置有注塑模台。使各个机构相互配合实现了整个钥匙的快速注塑，提高了效率。
-
公开(公告)号：CN216710497U
公开(公告)日：2022-06-10
申请号：CN202123017821.0
申请日：2021-12-03
Applicant: 成都纺织高等专科学校
IPC: B65G15/44
Abstract: 本实用新型提供了电子商务用物流装置，包括用于安置货物的载物台和输送货物的输送带，载物台位于输送带正上方，且与输送带平行设置，载物台由若干个翻转板串联拼接而成，在载物台上开设有若干个通孔，每个通孔内铰接有一个翻转板，翻转板一端铰接在通孔一侧的侧壁上，其另一端与通孔另一侧的侧壁上弹性伸缩安装的柱销插接，翻转板与通孔的侧壁铰接的一端为楔形结构且其倾斜面朝下。驱动部件包括电磁铁、顶簧、滑动磁体，电磁铁固定安装在载物台内，顶簧能伸缩地与电磁铁连接，顶簧远离电磁铁的一端连接有滑动磁体，滑动磁体与柱销固接，且滑动磁体与载物台之间沿着柱销的轴向上滑动配合。本实用新型易于制作，成本低廉，利于推广。
-
公开(公告)号：CN218286509U
公开(公告)日：2023-01-13
申请号：CN202222799466.5
申请日：2022-10-24
Applicant: 成都纺织高等专科学校(CN) , 四川匹菲特科技有限公司(CN)
Abstract: 本实用新型公开了一种钥匙注塑生产线用的收料机构，包括切料模台和废料流道；废料流道连接有转动装置；切料模台上设置有若干线性分布的钥匙槽和与钥匙槽相互垂直的横槽；钥匙槽两侧分别设置有钥匙限位装置；切料模台连接有模台滑动组件；切料模台滑动组件连接有切料支撑平台；支撑平台上设置有切料模台限位装置和推动切料模台移动的推动装置。同时废料流道连接有一个转动装置，转动装置转动带动废料流道转动，使切下的胚料和完成切割的钥匙下滑至不同的收料框内，完整切除毛刺和收料过程。使用方便，同时提高了生产效率。
-
公开(公告)号：CN218286490U
公开(公告)日：2023-01-13
申请号：CN202222799486.2
申请日：2022-10-24
Applicant: 成都纺织高等专科学校(CN) , 四川匹菲特科技有限公司(CN)
Abstract: 本实用新型公开了一种钥匙注塑生产线夹持机构用的中转平台机构，包括移动平台、连接杆、水平移动组件和竖直移动组件；连接杆与移动平台固定连接；连接杆远离移动平台的一端连接有夹持机构；水平移动组件与移动平台连接；竖直移动组件连接水平移动组件。本实用新型设计一个带移动平台、水平移动组件和竖直移动组件的中转机构，用以带动移动平台上连接有夹持机构能够进行水平方向的移动和竖直方向上的移动，使夹持机构能够快速平稳的进行移动，进而提高钥匙注塑生产线的效率。
-
公开(公告)号：CN219153537U
公开(公告)日：2023-06-09
申请号：CN202222800635.2
申请日：2022-10-24
Applicant: 成都纺织高等专科学校 , 四川匹菲特科技有限公司
Abstract: 本实用新型公开了一种钥匙注塑生产线用的自动进料机构，包括震动盘和与震动盘连接的分料平台，产品分料平台侧边设置有若干个均匀分布的料槽和夹料缺槽；夹料缺槽与料槽相互垂直；振动盘连接有进料轨道；产品分料平台侧边靠近进料轨道位置处设置有进料限位装置；产品分料平台未设置料槽的一侧连接有进料滑动组件；产品分料平台两侧设置有分料限位装置。本实用新型通过振动盘和分料平台结合，实现对钥匙柄的自动码放，进一步提高钥匙的生产效率。
-
-
-
-
-
-
-
-
-
Search Results
12
records
(took 0.045 seconds)
