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

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

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

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

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

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

山西省召开民兵预备役部队参加新农村建设现场观摩暨经验交流会 坚持以科学发展观为指导 努力为推动新农村建设作贡献 军区黄建国副政委出席会议并讲话

10月21日至22日,山西省委、省政府和省军区在山西省长治市组织召开山西省民兵预备役部队参加新农村建设现场观摩暨经验交流会,军区黄建国副政委出席会议并讲话(全文另发)。山西省委副书记薛延忠,山西省军区领导、机关各处室、各军分区、预备役师(旅)以及山西省各市领导     

军事物流供应链中的多目标决策

选择相对稳定的供应商是构建军事物流供应链的重要环节。根据实例进行多目标决策模型的描述、求解,从而确定理想的供应商是一种重要方法。     

山西省举行应对多种安全威胁、完成多样化军事任务实兵演练 党政军一体指挥 军警民联合行动 军区房峰辉司令员观摩演练并讲话

西山脚下摆兵布阵,汾河岸边厉兵秣马。7月4日上午9时,随着一组红色信号弹划破长空,刹那间,一道道指令从联合指挥中心紧急发出,一支支抢险救援分队火速赶赴受灾现场,一辆辆大型装备车辆实施快速机动……山西省应对多种安全威胁军警民联合实兵演练,在太原某综合训练基地拉开帷幕。军区司令员、国防动员委员会主任房峰辉观摩演练并讲话。山西省委书记张宝顺、省长孟学农,军区参谋长张宝书,政治部副主任王秉伦,以及山西省军区领导,各市、军分区、预备役师(旅)主要领导一同观摩。     

“光明使者”驰骋三湘大地

一身迷彩，一脸汗水，满身泥浆……这是行程超过1000公里，昼夜奋战在湖南灾区一线，抢修电网的山西省电力公司援湘千余民兵预备役人员的真实写照。     

发挥军队在应对非传统安全威胁中的重要作用

非传统安全威胁具有跨国性、多样性、突发性、互动性等特点.军队在应对非传统安全威胁中要积极发挥作用,维护社会稳定,保证经济和社会的正常发展;实施突击救援,保护国家和人民生命财产安全;维护国家利益,支撑国家发展战略;和平造势,稳定周边环境;搭建国家外交的桥梁和纽带.     

民营企业涌现“申请编兵热”的背——山西某预备役师靠作为赢得企业支持的一段经历危

2008年4月，一年一度的民兵预备役组织整顿工作刚展开，山西省阳泉市某民营企业集团董事长赵远长，主动上门找到驻地某预备役团，恳请部队到他的企业至少组建一个预备役连，得知这位民营企业家的来意后，团领导很纳闷：去年到该集团编组时，还是经过反复做工作他才勉强同意在企业内编了两个排，今年积极性咋就这么高呢？据该团所属某预备役师统计显示，企业家主动上门邀请部队编组的新鲜事全师今年已出现40余起，各团收到加入预备役组织的书面申请近30份，其中82％是民营企业。