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

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

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

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

女兵连与雷锋的故事

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

自动生成超文本链接

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

基于PB的MIS系统信息检索实现

针对目前信息存储中信息量的不断增大，而且对大文本对象处理越来越多、越高的要求，提出了一个以PowerBuilder为依托，并通过OLE结合Word从而实现信息检索的方法，同时给出了查找正确VBA语法格式和将其转换为PB语法格式的一些实用技巧。最后给出一个完整的例子，实现了对某数据库的信息检索。     

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

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

基于页面关联比重的PageRank排序算法的改进

对比分析了基于链接分析的搜索引擎排序算法PageRank和HITS，针对原有PageRank算法采用的平分页面自身PageRank值的策略，提出了按基于关键词集的网页关联比重分配PageRank值的改进算法。该改进算法根据用户搜索的关键词，按照超链接的网页关联比重为超链接赋予权重，增强了已有算法的有效性。     

武器装备的生命线——数据链

数据链”是采用无线网络通信技术和应用协议,实现机载、陆基和舰载战术数据系统之间的数据信息交换,从而最大限度地发挥战术系统效能的系统。“数据链”不是什么神秘武器,而是将数字化战场上的指挥中心、作战部队、武器平台链接到一起,并提供一种信息处理、交换和分发的系统。它并不只是像我们平常看到的互联网或区域网,通俗地说,它是网络、在网络上跑的数据以及处理这些数据的软件系统的总称。目前,一些国家和地区军队装备的“标准密码数字链”、“战术数字情报链”、“联合战术信息分发系统”、“多功能信息分配系统”等,都属于“数据链”…     

用FrontPage98制作主页的技术探讨

本文系统地阐述了安装运行FrontPage 98软硬件环境的要求,及组成它的三个应用程序的内容和功能,最后给出了用 FrontPage 98制作主页的实例.     

新闻链接

云南省瑞丽市人武部近日积极开展"忠诚于党,热爱人民,报效国家,献身使命,崇尚荣誉"的当代革命军人核心价值观宣传教育活动,引导干部职工和广大民兵立足本职岗位,建功边防事业。