基于灰色关联与因子分析的区域城市物流水平综合评价方法

本文从城市的物流需求、物流供给以及物流信息化建设三个方面选取20个城市物流发展水平的指标,采用灰色关联分析法进行筛选,进而构建城市物流水平指标体系,再用因子分析法对区域城市物流水平进行综合评价。最后,利用该方法对辽宁省各城市的物流发展水平进行综合评价,得出辽宁省各城市物流发展的合理定位,为辽宁省制定符合本地区社会、经济和地理等特征的区域物流发展战略提供依据。     

格值命题逻辑LP(X)中的语义归结方法

为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。     

剩余格的TL-滤子与TL-同余关系

将有界格上的t-模T应用于剩余格的滤子和同余上,提出了剩余格的TL-滤子与TL-同余关系。首先,研究TL-滤子与TL-同余的性质与一些等价刻画。得到了TL-滤子的集合与TL-同余关系的集合是同构的。最后研究了剩余格的商结构与同态定理,这些理论在其他逻辑代数系统中依然成立。     

第2届智能系统与知识工程国际会议

第2届智能系统与知识工程国际会议ISKE2007（The 2007 International Conferenceon Intelligent Systems and Knowledge Engineering，http：//iske2007．swjtu．edu．cn）于2007年10月15-16日在西南交通大学隆重举行。本次会议由西南交通大学、西华大学、西南民族大学、四川师范大学、四川省电子学会主办，清华大学、东华大学、比利时根特大学（Ghent University，Belgium）、比利时核研究中心     

区间值模糊命题逻辑的∑-广义拟重言式

通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I2n^2和I2（n＋1）^2中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.     

名牌加国产化:我国装备制造业的发展之路

面对经济全球化步伐的加快、世界竞争的越演越烈,我国装备制造业要在国际市场上占有一席之地,必须有一批世界性的名牌,走一条具有自主知识产权的国产化道路。 我国装备制造业已经明显感到强大的外部压力:来自联合国工业发展组织的统计数据表明,我国制造业居世界第四位,包括能源、化工、建材、纺织、家电等十     

组织和个体激励效益合理最大化的规划模型

激励是人力资源管理中的一项重要职能 ,激励是有投入与产出的管理活动 .文章通过定义激励过程中的组织和个体的激励效益及其合理最大化的概念 ,建立了一个组织激励效益和个体效益合理最大化的规划模型