超大变量多值单边逻辑函数优化算法的研究

单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.     

基于可观测性无关项的快速逻辑优化实现策略

在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化.同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化.     

基于频谱密度扩容机制的LTE网络超带宽传输算法

为改善当前LTE信号超带宽传输存在难以划分带宽传输区域,且区域间信号频谱密度重叠严重,难以消除莱斯窄带噪声对数据传输过程中的影响等不足,提出一种基于频谱密度扩容机制的LTE信号超带宽传输算法。算法采取区域协调-密度传输匹配的方式,构建基于区域适应模型的频谱密度扩容机制。通过频率漂移消除及密度约束进行扩容成型,改善LTE信号在超带宽的数据环境下出现传输抖动现象。使用信息交互模式,采取香农信道,将数据上传终端对于的频率与区域基站频率进行匹配,构建基于虚拟分区的LTE信号超带宽传输机制。实验测试结果显示:与当前常见的调节机制相比,该算法具有更高的数据上传带宽与重传输性能,且数据传输波峰更为平缓。     

一种新的基于最小项逻辑优化的软件设计与实现

文章提出了一个新的产生本源蕴涵项的算法，并形成了相应的组合逻辑电路逻辑综合优化软件，测试表明，它在运算速度和存储性能上都是高效的。     

基于编码算法的组合逻辑电路最优化软件的设计与实现

在组合电路综合领域,逻辑最小化对电路面积及性能起到至关重要的作用。文章提出了一个新的产生本源蕴涵项的算法,并开发了一个最优化软件MININT,实验表明,它在运算速度和存储性能上都是高效的。     

嵌入式操作系统EPOS的设计与实现

我们利用微内核的思想，设计并实现了一个基于X86系列处理器的多任务的嵌入式操作系统。该系统利用了保护模式基于描述符的存储管理模式及Intel X86系列处理器的其它许多先进功能。实现了任务管理、中断处理、时间管理、内存管理等多项管理功能，具有较好的实时性和稳定性。     

基于CSP和RSL的协议形式化描述技术研究

协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.     

二叉决策图在逻辑综合中的应用

二叉决策图（BDDs）是布尔函数的一个表示方法，最近它被广泛于逻辑综合、布尔电路的模拟和测试等领域。在这些应用中，有些基本问题需要解决，其中包括电路图到决策图的转换。本文提出一个转换的方法。文中分两步叙述，首先是对无扇出电路的转换，然后是对有扇出电路的转换，最后把两者结合为一个通用算法。     

沥青软化点测试的试验条件影响分析

由于气候、人员素质、仪器设备等因素的影响,沥青软化点测试过程中往往会出现个别试验条件不具备或不严格.本试验采用4种不同型号的沥青,对沥青软化点测试中的烘样温度及时间、隔离剂的多少、注模后试样的室温冷却时间、割模时刮刀的状态、割模后水浴低温保养温度及时间、加热起始温度等试验条件设计了一系列相关的试验,以研究这些试验条件与软化点测试结果之间的关系.     

一种无线传感器网络的多优先级数据聚集协议

无线传感器网络当前已成为一种新的分布计算模式，由于大部分无线传感器网络中节点的能源是不可补充的，因此需使用数据聚集协议提高整个网络的生命周期，传统的数据聚集协议不能保证网络中的高实时性数据的延迟较低．文中提出的DAIDA协议根据节点上的流量状况及数据的不同优先级要求自适应地调整数据链路层发送的数据包的大小，模拟结果表明，高实时性数据通过网络的延迟低于低实时性数据的延迟，并且延长了无线传感器网络的生命周期。