C语言程序设计教学的研究与实践

C语言的教学是教与学的同步过程，教师在讲授过程中应根据C语言程序设计课程的特点，采用对应的教学方法和策略，加强基础知识与程序设计基本技能的训练。通过“案例教学、任务驱动”等手段，结合多媒体投影教学，提高学习的兴趣与积极性，实施“算法为中心、教学负反馈、注重于实践”的策略，培养学生良好的程序设计综合编程、程序调试能力。同时学生学习必须具有自觉性和富有探索精神，通过努力必能学有所获。     

基于阈门网络的逻辑综合问题研究

我们在对阈门网络进行研究的基础上，给出了二级逻辑电路最小化技术应用的一个二级阈门网络综合算法-TLLS。算法通过了Benchmark二级逻辑函数例题的测试。当算法只限定到典型的逻辑门电路时，获得比较好的最小化效果。     

负反馈教学法的原理与实践

根据多年教学实践与研究,在控制论、教育学和心理学的基础上,吸收了布鲁纳的“发现教学法”和瓦根舍因“范例教学法”的合理成分,提出了负反馈教学法,并运用到C／C 程序设计教学实践中,取得了较好的教学效果。     

基于非下采样Shearlet变换耦合相对亮度测度的可见光与红外图像融合算法

为了克服当前较多可见光与红外图像融合方法在通过图像能量特征融合图像时,忽略了图像的全局相对亮度特征,导致融合图像存在红外目标表达能力弱等问题,文章引入非下采样Shearlet变换,通过测量图像的相对亮度来融合图像.借助NSST变换来处理输入图像,解析出图像的低频和高频系数;采用区域能量函数,对区域图像所含的能量特征进行...     

基于CSP和RSL的协议形式化描述技术研究

协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式化描述技术:基于CSP的描述和基于RSL的描述,并以AB协议为例,分别给出了具体的描述示例.这两种技术具有较强的表达能力,是进行协议描述的有力工具.     

一种新的基于最小项逻辑优化的软件设计与实现

文章提出了一个新的产生本源蕴涵项的算法，并形成了相应的组合逻辑电路逻辑综合优化软件，测试表明，它在运算速度和存储性能上都是高效的。     

单边多输出逻辑函数补集软件的设计与实现

根据单边逻辑函数的特性，介绍了一种多输入多输出单边逻辑函数补集方法，该方法采用二进制特征矩阵和状态矢量来描述原函数，进行最小列覆盖的选择形成多输出补集函数的控制矩阵，由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数，通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件，在P-1．8GHz，512MBRAM的计算机上完成测试和运行。并通过测试检验程序，保证输出结果在逻辑上与输入条件求补等价。     

C语言程序设计一体化案例教材的建设

本文介绍了C语言课程教材建设现状,针对C语言课程教材建设存在的主要问题,提出C语言程序设计一体化案例教材建设的完整思路,并用于C语言程序设计一体化案例教材建设与教学实践。本文的设想可供程序设计课程（如C＋＋、C#J、ava、VB、VFP等）的教材建设参考。     

基于蚁群优化与细菌趋化性的图像边缘检测算法

为解决基于蚁群优化的图像边缘检测算法中信息素的作用不明显,难以获得全局最优解,从而降低目标边缘的检测精确度与效率等问题,提出一种基于细菌趋化性(BC)耦合蚁群优化(ACO)的边缘检测算法.通过细菌趋化性找到最佳解决方案,用于产生信息素的初值;将BC得到的信息素初值作为ACO的初始信息素,计算每只蚂蚁的行走概率,从而选择...