地方本科高校计算机专业实践教学体系研究与实施

基于对地方高校生源认知特点和地方高校普遍存在的共性问题分析,提出一种适合地方高校生源认知特点,面向计算机专业人才实践能力培养的实践教学体系,通过对教学实施的跟踪数据分析,说明该体系有助于提高学生专业实践能力,从而提高学生培养质量。

基于贝叶斯网络的蔬菜质量安全溯源与预警

食品安全已成为近年来我国公共安全的一项重大议题,而作为日常消费量最大的食品———蔬菜的质量安全毫无疑问应该得到保证。在一个蔬菜质量安全溯源系统中,根据蔬菜供应链中的关键控制点分析,建立了蔬菜流通的数据采集流程及安全溯源与预警的贝叶斯模型。该模型可以对蔬菜生产和流通过程进行质量监控和预测,从而为蔬菜从"从田头到餐桌"的安全生产供应提供可靠的系统手段。

基于问题结构的启发式策略在析取时态问题求解中的应用

智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型——析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP.

基于Europa2的智能规划动态仿真与建模

仿真与建模是智能规划(特别是时态规划)走向应用的重要而困难的研究主题。目前已有的规划可视化建模工具只能支持领域无关的仿真和建模,无法模拟现实场景。基于时间线的Chronicle规划与Microsoft最新的图形显示技术WPF在某些概念上存在自然的对应关系。基于这样的思想,针对NASA开发的开源时态规划平台——Europa2,使用WPF基础类库和相关工具,研究智能规划能够模拟现实场景的动态仿真和建模的设计方法并给出了实例演示。研究表明,对诸如Europa2一类基于时间线的Chronicle规划系统,可以应用WPF一类通用图形技术进行方便的建模和动态仿真,从而初步解决了规划系统模拟现实场景的仿真和建模难以实现的问题。

基于动态约束满足框架的强表达时态规划算法

智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。

可视化析取时态推理器的设计与实现

时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络(weakly evolutional disjunctive temporal network,WEDTN)的定义,基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。

软件工程专业协同创新性实践教学体系的探索

针对软件工程专业存在毕业生与企业需求的应用型人才不相适应的现象,结合协同创新平台建设和该校软件工程专业人才培养目标,探索软件工程专业协同创新性实践教学体系:从课程实验教学、实训平台建设、创新训练、协同培养等方面提出软件工程专业多维实践教学模式。课程实验包括验证性实验、综合设计性实验和课程设计,强化综合设计性实验的比例;建设软件开发实训室、软件研发中心、校外实训基地;加强创新能力训练,开展各类科研训练和学科竞赛;企业参与人才培养方案制定和实施。校企共建并应用实训创新平台,协同培养具有实践能力、创新能力和团队精神的应用型人才。

基于非均匀B样条小波的服装纸样优化识别方法及应用

针对服装样片纸样的形状与结构特点,提出一种由曲率确定型值点分布的非均匀B样条曲线拟合识别方法,并用其样条小波进行型值点压缩和优化,以达到在给定误差下型值点数目尽量少的目的.通过分析比较和实例检验表明,这种算法识别服装纸样方便可靠,为服装计算机辅助设计(CAD)中样片的编辑设计提供一种智能高效的输入技术.

一种基于最小交叉熵的Canny边缘检测算法

考虑传统Canny算子在边缘检测中的不足,提出一种融入最小交叉熵的Canny边缘检测算法。传统Canny算子的高低阈值一般人为地设定固定值,当一幅图像的灰度级集中在某一区域时,容易造成虚假边缘;利用最小交叉熵计算图像的高低阈值,可以得到理想的阈值;利用图像灰度的均值和方差计算Canny算子的高斯滤波参数。实验结果表明,算法较好地提取了图像的边缘信息,抑制噪声能力较强,有效地提高了边缘检测的鲁棒性。

时态规划综述及研究现状

作为人工智能领域的一个重要分支,智能规划被广泛应用于机器人、工业生产、商业应用等领域。时态规划是智能规划的前沿子领域。本文从时态特征、规划方法、应用等三个角度出发,对时态规划进行综述。与规划能力相比,时态特征的发展已足够成熟;基于启发式的状态空间搜索是目前的最佳选择;研究人员仍在寻找更多更好的应用场景。本文旨在用通俗易懂的方式帮助入门学者快速认识时态规划。