计算机专业实践基地建设与专业应用能力培养

介绍国内IT企业对计算机应用型人才的不同需要以及软件企业岗位设置与人员配置情况;分析本校计算机专业实践基地建设与学生专业应用能力现状。阐述"教研结合,分类培养;胜任一岗,一专多能"的实践基地建设思路以及建立与完善软件开发、通信与网络技术、软硬件销售等多种类型的计算机专业实践基地的措施,以便更好地实现本专业分类培养应用型人才的培养目标。     

无约束最优化问题的BFGS并行算法与实现

介绍无约束最优化问题的BFGS算法及其收敛性,提出利用行卷帘格式并行Cholesky分解法、同步并行Wolfe-Powell非线性搜索和并行处理BFGS修正公式来构建BFGS的并行算法,并对该算法的时间复杂性、加速比进行分析。在PC机群数值实验的结果表明,BFGS并行算法提高了无约束最优化问题的求解速度,理论分析与实验结果相一致,并行算法具有线性加速比。     

基于计算解语义的逻辑程序测试和调试框架

逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互.减少对调试过程不必要的调用能够提高软件开发的效率.程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一.给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用.然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调试算法,本实例表明了该算法的应用.     

基于分解的连续Petri网性质分析方法

讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法,实现了CCPN的分解。为了保证通过子网分析原网的正确性,对合成网的动态不变性进行了证明,并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。     

模糊柔性制造系统的混杂Petri网建模与调度

对模糊柔性制造系统的建模和调度进行了研究.定义了一种具有模糊区间速率的混杂Petri网模型,提出了模型的迁移使能和迁移引发语义,定义了弱使能迁移的模糊使能规则,给出了模型动态演变算法.建立了模糊柔性制造系统调度的模糊线性规划模型,并对典型的工业实例进行了分析.研究结果表明,基于所定义的混杂Petri模型能够有效地描述和分析模糊柔性制造系统.     

基于P-不变量的Petri网并行化方法的研究

为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法.根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析.在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证.给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法.实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的.     

基于模糊逻辑的CCPN瞬时引发速率求解方法

瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型，实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法，解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。     

基因表达式编程在分形图像压缩编码中的应用

针对目前存在图像压缩率不高、全局搜索或遗传算法寻找最优分形图像压缩编码速度慢的不足,将基因表达式编程应用于分形图像压缩编码,提高求解分形图像压缩编码速度和压缩比.首先从理论上对二值图像压缩编码的求解过程和基因表达式编程在压缩编码中的作用机理进行分析;然后,研究分形图像压缩编码的基因和染色体的表示方法,适应度函数设计以及选择、变异、插串、基因变换、基因重组等基因遗传进化操作过程.提出基因表达式编程的分形图像压缩算法,求解分形图像压缩编码的最优解.实验结果表明,基因表达式编程应用于分形图像压缩编码,具有较强的全局寻优能力,搜索最优解的速度比遗传算法快约2倍,图像压缩率高.     

基于培养学生计算思维的任务驱动式“离散数学”教学模式研究

本文针对离散数学的教学问题,提出了基于培养学生计算思维的任务驱动式教学方法在离散数学教学中的应用,阐述了该教学方法中的任务设计、任务实施的方法及教师角色的转换,同时给出了一个实际教学案例。     

基于多阈值和改进的Hough变换检测电表接线圆孔尺寸

针对智能电表接线圆孔尺寸自动检测的问题,提 出一种以多阈值分割方法为主体并基于改进的随机Hough变换的 圆检测方法。首先,实时获得包含所有智能电表接线圆孔并经裁剪的彩色图像,经图像灰度 化、滤波处理后,通过阈值分割 得到能够反应圆孔特征的二值图像。基于连通域标记算法准确将包含多个接线圆孔的图像自 动裁剪为至多包含一个真实接线 圆孔的多个子图像。其次,对于每个子图像,应用给定范围内的连续阈值进行Canny边界提 取,并通过改进的随机Hough变 换提取圆信息,进行圆累积。最后,根据峰值大小和位置提取有效圆及半径。对大量智能电 表接线圆孔图像进行实验的结果 表明,该方法能准确地提取出外观颜色、圆孔尺寸各异的接线圆孔,圆心坐标平均误差不超 过2个像素,圆半径平均误差不 超过2.5mm,是实时电表接线圆孔信息表征的新尝试。