求解非线性互补问题的混合光滑型算法

光滑型算法已经成功地用来求解各种优化问题. 基于一类新的光滑函数族， 提出了一个带有混合线搜 索的光滑型算法求解非线性互补问题. 在适当的条件下， 证明了算法是适定的， 且保持全局 收敛性和局部超线性收敛性. 最后对提出的算法进行了数值计算. 数值结果显示出该算法的有效性.     

适应中学数学新课程标准的高等代数教学改革

<正>中学数学新课程标准[1]提出了很多全新的教育理念和教学模式,在内容上也有了较大的变化.而大学数学无论课程内容的深度、广度,还是教学的思想以及学习方法上,都与中学数学有较大差别,造成了大学数学与中学数学教学的衔接出现脱节现象[2].     

高等代数的几何直观化教学

讨论了高等代数中的一些抽象概念的直观几何解释,用图形及例子说明了概念的理解和问题求解时几何直观意义的重要性.     

多项式代数上的微分理想

设k[x]是特征为零的域k上的一元多项式环.研究了k[x]上带权的非零单项式微分算子对应的微分理想的性质,利用矩阵求最大公因式的方法,确定了由一个多项式生成的微分理想作为通常意义上的理想时的生成元.     

针对Trivium型密码算法的代数攻击

为了更好地研究Trivium算法的设计思想,选取了2个比较典型的修改Trivium算法,连同Trivium算法一起作为研究对象,把恢复算法的内部状态问题转化为可满足性问题,分析修改Trivium算法抵抗代数攻击的能力.比较了6种猜测策略,并且使用MiniSat2.0求解器求解.根据分析结果给出了Trivium型密码算法抵抗代数攻击的安全设计建议.     

莱布尼茨的概念代数及其外延解释

根据传统的观点,莱布尼茨被视为数理逻辑的最伟大的前弗雷格先驱,但后人同时认为他的失败归之于他对三段论模式和主谓句法过于拘泥。这种近乎矛盾的说法无法解释莱布尼茨既是弗雷格的伟大先驱,同时又是传统三段论的集大成者的历史事实。莱布尼茨作为一位逻辑巨人的历史地位是建立在他对古老三段论的隐藏力量和范围继承及发展的基础上的,正是这种继承和发展决定了他比同时代的任何人都更加清晰地预见了新逻辑的诞生。莱布尼茨的概念代数就是这样一个承上启下的系统,但由于种种原因,这一承启作用只体现于逻辑史的重构中。     

线性代数中矩阵的应用研究

伴随着社会经济的快速发展,信息技术的进步,数学应用领域也得到了扩展,已从传统物理领域扩展至非物理领域,于当前现代化管理、高科技的发展以及生产力水平的提升中有着非常重要的作用.下面笔者就线性代数中矩阵的应用进行研究,借助于关于矩阵应用的典型案例来分析,以加深人们对矩阵应用领域的认识.     

基于符号计算软件的特征向量概念的几何实现

针对高等代数课程中的特征值与特征向量概念,利用符号计算软件Mathematica进行几何化的实现.以二维线性空间上的线性变换及其二阶矩阵表示为例,给出相应的实现代码,展示不同情形下特征向量的几何意义.     

动态外部性与城市群经济增长收敛的实证研究

区域经济收敛性一直是研究热点,动态外部性成为关注焦点.通过分析动态外部性与城市群经济空间收敛机理,构建动态经济权重模型,判断区域经济空间关联性.然后分析面板数据平稳性,结合动态空间面板模型,计算技术空间溢出水平,准确判定区域经济收敛性.最后,以环长株潭城市群例证该模型和方法的可行性,并得出:①空间外部性是影响经济收敛的主要因素,技术空间溢出是关键,SDM较好地描述了此收敛性;②使用SDM分析时必须确保面部数据的平稳性,剔除短期周期性误差对区域经济收敛性的不当影响;③空间权重受地理邻近、产业结构和市场潜能的交互影响,是动态的,且对经济收敛结果影响很大;④环长株潭城市群存在明显经济收敛机制,技术空间溢出效应较显著,仍需要进一步消除限制知识和贸易自由流动的行政壁垒和交通瓶颈促进城市群技术进步和经济协同发展.     

菲涅尔积分的几种计算方法

考虑菲涅尔积分的多种计算方法的来源问题,介绍了通过引入收敛因子转化为二重广义积分计算的方法,并指出这种方法发现的思想来源。对菲涅尔积分和广义菲涅尔积分给出了利用广义积分交换次序定理的计算方法,没有通过引入收敛因子就解决了问题,方法自然且具有一般性。对一类欧拉积分公式,给出了对参变量求导的简便计算方法,指出了一类欧拉积分公式对广义菲涅尔积分计算的应用,发现菲涅尔积分、广义菲涅尔积分、狄利克雷积分都可以是一类欧拉积分公式的特例,沟通了这些积分之间的关系。