-
-
公开(公告)号：CN119257755A
公开(公告)日：2025-01-07
申请号：CN202411633863.2
申请日：2024-11-15
Applicant: 北京大学第一医院(北京大学第一临床医学院)
Abstract: 一种血管穿刺引导器械其包括指套；血流监测传感器，设置在指肚位置；测距传感器，设置在指套第二端；用于沿垂直血流监测传感器与测距传感器连线方向监测测距传感器到穿刺皮肤的距离L1；测距传感器与血流监测传感器间的距离为L2，为一致固定距离，或专门在测距传感器与血流传感器上分别设置一个距离感应单元，通过两个距离感应单元获知L2；L1与L2始终垂直，构建出一个以L1与L2为直角边的直角三角形，L2与穿刺皮肤所在穿刺平面的倾斜角为a，通过公式tana=L1/L2，获知a的角度；提示结构一，提示监测到血流；提示结构二，提示监测到a或L1值；当提示结构一与提示结构二同时发出提示信号时，引导穿刺。本器械将结构整合到指套上，整体小巧，操作简单方便。
-
公开(公告)号：CN114047928B
公开(公告)日：2022-03-15
申请号：CN202210029440.4
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种适用于组合交易的智能合约形式化验证方法，组合交易是指场景中包含多笔交易或者一笔交易涉及多个合约的情形；其特征是，基于区块链以太坊智能合约源代码添加合约约束，包括组合交易场景中的跨函数和跨合约约束，再将添加合约约束后的源代码转换为中间验证语言中相对应的类型、语句、表达式和约束，之后通过验证器自动地对中间验证语言文件进行形式化验证，保障智能合约安全性。采用本发明技术方案，能够支持跨函数和跨合约约束功能的验证，能够在多交易场景下验证合约功能，满足实际应用需要，有效保证智能合约安全。
-
公开(公告)号：CN114047928A
公开(公告)日：2022-02-15
申请号：CN202210029440.4
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种适用于组合交易的智能合约形式化验证方法，组合交易是指场景中包含多笔交易或者一笔交易涉及多个合约的情形；其特征是，基于区块链以太坊智能合约源代码添加合约约束，包括组合交易场景中的跨函数和跨合约约束，再将添加合约约束后的源代码转换为中间验证语言中相对应的类型、语句、表达式和约束，之后通过验证器自动地对中间验证语言文件进行形式化验证，保障智能合约安全性。采用本发明技术方案，能够支持跨函数和跨合约约束功能的验证，能够在多交易场景下验证合约功能，满足实际应用需要，有效保证智能合约安全。
-
公开(公告)号：CN102709306A
公开(公告)日：2012-10-03
申请号：CN201210195545.3
申请日：2012-06-13
Applicant: 北京大学
Abstract: 本发明涉及半导体制造技术领域，公开了一种基于忆阻器和晶体管的存储器，包括串联的高迁移率晶体管和忆阻器，所述高迁移率晶体管是以锗或者III-V族材料作为衬底和沟道材料的MOS晶体管。本发明还提供了一种利用该存储器实现多阻态的方法。本发明通过高迁移率MOS晶体管和忆阻器串联方式，解决了常规MOS晶体管的驱动电流与多阻态存储器开态电流不匹配的问题，同时，利用高迁移率MOS晶体管的大驱动电流能力优势可以获得不同的器件阻态，从而增加数据存储密度，获得较快的存储器件工作速度。
-
Patent Agency Ranking
公开(公告)号：CN118573350A
公开(公告)日：2024-08-30
申请号：CN202410513873.6
申请日：2024-04-26
Applicant: 北京大学
Abstract: 本发明公开一种针对链上数字内容合约的安全审计方法及系统，属于区块链技术领域。所述方法包括：生成待检测智能合约的控制流图；使用符号化变量执行该控制流图中的每个分支，并在获取每个潜在交易的执行中间信息的同时，完善所述控制流图以及得到变量依赖关系；基于所述执行中间信息生成每个潜在交易的摘要信息；基于摘要信息、完善后的控制流图及所述变量依赖关系进行漏洞检测，得到该待检测智能合约的漏洞信息。本发明能够自动化识别数字内容状态迁移合约和数字内容业务逻辑合约中的多种漏洞。
-
公开(公告)号：CN115006028B
公开(公告)日：2023-04-18
申请号：CN202210638000.9
申请日：2022-06-08
Applicant: 北京大学口腔医学院
IPC: A61C13/08
Abstract: 本发明提供一种利用数字化技术制作复制义齿的方法，包括以下步骤：对旧全口义齿进行消毒及数字化扫描操作，分别获取旧全口义齿的磨光面和组织面的形态信息数据；使用扫描软件对形态信息数据进行修整，以获取形态信息数据的完整复制文件；利用数字化设计软件对获得的形态信息数据的完整复制文件进行检查和修复，并将完整复制文件以STL格式进行存储；将STL格式的完整复制文件导入CAM软件，检查切削方案无误后，计算生成CAM文件，并传输至数控机床；运行数控机床，完成数字化蜡型的切削；本发明方法制作义齿精准度高，制作简单，患者等待时间短，复制义齿的生产质量高，且对高龄患者适配性好。
-
公开(公告)号：CN114282227A
公开(公告)日：2022-04-05
申请号：CN202210029433.4
申请日：2022-01-12
Applicant: 北京大学 , 博雅正链(北京)科技有限公司
Abstract: 本发明公布了一种Fabric区块链系统智能合约的安全分析检测方法，该方法与智能合约的开发语言无关，通过将不同开发语言编写的智能合约统一转换为中间语言IR，并根据IR语言特征改进污点分析方法，实现在IR上跟踪安全风险的产生和传播过程，由此检测识别其是否存在安全漏洞。本发明将Fabric区块链系统智能合约安全分析与智能合约编程语言解耦，不仅弥补了当前对于Fabric智能合约安全分析方案的空白，且支持对新漏洞类型和新智能合约编程语言的持续拓展。
-
公开(公告)号：CN103441135B
公开(公告)日：2016-03-16
申请号：CN201310367267.X
申请日：2013-08-21
Applicant: 北京大学
Abstract: 本发明公开了1T1R和1R阻变存储器集成结构及其实现方法，通过在原有的衬底晶体管的漏极和源极同时分别制作具有MIM结构的阻变存储器结构，最后分别在衬底晶体管的漏极和源极的上方依次形成第一层金属前介质、第一层栓塞、第一层金属、第二层层间介质、第二层栓塞、MIM结构层、第三层层间介质、第三层栓塞、第二层金属和钝化层，实现所述衬底晶体管与阻变存储器的串联。本发明将1T1R结构中的阻变存储器和1R结构中的阻变存储器同时制作，工艺条件完全相同，可以减少光刻次数，减少制作成本，同时将1T1R结构和1R结构集成在一起，还能方便这两种结构中阻变存储器特性的比较，有助于研究电流过冲对器件转变特性的影响。
-
公开(公告)号：CN102709306B
公开(公告)日：2015-02-11
申请号：CN201210195545.3
申请日：2012-06-13
Applicant: 北京大学
Abstract: 本发明涉及半导体制造技术领域，公开了一种基于忆阻器和晶体管的存储器，包括串联的高迁移率晶体管和忆阻器，所述高迁移率晶体管是以锗或者III-V族材料作为衬底和沟道材料的MOS晶体管。本发明还提供了一种利用该存储器实现多阻态的方法。本发明通过高迁移率MOS晶体管和忆阻器串联方式，解决了常规MOS晶体管的驱动电流与多阻态存储器开态电流不匹配的问题，同时，利用高迁移率MOS晶体管的大驱动电流能力优势可以获得不同的器件阻态，从而增加数据存储密度，获得较快的存储器件工作速度。
-
-
-
-
-
-
-
-
-
Search Results
33
records
(took 0.026 seconds)
