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

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

网络文化对高校学生思想道德观念的冲击与对策

网络是一把"双刃剑",它在让高校学生充分享受到高科技带来的各种魅力的同时,也使学生的世界观、人生观、价值观受到网络文化的强烈冲击.因此,我们要从讲政治的高度关注思想文化教育网站的建设,积极应对网络文化的冲击,充分发挥网络的教育功能,拓宽教育领域,改变教育模式,用先进的思想、文化和信息占领网络文化阵地,营造健康向上的网络文化氛围,教育和引导高校学生树立正确的思想道德观念.     

美国海军利用信息革命

本文主要说明了网络中心战在未来海军作战中的重要意义,并详细地解释了网络中心战的概念。     

高校网络实验室建设浅议

通过对现行计算机网络实验课的分析,提出计算机网络实验室建设的必要性、可行性及实施建议,呼吁尽快建立起网络实验室.     

网络安全策略制订与实施

讨论了基于价格／风险模型制订网络安全策略的方法和步骤,并指出了安全策略实施过程中应注意的问题。     

基于贝叶斯网络的态势认识

态势认识的本质是通过因果推理进行态势理解和诊断推理以实现态势预测,不确定性知识表示和推理是态势认识过程中需要解决的两个重要问题。基于贝叶斯网络易于进行不确定性推理的优点,综合应用贝叶斯网络因果推理和诊断推理,提出了态势认识的贝叶斯网络模型,应用贝叶斯网络信息传播算法,给出了态势认识系统实现的方法,并通过实例计算论证了该方法的可行性和实用性。     

从擦车想到的

经常擦车的人都知道,看到汽车脏了,可不能直接拿着布上去就擦。汽车上的灰尘和泥土都是由各种形状的微小颗粒组成的,如果你随便从哪找块布或报纸就去擦,这就如同拿把钢刷刷车,车漆和车窗都甭要了。表面上看着好像没事,俯身仔细一看,汽车表面上到处都布满     

适应任职教育需要 构建互动网络教学模式

互动网络教学模式是对现有教学模式的补充与完善。构建互动网络教学模式是指利用学院现有网络资源,把课堂搬到校园网上,通过学员之间、教员与学员之间、学员与计算机之间互动学习各种知识,实现更为广泛的个体和群体之间的直接信息交换,真正建立起平等、互促、互助、对话、交叉与融合的相互关系,满足个别化、精细化任职教育的需要。     

外军先进无人地面传感器

无人地面传感设备是现代战争战场态势感知不可或缺的重要手段之一。近年来，外军借助先进通信与网络技术，大力发展无人地面传感设备，扩展了传统传感器的效能。     

军队网络化业务信息系统建设亟待加强

目前军内的很多业务信息系统只能单机运行，或者只能在局域网小范围内运行，涉及到更大范围的数据报送只能使用手工方式，网络的作用没有得到充分的发挥。在业务信息系统建设进入规模化、跨领域的条件下，网络化全面运维的紧迫性要求我们，必须推动网络基础环境建设，加强统筹，部门联动，为信息网络报送建立安全通道。