代数系

作品数：373被引量：768H指数：14
导出分析报告
相关领域：理学文化科学更多>>
相关作者：李厚朴边少锋陈伯山郭冰莹刘永清更多>>
相关机构：中国人民解放军海军工程大学浙江大学广西大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划广西壮族自治区自然科学基金国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
微分代数系统结构化分析被引量：3
《控制理论与应用》2017年第8期1019-1027,共9页李光远 冯勇 
国家"973"计划项目(NKBRPC–2011CB302402);国家自然科学基金项目(61402537;91118001)资助~~
对工程和科学问题进行建模和仿真的时候,人们常常很自然地会用微分代数系统对这些问题进行描述.为了检验微分代数系统的初始相容性并进行求解,对微分代数系统进行结构化分析非常重要.本文对经典的微分代数系统结构化分析方法进行了深入...
关键词：微分代数系统 结构化分析 初始相容性 加权二部图 算法 
伴随多项式与Miranda定理
《数学的实践与认识》2016年第12期247-252,共6页徐嘉 姚勇 
国家973计划(2011CB302402);国家民委(14XNZ023);四川省教育厅创新团队(15TD0050)
原始版本的Miranda定理应用起来不甚方便.利用多项式在Box上的伴随多项式改造了Miranda定理.证明了改造后的结果对代数方程组实正则零点的检测是有效的.
关键词：Miranda定理 代数系统 实正则零点 
Vincent定理的多元推广被引量：1
《系统科学与数学》2016年第1期115-122,共8页徐嘉 姚勇 
国家973计划(2011CB302402);西南民族大学中央高校基本科研业务费专项资金(12NZYTH04;14CXTD03)资助课题
Vincent定理指出:若f(x)为d次实系数多项式,(a_1,b_1)为开区间,则多项式f(x)在(a_1,b_1)上没有实根当且仅当存在正常数δ,使得对任意区间(a,b)(a_1,b_1),当|a-b|<δ时,多项式(1+x)~df((a+bx)/(1+x))的系数不变号(都是正数或都是负数)...
关键词：Vincent定理 代数系统 实零点 
微分代数系统中分块快速指标约简的启发式算法被引量：2
《四川大学学报（工程科学版）》2014年第4期67-74,共8页唐卷 杨文强 吴文渊 冯勇 
国家"973"计划资助项目(2011CB302402);国家自然科学基金重大研究计划项目(91118001);重庆市科技攻关计划项目(cstc2012ggB40004)
为了高效地优化多领域统一建模仿真软件中稀疏微分代数方程的指标约简技术,提出了一种分块快速指标约简的启发式算法。它的主要思想是将微分代数方程的符号矩阵进行块状上三角化,然后沿每一独立块状上三角化的子符号矩阵对角线方向,由...
关键词：多领域统一建模 微分代数方程 指标约简 Pryce方法 分块快速指标约简方法 数控冲床 
地图投影中三种纬度间变换直接展开式被引量：14
《武汉大学学报（信息科学版）》2013年第2期217-220,共4页李厚朴 边少锋 刘敏 
国家973计划资助项目(2012CB719902);国家自然科学基金资助项目(40904018;41071295);国家自然科学基金青年科学基金资助项目(41201478);海岛(礁)测绘技术国家测绘地理信息局重点实验室资助项目(2010B04)
利用等距离纬度、等角纬度和等面积纬度这三种纬度和大地纬度间的正反解展开式,全面导出了它们之间变换的直接展开式,并将式中系数统一表示为椭球偏心率e的幂级数形式并展至e10,解决了不同参考椭球下的变换问题。算例分析表明,直接展开...
关键词：地图投影 等距离纬度 等角纬度 等面积纬度 直接展开式 计算机代数系统 
功能树的EFVM求解算法被引量：5
《计算机辅助设计与图形学学报》2010年第9期1578-1586,共9页唐益明 刘晓平 
国家"九七三"重点基础研究发展计划项目(2009CB326203);国家自然科学基金(60673028);安徽省高等学校优秀青年人才基金(2010SQRL013ZD)
为了解决与或非功能树求解中经常出现的方案数量巨大的问题,提出一种基于四值矩阵(FVM)的功能树求解算法.从与或非功能树的特点出发构造了四值矩阵、扩展四值矩阵(EFVM)和FVM系统;分析了FVM系统与经典命题逻辑中范式系统的同构关系及FV...
关键词：概念设计 与或非功能树 经典命题逻辑 代数系统 约简 
高效符号数值混合计算系统研究与设计被引量：1
《计算机工程与应用》2009年第5期64-66,共3页秦小林 冯勇 李骏 
国家重点基础研究发展规划(973)项目(No.2004CB318003);国家自然科学基金项目(No.10771205);中国科学院知识创新重要方向项目(No.KJCX2-YW-S02)~~
符号与数值混合计算是一种利用数值计算和符号计算方法解决大规模问题的计算方法,它为符号计算与数值计算提供一种新的思维模式和方法。近年来,混合计算的理论研究取得一些重要的进展。然而,混合计算的系统软件设计还处于探索阶段。基于...
关键词：计算机代数系统 符号与数值混合计算 数学软件 符号与数值混合应用 
一种混合高性能计算机代数环境模型被引量：1
《计算机应用》2007年第11期2834-2837,共4页张骏 陈良育 曾振柄 
国家973规划项目(2004CB318003);国家自然科学基金资助项目(10471044)
提出一种高性能计算机代数环境HHPCAS,综合现有的多种计算机代数软件,通过添加内核扩展函数、外部调用等方法,结合集群管理软件和并行环境,可以提供高性能的计算机代数计算环境。HHPCAS根据Slot/Ticket模型可以有效管理可用计算资源和...
关键词：计算机代数系统 数学软件 并行计算 高性能计算 
一种新型计算机代数系统编译器的设计与实现被引量：2
《计算机工程》2006年第16期83-85,91,共4页覃安 符红光 
国家"973"计划基金资助项目(2004CB318003);中国科学院计算技术研究所"百人计划"资助项目
计算机代数系统(ComputerAlgebraSystem,CAS)是集大整数运算和符号运算于一体的计算平台,这方面的代表软件有Maple和Mathematica。然而,在计算机代数系统的设计中,编译器的设计与实现始终是一个关键和难点。GiNaC是Linux平台上开放源码...
关键词：计算机代数系统 虚拟机 编译器 
中介命题演算系统MP^M的代数系统被引量：2
《Journal of Mathematical Research and Exposition》2006年第4期846-850,共5页曹汝鸣 毛宇光 陈文彬 
计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究;973计划;"海量信息系统规律;模型和维护机理研究"子课题海量信息系统知识与管理研究(G1999032701)
MP^M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立一个代数系统,对MP^M系统进行了代数抽象,讨论了MP^M系统的代数性质．本文还研究了该代数系统的次直积,以及...
关键词：中介逻辑 命题演算系统 代数系统 次直不可约 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部