期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于特征的三维工序模型自动生成技术的研究与应用 被引量：2
1
作者 曾芬芳 郑志镇 《制造技术与机床》 北大核心 2022年第10期152-156,共5页
在三维零件加工工艺规划系统中工序模型自动创建是其的核心功能,为了提高三维工序模型建模的速度和质量,提出了一种基于特征切削体的工序模型自动建模方法,即当前工序的工序模型为前一工序模型“减去”特征切削体模型。它首先利用加工... 在三维零件加工工艺规划系统中工序模型自动创建是其的核心功能,为了提高三维工序模型建模的速度和质量,提出了一种基于特征切削体的工序模型自动建模方法,即当前工序的工序模型为前一工序模型“减去”特征切削体模型。它首先利用加工特征和加工特征工步建立工序模型与工艺过程的关联关系,并在切削体库中通过加工特征匹配得到特征切削体;然后根据加工特征的尺寸参数和定位参数,实例化特征切削体,并确定其定形参数和定位参数,最终形成切削模型;最后将前道工序模型与特征切削体模型做布尔减运算,则得到当前工序的工序模型。这种方式以加工特征和特征切削体为核心、以毛坯模型为基础,以工艺信息为依据,以余量尺寸为驱动,按实际加工顺序正向生成各工序模型,这种正向的工序模型生成方法和现实的零件加工过程是一致的,经过在企业的应用验证,完全满足企业应用需求,大大降低工艺人员在工序模型的工作量,使其有更多的精力和时间进行工艺改进和工艺创新工作,提升我国制造企业工艺水平和工艺能力。 展开更多
关键词 加工特征 三维工序模型 模型自动生成技术 三维CAPP
在线阅读 下载PDF
模拟模型自动生成器的研制
2
作者 任满杰 《计算机工程与应用》 CSCD 北大核心 2002年第8期110-112,共3页
文章在论述程序自动生成必要性的基础上,提出用DBAM方法自动构模,并以某露天矿汽车运输调度系统作为研究对象,编制各环节的标准模拟模型,对标准模型进行分析,找出其中的规律,设计模型生成器,实现新模型的自动生成。
关键词 软件自动化 模拟模型 模型自动生成器 运输调度 计算机
在线阅读 下载PDF
对象模型自动生成系统(OMAS)研究与实现 被引量：3
3
作者 欧阳伶俐 卿杜政 +1 位作者 郝江波 王素 《系统仿真学报》 CAS CSCD 2000年第5期487-489,共3页
对象模型OM是HLA互操作和资源可重用的基础。本文从功能和实现两个角度对作者自主开发的对象模型自动生成系统OMAS进行研究 ,指出OMAS是建立在HLA对象模型模板OMT基础上的开发工具 ,阐明了OMAS在HLA联邦设计和开发过程中的重要作用。同... 对象模型OM是HLA互操作和资源可重用的基础。本文从功能和实现两个角度对作者自主开发的对象模型自动生成系统OMAS进行研究 ,指出OMAS是建立在HLA对象模型模板OMT基础上的开发工具 ,阐明了OMAS在HLA联邦设计和开发过程中的重要作用。同时文章还论述了OMAS的软件结构、功能模块和实现中的关键技术。最后将OMAS与国外同类软件进行比较。 展开更多
关键词 对象模型自动生成系统 HLA 仿真
在线阅读 下载PDF
用于大规模电磁暂态模型自动生成的拓扑分层识别方法 被引量：9
4
作者 唐伦 丁理杰 +5 位作者 史华勃 罗彬 夏春 陈刚 王曦 孙昕炜 《电力系统保护与控制》 EI CSCD 北大核心 2019年第21期100-108,共9页
电力系统拓扑自动识别是实现大规模电力系统电磁暂态可视化仿真模型自动生成的重要基础。现有算法大多局限于单层拓扑描述,难以满足大规模电磁暂态模型自动生成对模型分层清晰布局、模块化建模的应用需求。针对该问题提出一种基于关联... 电力系统拓扑自动识别是实现大规模电力系统电磁暂态可视化仿真模型自动生成的重要基础。现有算法大多局限于单层拓扑描述,难以满足大规模电磁暂态模型自动生成对模型分层清晰布局、模块化建模的应用需求。针对该问题提出一种基于关联矩阵压缩和支路指针矢量更新的电力系统拓扑分层识别方法。该方法避免了大量的图搜索和逻辑运算,实现了基于大规模数据源的厂站节点搜索和“站间拓扑+站内拓扑”的自动分层识别,为后续站点自动布局和元件参数自动映射工作提供拓扑基础。对简化系统算例和西南电网实际大规模系统算例进行算法测试分析,验证了所提方法的正确性及适应性。算法可直接应用于省级或区域级复杂电力系统的拓扑分层识别及可视化模型自动生成工作。 展开更多
关键词 大规模电力系统 模型自动生成 拓扑分层识别 关联矩阵 支路指针矢量
在线阅读 下载PDF
航天测控系统Markov可靠性模型的自动生成
5
作者 闫华 武小悦 《小型微型计算机系统》 CSCD 北大核心 2013年第9期2215-2220,共6页
航天测控系统的可靠性分析关系到航天飞行任务能否顺利完成,并通过对不同测控方案的分析,发现薄弱环节,优化测控系统的顶层设计.由于测控系统组成及其任务需求的复杂性,依靠人工完成对系统的描述和模型生成不仅效率低下,而且很难保证模... 航天测控系统的可靠性分析关系到航天飞行任务能否顺利完成,并通过对不同测控方案的分析,发现薄弱环节,优化测控系统的顶层设计.由于测控系统组成及其任务需求的复杂性,依靠人工完成对系统的描述和模型生成不仅效率低下,而且很难保证模型的准确性.基于可扩展标记语言(extensible markup language,XML),提出了测控资源元数据和测控任务的规范化描述方法,并由计算机辅助生成基于Markov的系统可靠性模型.提出了Markov模型的自动生成算法,通过算例证明了规范化描述方法和模型自动生成算法的有效性. 展开更多
关键词 航天测控系统 可靠性 规范化 模型自动生成
在线阅读 下载PDF
语义图支持的阅读理解型问题的自动生成 被引量：2
6
作者 徐坚 《智能系统学报》 CSCD 北大核心 2024年第2期420-428,共9页
问题自动生成是人工智能领域的一项技术,其目标是根据输入的文本模拟人类的能力,自动生成相关问题。目前的问题自动生成研究主要基于通用数据集生成问题,缺乏专门针对教育领域的问题生成研究。为此,专注于面向中学生的问题自动生成进行... 问题自动生成是人工智能领域的一项技术,其目标是根据输入的文本模拟人类的能力,自动生成相关问题。目前的问题自动生成研究主要基于通用数据集生成问题,缺乏专门针对教育领域的问题生成研究。为此,专注于面向中学生的问题自动生成进行研究。构建一个专门为问题生成模型训练需求而设计的数据集RACE4QG,以满足中学生教育领域的独特需求;开发一个端到端的问题自动生成模型,该模型训练于数据集RACE4Q,并采用改进型“编码器-解码器”方案,编码器主要采用两层双向门控循环单元,其输入为单词和答案标记的嵌入表示,编码器的隐藏层采用门控自注意力机制获得“文章和答案”的联合表示后,再输入到解码器生成问题。试验结果显示,该模型优于最优基线模型,3个评价指标BLEU-4、ROUGE-L和METEOR分别提高了3.61%、1.66%和1.44%。 展开更多
关键词 语义图 数据集 自动问题生成模型 编码器 解码器 答案标记 图注意力网络 门控循环单元
在线阅读 下载PDF
SmartC模型与代码一致性双向生成方法及开发平台 被引量：2
7
作者 张莉苹 潘纲 +3 位作者 郑能干 杨国青 李红 赵民德 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第1期20-29,共10页
为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC-PLF.该平台结合ModaEDA思... 为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC-PLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartC-PLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartC-PLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性. 展开更多
关键词 SmartC ModaEDA 代码自动生成 模型自动生成 一致性
在线阅读 下载PDF
基于模型的矢量喷管控制系统设计 被引量：7
8
作者 王建锋 臧军 +1 位作者 姜殿文 蒋毅 《航空发动机》 2017年第4期23-29,共7页
为实现矢量喷管控制系统正向研发"V"字模型,使用基于模型的设计方法开展矢量喷管控制系统的设计和验证。建立了包含矢量喷管液压机械单元、矢量喷管控制器及矢量偏转运动的矢量喷管控制系统模型,与发动机模型、飞机模型集成... 为实现矢量喷管控制系统正向研发"V"字模型,使用基于模型的设计方法开展矢量喷管控制系统的设计和验证。建立了包含矢量喷管液压机械单元、矢量喷管控制器及矢量偏转运动的矢量喷管控制系统模型,与发动机模型、飞机模型集成用于矢量喷管控制系统的系统综合设计。使用模型自动测试技术开展数字仿真试验,利用自动代码生成技术和实时仿真技术实现控制软件快速开发和系统半物理试验,试验结果表明了矢量喷管控制系统设计的正确性、高效性。 展开更多
关键词 矢量喷管控制系统 飞行/推进综合控制 基于模型的设计 模型自动测试:自动代码生成 实时仿真
在线阅读 下载PDF
基于Web服务的协同优化平台(英文) 被引量：3
9
作者 郜震霄 肖田元 +2 位作者 范文慧 张桓铭 赵洪冰 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第19期5286-5290,共5页
提出了一种基于Web服务的协同优化平台。该平台具有开放式的架构,能够方便集成现有的通用优化工具。主要特点有:优化工具集成,能够集成本地优化软件及异地优化Web服务;优化服务包装,能够方便的将现有优化工具包装为Web服务;协同优化模... 提出了一种基于Web服务的协同优化平台。该平台具有开放式的架构,能够方便集成现有的通用优化工具。主要特点有:优化工具集成,能够集成本地优化软件及异地优化Web服务;优化服务包装,能够方便的将现有优化工具包装为Web服务;协同优化模型自动生成,解决了通用优化软件的缺点。最后用一个工程案例说明了通过软件智能体,通用优化软件能够访问仿真Web服务完成仿真优化,验证了协同优化平台的有效性。 展开更多
关键词 异构优化工具集成 WEB服务 协同优化平台 协同优化模型自动生成
在线阅读 下载PDF
时序电路等价验证的触发器匹配 被引量：1
10
作者 张超 竺红卫 《电子与信息学报》 EI CSCD 北大核心 2014年第9期2283-2286,共4页
通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔... 通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配。在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的。 展开更多
关键词 触发器匹配 自动测试模式生成模型 布尔可满足性 时序帧递进展开 信息学习
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部