基于指令生成约束的RISC-V测试序列生成方法

为了避免处理器受到指令缺陷的威胁,该文提出基于指令生成约束的RISC-V测试序列生成方法,构建测试指令序列生成框架,实现测试指令生成及指令缺陷检测,解决现有测试指令序列生成方法约束定义困难和收敛速度慢的问题。在该方法中,首先,根据指令集架构规范和指令验证需求定义指令生成约束,包括指令格式约束、通用功能覆盖约束和特殊功能覆盖约束,以解决随着指令数量增多约束定义的困难,提高可复用性;然后,定义启发式搜索策略,通过统计覆盖信息,加快覆盖率收敛速度;最后,基于启发式搜索策略构造求解算法,实现满足指令生成约束的测试序列生成。实验结果表明,与现有方法相比,在覆盖所有指令验证需求的前提下,结构覆盖率和数值覆盖率的收敛时间分别减少了85.62%和57.64%。利用该框架对开源处理器进行检测,可以定位到在处理器译码和执行阶段引入的指令缺陷,为处理器指令缺陷检测提供了有效的方法。     

三值光学计算机中SJ-MSD加法器的设计与实现

本文介绍三值光学计算机的一种新型并行加法器—SJ-MSD加法器的设计与实现.介绍判断一组三值逻辑变换能够实现并行无连续进位二进制MSD数加法的充分条件(沈氏充分性定理).给出了构成SJ-MSD加法器的五个三值逻辑变换:S1、S2、J1、J2和J3(简称SJ变换),及其操作规则(简称SJ规则),并依据沈氏充分性定理推证了...     

基于集成成像的生物微小组织三维信息获取方法

提出一种将集成成像和光学显微镜结合实 现生物微小组织三维信息获取的新方法。以显 微镜为基础,结合集成成像特性,应用光学成像理论设计了与光路匹配的微透镜阵列,研制 了微弱光下的 三维信息获取系统。与已有方法相比,本文方法采用新的成像光路和三维信息获取器件,因 而放大倍数更高, 可记录更多的生物微小组织三维信息。针对生物微小组织,利用集成显微成像装置获得了 单元像阵列图像实验数据,分析了样本的三维结构和信息,验证了本文系统在微型组织三维 信息获取方面的有效性。     

基于DSP的磁流变阻尼器的控制方法

以美国德州仪器公司推出的16位定点通用数字信号处理芯片DSP为核心开发出精确可控的电流控制器,电流可在0－1．5A范围内调节,输出电流精度高、线性度好、控制效果显著。     

基于PIC18F248的SPWM波生成的一种方法

随着超导技术和电力电子技术的发展,三相电流源型变流器(CSC)在超导储能领域依然占有主导地位。文中详细地介绍了电流型变流器(CSC)的正弦脉宽调制方法。该方法利用MCU PIC18F248产生SPWM波,采用查表和在线计算相结合,既能满足一定控制精度,又能满足实时控制要求,同时给出了整个程序流程图。实验结果验证了该方法的正确性和可行性。     

双风机空调系统焓值控制方式及CO2浓度控制方法的探讨

双风机空调系统采用可变新风比的焓值控制方式及CO2浓度控制的方法，调节新风量的大小以达到节能的目的。     

基于DSP的防尾随控制方法的实现

针对当今社会所要求的高安全性与防尾随控制技术的防范效果差的矛盾,介绍了一种基于DSP的门禁管理系统中防尾随控制方法的实现,提出了运用红外传感器与体重检测装置相配合并结合门禁射频卡进行防尾随控制,通过与传统方法进行比较,新方法控制效果更好,使门禁系统的安全性得到了更好的保证。     

一种基于下行控制信息的移动通信流量分类方法

伴随着诸多新兴业务的发展,对移动通信的数据速率的要求也越来越高,网络运营商需要在确保用户隐私安全的情况下进行流量分类,分配所需的网络资源来服务用户,更好地优化移动通信的体系结构。传统的基于协议特征、关键字信息的流量分类方法会带来精度下降、实时性不足等问题。文章采集4G LTE网络中的下行控制信息（Downlink Control Information,DCI）,训练了三类基准机器学习分类模型和长短期记忆网络（Long Short-Term Memory,LSTM）模型,识别了5种主流应用流量。实验结果表明,LSTM模型的F1-Score达到了98.92%,在不侵犯用户隐私的前提下,实现了移动通信流量的高精度分类。     

基于旋光效应的FBG传感解调方法

阐述了利用石英晶体旋光效应实现FBG传感系统的解调原理,理论分析了石英晶体的旋光率与波长之间的变化关系。结果表明,旋光率随波长的增加逐渐减小,在834~841nm范围内近似呈线性变化。设计了双光路检测系统,对石英晶体的旋光率与波长之间的响应关系进行了验证,实验结果与理论分析一致。     

基于DSP的小卫星高速通信控制器的设计方法

通过小卫星向地面传输高速遥感数据,卫星上通信控制器需要具有很高的处理速率,单片机已很难满足需要。讨论了基于TI公司的TMS320VC5402DSP芯片实现小卫星通信控制器的方法。     

基于GSM技术的超远程水泵控制系统设计

针对传统远程控制器存在控制距离短、易受障碍物干扰、无反馈信息等问题,设计了一种基于GSM技术的超远程水泵控制系统。该系统是基于时分多址技术的GSM短信业务,以ARM处理器和GSM通信模块为核心,采用标准AT指令和串口通信以PDU短信的格式实现对水泵运转、水管上水、水塔液位高度的控制和反馈。实际应用表明,该系统工作稳定,实用性强。     

陆军指挥控制信息系统总体设计

针对陆军指挥控制信息系统的目标和需求,及其在现代战争中地位的变化,适应多级指挥所多席位分布作战环境的应用需要,从作战体系结构和系统体系结构两个方面对陆军指挥控制系统的体系结构进行描述,并且对该系统实现的总体功能、作战信息流程、工作模式和系统应用集成等方面进行设计。为陆军C4ISR系统的设计提供参考。     

战场环境对作战指挥信息传输的影响

作战指挥信息的获取和传输与战场环境息息相关,从大气环境及电磁环境对信息传输的影响分析入手,分析战场环境对信息传输的影响,并从技术使用和加强业务保障方面提出了一些建议。     

基于访问控制日志的访问控制策略生成方法

为解决其他访问控制机制向基于属性的访问控制机制迁移过程中所面临的策略生成问题,该文提出一种基于访问控制日志的访问控制策略生成方法,利用基于机器学习分类器的递归属性消除法实现策略属性的选择,基于信息不纯度从日志记录中提炼出蕴含的属性-权限关系,结合实体属性选择的结果,构建策略结构树,实现基于属性的访问控制(ABAC)策略的生成,并设计了基于二分搜索的策略生成优化算法实现对最优策略生成结果的快速计算。实验结果表明,只需原始实体属性集中32.56%的属性信息即可实现对日志中95%的策略覆盖,并且能够将策略规模压缩为原有规模的33.33%,证实了该方案的有效性,能够为ABAC策略管理提供有力支撑。     

基于模糊控制的远程康复信息采集系统设计

介绍了基于模糊控制的远程康复信息采集系统的设计方法。以信息采集系统速度控制为例,对模糊控制器的构造以及控制规则的建立做了重点分析和设计,实现了远程康复信息采集系统的智能控制。解决或缓解康复资源分布的不平衡性所造成的康复服务成本上升,使康复专家能够克服时间和空间的限制,更准确、全面、及时地掌握残疾人的康复数据和需求,从而提供更加优良的康复服务。     

多种UCAV群指挥控制综合信息系统研究

介绍了美军无人作战飞机(UCAV)系统中的电子信息系统的关键技术,提出了建立UCAV群联合作战指挥控制信息系统的设想,研究了UCAV群指挥控制综合信息系统的组成、功能、特点和需要重点研究的技术.     

基于DDS的指挥控制系统信息共享技术研究

战场态势信息的共享是实现协同作战急需解决的问题,信息共享技术关系着指挥效率和协同作战能力的高低,关系着作战效果是否精确高效。 DDS是实时分布式系统实现信息共享的一种有效途径,文中首先介绍了RTI DDS的体系结构,包括基本组件和QoS配置,其次针对指挥控制系统信息共享的需求,提出了使用RTI DDS实现信息共享过程中的关键问题及解决方法,并通过搭建实验环境验证,实验结论证明DDS可以作为指挥控制系统的一种有效的信息共享技术。     

基于概念网络的文本信息监控技术

由于网上信息的迅速增长,文本信息监控已经成为网上信息管理中的热点研究课题。本文在模糊集和语义网络的理论基础上,构建了模糊值动态约束性概念网络,介绍了该概念网络的基本构建方法,并提出了基于概念网络的文本分析算法。     

基于代数连通度优化的空间信息网络分布式拓扑控制方法

针对空间信息网络中节点高速运动导致的网络拓扑结构难以长期稳定的问题,本文提出了基于代数连通度优化的网络动态拓扑控制方法,通过少量链路调整来维持网络拓扑的稳定性.为减小空间信息网络节点持续相对运动对网络拓扑结构稳定性造成的不利影响,针对网络初始化和网络重构场景,采用图论中的拉普拉斯矩阵特征值优化思想,构建了星上资源约束条件下的加权代数连通度最大化模型.为降低计算复杂度来实现网络拓扑的捷变控制,提出了基于连通矩阵弱摄动的动态网络拓扑控制策略.研究结果表明,提出的算法能够通过内点法,可高效地得到次优解,且次优解与全局最优解十分接近.