基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

基于频谱的缺陷定位技术:逆向切片优于执行切片

一般情况下,缺陷定位技术的应用前提是必须存在测试预言,以判断测试用例的运行结果是失败或者成功,否则将无法使用。然而,在许多实际情况下,测试预言不存在或者很难定义,这就是著名的"预言家难题"。为了应对"预言家难题",利用蜕变测试,扩充了采用逆向切片基于频谱的缺陷定位技术的方法学,实现了其在无测试预言下的有效应用。基于上述研究,进一步对比了SFL技术中执行切片与逆向切片的缺陷定位能力。实验表明,在有测试预言和无测试预言两种情况下,逆向切片比执行切片具有更强的缺陷定位能力,并且公式GP19和ER1’相比于其他公式,更有可能达到最优结果。     

自动生成超文本链接

目前大多超文本链的自动生成方法所存在的问题是,它不能很好解决一字、词多义和同义字、词问题。文章提出用词汇串技术能较好解决这一问题。用词汇串技术发现文档中相关的字、词序列。基于文档的字、词序列,本文提出判据,判别一个文档内部那些部分是相关的应当链接起来,那些文档之间是相关的应当链接起来。     

安全规范多≠安全落实好——山西某预备役坦克团着力解决安全管理中的形式主义

近日,山西某预备役坦克团对全团安全管理工作进行了"拉网式、兜底式、翻箱倒柜式"安全隐患排查,结果总体比较满意。通过对机关、预任营连的检查,官兵对安全教育落实、安全常识掌握、法规制度学习、安全保密意识有了明显增强,官兵普遍反映上级制定各种安全规范多,抓安全工作落实工作仍需进一步解决。不久前,该团检查组成员分别下到基层营连对部队安全稳定工作进     

女兵连与雷锋的故事

半个世纪前,她们与雷锋结缘。时光荏苒,那一串串烙印在岁月中的雷锋情结,早已镌刻在一代代女兵心间,滋养她们的人生旅途芬芳无限,那种情结穿越了时空的美丽与明亮。这是一支屡建功勋、饮誉全军的基层典型连队。然而,是什么催生这支连队饮誉全军?是什么样的"薪火"指引连队科学发展和官兵健康成长?带着这些问题,笔者在沈阳军区某通信团长话连振叶寻根、溯流探源……原来,50年前她们便与雷锋结缘。     

黑腿星翅蝗（Calliptamusbarbarus）消化道组织结构观察

应用常规石蜡切片法,H·E染色,在光学显微镜下对黑腿星翅蝗（Calliptamusbarbarus）消化道组织结构进行了观察。结果表明,黑腿星翅蝗消化道壁由内向外的组织结构是：最内层为几丁质内膜或围食膜,然后依次为上皮层（肠壁细胞层）、基膜、环肌层、纵肌束和围膜。其中前肠和直肠的最内层具有非细胞结构的几丁质内膜,中肠则具有非细胞结构的围食膜,直肠部位具有6个直肠垫。消化道的组织学结构与蝗虫的一般结构相似。     

装备保障信息化建设的初步构想

信息化作战中,装备保障指挥要想达到“上下贯通、横向互联、平战结合”的要求,就必须实现保障指挥系统与一体化联合指挥系统的无缝链接。我部依托网络通信平台,紧紧围绕如何进行装备保障信息采集、处理、维护、共享及安全管理,     

过程控制中的对象链接与嵌入技术及数据访问客户端的开发

过程控制中的对象链接与嵌入技术 ,是最近几年国际上自动控制领域研究的热点之一。该技术解决了办公室与生产现场的信息通信问题 ,并成为工业控制和生产自动化领域中使用的硬件和软件接口的国际标准。本文介绍了OPC技术的基本原理及OPCDA客户程方开发的详细过程。     

适应军事斗争准备需要加强国防动员一体化建设

国防动员一体化,是指以信息系统为支撑,以综合集成为手段,对军事需求、动员保障、作战行动实施有效链接,对各种动员要素进行系统集成,确保动员与作战无缝链接、融为一体、实时互动的一种动员样式.与传统动员相比,一体化国防动员具有许多新的特点.     

采用非对角1-D切片的码片速率盲估计北大核心

在通信侦察识别中,通信信号的码元速率估计是调制识别和信息解调的前提和基础。针对直接序列扩频信号的伪码码片速率估计问题,提出了一种利用联合循环高阶累积量非对角1-D切片特征参数,对直扩信号码片速率进行盲估计的改进算法。该算法将采样信号不同延时的非对角1-D切片进行联合处理,通过自相关、快速傅里叶变换、求模平方等方法,增强了谱线特征。仿真实验证明,改进算法较2-D切片算法简化了计算,并且在更低信噪比条件下,实现了对无先验信息直接序列扩频信号的码片速率盲估计。