关键词： CT   S046043   离散数学  

摘要： 本书包括预备知识，数理逻辑，谓词逻辑，集合的计数，关系与有向图，函数，代数结构，格与布尔代数，图论，算法分析等。

关键词： 遗传算法  

关键词： 离散数学   数理逻辑   集合论   代数系统   图论  

摘要： 离散数学是计算机科学的基础,我们研究离散数学是有其现实意义的,可以说它是构筑在数学和计算机科学之间的桥梁,它的研究离不开集合论、初等数论等数学知识,又和计算机科学中的数据结构、数据库理论、编译原理等密切相关,显然它的发展可以促进计算机科学的发展。一方面对于数学理论最重要的事是公理化,将离散数学中的知识公理化,有助于它的进一步发展,离散数学是研究离散结构,用于代表离散事物,而所有离散结构都是从集合也就是事物的集合开始构建的,所以集合论是离散数学的基础部分,我所研究的离散数学体系结构就是从初等集合论展开。 另一方面,制作离散数学的计算机辅助教学软件可以帮助学生们更好地理解离散数学所涉及的理论和概念。把抽象的离散数学用生动形象的界面展现给学生们,给学习者创造了一个良好的学习环境,学生不仅可以学习到程序设计的技巧,还可以加深对理论的理解。遵循了CAI课件设计的技术标准的基本原则(通用性、可控性、科学性、容错性、界面友好和操作方便),合理安排课程和设计课程内容,包括了以下几个方面:集合论(含二元关系、函数)、图论、代数系统(群论、环、格、布尔代数)、数理逻辑。目前有些多媒体教学软件只注重使用计算机形式,不能真正寓教于学中,在我设计的软件中重点强调过程的演示,将定理和概念条理化,逐步给出它们存在的条件,这样有助于学生们理解。 在本文中还介绍了离散数学如何延展为其它计算机学科,比如二元关系和编译的联系,代数学和编码的关系等。

关键词： 数学解题   估算法   高考题  

摘要： 在数学解题中,估算是一种很重要的方法.所谓估算法,就是一种粗略的计算方法,即对有关数值进行扩大或缩小,从而对运算结果确定出一个范围或作出一个估计的方法.近几年高考以知识为载体,突出了对估算能力的考查.本文以近几年高考题及典型题为例题,从运用估算法解选择题、填空题及主观题三个方面浅谈估算法在数学解题中的运用.

关键词： C语言   计算机辅助计算   程序设计   CT   S100599   C语言   CT   S036572   计算机辅助计算   CT   S008424   程序设计  

摘要： 本书主要研究利用C++语言编写各种与实数和复数有关的数学算法，如线性代数、矩阵运算、实数方程求解、插值、拟合、数值积分、微分方程等等。书中所有程序均调试通过。本书提供的类库为作者独创，具有编程容易、效率高的特点。

关键词： 全局优化   组合优化   旅行商问题   人工神经网络   正交设计方法   模拟退火   遗传算法  

摘要： 该文上篇将外部罚函数的思想融入到Hopfield网络当中,得到了一种新的时变反馈神经网络模型.作者将增长罚因子引入到时常反馈神经网络模型当中,使其求解旅行商问题的成功率和收敛速度都显著提高,网络参数的敏感性也得到了一定的改善,并通过大量的数字模拟试验使新模型得到了实践上的支持.最后,我们运用正交设计方法,对网络参数、罚因子参数及模型结构进行了优化选择,使得TSP问题解的质量得到了进一步提高.下篇中,作者给出了一种新的遗传算法早熟控制策略,包括种群规模和最大进化代数等控制参数的经验公式以及交叉概率和变异概率的自适应调整策略.同时将模式识别理论中模式相关的概念和神经元的响应函数引入到标准遗传算法(SGA)中,定义了两个染色体之间的共享函数,用它进行适应值的共享小生境标定,并进一步做适应值的Boltzman标定,实现了一种新的混合遗传算法.大量的算例表明,这种新算法比SGA有更强的全局寻优能力.

关键词： 模糊模型   隶属度函数   模拟退火   学习算法  

摘要： 模糊规则的提取和模糊隶属度函数的学习是模糊系统设计中重要而困难的问题 .文中探讨了Takagi Sugeno模糊模型的隶属度函数学习问题 ,建立了基于模拟退火的模糊隶属度函数学习算法 ,给出了用于验证该算法有效性的仿真实例 .

关键词： 中小学   数学教学   数的概念   运算法则  

关键词： 煤矿   空车分配   动态规划   计算机算法  

摘要： 运用计算机编制矿区的最优空车分配方案 ,使全矿的总落地煤最少 .建立了数学定义和数学模型 ,给出空车分配问题的一系列最优性准则及化简方法 ,有效地降低了求解该问题的规模 .应用动态规划方法编制了求解该问题最优解的计算机算法 ,分析了该算法的复杂性和有效性 .通过对一个实例的计算和结果的分析 ,说明该算法在实际应用中是可行的 .

关键词： 模糊决策   遗传算法   学习  

摘要： 在模糊决策的决策函数中体现人的态度和风格以更进一步模拟人的决策过程，这就是智能模糊决策智能化的一种体现。本文在研究智能模糊决策模型的基础上，介绍了利用遗传算法对智能决策模型中的环境变量的分布概率进行学习的方法，这种学习方法对于一类智能模糊决策模型具有通用性。