嵌入式系统软硬件划分方法研究

软硬件划分是软硬件联合设计中一个关键问题。本文分析了有固定吞吐率约束的软硬件划分问题的模型 ,提出了一种软硬件划分方法和相应的评价方法 ,最后给出了实验数据和进一步的改进设想。     

高速、大流量岩溶管道骨料综合添加技术的应用

华润水泥(平南)河景石灰石矿东部岩溶管道发育强烈,秦川河水沿岩溶管道排泄至采坑,导致出现高速、大流量涌水,通过在岩溶管道联通的钻孔中添加黄豆、海带、细沙、碎石等综合方法,降低了水流速度,增加了水泥-新型注浆材料的留存率,达到了彻底封堵突涌水的治理目的。     

域间路由安全实时监测系统的设计与实现

域间路由系统是Internet的基础设施和网络的关键支撑，然而由于其自身的脆弱性而存在许多安全方面的问题。从域间路由监测的角度出发，基于路由异常行为规则库和流量模式设计并实现了一个域间路由安全实时监测系统。系统可以实时检测网络流量异常以及非法路由，并向用户提供告警信息，同时根据BGP更新报文生成并维护BGP路由表，为基于路由表分析的监测方法做好了准备。给出了系统试验，并对系统性能进行了评价。     

基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法

利用人工智能最新研究成果--约束逻辑编程对Verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较.首先通过符号模拟建立Verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解.该方法的优点是在计算抽象系统时,不需要像基于SAT的方法那样将字级约束打散成位级约束,求解效率显著提高;提供了一个统一的框架用于描述各种约束.实验结果表明,与基于SAT的抽象技术相比,基于约束逻辑编程的抽象方法的求解速度有显著提高.     

基于秘密分享的安全组通信协议设计与实现

在深入分析MANET组通信安全需求和已有工作的基础上,基于门限秘密分享机制和门限RSA方案,提出了分布式安全组通信协议DSGCP(Distributed Secure Group Communication Protocol)。该协议避免了组密钥管理的单点失效问题,降低了节点移动性和链路可靠性对于组密钥管理的影响,适应网络拓扑变化的特点,抗毁性强。描述了协议的组通信密钥更新算法、组控制密钥更新算法和合作解密算法,刻画了协议报文格式和主要协议过程,并基于实际Ad-hoc网络进行了协议实现和协议性能测试。     

支持并行模拟的Verilog编译技术研究与实现

并行HDL模拟是加速大型复杂的VLSI系统模拟验证的有效方法，支持并行模拟的HDL编译技术是其中的关键技术，文章提出了一种支持并行模拟的Verilog编译技术，编译器将Verilog描述转换成C＋＋代码，最后与并行模拟核心库编译链接生成可执行并行程序。文章将编译器构成，代码生成方法和并行模拟核心库，该技术已经在并行Verilog模拟器ParaVer上实现。     

DMA控制器的一种硬件验证方法

在微处理器或SOC芯片设计过程中,DMA控制器的硬件仿真验证是难以解决的问题之一,因为DMA控制器与包括微处理器核和内存控制器在内的几乎所有部件都有数据通信,如将所有部件集成后进行仿真测试,则一旦发现错误后,定位错误会非常困难.本文为此提出了一种简化测试模型和验证方法,可以有效解决上述问题.     

光传输网（OTN）的技术架构与实际应用

智能化电网不断深入，对信息化需求也在不断提高，对电力通信系统带宽的扩容速度要求也在不断提高。而在实际电网建设过程中应用新的OTN技术能够使得网络的带宽得到进一步的提高，网络更具安全性，跟智能电网以及实现电网的智能化管理的要求相同，对业务信息的可靠性有所保障。本文就对光传输网技术的基本概述、构架方式以及实际运用进行了简要的分析，以期为相关人员提供参考。     

浅层岩溶瞬变电磁响应规律试验研究

针对浅层岩溶塌陷产生的工程与环境问题,研究瞬变电磁对浅层岩溶的响应规律。通过分析将浅层岩溶概化为充填与半充填两类地电模型,采用时域有限差分法进行三维正演计算,对比分析电性差异、规模差异以及埋深差异情况下的瞬变电磁衰减曲线特征和视电阻率曲线变化规律。通过数值试验发现:浅层岩溶充填物的电阻率越低、规模越大,瞬变电磁衰减曲线中的异常响应幅值越大;浅层岩溶的瞬变电磁异常响应主要集中在早期;瞬变电磁对具有一定规模的充填模型与半充填模型均有较好的识别能力。选择某已知区域进行现场试验,瞬变电磁能够圈定岩溶异常,并发现未揭露的潜在岩溶发育区。数值试验和现场试验表明,瞬变电磁探测浅层岩溶需要更早的观测时间和更小的关段时间。