一阶谓词逻辑的图形推理法

针对已有一阶谓词逻辑推理方法中存在的推理效率低等问题,研究一种基于谓词/变迁系统的图形推理法。定义了描述谓词间与/或关系的谓词-与/或图,借助谓词-与/或图表示谓词/变迁系统,提出一种实现反向推理的目标制导的图形推理法。该方法推理效率高,较已有的推理方法具有一定的优越性。     

云计算的按需防护安全框架

安全问题已成为制约云计算发展的重要因素。分析了服务持续可用性、服务真实性、数据完整性、信息保密性、可用性、不可抵赖性6方面的云安全目标,将云计算中6个层次的安全风险归纳为7类:物理安全风险、计算安全风险、可信计算安全风险、网络安全风险、管理安全风险、存储安全风险和应用安全风险等,并分别阐述了各类风险的安全对策。越安全的服务,在安全防护方面消耗的计算能力、存储、网络带宽就越多,指出应根据用户使用的服务类型、用户指定的安全要求以及接入网络特点等使用不同的安全保护措施,提出了按需防护的安全框架。分析了按需防护的安全框架的优点。最后给出了框架实际使用的方法。     

UPSO:基于划分空间粒子群优化的WSN动态覆盖优化算法

针对WSN动态覆盖问题为多目标优化问题,提出一种划分空间粒子群优化动态覆盖算法UPSO(Uniform Particle Swarm Optimization,UPSO)。该算法首先定义出基于传感器平均分布和不平均分布的区域划分过程,然后分别在不同子空间利用粒子群进行子区域内搜索Pareto最优解,最后分析算法复杂度。实验表明,在不同网络规模、迭代次数和划分子空间下,区域覆盖度和网络寿命相对于传统经典算法有较好改进。     

一种改进的基于分解的多目标进化算法

利用基于分解的多目标进化算法框架(MOEA/D),将混合策略的进化算法用于求解分解后的若干单目标优化子问题,提出了一种带局部搜索的基于分解的多目标混合策略进化算法(LMS-MOEA/D)。算法利用均匀设计产生子问题的聚合权重向量,混合交叉策略能够充分利用不同交叉算子的优势;同时算法针对演化过程收敛的特点,结合局部搜索策略,获得逼近Pareto前沿的最优解集。最后通过实验验证算法在多样性和收敛性方面的有效性。     

无线传感网中基于成对节点探测不确定性的目标容错跟踪方法

针对无线传感器网络(Wireless Sensor Networks,WSN)中的节点在真实环境中的不可靠感知现象及其对目标跟踪精度的影响,首先分析计算了成对传感器节点感知存在的不确定区域及其边界,在此基础上,提出了一种基于成对节点探测不确定性的目标容错跟踪方法(Tracking with Pairwise Uncertainty of RSSI,TPU-RSSI),即通过匹配分组感知采样得到的感知向量(sampling vector)和跟踪区域划分面(face)的特征向量(signature vector)来进行移动目标容错跟踪。该方法在保持跟踪方法灵活性的基础上,能够减小由环境因素带来的跟踪误差。为了降低计算复杂度,提出了一种基于邻居面连接的启发式匹配算法。大量的仿真实验结果均表明,所提方法相比同类的其他方法具有更强的灵活性和更高的定位精度。     

硝酸钙对白菜产量及抗病性的影响

硝酸钙是一种能增加土壤有效钙含量,改善土壤酸性,同时为农作物提供钙和氮两种营养元素的肥料,其溶解性及作物吸收性优于氯化钙、硫酸钙和碳酸钙等含钙肥料,为100%的水溶性化肥。2005年通过白菜施用硝酸钙田间试验,旨在评价硝酸钙对白菜产量和抗病性的影响,为硝酸钙产品的推广应用提供理论依据。1硝酸钙的性质硝酸钙[Ca(NO3)2·4H2O]为四水无色单斜晶系,有α和β两种晶型,相对密度1.82,熔点39.7℃,易溶于水、甲醇、乙醇、丙酮、醋酸甲酯及液氨。硝酸钙为氧化剂,有吸湿性,在空气中极易潮解。其w(N)≥11.7%,w(Ca水溶)≥16.8%,水溶液pH值4~…     

生物教学有效性的研究

中学生物课堂有效教学,是课程改革的需要,是我们自身的需要,也是现实的需要。研究将以课题研究指导思想,坚持课题研究的创新点,确定课题研究的内容,采取课题研究的必要措施提高课题研究的效益。     

经管类高职电子商务实践教学探讨

实践教学是高职教育教学体系中的重要组成部分,是高职教育改革的"核心’和"突破口’。本文以经管类高职电子商务实践教学为背景,探讨了电子商务实践教学和人才培养目标的关系,揭示了高职电子商务实践教学存在的问题及症结,在此基础上,提出了综合能力的高职实践教学价值取向。     

一种基于混合量子粒子群的快速运动目标跟踪算法研究

量子粒子群算法在优化过程中需要权衡局部探索性和全局开拓性,进化后期由于全局开拓能力的丧失使得种群多样性减少,设计了一种基于欧式距离的混合量子粒子群算法,通过计算粒子的种群多样性,当种群多样性低于阈值范围时加入基于欧式距离的种群划分策略划分子种群,从而保证获得全局最优解。利用标准测试函数验证提出的混合量子群算法有效性。提出了基于混合量子粒子群的Mean Shift算法(HQPSO Mean Shift)完成目标快速跟踪,克服传统Mean Shift算法的在跟踪快速移动目标时出现"跟丢"的问题。     

工业设计的延伸和拓展——交互设计

正随着信息时代的到来,越来越多的产品依赖于软件,且产品的操作行为也越发复杂。黑箱式产品的增多,用户很难像过去一样直接通过外观了解他所购买产品的自身用途,学习成本不断地增高。于是一种以用户目标为导向的设计方法——交互设计横空出世,给信息时代的设计带来新的变革。引用美国设计师Tucker Viemeister的话就是"产品设计的未来将越来越少地关注产品外观,而会越来