排序方式: 共有16条查询结果,搜索用时 15 毫秒
1.
从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。 相似文献
2.
3.
近日,山西某预备役坦克团对全团安全管理工作进行了"拉网式、兜底式、翻箱倒柜式"安全隐患排查,结果总体比较满意。通过对机关、预任营连的检查,官兵对安全教育落实、安全常识掌握、法规制度学习、安全保密意识有了明显增强,官兵普遍反映上级制定各种安全规范多,抓安全工作落实工作仍需进一步解决。不久前,该团检查组成员分别下到基层营连对部队安全稳定工作进 相似文献
4.
5.
信息化作战中,装备保障指挥要想达到“上下贯通、横向互联、平战结合”的要求,就必须实现保障指挥系统与一体化联合指挥系统的无缝链接。我部依托网络通信平台,紧紧围绕如何进行装备保障信息采集、处理、维护、共享及安全管理, 相似文献
6.
任学军 《武警工程学院学报》2003,19(2):25-29
过程控制中的对象链接与嵌入技术 ,是最近几年国际上自动控制领域研究的热点之一。该技术解决了办公室与生产现场的信息通信问题 ,并成为工业控制和生产自动化领域中使用的硬件和软件接口的国际标准。本文介绍了OPC技术的基本原理及OPCDA客户程方开发的详细过程。 相似文献
7.
为将指挥员需求语句中的实体指称准确链接到知识图谱中的标准化实体节点上,提出了基于改进编辑距离的军事领域实体链接方法。通过对实体指称的非标准形式进行归纳总结,建立索引,并以BM25模型为基础,提出了融合考虑多方面相似性度量特征的改进编辑距离算法,对待链接实体进行综合排序,从而实现了实体链接。实验结果表明,该军事领域实体链接方法有效提高了实体链接时的匹配准确率。 相似文献
8.
基于PB的MIS系统信息检索实现 总被引:1,自引:0,他引:1
针对目前信息存储中信息量的不断增大,而且对大文本对象处理越来越多、越高的要求,提出了一个以PowerBuilder为依托,并通过OLE结合Word从而实现信息检索的方法,同时给出了查找正确VBA语法格式和将其转换为PB语法格式的一些实用技巧。最后给出一个完整的例子,实现了对某数据库的信息检索。 相似文献
9.
对比分析了基于链接分析的搜索引擎排序算法PageRank和HITS,针对原有PageRank算法采用的平分页面自身PageRank值的策略,提出了按基于关键词集的网页关联比重分配PageRank值的改进算法。该改进算法根据用户搜索的关键词,按照超链接的网页关联比重为超链接赋予权重,增强了已有算法的有效性。 相似文献
10.
国防动员一体化,是指以信息系统为支撑,以综合集成为手段,对军事需求、动员保障、作战行动实施有效链接,对各种动员要素进行系统集成,确保动员与作战无缝链接、融为一体、实时互动的一种动员样式.与传统动员相比,一体化国防动员具有许多新的特点. 相似文献