排序方式: 共有93条查询结果,搜索用时 15 毫秒
1.
2.
3.
该文给出了一种修正的欠帐轮询调度算法,该算法适合用于排队队列比较少且排队报文长度信息不明确的情况;理论分析和实际应用表明,该算法具有良好的公平性,并且具有实现简单的优点,可以很方便地用于核心路由器高密度线路接口卡设计中。 相似文献
4.
5.
介绍基于现场可编程门阵列(FPGA),利用VHDL语言设计实现MMC2107与SDRAM接口电路。中包括MMC2107组成结构、SDRAM存储接口结构和SDRAM控制状态机的设计。 相似文献
6.
基于决策理论的指令集识别技术研究 总被引:1,自引:0,他引:1
针对所属处理器指令集未知的二进制目标代码无法直接进行处理和分析的问题,研究了一种基于决策理论的、在反汇编器的支持下的,通过对程序流的分析及信息获取进行处理器指令集识别的方法,提出了相似度的概念,阐述了依据相似度评估判定未知二进制目标代码所属指令集的思想,并描述了一种可实现的算法。实验结果表明,该方法具有较高的识别准确率和良好的应用价值。 相似文献
7.
蓝牙作为日益使用广泛的无线传输技术,其安全问题值得重视。蓝牙安全机制可以用软件实现,也可以用硬件实现,但在对处理时间要求严格的应用设备中,硬件实现效果更佳。本文在分析蓝牙链路层安全机制的基础上,探讨了一种全硬件的实现方案,具有较好的应用价值。 相似文献
8.
可信执行环境(TEE)的安全问题一直受到国内外学者的关注. 利用内存标签技术可以在可信执行环境中实现更细粒度的内存隔离和访问控制机制, 但已有方案往往依赖于测试或者经验分析表明其有效性, 缺乏严格的正确性和安全性保证. 针对内存标签实现的访问控制提出通用的形式化模型框架, 并提出一种基于模型检测的访问控制安全性分析方法. 首先, 利用形式化方法构建基于内存标签的可信执行环境访问控制通用模型框架, 给出访问控制实体的形式化定义, 定义的规则包括访问控制规则和标签更新规则; 然后利用形式化语言B以递增的方式设计并实现该框架的抽象机模型, 通过不变式约束形式化描述模型的基本性质; 再次以可信执行环境的一个具体实现TIMBER-V为应用实例, 通过实例化抽象机模型构建TIMBER-V访问控制模型, 添加安全性质规约并运用模型检测验证模型的功能正确性和安全性; 最后模拟具体攻击场景并实现攻击检测, 评估结果表明提出的安全性分析方法的有效性. 相似文献
9.
10.
基于Web Service的医疗保险系统的设计与实现 总被引:6,自引:0,他引:6
医疗保险是社会保障体系的一个重要环节,医疗保险系统是贯彻相关政策的直接载体.如何与社会保障系统中的其他系统以及社会保障系统外的其他系统相互集成和数据共享成为医疗保险系统应用的一大挑战.本文利用Web服务的体系结构和它的关键技术,设计了基于Web服务的医疗保险应用系统,解决了医疗保险应用系统与其他系统的相互集成问题和系统间数据共享问题. 相似文献