公开(公告)号：CN117133256A

公开(公告)日：2023-11-28

申请号：CN202311093131.4

申请日：2023-08-22

Applicant: 重庆交通大学

Inventor： 刘洋 ,  刘新予 ,  黄大荣 ,  赵玲 ,  米波 ,  何娇娇

IPC: G10H1/00

Abstract: 本发明涉及基于YIN算法的人声哼唱转换简谱及古筝旋律的方法，属于音频处理和智能编曲策略领域；包含以下步骤：S1：利用YIN方法获取哼唱音频的音频特征值信息和节拍信息；S2：对应已有钢琴频谱信息，转换为钢琴频谱；S3：建立钢琴频谱与古筝简谱的映射关系，将钢琴频谱转换为对应的古筝简谱；S4：过滤古筝简谱，得到滤波后的古筝简谱，并计算出单音开始位置信息和单音持续时长信息；S5：构建古筝乐器对应的旋律，并根据邻近音调节古筝乐器对应的旋律；S6：优化古筝乐器对应的旋律，输出最终的古筝音频。本发明能够实现自动转换人声哼唱为古筝乐器旋律，丰富旋律内容，确保人耳听觉的舒适度。

公开(公告)号：CN117200972A

公开(公告)日：2023-12-08

申请号：CN202311195584.8

申请日：2023-09-08

Applicant: 重庆交通大学

Inventor： 刘洋 ,  杨林翰 ,  黄大荣 ,  米波 ,  赵玲 ,  刘新予

IPC: H04L9/00 ,  H04L9/08 ,  H04L9/40

Abstract: 本发明为基于同态加密的明文与密文的矩阵乘法计算方法，属于信息安全领域。该方法包含以下步骤：S1：设定安全参数和相关加解密参数；S2：根据安全参数生成公私钥对和运算密钥；S3：客户端对矩阵进行编码后再进行加密，生成加密数据，并发送；S4：服务器对矩阵进行编码，对加密数据进行变换；S5：服务器进行明文与密文的矩阵乘法计算，得到矩阵乘法结果的密文并发送；S6：客户端利用私钥解密得到矩阵乘法结果密文。本发明提供了基于同态加密的明文与密文的矩阵乘法计算方法，在两方参与的隐私计算框架下能实现服务器对客户端需求的快速高效矩阵乘法计算，保证了模型和数据二者的安全性，具有很强的泛化能力。

公开(公告)号：CN116805127A

公开(公告)日：2023-09-26

申请号：CN202310556223.5

申请日：2023-05-12

Applicant: 重庆交通大学

Inventor： 刘洋 ,  范英齐 ,  黄大荣 ,  米波 ,  刘新予 ,  杨林翰 ,  邓昭阳 ,  冒永逸 ,  匡航冬 ,  毛伟奇

IPC: G06F30/22 ,  G06F111/04

Abstract: 本发明涉及基于SPZN的智能网联汽车系统安全性简化验证方法，属于无人驾驶、形式化验证领域；基于汽车电子控制单元信息的特点以及汽车控制信息流传输相关约束规则的特点，根据车辆控制信息流、传输过程中相关约束规则、智能网联汽车状态、状态在某一时段内出现的概率、变迁的前置条件、后置条件，通过将Z语言形式化描述和SPN模型融合成为SPZN模型，然后对SPZN模型进行先精炼操作后抽象操作得到简化模型，保证了简化模型能够不丧失原有的描述能力，同时，简化的SPZN模型能够有效的解决SPN网因节点设备众多而带来的状态爆炸问题和Z框架动态能力和实时性不足的问题，提高系统的协同控制性能和效率。