公共文化服务平台

共 8 条记录，以下是 1-8

全选清除导出

排序方式：

一种静态超标量DSP周期模拟方法: 本发明公开了一种静态超标量DSP周期模拟方法，通过构建包括指令准备模块和指令执行模块的静态超标量DSP周期模拟系统，指令准备模块设置初始值、获取指令、确定延迟周期数、确定停顿周期数和模拟时钟推进，指令模拟模块执行功能模拟...; 陈俊文甘志强冯云程高辉; 文献传递

多线程数据竞争检测技术研究综述被引量：4: 2022年; 随着多核处理器在现代计算机设备中的流行,在软件中使用多线程程序的频率也随之增加。但多线程程序的不确定性会导致程序在运行过程中出现数据竞争、原子性违背、顺序违背和死锁等并发问题。研究发现,在所有并发缺陷中,数据竞争所占的比例最大,而且大多数原子性违背和顺序违背也是由数据竞争引起的。为解决这一问题,学者们先后提出了相关的检测技术,文中对近年来该领域的研究技术进行了总结。首先,介绍了数据竞争的相关概念和产生原因,以及数据竞争检测的主要思想;然后根据程序是否执行将现有的数据竞争检测技术分为静态分析、动态分析和混合检测技术三大类,归纳分析了每类技术的特点并进行了详细的比较;随后,从程序员角度阐明了现有检测技术存在的问题;最后,根据发展现状,对该领域的未来发展方向进行了分析与探讨。; 赵静文付岩吴艳霞陈俊文冯云董继斌刘嘉琪; 关键词：数据竞争

一种VisualDSP++环境下外设读写模拟方法: 本发明公开一种VisualDSP++环境下外设读写模拟方法，通过构建外设读写模拟系统、在内部存储空间添加外设地址虚拟寄存器、在程序读写外设处插桩、在外设地址虚拟寄存器上建立观察点、获取外设读写时机和模拟外设接口数据步骤实...; 陈俊文冯云陈琦王之鹏; 文献传递

安全关键软件的AADL模型自动逆向构造方法被引量：2: 2022年; 近年来,采用模型驱动(Model-Driven)尤其是形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段.AADL(Architecture Analysis and Design Language)是一种广泛应用于安全关键领域的形式化建模语言标准.在安全关键软件系统开发与维护过程中,部分需求与设计信息往往遗留在源代码中,在对已有软件系统架构进行复用或重构的过程中,如何将这部分需求与设计信息从代码中构造到设计模型是一个重要问题.本文基于模型驱动逆向工程,提出一种从C代码到AADL模型的自动构造方法C2AADL.首先分析了源语言结构、行为和运行时性质,并根据分析结果提出了源代码结构、行为和运行时性质到AADL模型的转换规则,然后根据转换规则设计并实现了原型工具,最后基于雷达信息处理子系统案例验证本文所提方法的有效性.; 邱志凯杨志斌谢健谢健程高辉周勇; 关键词：安全关键软件 AADL

一种静态超标量DSP周期模拟方法: 本发明公开了一种静态超标量DSP周期模拟方法，通过构建包括指令准备模块和指令执行模块的静态超标量DSP周期模拟系统，指令准备模块设置初始值、获取指令、确定延迟周期数、确定停顿周期数和模拟时钟推进，指令模拟模块执行功能模拟...; 陈俊文甘志强冯云程高辉; 文献传递

一种多核DSP核间通信延迟时间在线测试方法: 本发明公开了一种多核DSP核间通信延迟时间在线测试方法，利用多核DSP片上定时器标记核间通信起止时刻，在DSP执行核间通信的同时在线更新测量最坏值，相比现有方法，不需要搭建辅助仪器硬件环境，不改动现有核间协议，可以在实际...; 陈俊文陈琦王之鹏祝宇陶平孙梦璘韩青松

一种VisualDSP++环境下外设读写模拟方法: 本发明公开一种VisualDSP++环境下外设读写模拟方法，通过构建外设读写模拟系统、在内部存储空间添加外设地址虚拟寄存器、在程序读写外设处插桩、在外设地址虚拟寄存器上建立观察点、获取外设读写时机和模拟外设接口数据步骤实...; 陈俊文冯云陈琦王之鹏; 文献传递

一种模拟测控系统功能模件的仿真测试方法: 本发明公开一种模拟测控系统功能模件的仿真测试方法，通过包括：信号接口转接模块、模拟模块和测试数据激励文件构建的模拟测控系统功能模件的仿真测试系统实现。信号接口转接模块应答通信请求命令并反馈测试激励数据，模拟模块转发动作信...; 徐国焯陈俊文孙梦璘韩青松

全选清除导出

共1页<1>

陈俊文