自适应有限元分析的网格自动生成方法的选择 被引量：7

1

作者 魏红宁 周本宽 《西南交通大学学报》 EI CSCD 北大核心 1997年第5期477-482,共6页

针对当前存在的、具有代表性的网格自动生成方法进行分析讨论，从网格控制机理的角度，分析这些方法是否适合于自适应有限元分析系统。结果表明，一般情况下，４／８叉树网格生成方法非常适合用于自适应有限元分析系统。

关键词 自适应有限元 网格自动生成方法 网格控制机理

在线阅读 下载PDF 职称材料

三维实体仿真建模的网格自动生成方法 被引量：4

2

作者 王威信 邓达华 《计算机学报》 EI CSCD 北大核心 2002年第1期44-48,共5页

　有限元网格模型的生成与几何拓扑特征和力学特性有直接关系 .建立网格模型时 ,为了更真实地反映原几何形体的特征 ,在小特征尺寸或曲率较大等局部区域网格应加密剖分 ;为提高有限元分析精度和效率 ,在待分析的开口、裂纹、几何突变、... 　有限元网格模型的生成与几何拓扑特征和力学特性有直接关系 .建立网格模型时 ,为了更真实地反映原几何形体的特征 ,在小特征尺寸或曲率较大等局部区域网格应加密剖分 ;为提高有限元分析精度和效率 ,在待分析的开口、裂纹、几何突变、外载、约束等具有应力集中力学特性的局部区域 ,网格应加密剖分 .为此 ,该文提出了基于几何特征和物理特性相结合的网格自动生成方法 .该方法既能有效地描述几何形体 ,又能实现应力集中区域的网格局部加密及粗细网格的均匀过渡 .实例表明本方法实用性强。 展开更多

关键词 CAD CAM 三维实体仿真 建模 网格自动生成方法

在线阅读 下载PDF 职称材料

RTL数据通路模拟矢量自动生成方法研究与实现 被引量：2

3

作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页

针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。 展开更多

关键词 RTL 数据通路 模拟矢量自动生成方法 约束逻辑编辑 CLP VLSI 形式化描述 模型检验 位向量算术 约束求解

在线阅读 下载PDF 职称材料

一种基于视向的LOD自动生成方法 被引量：6

4

作者 钟晓霞 王建宇 《工程图学学报》 CSCD 2002年第4期68-72,共5页

总结了LOD自动生成的一般算法,结合DEM均匀网格模型,以“块”作为地形模型简化的空间单位。结合实际视觉效果中观察点位置和角度对场景细节程度的影响,以一个包含视点视向相关因子的尺度作为简化标准。简化过程中采取稀疏采样的策略,建... 总结了LOD自动生成的一般算法,结合DEM均匀网格模型,以“块”作为地形模型简化的空间单位。结合实际视觉效果中观察点位置和角度对场景细节程度的影响,以一个包含视点视向相关因子的尺度作为简化标准。简化过程中采取稀疏采样的策略,建立了多层次LOD数据模型,有效地简化了地形模型的绘制,提高了生成效率,使得生成的三维地形有较高的可视性和真实感。 展开更多

关键词 视向 自动生成方法 LOD 数字高程模型 视点模型 层次细节划分 计算机图形处理

在线阅读 下载PDF 职称材料

交互状态机模型模拟矢量自动生成方法 被引量：1

5

作者 李暾 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2003年第3期628-634,共7页

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生... 模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题. 展开更多

关键词 交互状态机模型 模拟矢量自动生成方法 数字系统 覆盖率测度

在线阅读 下载PDF 职称材料

从测试规格说明到测试用例的自动生成方法 被引量：4

6

作者 胡芸 缪淮扣 刘玲 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第10期1226-1231,共6页

讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .... 讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 . 展开更多

关键词 测试用例 自动生成方法 形式化规格说明 测试规格说明 1×1域测试策略 软件测试

在线阅读 下载PDF 职称材料

一种CBTC系统数据码位自动生成方法研究 被引量：1

7

作者 赵训婷 黄友能 王伟 《城市轨道交通研究》 北大核心 2014年第3期66-69,74,共5页

针对目前基于通信的列车控制(CBTC)子系统之间数据接口码位由人工进行转换存在的问题,提出了一种自动生成的方法。该方法从CBTC系统的线路图数据出发,将数据按照关联规则进行分层处理并应用顺序启发式算法,自动生成CBTC不同子系统之间... 针对目前基于通信的列车控制(CBTC)子系统之间数据接口码位由人工进行转换存在的问题,提出了一种自动生成的方法。该方法从CBTC系统的线路图数据出发,将数据按照关联规则进行分层处理并应用顺序启发式算法,自动生成CBTC不同子系统之间通信需要的数据接口码位。该方法已应用于北京地铁亦庄线,通过7个步骤自动生成计算机联锁向区域控制器传送的数据码位信息,验证了该方法能够提高生成效率,并有助于实现数据码位的规范化。 展开更多

关键词 地铁 基于通信的列车控制 数据码位 自动生成方法

在线阅读 下载PDF 职称材料

相似系统的程序的自动生成方法

8

作者 张克均 《计算机工程与科学》 CSCD 1989年第2期86-94,共9页

变换式程序设计方法是目前开发大型软件的重要方法之一。这种方法记录了程序逐步开发的历史。本文主要讨论如何重用已开发的软件系统的程序开发历史,开发相似的软件系统的程序和进行软件维护;并讨论了与此相关的软件开发模式,程序相似... 变换式程序设计方法是目前开发大型软件的重要方法之一。这种方法记录了程序逐步开发的历史。本文主要讨论如何重用已开发的软件系统的程序开发历史,开发相似的软件系统的程序和进行软件维护;并讨论了与此相关的软件开发模式,程序相似性模型和问题域的组织方法。 展开更多

关键词 自动生成方法 程序变换 软件开发模式 软件系统 大型软件 程序设计方法 软件维护 设计信息 问题域 软件生产率

在线阅读 下载PDF 职称材料

铁路桥式方案比选 CAD 系统中的自动化生成方法研究 被引量：4

9

作者 乔建东 盛兴旺 +2 位作者 胡狄 于向东 裘伯永 《铁道学报》 EI CAS CSCD 北大核心 1999年第1期77-80,共4页

铁路桥式方案比选ＣＡＤ系统是应用于铁路桥梁初步设计的大型计算机辅助设计软件。本文着重介绍该系统在桥梁水文、桥渡、桥式方案、上下部结构类型选择及尺寸拟定、方案评估等不同设计阶段的计算机自动化生成功能。利用该系统可全自动... 铁路桥式方案比选ＣＡＤ系统是应用于铁路桥梁初步设计的大型计算机辅助设计软件。本文着重介绍该系统在桥梁水文、桥渡、桥式方案、上下部结构类型选择及尺寸拟定、方案评估等不同设计阶段的计算机自动化生成功能。利用该系统可全自动地设计出可行、经济、结构较为合理的桥式方案及其一套完整的设计图表。 展开更多

关键词 铁路 桥式方案比选 自动化生成方法 CAD系统

在线阅读 下载PDF 职称材料

核电厂数字化仪控系统算法软件自动化生成方法 被引量：2

10

作者 黄俊 李晓龙 +1 位作者 赵洋 吴延群 《上海交通大学学报》 EI CAS CSCD 北大核心 2018年第S1期31-35,共5页

在核电厂数字化仪控系统(DCS)中,算法软件主要完成系统的业务功能,属于安全级软件.算法软件开发遵循软件的典型生命周期,即从软件的需求,设计到实现的整个过程.在核电行业的算法软件开发生命周期中,需求一般对应功能图,设计一般对应逻辑... 在核电厂数字化仪控系统(DCS)中,算法软件主要完成系统的业务功能,属于安全级软件.算法软件开发遵循软件的典型生命周期,即从软件的需求,设计到实现的整个过程.在核电行业的算法软件开发生命周期中,需求一般对应功能图,设计一般对应逻辑图,实现一般对应C代码.在算法软件的开发过程中,可能在不经意间引入一些人为错误,导致一些不可承受的严重后果.文中针对核电厂DCS系统算法软件的安全性要求,基于SCADE软件的KCG模式生成代码,提出算法软件从需求到代码自动化生成的方法,并利用该方法开发出符合核电行业高安全性要求的算法软件,从而使得核电厂DCS系统设计人员既能节省整个算法软件的开发周期,又能保证开发出的软件具备在系统中运行的高安全性要求.在满足核安全的前提下,该方法可以大幅缩短工程设计的开发时间,提高用户使用体验,具有可观的经济效益. 展开更多

关键词 核电厂 数字化仪控系统 自动化生成方法 高安全性要求

在线阅读 下载PDF 职称材料

复杂三维组合曲面的有限元网格生成方法 被引量：16

11

作者 关振群 隋晓峰 +1 位作者 顾元宪 李云鹏 《计算力学学报》 EI CAS CSCD 北大核心 2003年第4期409-416,共8页

提出一种基于映射法的复杂三维组合曲面的有限元网格全自动生成方法。通过引入虚边界解决了闭合曲面在参数域中边界不完整的问题 ;通过调节虚边界提高了复杂组合曲面网格生成的质量。改进二维多边形区域的裁减算法 ,解决了闭合曲面在参... 提出一种基于映射法的复杂三维组合曲面的有限元网格全自动生成方法。通过引入虚边界解决了闭合曲面在参数域中边界不完整的问题 ;通过调节虚边界提高了复杂组合曲面网格生成的质量。改进二维多边形区域的裁减算法 ,解决了闭合曲面在参数空间中的边界环形成问题。对曲面片公共边界进行统一离散化处理 ,以满足有限元网格的相容性要求。以边界表示 (B-Rep)数据结构为基础 ,实现了组合曲面全自动网格剖分的总成算法。改进了曲面网格剖分布点算法 ,并结合局部连接、诊断交换等技术 。 展开更多

关键词 复杂三维组合曲面 网格剖分 闭合曲面 虚边界 有限元网格生成 映射法 全自动生成方法

在线阅读 下载PDF 职称材料

基于扩展对象模型的界面自动生成 被引量：2

12

作者 蔡珣 蔡菲 万建成 《计算机应用与软件》 CSCD 北大核心 2004年第6期23-24,62,共3页

根据界面工程设计和自动化的需要 ,本文提出了基于FMP模型中的扩展对象模型的自动生成方法。界面自动生成是根据扩展对象模型中的对象描述信息 ,通过指定不同的布局策略在界面的特定区域中实现的不同界面布局。

关键词 扩展对象模型 自动生成方法 界面工程设计 FMP模型 布局 用户交互对象 软件系统设计

在线阅读 下载PDF 职称材料

二维DRAGON网格自动生成技术的研究 被引量：1

13

作者 李亭鹤 阎超 《空气动力学学报》 EI CSCD 北大核心 2005年第1期88-92,共5页

对重叠网格技术中新出现的Cut Paste方法进行了研究和改进 ,结合网格洞边界标识的缝合与重组织技术 ,首次将其应用在DRAGON网格生成中 ,提出了二维DRAGON网格的自动生成方法 ,最后编制出通用程序 ,给出了多体网格的复杂示例。实际计算表... 对重叠网格技术中新出现的Cut Paste方法进行了研究和改进 ,结合网格洞边界标识的缝合与重组织技术 ,首次将其应用在DRAGON网格生成中 ,提出了二维DRAGON网格的自动生成方法 ,最后编制出通用程序 ,给出了多体网格的复杂示例。实际计算表明 ,本文方法具有自动化程度高、可靠性好。 展开更多

关键词 网格技术 自动生成方法 通用程序 网格生成 重叠网 示例 可靠性 二维 边界

在线阅读 下载PDF 职称材料

三维有限元网格的自适应生成新方法

14

作者 费少梅 《机电工程》 CAS 1997年第4期6-7,共2页

本文给出了一种可在任意位置加点的三维有限元网格自动生成方法,提出了有限元计算结果的误差估计公式,实现了网格的自适应细化。

关键词 计算机 三维网络 有限元 自动生成方法

在线阅读 下载PDF 职称材料

基于EDPN的类测试框架及测试用例生成技术的研究 被引量：2

15

作者 龚红仿 李军义 +1 位作者 邹北骥 孙家广 《计算机科学》 CSCD 北大核心 2005年第5期224-229,共6页

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯... 针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。 展开更多

关键词 测试用例 测试框架 生成技术 面向对象软件 自动生成方法 测试过程 交互测试 测试模型 输入输出 状态转移 类测试 路径 递推法 扩展 正交阵 爆炸 组合 标记 序列 协同 列表

在线阅读 下载PDF 职称材料