中介谓词逻辑一种改进的语义解释及λ-归结

潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,“当A fuz时~A真”这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为（0,1－λ）[∪]（1－λ,λ）[∪]（λ,1）（λ[∈]（0.5,1））的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。     

基于BP神经网络的头部形状识别方法研究

人脸图像的庞大信息量使其不适合于直接识别，本文提出用离散余弦变换处理人的头部形状曲线，得到降维的特征矢量．并结合前馈神经网络对人脸进行分类识别。通过对ORL人脸库多幅人脸图像的仿真实验表明，系统的识别率较高，且练时间大大降低，是一种高效的生物特征识别方法。这种研究方法抛弃了在人脸识别时采用传统的肤色、虹膜识别、鼻嘴定位等关键区域特征定位的方法，使用对头部形状曲线进行判别与分类的方法，是生物特征识别技术中的一个很大意义上的突破。     

基于Ajax技术的JSP页面中模糊查询的设计与实现

Ajax是一种新兴的Web表示层技术,它能够成功实现无刷新页面和数据的异步交互。该文介绍了Ajax技术的工作原理,在JSP页面中使用Ajax技术实现模糊查询的方法。     

长期不同施肥对黄泥土水稳性团聚体颗粒态有机碳的影响

研究了长期不同施肥处理(化肥与秸秆配施、化肥与猪粪配施、单施化肥和不施肥)下太湖地区黄泥土耕层水稳性团聚体颗粒态有机碳含量的变化。结果表明,供试土壤水稳性团聚体组成以>2mm和2~0.25mm粒径为主,施肥下>2mm水稳性团聚体显著增加,并伴随2~0.25mm水稳性团聚体明显减少。颗粒态有机碳主要存在于>2mm水稳性大团聚体中,并随着水稳性团聚体粒径的减小而明显减少。>2mm水稳性大团聚体中的POC对施肥的响应较为敏感,以化肥与秸秆配施下该粒径水稳性团聚体中POC的积累效果最为明显。而化肥与猪粪配施则显著增加了2~0.25mm和0.25~0.053mm水稳性团聚体中的POC含量。土壤不同层次水稳性团聚体中POC的来源不同,在0~5 cm表层可能主要来源于作物根茬生物量,而在5~15 cm土层则可能跟施入的外源有机物有关。     

采掘装备绿色设计与评价技术研究

针对采掘装备设计存在过于依靠经验、人工计算偏差大而导致设计质量差、设计周期长等问题,以矿山采掘装备绿色设计为切入点,围绕需求分析、绿色设计、评价三大环节分析了采掘装备绿色设计总体方案,从设计绿色化、制造工艺绿色化、激光熔覆修复再制造技术、掘进系统智能化及状态监测与故障诊断五方面分析了采掘装备绿色设计关键技术。以采煤机为例,对其进行绿色设计分析,从资源、人机、能源、环境、经济、技术六大属性出发,构建了采煤机绿色设计评价指标体系,建立了采煤机绿色设计信息数据库。在设计阶段考虑采掘装备的绿色性,可提高采掘装备的生产质量,对推进煤炭行业绿色设计资源的共建共享及增强行业绿色化设计的示范作用具有重要意义。     

解决移动计算位置管理问题的差分进化算法

提出了一种解决位置管理问题的差分进化算法,给出了一种将采用浮点编码的种群个体映射为问题解的方法、基于问题特性的种群初始化启发式方法,以及早熟收敛问题的解决策略.基于随机生成的数据对算法进行了模拟实验,将该算法的结果与遗传算法、禁忌搜索算法及蚁群算法进行了对比.     

南京老虎山黄土-古土壤剖面不同粒级组分的磁化率及其古气候意义

利用沉降离心法将老虎山黄土-古土壤的酸不溶相分离成<2μm、2～45μm和>45μm三个粒级组分,并分别测定了这些组分和全岩的磁化率。结果表明,无论是全岩,还是三个不同粒级组分,它们的磁化率都可以单独作为长江中下游地区古气候演变的参考指标。其中,<2μm粒级的质量磁化率明显大于全岩和2～45μm、>45μm两粒级,而且其分辨率也明显高于2～45μm和>45μm这两个粒级组分。本实验结果还显示,虽然<2μum的质量磁化率最大,但对全岩质量磁化率的贡献率与2～45μm粒级相当,>45μm粒级的贡献率较低。     

基于物联网的冷链物流监测系统设计

针对运输方面较为薄弱的冷链物流监测环节,利用无线传感器网络,设计了一种冷链物流监测系统。该方法能够通过温湿度传感器和GPS,来对冷链物流系统运输环境的温湿度进行实时监测,并对运输路线进行实时跟踪,以掌握冷链运输关键的温湿度和运营车辆信息,确保冷链运输的持续性和高效性,加强食品安全保障力度。     

PETRI 网在软件过程建模及过程实施中的应用

软件过程技术，作为一种保证软件开发质量和效率的方法，在许多软件企业引起了重视和应用。本文从条件／事件网出发，应用标记PETRI网，并针对其在软件过程中的特点，给出了软件过程和软件过程网合理性的定义，根据工作流领域的结论，可以应用经典PETRI网的工具验证其合理性。在此理论基础上，提出了传统的软件过程结构表示成软件过程网的规则。并研究其在实践中的应用，最后用一个实际软件开发企业中的应用实例详细解释了所提出的理论及应用。     

基于遗传算法的作业车间调度优化

将遗传算法和启发式调度规则相结合，研究了具有柔性加工路径的作业车间的智能优 化调度问题，调度规则的引入使该算法具有较高的搜索效率，遗传算法的引入保证了解的全 局最优性，对照算例，表明该算法在求解性能和效率两方面均具有显著的优势．