兴武强兵谱新曲——浙江省乐清市市委书记潘孝政关心支持国防建设纪事

浙江省乐清市，“温州模式”发祥地，改革开放和发展社会主义市场经济中崛起的一座美丽的沿海城市。乐清市市委书记、市人武部党委第一书记潘孝政在带领全市人民致力发展经济、建设现代化新乐清的同时，忠实履行党管武装工作职责，满腔真情爱武装，躬身力行强武装，谱写出了一曲曲新时期的兴武强兵之歌。     

3D SRAM中TSV开路测试算法研究与实现

基于三维集成电路技术实现的三维静态随机存储器,其电路中使用了大量的过硅通孔。目前过硅通孔制造工艺尚未成熟,使得过硅通孔容易出现开路或短路故障,从而给三维静态随机存储器的测试带来新的挑战。现有的过硅通孔专用测试方式虽然能够探测出过硅通孔的故障,但需要特定的测试电路来实现,这就增加了额外的面积开销,同时加大了电路设计的复杂度。因此,提出一种使用测试算法来探测过硅通孔开路故障的方法。在不增加额外面积开销的情况下,通过内建自测试电路解决三维静态随机存储器中过硅通孔的开路故障检测问题。结果显示,该过硅通孔测试算法功能正确,能够准确探测到过硅通孔的开路故障,并快速定位过硅通孔的开路位置。     

关于现代战争制胜机理问题的几点思考

但凡战争都存有克敌制胜的内在规律和基本原理,现代战争亦是如此。在深入理解战争制胜机理内涵要义、准确把握其基本特征的基础上,探究现代战争条件下制胜机理的全新变化,筹划未来谋打赢。     

贫困地区征兵工作存在的问题及对策

抓好征兵工作,加强国防建设,是关系国泰民安,维护国家安全和巩固社会主义制度的大事,也是地方党委、政府的一项重大政治任务。在新的历史条件下,贫困地区征兵工作面临着许多新情况新问题,必须从巩固和加强国防建设的高度,把它摆到国家、地方政府议事日程上来,采取强有力措施加以解决。     

内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

一种适用于点和区间混合型维度数据集的多维索引

点和区间混合型维度数据集是空间数据库系统和GIS中重要的数据对象.在分析SS树的基础上,提出了一种适用于索引点和区间混合型维度数据集的索引结构--PI树.PI树利用超球划分数据集的多维空间,以提高结点存储利用率,从而降低数据插入时的I/O次数.文章给出了PI树插入、删除和查询算法的形式化描述.理论分析和实验结果表明,所提的PI树性能上总体优于R·树.     

巴以冲突没完没了

坍塌的楼房、折断的天线、轰隆隆作响的推土机……”这是在巴勒斯坦经常看到的镜头。以色列军队袭击过后残破的土地和当地明朗的天空形成鲜明的对比。这让许多人为当地人的遭遇感到难过,更让人们为中东局势的走向担忧不已。 局势日益失控 从2000年9月开始的以色列和巴勒斯坦之间的暴力流血冲突已经持续了15个月。在过去的时间里,以色列和巴勒斯坦之间几乎每天都发生流血、爆炸、枪击、暗杀、“定点清除”、飞机轰炸、坦克进攻等。以巴间的报复与反报复的暴力冲突几乎没有一天停     

基于剪枝加权k-NN算法的雷达电磁行为识别

为了更好地实施电子干扰和欺骗,针对目标雷达电磁行为识别问题,提出了一种新的算法。首先,给出了雷达电磁行为的形式化表述,并在此基础上将各项属性参数进行预处理;然后,通过改进的k-最近邻分类算法(k-nearest-neighbor classifier,k-NN)对数据进行处理,从而对未知的雷达电磁行为进行识别。实验结果表明:改进的算法引入剪枝加权策略可加强其分类识别能力,在分类准确率和时间效率上较原算法有一定的改善,对于雷达电磁行为的识别是有效可行的。     

建设一支“永刚”式的战斗团队

我们的战友，身边的时代英雄方永刚，以一曲撞击我们每个人灵魂的生命绝唱感动着中国，走完了他短暂的45岁人生历程。听到他离我们而去的消息，让我无比悲痛、无限怀念。追思好兄弟、好战友生前的一点一滴，感慨很多。20多年来，方永刚用忠诚诠释信仰，用激情注解使命，用献身实践人生，为国防教育事业、为传播党的创新理论作出重大贡献，并给我们留下了宝贵的“方永刚精神”。这一精神将引领我们建设一支高素质的“永刚”式的战斗团队，推进系的全面建设，推进党的创新理论的深入研究和传播。