检索结果-维普期刊中文期刊服务平台

C程序设计自动化逆过程的实现被引量：2: 1; 作者严桂兰刘甲耀《计算机研究与发展》 EI CSCD 北大核心 1995年第8期25-32,共8页; 本文阐述Ｃ程序设计自动化逆过程的实现，即阐述从Ｃ程序设计自动生成用图形语言──ＰＡＤ图表示的设计思想、关键技术、系统特点以及对ＰＡＤ图式的扩充与细化技术。; 关键词程序设计自动化 C语言图形语言; 在线阅读下载PDF 职称材料

基于VFP的MIS的自动化程序设计: 2; 作者韦明《计算机工程》 EI CAS CSCD 北大核心 2000年第8期123-125,共3页; 以面向对象技术作为软件开发方法，定义了一个适用于管理信息系统业务流程需要的通用可视化窗体界面模型，在一定程序上实现了软件的通用性和自动化，并给出了基于ＶＦＰ的自动化程序实现过程。; 关键词管理信息系统自动化程序设计面向对象 VFP; 在线阅读下载PDF 职称材料

AutoCAD R14 ActiveX自动化程序的编程技术被引量：3: 3; 作者梅林薛锦《计算机工程》 CAS CSCD 北大核心 1999年第7期78-79,92,共3页; 探讨了AutoCADR14的ActiveX自动化的概念及其编程技术，分析了它的对象模型以及Delphi环境下编写ActiveX自动化程序的可行性，最后给出了Delphi下开发ActiveX自动化程序的具体实例。; 关键词程序设计自动化 ACTIVEX控件 AutoCAD R14; 在线阅读下载PDF 职称材料

基于CFD的风洞及循环水槽设计系统程序开发被引量：2: 4; 作者蒋望梁陈作钢《中国舰船研究》 CSCD 北大核心 2020年第2期42-48,共7页; [目的]风洞和循环水槽是很重要的流体力学试验设备。为高效地形成风洞或循环水槽的气动力学/水动力学设计方案,开发了基于CFD的风洞循环水槽设计系统程序。[方法]该程序集实体三维建模、网格自动生成、黏性流场求解及CFD计算后处理结果... 展开更多; 关键词风洞循环水槽自动化设计程序 CFD; 在线阅读下载PDF 职称材料

一种程序综合方法被引量：1: 5; 作者全炳哲陈伟金淳兆《计算机学报》 EI CSCD 北大核心 1996年第11期833-840,共8页; 通过证明程序规约的方法可构造相应程序．但对“难题”和无证明的规约，无法使用这种方法构造程序．另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该规约的程序．本文讨论了程序规约的验证程序的构造方法，作为研究程序... 展开更多; 关键词形式规约程序设计自动化程序综合法; 在线阅读下载PDF 职称材料

安全系统事故树分析软件研究被引量：15: 6; 作者周西华耿晓伟黄太山《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2002年第4期460-462,共3页; 介绍了系统安全分析中事故树分析软件的自动化程序设计原理与方法,该软件实现了事故树的自动绘制、化简,进行定性分析,自动求解最小割集,绘制事故树的等效树,求解结构重要度,进行顶上事件发生概率、各基本事件的概率重要度、临界重要度... 展开更多; 关键词事故树分析软件安全系统最小割集概率重要度临界重要度结构重要度自动化程序设计; 在线阅读下载PDF 职称材料

几种递归变换的改进模式: 7; 作者张为群王旭仁罗旭东《计算机科学》 CSCD 北大核心 1995年第5期86-88,共3页; 递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。; 关键词程序设计自动化递归变换 Cooper变换等价变换; 在线阅读下载PDF 职称材料

题名C程序设计自动化逆过程的实现被引量：2: 1; 作者严桂兰刘甲耀; 机构华侨大学计算机系; 出处《计算机研究与发展》 EI CSCD 北大核心 1995年第8期25-32,共8页; 基金福建省自然科学基金; 文摘本文阐述Ｃ程序设计自动化逆过程的实现，即阐述从Ｃ程序设计自动生成用图形语言──ＰＡＤ图表示的设计思想、关键技术、系统特点以及对ＰＡＤ图式的扩充与细化技术。; 关键词程序设计自动化 C语言图形语言; Keywords Software programming automation, C programming, graphic language.; 分类号 TP311.51 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于VFP的MIS的自动化程序设计: 2; 作者韦明; 机构昌潍师范专科学校数学系; 出处《计算机工程》 EI CAS CSCD 北大核心 2000年第8期123-125,共3页; 文摘以面向对象技术作为软件开发方法，定义了一个适用于管理信息系统业务流程需要的通用可视化窗体界面模型，在一定程序上实现了软件的通用性和自动化，并给出了基于ＶＦＰ的自动化程序实现过程。; 关键词管理信息系统自动化程序设计面向对象 VFP; Keywords Management information system Programm-automatized design Object-oriented; 分类号 TP311.51 [自动化与计算机技术—计算机软件与理论] TP399 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名AutoCAD R14 ActiveX自动化程序的编程技术被引量：3: 3; 作者梅林薛锦; 机构西安交通大学机械工程学院; 出处《计算机工程》 CAS CSCD 北大核心 1999年第7期78-79,92,共3页; 文摘探讨了AutoCADR14的ActiveX自动化的概念及其编程技术，分析了它的对象模型以及Delphi环境下编写ActiveX自动化程序的可行性，最后给出了Delphi下开发ActiveX自动化程序的具体实例。; 关键词程序设计自动化 ACTIVEX控件 AutoCAD R14; Keywords AutoCAD ActiveX Automation; 分类号 TP311.51 [自动化与计算机技术—计算机软件与理论] TP317 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于CFD的风洞及循环水槽设计系统程序开发被引量：2: 4; 作者蒋望梁陈作钢; 机构上海交通大学海洋工程国家重点实验室上海交通大学高新船舶与深海开发装备协同创新中心上海交通大学船舶海洋与建筑工程学院; 出处《中国舰船研究》 CSCD 北大核心 2020年第2期42-48,共7页; 文摘 [目的]风洞和循环水槽是很重要的流体力学试验设备。为高效地形成风洞或循环水槽的气动力学/水动力学设计方案,开发了基于CFD的风洞循环水槽设计系统程序。[方法]该程序集实体三维建模、网格自动生成、黏性流场求解及CFD计算后处理结果输出等功能于一身,在操作流程上实现从初始参数录入到优化目标参数输出一键操作的设想,用自动化的程序节省修改模型和网格过程所花费的人力和时间成本。通过参考上海交通大学风洞循环水槽对程序进行校验。[结果]结果表明,该软件在风洞的设计及性能预报方面具有很好的可信度和便捷性。[结论]该程序具有一定的理论方法创新和较高的工程应用价值。; 关键词风洞循环水槽自动化设计程序 CFD; Keywords wind tunnel circulating water channel auto-design program computational fluid dynamics(CFD); 分类号 U661.75 [交通运输工程—船舶及航道工程]; 在线阅读下载PDF 职称材料

题名一种程序综合方法被引量：1: 5; 作者全炳哲陈伟金淳兆; 机构吉林大学计算机科学系; 出处《计算机学报》 EI CSCD 北大核心 1996年第11期833-840,共8页; 基金国家"863"计划"八五"攻关项目国家自然科学基金; 文摘通过证明程序规约的方法可构造相应程序．但对“难题”和无证明的规约，无法使用这种方法构造程序．另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该规约的程序．本文讨论了程序规约的验证程序的构造方法，作为研究程序自动化的一种途径．; 关键词形式规约程序设计自动化程序综合法; Keywords Automatic programming, program synthesis, program correctness,formal specification, software automation; 分类号 TP311.51 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名安全系统事故树分析软件研究被引量：15: 6; 作者周西华耿晓伟黄太山; 机构辽宁工程技术大学资源与环境工程学院中铁十三局; 出处《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2002年第4期460-462,共3页; 文摘介绍了系统安全分析中事故树分析软件的自动化程序设计原理与方法,该软件实现了事故树的自动绘制、化简,进行定性分析,自动求解最小割集,绘制事故树的等效树,求解结构重要度,进行顶上事件发生概率、各基本事件的概率重要度、临界重要度的定量分析求解等功能,能够找出控制事故发生的最有效途径。该软件具有功能性强、直观形象、可操作性强的优点,对于事故的分析与评价具有较高的应用价值。; 关键词事故树分析软件安全系统最小割集概率重要度临界重要度结构重要度自动化程序设计; Keywords safety system accident tree analysis minimal cutset probability importance degree critical importance degree structure importance degree; 分类号 X913.4 [环境科学与工程—安全科学] TP311.51 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名几种递归变换的改进模式: 7; 作者张为群王旭仁罗旭东; 机构西南师范大学北京轻工业学院; 出处《计算机科学》 CSCD 北大核心 1995年第5期86-88,共3页; 文摘递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。; 关键词程序设计自动化递归变换 Cooper变换等价变换; Keywords Automatic programming,Program trasformation, Recursive transformation.; 分类号 TP311.51 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	C程序设计自动化逆过程的实现	严桂兰刘甲耀	《计算机研究与发展》 EI CSCD 北大核心	1995	2	在线阅读下载PDF 职称材料
2	基于VFP的MIS的自动化程序设计	韦明	《计算机工程》 EI CAS CSCD 北大核心	2000	0	在线阅读下载PDF 职称材料
3	AutoCAD R14 ActiveX自动化程序的编程技术	梅林薛锦	《计算机工程》 CAS CSCD 北大核心	1999	3	在线阅读下载PDF 职称材料
4	基于CFD的风洞及循环水槽设计系统程序开发	蒋望梁陈作钢	《中国舰船研究》 CSCD 北大核心	2020	2	在线阅读下载PDF 职称材料
5	一种程序综合方法	全炳哲陈伟金淳兆	《计算机学报》 EI CSCD 北大核心	1996	1	在线阅读下载PDF 职称材料
6	安全系统事故树分析软件研究	周西华耿晓伟黄太山	《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心	2002	15	在线阅读下载PDF 职称材料
7	几种递归变换的改进模式	张为群王旭仁罗旭东	《计算机科学》 CSCD 北大核心	1995	0	在线阅读下载PDF 职称材料