-
公开(公告)号：CN119739633A
公开(公告)日：2025-04-01
申请号：CN202411801062.2
申请日：2024-12-09
Applicant: 北京邮电大学
IPC: G06F11/3668 , G06F21/57 , G06F21/56
Abstract: 本发明提供一种基于读写关系的并发缺陷检测方法及系统，属于并发缺陷检测技术领域，包括：获取原始轨迹，原始轨迹用于触发被测程序的已知并发缺陷；调整原始轨迹中的线程调度顺序，生成第一验证轨迹；对第一验证轨迹和被测程序进行静态分析，得到可疑读写关系；根据可疑读写关系，调整第一验证轨迹中的线程交错顺序，生成多个第二验证轨迹；利用全部第二验证轨迹对被测程序进行再次并发缺陷测试，以识别被测程序是否存在额外并发缺陷。本发明通过轨迹生成、静态分析和线程交错顺序调整的协同机制，精准检测并发程序的已知缺陷并探索潜在缺陷，从而实现在复杂并发程序中高效且全面地检测和验证是否存在额外的并发缺陷。
-
公开(公告)号：CN117370150B
公开(公告)日：2024-08-20
申请号：CN202311146304.4
申请日：2023-09-06
Applicant: 北京邮电大学
Abstract: 本发明提供一种用于验证修复原子性违反补丁的方法，其中，该方法包括：探索当前路径，生成所述当前路径对应的当前轨迹；根据所述当前轨迹，编码所述当前轨迹的等价约束，以及编码并发程序的原子性违反约束；根据所述原子性违反约束和所述当前轨迹的等价约束，使用约束求解器进行推理，验证所述当前路径是否违反原子性；其中，所述当前轨迹的等价约束包括以下一种或多种：所述当前轨迹的读写事件的数据有效性约束；所述当前轨迹的路径条件约束；所述当前轨迹的同步约束。从而可以对并发程序中各个路径的原子性是否违反都进行验证，更全面地验证并发程序中的原子性违反。
-
Patent Agency Ranking
公开(公告)号：CN104363674A
公开(公告)日：2015-02-18
申请号：CN201410528687.6
申请日：2014-10-09
Applicant: 北京广厦网络技术股份公司 , 北京邮电大学
IPC: H05B37/02
Abstract: 本发明提供一种LED光源驱动电路，包括：运放电路、无失真驱动电路、预失真驱动电路和直流偏置电路；所述运放电路用于放大原始电压信号，并将放大后的电压信号分别输出至所述无失真驱动电路和所述预失真驱动电路；所述无失真驱动电路根据接收的放大后的电压信号，输出交流电流信号至所述直流偏置电路；所述预失真驱动电路根据接收的放大后的电压信号，输出高频部分的交流电流信号至所述直流偏置电路；上述两路驱动电路输出的信号叠加输入至所述直流偏置电路，与输入的直流电压结合，输出至LED光源，解决了LED光源对高频信号的响应性能不佳的问题，同时提高了LED光源的通信速率。
-
公开(公告)号：CN117370150A
公开(公告)日：2024-01-09
申请号：CN202311146304.4
申请日：2023-09-06
Applicant: 北京邮电大学
Abstract: 本发明提供一种用于验证并发程序原子性违反的方法、装置及电子设备，其中，该方法包括：探索当前路径，生成所述当前路径对应的当前轨迹；根据所述当前轨迹，编码所述当前轨迹的等价约束，以及编码并发程序的原子性违反约束；根据所述原子性违反约束和所述当前轨迹的等价约束，使用约束求解器进行推理，验证所述当前路径是否违反原子性；其中，所述当前轨迹的等价约束包括以下一种或多种：所述当前轨迹的读写事件的数据有效性约束；所述当前轨迹的路径条件约束；所述当前轨迹的同步约束。从而可以对并发程序中各个路径的原子性是否违反都进行验证，更全面地验证并发程序中的原子性违反。
-
公开(公告)号：CN104363674B
公开(公告)日：2019-04-12
申请号：CN201410528687.6
申请日：2014-10-09
Applicant: 北京广厦网络技术股份公司 , 北京邮电大学
IPC: H05B37/02
Abstract: 本发明提供一种LED光源驱动电路，包括：运放电路、无失真驱动电路、预失真驱动电路和直流偏置电路；所述运放电路用于放大原始电压信号，并将放大后的电压信号分别输出至所述无失真驱动电路和所述预失真驱动电路；所述无失真驱动电路根据接收的放大后的电压信号，输出交流电流信号至所述直流偏置电路；所述预失真驱动电路根据接收的放大后的电压信号，输出高频部分的交流电流信号至所述直流偏置电路；上述两路驱动电路输出的信号叠加输入至所述直流偏置电路，与输入的直流电压结合，输出至LED光源，解决了LED光源对高频信号的响应性能不佳的问题，同时提高了LED光源的通信速率。
-
公开(公告)号：CN104320188A
公开(公告)日：2015-01-28
申请号：CN201410497635.7
申请日：2014-09-25
Applicant: 北京广厦网络技术股份公司 , 北京邮电大学
IPC: H04B10/116
Abstract: 本发明公开了一种立体声无线传输系统，包括：发送端，包括音频信号源和可见光发射器件，以及并列连接在音频信号源与可见光发射器件之间的两个前端处理电路，根据音频信号控制可见光发射器件在自由空间发出可见光信号；接收端，包括可见光接收器件和音频输出器件，以及并列连接在可见光接收器件与音频输出器件之间的两个后端处理电路，可见光接收器件感测并接收可见光信号，由两个后端处理电路恢复音频信号，并通过音频输出器件输出。充分利用可见光可以利用光信号实现通信的功能，在发送端对左右声道分别进行频率调制，在接收端进行恢复及解调，在照明的同时完成立体声的传输，即使在电磁波受限制的使用场所仍然可以利用可见光进行立体声的传播。
-
公开(公告)号：CN103869284A
公开(公告)日：2014-06-18
申请号：CN201410073770.9
申请日：2014-02-28
Applicant: 北京邮电大学 , 北京广厦网络技术股份公司
IPC: G01S5/16
CPC classification number: G01S5/16
Abstract: 本发明公开了一种基于可见光通信的室内定位系统以及方法，为解决现有的室内定位系统以及方法硬件成本高、系统维护开销大等问题而设计。所述基于可见光通信的室内定位系统，包括发射端与移动接收端；发射端由若干个分布在室内各处的发射器组成；发射器包括用以将发射器所在的位置信息以光信号向外输出的LED光源；移动接收端，用以接收所述光信号并转换成电信号并从电信号中提取位置信息。所述基于可见光通信的室内定位方法，用于上述基于可见光通信的室内定位系统中，包括LED光源将其所在的位置信息以光信号向外输出的步骤以及移动接收端接收光信号并转换成电信号，从电信号中提取位置信息的步骤。本发明具有硬件成本低、维护开销小，精度高等优点。
-
-
-
-
-
-
Search Results
7
records
(took 0.02 seconds)
