期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
流敏感的C/C++程序编程风格检查方法
1
作者 胡梦泽 马旭桐 +1 位作者 张豪 张健 《计算机科学》 北大核心 2025年第6期35-43,共9页
C/C++编程语言应用于众多关键领域的软件系统中,在开发时对编程的规范性和语义的明确性有着极高的要求。为了避免不当使用C/C++语言带来潜在的安全问题,国内提出了面向C/C++语言的《C/C++语言编程安全子集》(后简称为GJB8114)。由于标... C/C++编程语言应用于众多关键领域的软件系统中,在开发时对编程的规范性和语义的明确性有着极高的要求。为了避免不当使用C/C++语言带来潜在的安全问题,国内提出了面向C/C++语言的《C/C++语言编程安全子集》(后简称为GJB8114)。由于标准中规则较多,程序员在开发过程中难免存在不规范的写法,因此实现用自动化的规则检测工具检测相应的编码规则是必要的。而现有的编程规范检查工具对标准的检查并不全面,在针对需要理解程序上下文的规则的检查时,误报率较高甚至不支持检查。对此,将GJB8114中的规则分类并对复杂规则进行定义。通过调研Testbed工具检查GJB8114中的复杂规则的支持程度,总结得到现有工具存在流敏感分析不完善和无法进行跨文件的全局分析这两个问题。采取了结合语法树匹配的流敏感分析方法和跨文件的全局分析方法来解决这些问题。在此基础上,开发得到了CruletFS工具。实验结果表明,与常见的编程规范检查工具Cppcheck,Testbed等相比,CruletFS在检查复杂规则时有更好的效果。在针对规模较大的项目分析时,CruletFS在开销上也优于Cppcheck。这说明相较于已有的方法和策略,所提方法可以在占用开销较低的基础上有效提高复杂规则检查的准确率。 展开更多
关键词 c/c++编码风格检查 流敏感静态分析 跨文件代码检查
在线阅读 下载PDF
基于Client/Server结构的远程电脑考勤系统 被引量:13
2
作者 张国祥 《计算机工程与应用》 CSCD 北大核心 2002年第22期235-238,共4页
文章论述了如何采用PB和SQLServer结合开发出两层C/S结构的远程电脑考勤系统。该系统采用条码扫描的形式,在Client端采集考勤数据,在Server端综合汇总,汇总的数据除供管理者查询以做决策的依据外,还可直接将其传至公司的财务系统,作为... 文章论述了如何采用PB和SQLServer结合开发出两层C/S结构的远程电脑考勤系统。该系统采用条码扫描的形式,在Client端采集考勤数据,在Server端综合汇总,汇总的数据除供管理者查询以做决策的依据外,还可直接将其传至公司的财务系统,作为薪金发放的重要参考。在论述远程电脑考勤系统实例的同时,还从系统环境,前台应用程序的设计,后台数据库的设计,系统数据库的安全,系统网络的安全等方面给出了开发两层次C/S结构应用系统、一般方法和技巧,具有一定的参考价值。 展开更多
关键词 cLIENT/SERVER结构 远程电脑考勤系统 公司管理
在线阅读 下载PDF
LDPC译码器的Impulse C编程设计
3
作者 张培 尚丽 +1 位作者 刘韬 汪一鸣 《电讯技术》 北大核心 2010年第2期89-92,共4页
提出了一种对LDPC码(低密度奇偶校验码)译码器进行FPGA(现场可编程门阵列)设计的新方案。不同于采用传统硬件描述语言方法,该方案基于最新一代从ImpulseC编程到硬件编译的便捷技术,在Xilinx Virtex2芯片XC2V2000上实现了1/2码率、码长2... 提出了一种对LDPC码(低密度奇偶校验码)译码器进行FPGA(现场可编程门阵列)设计的新方案。不同于采用传统硬件描述语言方法,该方案基于最新一代从ImpulseC编程到硬件编译的便捷技术,在Xilinx Virtex2芯片XC2V2000上实现了1/2码率、码长2500的(3,6)LDPC码译码器。最大迭代次数为10次,主频50MHz时,数据吞吐量可达10Mbit/s,能够满足第三代移动通信系统对译码速率的要求。 展开更多
关键词 第三代移动通信系统 低密度奇偶校验码 译码器 现场可编程门阵列 Impulsec编程
在线阅读 下载PDF
二元局部修复码的新构造 被引量:3
4
作者 杨森 李瑞虎 +1 位作者 付强 吕良东 《空军工程大学学报(自然科学版)》 CSCD 北大核心 2019年第6期104-108,共5页
局部修复码(Locally Repairable Codes,简记为LRCs)是一种可以减小分布式存储系统修复带宽的新型纠删码。依据二元最优码的不同距离特性而改变校验矩阵的方法,提出了由奇距离局部修复码扩展构造偶距离局部修复码的一种方法;而且提出了... 局部修复码(Locally Repairable Codes,简记为LRCs)是一种可以减小分布式存储系统修复带宽的新型纠删码。依据二元最优码的不同距离特性而改变校验矩阵的方法,提出了由奇距离局部修复码扩展构造偶距离局部修复码的一种方法;而且提出了通过删截的方法构造新的性能优良的局部修复码。利用这两种方法,构造出四组码长为n≤24,维数为k≥8且距离为6≤d≤8具有较小局部修复度的码,这些码都达到了C-M界。这些结果对于研究更大距离的二元最优局部修复码以及一般域上的最优局部修复码的构造,将具有借鉴意义。 展开更多
关键词 局部修复码 局部修复度 校验矩阵 二元最优线性码 c-M界
在线阅读 下载PDF
基于sunflower的局部修复码构造 被引量:1
5
作者 张茂 李瑞虎 +1 位作者 郑尤良 付强 《计算机应用》 CSCD 北大核心 2021年第3期763-767,共5页
针对目前构造达到C-M界的二元局部修复码(LRC)的相关研究已经较为充分,但在一般域上还相对较少的问题,研究了一般域上LRC的构造。首先,提出了通过射影几何理论确定sunflower中元素个数的方法。其次,通过不相交局部修复组刻画LRC,从而清... 针对目前构造达到C-M界的二元局部修复码(LRC)的相关研究已经较为充分,但在一般域上还相对较少的问题,研究了一般域上LRC的构造。首先,提出了通过射影几何理论确定sunflower中元素个数的方法。其次,通过不相交局部修复组刻画LRC,从而清楚地描述LRC的码长、维数和局部度等参数。最后,在具有不相交局部修复组的校验矩阵的基础上,利用sunflower构造了两类一般域上最小距离为6的LRC,其中很多LRC是最优或拟最优的。相较于现有利用子域子码、广义级联码和代数曲线等方法构造的LRC,所构造得到的两类码在相同的码的最小距离和局部度下提升了信息率。这些结果说明所提方法可应用于一般域上其他LRC的构造。 展开更多
关键词 局部修复码 一般域 校验矩阵 c-M界 SUNFLOWER 不相交局部修复组
在线阅读 下载PDF
1090ES关键信息解码算法优化及实现 被引量:2
6
作者 张鹏 何光亮 《现代电子技术》 北大核心 2018年第3期30-35,40,共7页
以1090ES广播式自动相关监视(ADS-B)系统的飞机位置报文为信号源,采用ARM Cortex-M4内核的微控制器为硬件平台。针对目前空中交通管制对数据处理的实时性和准确性的要求,对空中目标飞机的经纬度和高度等关键信息进行解码。分析以往查表... 以1090ES广播式自动相关监视(ADS-B)系统的飞机位置报文为信号源,采用ARM Cortex-M4内核的微控制器为硬件平台。针对目前空中交通管制对数据处理的实时性和准确性的要求,对空中目标飞机的经纬度和高度等关键信息进行解码。分析以往查表法在解码中的优缺点,归纳总结和实现了公式法在ADS-B系统位置报文中高度信息的解码。通过在真实数据环境下实验验证,其实验结果表明该方法能很好地克服常规算法繁琐、占用内存资源多等缺点,且软硬件实现更加方便、快捷。 展开更多
关键词 ADS-B cortex-M4:cPR c模式高度应答码 cRc校验 公式法 解码
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部