化简

作品数：2373被引量：2058H指数：19
导出分析报告
相关领域：文化科学自动化与计算机技术更多>>
相关作者：武芳王成山陈偕雄钱海忠于浩更多>>
相关机构：武汉大学解放军信息工程大学天津大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种面向化简的海岸线弯曲识别与结构化表达方法被引量：1
《测绘科学技术学报》2018年第1期70-76,共7页杜佳威 武芳 李靖涵 巩现勇 行瑞星 文佳昕 
某973项目(613317);地理信息工程国家重点实验室开放基金项目(SKLGIE2015-M-4-1)
海岸线弯曲识别与结构化表达是海岸线自动化简研究的基础。分析现有曲线弯曲识别与结构化表达方法用于海岸线化简中存在的问题;在通视分析相关理论基础上,面向海岸线化简应用,提出一种基于完全可视区间的层次弯曲渐进识别方法;根据弯曲...
关键词：制图综合 海岸线化简 通视分析 弯曲识别 多叉树 
采用多元弯曲组划分的线要素化简方法被引量：12
《计算机辅助设计与图形学学报》2017年第12期2189-2196,共8页杜佳威 武芳 李靖涵 巩现勇 
某"九七三"项目(613317);地理信息工程国家重点实验室开放基金(SKLGIE2015-M-4-1)
线要素化简是制图综合中的重要研究内容和经典研究问题之一.针对当前基于弯曲的线化简方法中对连续弯曲取舍研究的不足,在分析线要素弯曲构成特点及取舍过程的基础上,提出一种采用多元弯曲组划分的线化简方法.首先基于目标比例尺下弯曲...
关键词：制图综合 线要素化简 弯曲取舍 弯曲组 
航空发动机转子系统动力学模型的可逆化简化方法被引量：13
《航空动力学报》2016年第1期57-64,共8页路振勇 陈予恕 李洪亮 侯磊 
国家重点基础研究发展计划项目(2015CB057405);国家自然科学青年基金(11302058)
针对航空发动机高压转子系统动力学模型,给出了一种模型可逆化简化的方法.首先采用有限元法建立了较为精确的动力学模型,然后基于质心集中方法对该模型进行了不同程度的简化,分别得到了单跨双盘模型和单盘模型,并将其与原始模型进行了...
关键词：航空发动机转子系统 可逆化模型简化方法 质心集中方法 单跨双盘模型 模型优化 降维 
基于Krylov子空间的大规模配电网络模型整体化简方法被引量：9
《电网技术》2013年第8期2343-2348,共6页李鹏 于浩 王成山 丁承第 宋关羽 高菲 
国家自然科学基金项目(51207100;51261130473);国家重点基础研究发展计划项目(973项目)(2009CB219700);国家电网公司智能配用电的技术体系及仿真基础性问题研究项目~~
智能配电系统暂态仿真扩展了传统电力系统电磁暂态仿真的研究对象与范畴,但同时也限制了仿真计算的规模与速度。为此,以Krylov子空间线性系统化简理论为基础,实现了对具有线性系统特征的大规模配电网络模型的整体降维化简。仿真结果表明...
关键词：配电网 KRYLOV子空间 模型化简 暂态仿真 
自由选择工作流网的可靠完备化简规则集被引量：3
《软件学报》2013年第5期993-1005,共13页张曼 段振华 王小兵 
国家重点基础研究发展计划(973)(2010CB328102);国家自然科学基金(61133001;61272117;61272118)
流程化简技术是一种重要的商业流程模型分析方法.已有的非形式化化简方法因缺乏理论基础而无法保证完备性.基于Petri网的化简方法应用范围不针对流程模型因而不能保证可靠性.提出了针对自由选择工作流网的一个可靠完备化简规则集,可靠...
关键词：自由选择工作流网 流程化简 合成 化简规则的可靠性 化简规则集的完备性 
改进的基于属性不变量生成和数学归纳法的时序逻辑优化算法被引量：1
《计算机辅助设计与图形学学报》2012年第9期1232-1240,共9页郝亚男 杨海钢 路宝珠 崔秀海 张茉莉 
国家重点基础研究发展计划项目(2011CB933202);国家自然科学基金(61106033)
为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用;然后利用推...
关键词：时序优化 假设后验证 位并行随机模拟 寄存器共享 推测化简模型 
涉及坐标变换的微分多项式在求和约定下的化简和标准型
《中国科学（A辑）》2009年第4期471-488,共18页刘姜 李洪波 曹源昊 
国家重点基础研究发展计划(编号:2004CB318001)资助项目
在n维微分几何中,基本的几何结构和性质常常用Einstein求和约定的带指标函数局部刻画.这种函数的符号计算虽然是计算机代数里最古老的研究课题之一,但直到现在也没有一个完全的算法来判定涉及不同坐标系的两个指标多项式是否相等.这是...
关键词：n维符号计算 求和约定 机器证明 微分几何 张量判定 
基于Petri网表示的嵌入式系统模型化简规则(英文)被引量：3
《计算机科学与探索》2008年第6期614-626,共13页夏传良 
国家自然科学基金;国家重点基础研究发展规划(973)~~
为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系。对两个系统模型的化简结果进一步说明了这些化简规则的有效性。
关键词：化简规则 PETRI网 完全等价 保性 嵌入式系统 
新矩阵法化简中心-焦点型全6次系统被引量：3
《东北师大学报（自然科学版）》2006年第1期4-11,共8页万维明 迟晓恒 
国家重大基础研究与发展规划项目(2002CD3122)
定义了两种新矩阵运算,采用该矩阵运算方法,将中心-焦点型全6次系统改写成矩阵形式,并经可逆实对称变换将该系统化简.这种方法还可以应用到一般中心-焦点型n次系统中,它将简化计算焦点量上界问题.
关键词：中心 焦点 齐次式 
基于P/T系统化简方法的工作流过程模型验证被引量：10
《软件学报》2004年第10期1423-1430,共8页赵文 袁崇义 刘刚 张世琨 王立福 
国家高技术研究发展计划(863);国家重点基础研究发展规划(973);国家教育部博士点基金~~
目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流...
关键词：模型验证 化简规则 过程网 P/T系统 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部