期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
基于组件的GIS程序符号设计及框架实现 被引量:1
1
作者 赵双明 龚健雅 《测绘信息与工程》 2005年第4期33-34,共2页
给出了程序符号设计思想与实现的框架,以及程序符号设计与实现的具体方法,该设计思想开发的程序符号组件已应用于GeoStar4.0软件。
关键词 程序符号 COM组件 程序符号接口 组件类别管理器 程序符号注册
在线阅读 下载PDF
GIS程序符号的设计与实现 被引量:4
2
作者 张佩瑶 王艳东 龚健雅 《测绘信息与工程》 2006年第5期32-33,共2页
提出了一种程序符号设计与管理方案,解决了复杂符号的制作问题,利用GIS软件Geostar5.0开发了程序符号系统,验证了该方案的可行性与实用性。
关键词 程序符号 符号 组件类别 组件式GIS
在线阅读 下载PDF
符号调试程序SYMDEB的剖析及汉化
3
作者 梁天奇 《河北工学院学报》 1992年第2期58-64,共7页
本文对MS—DOS的符号调试程序SYMDEB·EXE进行了剖析,给出了此调试程序的结构及各功能子程序入口,为进一步扩充提供了极大的方便。为了帮助理解,本文首先介绍了调试程序的工作原理,详细介绍了中断、断点和跟踪。最后介绍了SYMDEB... 本文对MS—DOS的符号调试程序SYMDEB·EXE进行了剖析,给出了此调试程序的结构及各功能子程序入口,为进一步扩充提供了极大的方便。为了帮助理解,本文首先介绍了调试程序的工作原理,详细介绍了中断、断点和跟踪。最后介绍了SYMDEB·EXE的扩充和汉化方法。 展开更多
关键词 符号调试程序 汉化 计算机 SYMDEB
在线阅读 下载PDF
一种C程序断言的全自动静态验证方法 被引量:1
4
作者 易晓东 杨学军 《计算机科学》 CSCD 北大核心 2006年第9期253-256,273,共5页
在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证的完备性。本文提出了一种可以保证完备性的全自动静态断言验证方法,其基本思想是基于程序切片符号执行... 在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证的完备性。本文提出了一种可以保证完备性的全自动静态断言验证方法,其基本思想是基于程序切片符号执行程序的所有执行路径,并证明路径上的所有断言都满足。为了尽量减少符号执行的语句的数量,使用了基于反例的抽象精化方法,从一个粗略的切片标准开始迭代地符号执行一条路径,根据验证的反例自动生成下一次迭代过程中使用的精化的切片标准。包含循环的程序可能具有无穷多条程序执行路径,提出的基于符号执行上下文不变式证明的方法可以证明由于循环导致的无穷多条路径中断言都满足,从而使得验证过程可以终止。实验表明,提出的全自动静态断言验证方法不仅可行,而且验证代价较小,具有较强的实用性。 展开更多
关键词 断言验证 基于程序切片的符号执行 基于反例的抽象精化 静态分析
在线阅读 下载PDF
符号运算在工程分析中的应用
5
作者 王鑫伟 《南京航空航天大学学报》 CAS CSCD 1994年第3期328-334,共7页
从用户的角度出发,简单介绍了国外符号运算在工程分析中的应用现况和发展趋势,旨在引起同行对这个领域的兴趣和重视。文中给出了一个符号运算的简单例子—用MAPLE导出了12自由度矩形板弯曲单元刚度矩阵的显式并将其自动转换成... 从用户的角度出发,简单介绍了国外符号运算在工程分析中的应用现况和发展趋势,旨在引起同行对这个领域的兴趣和重视。文中给出了一个符号运算的简单例子—用MAPLE导出了12自由度矩形板弯曲单元刚度矩阵的显式并将其自动转换成FORTRAN程序,以说明符号运算的优越性。可以看出,符号运算的程序简洁、直观,且不易出错。繁锁的公式推导和程序编制均由计算机自动完成,这不但大大提高了效率,而且也确保了公式推导和程序编制的可靠性。顺便指出,本文导出的矩形板弯曲单元比目前不少教材中采用的单元在性能上要优越。由于本文已给出了单元的插值函数的显式,故可望用该单元来替代教材中所用的单元. 展开更多
关键词 符号程序 工程计算 符号运算
在线阅读 下载PDF
Geyway中地图符号制作的方法及技巧
6
作者 战艳玲 《产业与科技论坛》 2016年第20期44-45,共2页
本文以具体符号为例,详细介绍了在Geyway符号编辑器中制作点、线、面地形图符号的基本方法,并结合经验,介绍了符号制作过程中的技巧和注意事项。
关键词 符号编辑器 点、线、面符号 程序符号 参数
在线阅读 下载PDF
Bautin系统的Lyapunov量复算法 被引量:6
7
作者 陈莹 李静 《力学季刊》 CSCD 北大核心 2009年第1期88-91,共4页
Lyapunov量(及与之等价的焦点量)在平面向量场的定性理论和分岔理论中占有非常的地位对研究微分方程的稳定性有重要作用;它是判断原点是否为细焦点或中心的一种经典手段;也可以用来判断由退化Hopf分岔所产生的极限环个数,与著名的Hilber... Lyapunov量(及与之等价的焦点量)在平面向量场的定性理论和分岔理论中占有非常的地位对研究微分方程的稳定性有重要作用;它是判断原点是否为细焦点或中心的一种经典手段;也可以用来判断由退化Hopf分岔所产生的极限环个数,与著名的Hilbert第16问题有密切的关系。Lyapunov量复算法是得到焦点的一种好方法。本文主要研究Bautin系统的Lyapunov量复算法。借助于计算工具Maple数学软件,运用Lyapunov量复算法计算了这一系统的Lyapunov量,并证明了细焦点的阶数最高为3。本文的研究所具有的优点是采用有效简捷的算法,给出相关结果的新的证明。本文结果可用于该系统在原点的极限环个数的判定,对该系统的极限环分岔研究有重要的理论指导意义。 展开更多
关键词 Bautin系统 极限环分岔 Lyapunov量 Maple符号程序
在线阅读 下载PDF
4维一般非线性动力系统规范形的计算 被引量:1
8
作者 李静 杨朝欣 何斌 《北京工业大学学报》 EI CAS CSCD 北大核心 2009年第8期1138-1141,共4页
传统的规范形方法由于计算量大而且不利于计算机程序实现,很难应用于高维规范形的化简,为此,研究了4维一般非线性动力系统的规范形,以线性部分为1对双零根和1对纯虚根的Jordan标准形为例,采用改进共轭算子法,借助于Maple符号计算程序在... 传统的规范形方法由于计算量大而且不利于计算机程序实现,很难应用于高维规范形的化简,为此,研究了4维一般非线性动力系统的规范形,以线性部分为1对双零根和1对纯虚根的Jordan标准形为例,采用改进共轭算子法,借助于Maple符号计算程序在不降维条件下,研究了动力系统的4维7阶规范形,并给出了通用的计算公式及系数对应关系.该方法易于计算机编程实现,能有效地处理高维规范形的化简. 展开更多
关键词 非线性动力系统 规范形 Maple符号程序
在线阅读 下载PDF
经典Bogdanov-Takens规范形的进一步化简
9
作者 李静 张杨 刘玉涛 《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第2期280-283,共4页
研究Bogdanov-Takes规范形的进一步化简,探索双零特征值情形的无穷阶规范形能否用有限形式表示的问题.该研究丰富了Bogdanov-Takens规范形的研究成果,对进一步研究Bogdanov-Takens规范形具有重要的理论意义和应用价值.
关键词 Bogdanov—Takens规范形 有限形式 Maple符号程序
在线阅读 下载PDF
一族晶格孤子方程及其Hamilton结构
10
作者 雷朝铨 《宁德师专学报(自然科学版)》 2003年第1期5-7,共3页
得到一族对应于一类4×4矩阵离散谱问题的晶格孤子方程及其Hamilton结构.计算过程利用到符号计算技术以避免繁杂的人工计算.给出用Mathematica数学软件编写的符号计算程序.
关键词 晶格孤子方程 HAMILTON结构 符号计算程序
在线阅读 下载PDF
Signed Directed Graph and Qualitative Trend Analysis Based Fault Diagnosis in Chemical Industry 被引量:16
11
作者 高东 吴重光 +1 位作者 张贝克 马昕 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2010年第2期265-276,共12页
In the past 30 years,signed directed graph(SDG) ,one of the qualitative simulation technologies,has been widely applied for chemical fault diagnosis.However,SDG based fault diagnosis,as any other qualitative method,ha... In the past 30 years,signed directed graph(SDG) ,one of the qualitative simulation technologies,has been widely applied for chemical fault diagnosis.However,SDG based fault diagnosis,as any other qualitative method,has poor diagnostic resolution.In this paper,a new method that combines SDG with qualitative trend analysis(QTA) is presented to improve the resolution.In the method,a bidirectional inference algorithm based on assumption and verification is used to find all the possible fault causes and their corresponding consistent paths in the SDG model.Then an improved QTA algorithm is used to extract and analyze the trends of nodes on the consis-tent paths found in the previous step.New consistency rules based on qualitative trends are used to find the real causes from the candidate causes.The resolution can be improved.This method combines the completeness feature of SDG with the good diagnostic resolution feature of QTA.The implementation of SDG-QTA based fault diagno-sis is done using the integrated SDG modeling,inference and post-processing software platform.Its application is illustrated on an atmospheric distillation tower unit of a simulation platform.The result shows its good applicability and efficiency. 展开更多
关键词 signed directed graph qualitative trend analysis fault diagnosis bidirectional inference atmospheric distillation tower unit
在线阅读 下载PDF
对高师学前教育专业简笔画的认识和追求 被引量:1
12
作者 朱剑辉 《艺海》 2015年第1期128-130,共3页
通过引导高师学前教育专业学生对简笔画概念造型要素和特点的认识,使学生学会用最简练线条和点、线、面等基本形的造型规律来表现物体客观形态和神态。作为一种文化现象,因其产生、发展逐渐形成一套完善造型模式,被广泛应用于教育教学... 通过引导高师学前教育专业学生对简笔画概念造型要素和特点的认识,使学生学会用最简练线条和点、线、面等基本形的造型规律来表现物体客观形态和神态。作为一种文化现象,因其产生、发展逐渐形成一套完善造型模式,被广泛应用于教育教学活动中,是幼儿教师必须具备的一种形象化教学技能,又是一门实践性很强的课程。 展开更多
关键词 简笔画 平面化 程序化和符号 线条
在线阅读 下载PDF
中文符号的快速输入辅助程序
13
作者 王利长 《计算机世界月刊》 1990年第3期52-54,共3页
关键词 中文符号 符号输入程序
原文传递
四次平面多项式系统的Lyapunov量复算法 被引量:1
14
作者 陈莹 刘爱超 +2 位作者 高原 李小朝 李静 《吉林师范大学学报(自然科学版)》 2012年第3期1-4,共4页
本文研究了一类缺二次项的四次平面多项式复系统的Lyapunov量的复算法和Maple符号计算程序.给出Maple计算软件计算Lyapunov量的流程图,运用Maple程序计算出该四次复系统的前九个Lyapunov量,本文结果可用于判定系统在原点的极限环个数,... 本文研究了一类缺二次项的四次平面多项式复系统的Lyapunov量的复算法和Maple符号计算程序.给出Maple计算软件计算Lyapunov量的流程图,运用Maple程序计算出该四次复系统的前九个Lyapunov量,本文结果可用于判定系统在原点的极限环个数,对平面多项式系统的多极限环分岔的研究具有重要理论指导意义. 展开更多
关键词 极限环分岔 Lyapunov量 Maple符号计算程序
在线阅读 下载PDF
On the Exponential Diophantine Equation x^2 + (3a^2 -1)~m = (4a^2 -1)~n 被引量:1
15
作者 胡永忠 《Journal of Mathematical Research and Exposition》 CSCD 北大核心 2007年第2期236-240,共5页
We apply a new, deep theorem of Bilu, Hanrot & Voutier and some fine results on the representation of the solutions of quadratic Diophantine equations to solve completely the exponential Diophantine equation x^2+(3... We apply a new, deep theorem of Bilu, Hanrot & Voutier and some fine results on the representation of the solutions of quadratic Diophantine equations to solve completely the exponential Diophantine equation x^2+(3a^2-1)^m = (4a^2-1)^n when 3a^2-1 is a prime or a prime power. 展开更多
关键词 exponential Diophantine equations Lucas sequences primitive divisors Kronecker symbol.
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部