期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
Object-Oriented Design for FDTD Visual Scientific Computing
1
作者 Dong, X. Wang, W. Wang, G. 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2001年第3期71-75,共5页
A scheme for general purposed FDTD visual scientific computing software is introduced in this paper using object-oriented design (OOD) method. By abstracting the parameters of FDTD grids to an individual class and sep... A scheme for general purposed FDTD visual scientific computing software is introduced in this paper using object-oriented design (OOD) method. By abstracting the parameters of FDTD grids to an individual class and separating from the iteration procedure, the visual software can be adapted to more comprehensive computing problems. Real-time gray degree graphic and wave curve of the results can be achieved using DirectX technique. The special difference equation and data structure in dispersive medium are considered, and the peculiarity of parameters in perfectly matched layer are also discussed. 展开更多
关键词 Computational methods Computer aided design data structures Difference equations Finite difference method Iterative methods Natural sciences computing Object oriented programming Parameter estimation Three dimensional computer graphics Time domain analysis
在线阅读 下载PDF
单链结构实时识别及可视化布局算法研究 被引量:8
2
作者 苏庆 汤毅豪 +2 位作者 曾永安 刘添添 郑力明 《计算机工程与应用》 CSCD 北大核心 2019年第16期240-245,共6页
数据结构可视化技术是程序理解与调试的一种重要支撑。为解决其中一类应用广泛的数据结构--单链结构的可视化问题,提出一种实时识别与可视化布局算法。首先根据结点入度、主前驱指针和次前驱点集合等结点属性变化对单链结构特征变化的影... 数据结构可视化技术是程序理解与调试的一种重要支撑。为解决其中一类应用广泛的数据结构--单链结构的可视化问题,提出一种实时识别与可视化布局算法。首先根据结点入度、主前驱指针和次前驱点集合等结点属性变化对单链结构特征变化的影响,对程序执行过程中的单链结构进行实时识别;然后结合基于图标的静态可视化技术以及动画技术,建立面向单链结构的可视化动作集合及可视化布局方法,形成与程序执行过程步骤实时对应的单链结构可视化表达。最后将该算法应用于新一代集成开发环境AnyviewC的研发与实践中。 展开更多
关键词 程序设计可视化 数据结构识别 可视化布局 单链结构 AnyviewC
在线阅读 下载PDF
CATIA参数化建模在多孔材料孔型快速设计与制造中的应用 被引量:4
3
作者 贾亮 刘楠 +3 位作者 石英 杨广宇 刘栋 汤慧萍 《机械科学与技术》 CSCD 北大核心 2015年第11期1784-1788,共5页
提出了基于CATIA参数化设计多孔材料孔型的方法,介绍了如何应用CATIA建立多孔材料孔型库,其中包括多孔材料孔型参数化建模、多孔材料孔型库生成、多孔材料孔型库使用。介绍了运用多孔材料孔型库快速设计并制造多孔材料的工作流程,并且... 提出了基于CATIA参数化设计多孔材料孔型的方法,介绍了如何应用CATIA建立多孔材料孔型库,其中包括多孔材料孔型参数化建模、多孔材料孔型库生成、多孔材料孔型库使用。介绍了运用多孔材料孔型库快速设计并制造多孔材料的工作流程,并且采用电子束快速成形制造方法制备出了不同孔型的多孔材料。 展开更多
关键词 CATIA 参数化设计 多孔材料 孔型库
在线阅读 下载PDF
复杂算法程序的规范证明和形式推导 被引量:1
4
作者 薛锦云 《江西师范大学学报(自然科学版)》 CAS 1992年第3期195-202,共8页
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。本文介绍了这一领域的研究现状,重点综述了作者近年来提出的复杂算法程序形式化技术,以典型实例说明了使用这些技术的方法。
关键词 算法程序 形式化 算法设计
在线阅读 下载PDF
泛型程序设计技术在传统数据结构教学中的应用 被引量:1
5
作者 马林兵 张新长 伍少坤 《教育与现代化》 2006年第1期18-21,共4页
数据结构是目前许多理工类专业的必修课,在教学中应多采用程序设计的新技术、新概念。本文重点讨论了如何把新兴的泛型程序设计技术应用于数据结构课程教学,以缩小教学实验和实际运用的距离,提高学生的动手能力。
关键词 教学实验 数据结构 泛型程序设计
在线阅读 下载PDF
计算机自动查套定额系统研究
6
作者 邵良杉 杨培英 闫晋东 《辽宁工程技术大学学报(自然科学版)》 CAS 1993年第3期81-83,共3页
本文首先分析了人工查套定额的方法,然后结合《煤炭井巷工程预算定额》提出了计算机代替人自动查套定额的程序系统设计方法。这一方法使施工图预算软件具有了初步智能,从而提高预算编制的自动化程度和结果的准确性.
关键词 预算 数据结构 计算机应用 软件设计
在线阅读 下载PDF
基于WINDOWS的地理信息系统WINGIS
7
作者 高显连 《林业科学研究》 CSCD 北大核心 1995年第3期344-347,共4页
基于WINDOWS的地理信息系统WINGIS高显连关键词地理信息系统(GIS),WINDOWS,数据结构,面向对象程序设计从80年代起我国陆续在微机上开发了一些通用和专用的地理信息系统(GIS),它们基本上是基于DO... 基于WINDOWS的地理信息系统WINGIS高显连关键词地理信息系统(GIS),WINDOWS,数据结构,面向对象程序设计从80年代起我国陆续在微机上开发了一些通用和专用的地理信息系统(GIS),它们基本上是基于DOS环境的系统。GIS的核心功能是进... 展开更多
关键词 WINDOWS 地理信息系统 数据结构 程序设计
在线阅读 下载PDF
高速公路联网收费中费率计算的研究 被引量:4
8
作者 谭勇 朱贺明 《计算机工程与设计》 CSCD 北大核心 2006年第15期2793-2798,共6页
对高速公路联网收费环境下联网区域通行费费率的规划和计算问题进行了研究。根据联网区域中路网、车辆通行及收费方式的实际情况,建立了一个区域联网通行费费率的实用模型,并在此基础上提出了两个计算联网收费区域通行费费率的算法,同... 对高速公路联网收费环境下联网区域通行费费率的规划和计算问题进行了研究。根据联网区域中路网、车辆通行及收费方式的实际情况,建立了一个区域联网通行费费率的实用模型,并在此基础上提出了两个计算联网收费区域通行费费率的算法,同时给出了这两个算法正确性的简要证明。实际应用表明所提出的快速算法能满足区域联网收费的要求,快速正确地完成计算。最后,描述了一个联网收费区域标识站辅助规划的实用方案,可以减轻联网区域费率规划过程中的困难。 展开更多
关键词 最短路径算法 高速公路联网收费系统 计算机辅助设计 计算机程序设计 数据结构
在线阅读 下载PDF
基于Monad的可认证数据结构 被引量:1
9
作者 贺新征 光焱 祝跃飞 《计算机应用与软件》 北大核心 2022年第4期5-13,59,共10页
采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义。由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性。优点是新... 采用一种基于范畴论发展出来的Monad的实现方法,该方法可从编译器中提取操作性语义,然后将其等价转换为指示性语义。由于Monad方法普遍适用于函数式编程语言,使得基于Monad的可认证数据结构可根据源语言的语法生成新语言特性。优点是新语言特性的设计者无须深入了解修改编译器语法树,也无须修改源语言的语法,即可完成程序语言编译器之间语义的移植。 展开更多
关键词 可认证数据结构 范畴理论 类型理论 函数式编程 程序语言设计
在线阅读 下载PDF
EB XML Modeler and SMART XML Storage Theory
10
作者 Qu Xiao Cai Weijian Lü Shuqiang 《电工技术学报》 EI CSCD 北大核心 2014年第S1期149-154,共6页
Current electronic business activities involve a vast number of trading partners and different electronic documents.Usually different enterprises use different document formats.This is the well-understood problem of t... Current electronic business activities involve a vast number of trading partners and different electronic documents.Usually different enterprises use different document formats.This is the well-understood problem of the lack of information interoperability between applications in the e-business arena.It is required to construct an enterprise information model to harmonize different system data structures into a unified data structure.The purpose of this paper is to develop an E-Business information modeler,which will be a good tool to exchange the information between different business enterprises.This is a new approach to the well-understood problem of the lack of information interoperability between applications in the e-business arena.It will be a more flexible and interoperable way of standardizing Business Semantics.During the transformation,SMART theory is widely used in our system.SMART is meta-model to formally specify information structures in object orientation.It provides an object-oriented environment to express the canonical information model with one semantic structure,that is,class.SMART consists of a collection of views:there is a core view which we called canonical view,and also there are many different kinds of views around the core view.We can transform the core view to the around view as we need. 展开更多
关键词 EB-XML SMART THEORY inter-operation graph tree XSD WBS core data structure software development documents project SCHEDULE
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部