一种改进的CSP算法

针对基于约束满足问题,笔者对其算法进行了详细的论述及分析,并提出一种MRV＋FC改进回溯算法。实验结果表明,问题规模越大,该算法效果越明显。     

基于Multisim10的数字电子技术课程设计教学研究

以四路彩灯设计题目为例,引入Multisim10并将数字电子技术课程设计分成三个不同层次的教学模式进行——验证性、提高性和综合性。教学结果表明:应用Multisim10辅助教学,可直观生动地仿真设计中的重要电路、提高电路性能、优化电路综合性设计,学生可以通过课程设计加深对理论知识的理解和创新能力的提高,同时提供了一种全新的教学辅助手段和方法。     

关于不定方程x2＋11=y3

对于某些d,若Q（d）是Euclid域,则在其对应的Q（d）中算数基本定理成立.利用此来证明不定方程x2 ＋11 =y3仅有整数解（x,y）=（±58,15）.     

一类α-t型凹凸反向混合单调算子方程组的解

利用锥与半序理论和单调迭代技巧,在不要求任何连续性和紧性条件下得出一类α-t型凹凸反向混合单调算子方程组解的存在唯一性定理,所得结果拓展了混合单调算子方程组的若干结论。