并对局数据核查模块中的任务队列管理和线程池管理提出了设计思路。
互联网摘选
最后在此基础上设计并实现五个应用模块:DBC文法解析模块、系统配置模块、配置验证模块、信息提取模块和迭代开发支持模块。
互联网摘选
这些模块包括:CRC校验模块,信道编解码模块(卷积编解码和Turbo编解码),交织模块,速率匹配模块。
互联网摘选
针对隐私保护的第二个问题-防止隐私信息被篡改,本文采用带密钥的哈希函数消息认证策略,设计了位置服务可靠性验证模块,实现了对查询内容和查询服务结果的完整性的验证。
互联网摘选
最后设计实现了调度算法验证模块,并在此模块上对比了改进的算法Balance-QoS Guided Min-min与Min-min算法的调度性能。
互联网摘选
本文有多个创新点,包括使用本体管理权限;在整合模型中有意识的设计了资源验证模块;互操作模块中使用分层思想;独立实现Jena推理功能等。
互联网摘选
Research on Algorithm Realization of Fingerprint Verification Module in Internet Exam System
网上考试系统中指纹验证模块的研究与算法实现
互联网摘选
识别软件由指纹采集和指纹验证两个模块组成, 是该系统的核心部分.
互联网摘选
指纹验证模块是将乘客登机时采集的指纹与其指纹库中的指纹相匹配,确定乘客身份。
互联网摘选
整合模型分为五个主要部分:门户模块、存储模块、互操作模块、检索模块和验证模块。
互联网摘选
硬件体系结构采用总线结构,软件子系统由通信模块、签名模块、验证模块、杂凑模块、加解密模块和密钥生成模块组成。
互联网摘选
Dynamic verification is divided into module verification and system verification.
在动态验证过程中,采用了单元模块验证和系统级验证的层次化验证策略。
互联网摘选
Modeling and Verification of Movement Authority Module of RBC System Based on Safe State Machine
基于安全状态机的RBC系统行车许可模块的建模与验证
互联网摘选
进行了剖面仪信号采集与处理系统各模块的功能验证实验,验证了各模块的性能。
互联网摘选
论文完成了PC104工控系统SOC芯片龙腾S1中PC104总线控制器的设计,设计并搭建了SOC中单模块和整个SOC系统的FPGA验证平台。
互联网摘选
基于高级验证方法学构造了列车通信网络控制器的模块级和系统级功能验证模型,设计了网络拓扑级验证模型,弥补了传统验证方法难以模拟通信过程的不足。
互联网摘选
完成了浮点超越函数的验证和逻辑综合,主要验证内容包括单模块的验证、模块联合验证和系统验证。
互联网摘选
按照方案开发的酒店管理系统,各功能模块相对独立,又协同工作,具有很好的功能可扩展性,并且经过了系统的验证和测试,达到了项目预期的各项功能指标。
互联网摘选
从分析影响现代安全系统的可靠性和安全性的因素出发,提出一个实现对计算机联锁系统功能性和安全性进行自动或半自动检验的系统模型,并分析了该检验系统的模块功能。
互联网摘选