公共文化服务平台

共 4 条记录，以下是 1-5

全选清除导出

排序方式：

Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems被引量：4: 2007年; The well-known Generalized Champagne Problem on simultaneous stabilization of linear systems is solved by using complex analysis and Blonders technique. We give a complete answer to the open problem proposed by Patel et al., which automatically includes the solution to the original Champagne Problem. Based on the recent development in automated inequality-type theorem proving, a new stabilizing controller design method is established. Our numerical examples significantly improve the relevant results in the literature.; GUAN QiangWANG LongXIA BiCanYANG LuYU WenShengZENG ZhenBing; 关键词：STABILIZATION

一种混合高性能计算机代数环境模型被引量：1: 2007年; 提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和作业优先等级,充分发挥多种计算机代数软件的特长,并且提供并行的消息传递机制,将大量复杂的计算平均分配到每个计算节点,解决单台机器内存受限和计算能力有限等问题。通过并行差分代换方法测试表明HHPCAS可以为符号计算和计算机自动推理提供有效的计算平台。; 张骏陈良育曾振柄; 关键词：计算机代数系统数学软件并行计算

偏差最小的四心圆近似椭圆作图法: 本文研究四心椭圆作图法的误差分析。以等距线距离为度量,得到近似椭圆与精确椭圆的偏差估计,并给出了偏差与半轴长的显示表达。通过符号计算和最优偏差分析,提出了一种偏差最小的四心圆近似椭圆作图法。; 曾振柄陈良育李志斌陈光喜; 关键词：等距线; 文献传递

基于矩形区域剖分的不等式机器证明方法—以Zirakzadeh的一个几何不等式为例被引量：2: 2010年; 1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函数不等式的正确性.这个工作后来没有发表,将Zirskzadeh不等式转化为一个有3个变元的根式不等式,形如m_1^(/2)+m_2^(/2)+m_3^(/2)≥3m_4^(/2),其变量所在区域为一由6个线性不等式限制形成的多面体P(有14个顶点,21个棱和9个面),先用幂级数展开方法证明讨论的根式不等式在小长方体邻域[-0.1,0.1]~3C P成立,次将这个邻域以外的集合分割成有限多个边长不小于1/1280的小长方体或多面体,在每个小凸体上通过计算函数在顶点的取值和函数偏导数范围证明根式不等式的正确性.文章给出的验证数引理,可根据连续可微函数在长方体或一般凸多面体V的顶点的值,及函数偏导数的绝对值在集合V的上界,证明函数在V上的正定性.文章给出计算多项式在三维空间凸多面体上的最大值和最小值,以及估计根式函数的验证数的机械化方法.; 曾振柄张景中; 关键词：数学机械化机器证明误差分析

基于AJAX和自动推理技术构建交互式数学Web服务被引量：4: 2007年; 数学辅助学习平台一直是数学教育和计算机领域的研究热点。传统设计方法在教学互动、智能教育和界面友好性等环节存在若干制约因素。集成领先的AJAX思想和成熟的自动推理算法,提出新的数学Web服务系统设计方法,辅以MathML数学表示语言等多项先进技术,构建一个交互式数学Web服务学习平台。实际运行结果表明,平台具有良好的表现形式和运行性能,为使用者提供一个良好的交互式学习环境。; 曾振柄陈良育张骏符红光; 关键词：AJAX WEB SERVICE MATHML

全选清除导出

共1页<1>

国家自然科学基金(10471044)