再论数学问题解决教学

数学问题解决教学是近年来受到国内外广泛关注的教学模式之一，它强调以数学问题解决为中心，在问题解决中进行数学知识的学习。基于对数学问题解决教学的质疑，本文尝试从建构主义学习的角度出发，探讨在数学问题解决中进行知识建构的机制和途径。     

二元Poisson求和公式及Shannon型样本定理

经典的Shannon样本定理是关于用可数个样本点的信息对有限带(Band-hmited)信号函数进行恢复.文章利用二元Poisson求和公式证明了未必带有限的二元函数的Shannon型样本定理.文中所有结论不难推广到n(＞2)元函数中去.     

图与其补图的Q谱半径之和的界

本文给出了图与其补图Ω谱半径之和的一个上界，给出了半正则二部图与其补图Ω谱半径之和的上下界。     

注塑模模架设计KBE系统及其智能关键技术

结合当前工程设计领域 KBE技术的发展和模架设计的数据流图 ,给出了注塑模模架设计KBE系统的基本框架 ,并对其关键技术进行了分析 :模架设计知识采用框架 -规则的方法表示 ,并给出了推理的流程图 ,通过面向子目标的方法提高了 KBE系统的知识表示和推理能力 ;将事例推理的方法结合在 KBE系统中 ,提高了系统对以往成功事例的参考能力 ;利用神经网络的自学习能力 ,解决了模架中镶块和前后模设计的计算问题 .通过实际的应用 ,该系统能够有效地提高模具企业的模具设计和分析能力     

一个矩阵迹不等式的推广

证明了Fozi M.Dannan[J.Inequal.Pure and Appl.Math,2(3)Art.34.2001]得到的正定Hermitian矩阵迹不等式对一般的Hermitian矩阵也是成立的,同时给出了其等式成立的充分必要条件。     

Tseng-Jan群签名方案的安全分析

群签名是一种允许群成员代表群体进行签名的一种数字签名技术 ,它要求签名是匿名进行但又不可伪造 .本文对Y .M .Tseng和J .K .Jan提出的基于离散对数的群签名方案的安全性进行分析 ,提出了一种伪造攻击 ,证明了该方案不满足群签名的安全需求     

求解带球约束的变分不等式问题的二次外梯度投影算法

二次外梯度投影算法是求解变分不等式问题的一种重要算法 .在这种算法中 ,每迭代一次需要计算两次投影 :第一次为到可行域上的投影 ,第二次为到可行域或可行域与一超平面的交上的投影 .本文对现有的变分不等式问题的二次外梯度投影算法进行分析 ,并对可行域为球的二次外梯度投影算法的计算过程进行简化 .最后 ,我们给出了数值分析 .     

决策支持系统在旅游景区优先开发中的应用

主要讨论了决策支持系统在旅游景点优先开发方面的应用·选取8个有代表性的旅游景点作为研究目标,建立对景点开发价值有影响的多个指标对于研究目标的层次分析模型,通过专家分析每两个指标对目标的影响的比值,得出判断矩阵、计算矩阵的标准化特征向量,求得指标对于目标影响的权值,由权值大小确定各指标对该目标影响的排序,据此得出了可靠的优先开发顺序     

一类复杂非线性系统的模糊控制稳定性分析

研究一类能够用离散动态模糊模型描述的复杂非线性系统的模糊控制稳定性问题·首先设计出PDC模糊控制器·然后利用区间系统理论,在带扰动系统二次稳定意义下给出了闭环系统渐近稳定的两个充分条件,并且后一稳定性条件被转化为线性矩阵不等式可解性问题·仿真结果证明了此方法的有效性·     

离散广义系统的静态输出反馈H_∞控制

考虑离散广义系统的静态输出反馈H∞控制问题·利用线性矩阵不等式和广义Riccati不等式给出离散广义系统存在静态输出反馈H∞控制器,使得闭环系统是容许的并且其传递函数矩阵满足H∞范数约束条件的充分必要条件·在适当的假设下给出静态输出反馈H∞控制器存在的必要条件,并在一定条件下得到静态输出反馈H∞控制器存在的充分条件,同时给出相应的控制器构造·