公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

一种基于调和随机权网络与曲波变换的图像分类方法

图像分类是图像处理研究中重要且基本的问题之一,而设计有效的特征提取方法和快速高精度的分类器则是图像分类研究的关键.文中以随机权网络算法为基础,结合多项式函数能有效逼近目标函数相对平缓部分的优点,提出调和随机权网络算法,并以此算法作为分类器,结合快速离散曲波变换和局部判别定位法,给出一种图像分类方法.该方法首先利用快速离散曲波变换提取图像特征,然后依据局部判别定位法对所提取的图像特征降维,最后运用所提出的调和随机权网络分类器识别降维的特征,从而有效实现图像分类.实验表明文中方法具有更高的识别率和更快的识别速度.     

基于参数可变遗传算法的炮兵通信网络覆盖控制优化

针对节点高密度部署的炮兵通信网络中优化工作节点集的选取问题,提出一种基于参数可变遗传算法的覆盖控制优化方法。设计了密度检测机制优化初始种群,并设计了即考虑到进化代数对算法影响,又考虑到每代中不同个体适应度对算法作用的自适应交叉概率和变异概率。仿真实验及分析表明,该优化方法快速有效地实现了工作节点数目少、节点集覆盖率高的工作节点集的选取,可有效地降低能耗,延长网络生存时间。     

BackTrack5在网络渗透取证技术中的应用

本文对目前针对Linux平台下的BackTrack5进行阐述,内容涵盖敏感信息收集,漏洞信息收集,漏洞工具测试,账户特权升级等,笔者对在虚拟机环境下运行,下载BackTrack5,加载运行BackTrack5后需要进行网络配置加以说明,同时针对各种工具的常用命令及基本应用,实践后对其优缺点加以说明。     

基于熵权灰色关联和D-S证据理论的威胁评估

为了更好地处理空中威胁目标的不确定性信息,提出了基于熵权灰色关联和D-S证据理论相结合的威胁评估方法.将熵理论应用于求解各指标权重,利用灰色关联法确定各指标的不确信度,进而得到各指标下不同目标的Mass函数,通过D-S证据理论对各Mass函数进行合成,根据置信函数大小对目标进行排序.仿真实验证明该方法是合理有效的.     

IP子网划分与可变长子网掩码的探讨

在网络规划中,良好的IP地址方案大大提高IP地址利用率,易于管理网络。当前利用划分子网来节约IP地址是非常有效的,掌握可变长子网掩码技术是划分子网的有效手段。该文根据实例对IP子网和可变长子网掩码进一步探讨。     

民法法典化视野下的社员权

社员权问题学界少有论及,在目前民法法典化这个大背景之下研究社员权有着其独特的价值。社员权产生于日耳曼法,正式确立于近代。所谓社员权,系指社员基于其社员身份而对社团和其他社员所享有的权利。作为基本私权利的一个种类,社员权在未来民法典中应当占有一席之地。未来民法典中的社员权法应当包括社员权法通则、建筑物区分所有人的社员权、集体经济组织成员的社员权以及合作社成员的社员权共四部分。     

论消费者安全权的正当行使

民以食为天,食以安为先,食品安全是人类生存和发展的基础,它关系到每个食品消费者的切身利益和社会的稳定。食品安全权正是从这个意义出发提出来的,包括生命健康权和财产安全权。而在消费者主权时代,消费者同样需要正当行使食品安全权。     

基于熵权的郑州市城市生态系统健康评价

城市生态系统是以人工为主导的自然、经济、社会3个子系统的复合生态系统,为使城市生态系统健康发展,根据健康评价指标体系建立原则,构建了一个4层的城市生态系统健康指标评价体系,采用基于熵权的模糊综合评判法,从时间纵向上研究了郑州市城市生态系统的发展趋势.结果表明：从2003年到2007年,反映生态系统结构功能的各要素,表现出了不同的发展趋势;郑州市城市生态系统健康状况呈总体上升的趋势;3个子系统间不能够协调发展,主要是社会子系统存在结构不合理等原因引起,可为制定进一步的城市发展政策借鉴.     

物流企业多式联运合作伙伴优选

在遵循物流企业多式联运合作伙伴选择的原则基础上,通过定性与定量综合分析,采用层次分析法和熵权法获得综合评价仅重,基于PROMETGEE-Ⅱ法对联运合作伙伴进行排序,建立相应的评价指标体系模型.通过算例分析证明,该模型具有可操作和实用性.