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

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

Visual C++程序设计课程建设研究与实践

本文从教学方法改革、教学内容研究、实践环节建设、特色教材编写等方面介绍该课程建设的一些做法。并介绍了几年来通过对该课程建设进行的研究和实践所取得的成果。     

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

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

大变量逻辑函数求补的递归实现

逻辑函数求补是大变量逻辑优化的算法基础.采用二叉树结构,用C语言实现了大变量逻辑函数求补递归算法.详述了求补二叉树的结构和形成过程,以及在求补二叉树上补集的收集方法.     

应用子带分解的特殊音效镶边的设计与实现

针对传统的调制镶边处理仅从全时域上对原始声音信号进行延时叠加的问题,利用子带分解的思想,研究如何有效地利用音频信号的频域特点,提出了一种新的基于子带分解的时、频镶边处理方案。理论分析和实验结果表明,新的镶边处理方案不仅能够有效利用人耳的听觉特性,还能够独立、灵活地选择和调节不同音域信号的调制镶边参数,实现了一种灵活、高效的镶边特殊音效处理。     

矩阵三角分解分块算法的研究与实现

对稠密型线性方程组的系数矩阵进行分块LU分解,更充分地利用高速缓存,提高运算效率.对LU分解分块算法进行了研究,用VC+ +6.0对分块算法进行实现,并与标准的LU分解算法进行比较.在大矩阵情况下,分块算法比标准算法运算速度提高50%以上.     

超大变量多值单边逻辑函数优化算法的研究

单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.     

多输入多输出单边逻辑函数补集算法的研究

介绍一种多输入多输出单边逻辑函数补集算法,该算法通过对多输入多输出逻辑函数的分离,形成多输入单输出的分支逻辑函数,对多输入单输出分支逻辑函数求出其特征矩阵和状态矢量,根据特征矩阵的特性进行最小列覆盖的选取形成多输入单输出分支逻辑函数补集覆盖的特征矩阵、状态矢量和补集矩阵,最后对多输入单输出分支逻辑函数的补集矩阵进行合并形成多输入多输出逻辑函数的补集,通过测试结果表明性能良好.     

嵌入式操作系统EPOS的设计与实现

我们利用微内核的思想,设计并实现了一个基于X86系列处理器的多任务的嵌入式操作系统。该系统利用了保护模式基于描述符的存储管理模式及Intel X86系列处理器的其它许多先进功能。实现了任务管理、中断处理、时间管理、内存管理等多项管理功能,具有较好的实时性和稳定性。     

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

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