期刊文献+
共找到359篇文章
< 1 2 18 >
每页显示 20 50 100
TurboPROLOG程序开发中数据描述的一种方法 被引量:1
1
作者 余金山 《计算机应用》 CSCD 1994年第1期23-26,共4页
TurboPROLOG程序开发中数据组织与描述的一种系统的、实用的、简单但又十分具体的方法和过程。参照文中的步骤,可以有效地把用户的数据说明直接地变换为相应的TurboPROLOG定义。
关键词 程序设计 数据描述 prolog语言
下载PDF
Prolog中的结构化程序设计思想
2
作者 曾湘燕 陶文祥 《微电子学与计算机》 CSCD 北大核心 1994年第5期16-18,共3页
本文介绍Prolog中的结构化程序设计思想,并给出3种基本结构的实现方法。
关键词 prolog语言 程序设计 程序语言
下载PDF
关于Prolog代数方程组的解
3
作者 李永礼 李廉 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 1990年第3期1-5,共5页
本文建立一种对既约方程组求解的图上作业法.证明了:既约方程组只有有理解当且仅当它的解唯一,同时提出了通解图的概念,通解图可以从既约方程组有效地构造,并且从通解图上容易求出它的所有解,看出这些解之间的关系,通解图是全体解的一... 本文建立一种对既约方程组求解的图上作业法.证明了:既约方程组只有有理解当且仅当它的解唯一,同时提出了通解图的概念,通解图可以从既约方程组有效地构造,并且从通解图上容易求出它的所有解,看出这些解之间的关系,通解图是全体解的一种有穷表示. 展开更多
关键词 树代数 prolog 逻辑程序设计
下载PDF
Prolog在过程性问题求解中的应用
4
作者 郜晓晶 《内蒙古农业大学学报(自然科学版)》 CAS 北大核心 2011年第3期281-283,共3页
本文讨论了Prolog语言的主要特点和基本结构,针对实际应用中出现的过程性问题给出了用Prolog谓词和内部运行机制来表示结构化程序设计语言中的三种控制结构,使得Prolog可以更有效地求解问题。
关键词 prolog 谓词 结构化编程 控制结构
下载PDF
用PDC-PROLOG表示基本控制结构
5
作者 丁雪梅 关致远 《哈尔滨师范大学自然科学学报》 CAS 1998年第5期76-79,共4页
良好的程序结构是模块化程序设计的基础,为构造结构良好的PROLOG应用软件,本文讨论了三种控制结构在PDC-PROLOG中的实现.
关键词 控制结构 模块化程序设计 PDC-prolog 程序语言
下载PDF
依据过程性优势分析Prolog程序语言
6
作者 刘滨春 王安娜 高剑辉 《长春大学学报》 2001年第2期21-22,26,共3页
介绍了过程性程序设计语言中过程、控制结构、程序流程等在陈述性语言Prolog中的实现 ,说明了Prolog是一种更有效的软件开发工具 ,它比Basic、Pascal等著名程序设计语言能力更强。
关键词 过程性语言 prolog语言 控制结构 程序流程
下载PDF
Object-Oriented Design for FDTD Visual Scientific Computing
7
作者 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
用PROLOG表示基本控制结构
8
作者 夏却利 《哈尔滨商业大学学报(自然科学版)》 CAS 1999年第2期18-21,共4页
良好的程序结构是模块化程序设计的基础,为构造结构良好的PROLOG 应用软件,本文讨论了三种控制结构在PROLOG中的实现。
关键词 控制结构 模块化程序设计 prolog
下载PDF
Dynamic Object-Oriented Model of Concurrent Design Process
9
作者 来可伟 《High Technology Letters》 EI CAS 1996年第2期5-8,共4页
This article reports our research progress in concurrent design theory and methodology.The idea of Micro-Design-Cycle is introduced to provide a mechanism of coordinating variousdesign activities in parallel as much a... This article reports our research progress in concurrent design theory and methodology.The idea of Micro-Design-Cycle is introduced to provide a mechanism of coordinating variousdesign activities in parallel as much as possible.An Object-Life-Cycle diagram is developedas an instrument to visualize the Micro-Design-Cycle and as a practical tool of timing variousactivities being performed in Micro-Design-Cycles. 展开更多
关键词 CONCURRENT design design THEORY and METHODOLOGY OBJECT-ORIENTATION
下载PDF
An Improved Graphic Representation for Structured Program Design 被引量:2
10
作者 周启海 《Journal of Computer Science & Technology》 SCIE EI CSCD 1991年第2期205-208,共4页
In this paper,an improved graphic representation for Structured Program Design——N-S-Z (Nassi-Shneiderman-Zhou Diagram)is proposed.It not only preserves the advantages of the conventional graphic and non-graphic repr... In this paper,an improved graphic representation for Structured Program Design——N-S-Z (Nassi-Shneiderman-Zhou Diagram)is proposed.It not only preserves the advantages of the conventional graphic and non-graphic representations,but also adds some new features which will enhance the representa- tive power of the original diagram. 展开更多
关键词 An Improved Graphic Representation for structured Program design
原文传递
在线评测系统在生源多元化的高职院校程序设计类教学中的应用研究
11
作者 朱鹏 《信息与电脑》 2024年第1期248-250,共3页
对于高职院校的电子信息类专业而言,程序设计类课程(C语言程序设计、Python程序设计、Java程序设计等)属于必开的专业基础课。学生对于这些课程的掌握程度直接影响后续专业课程的学习。对于高职院校而言,生源结构多元化给程序设计类课... 对于高职院校的电子信息类专业而言,程序设计类课程(C语言程序设计、Python程序设计、Java程序设计等)属于必开的专业基础课。学生对于这些课程的掌握程度直接影响后续专业课程的学习。对于高职院校而言,生源结构多元化给程序设计类课程教学带来了巨大的挑战。文章通过在程序设计课程引入在线评测平台,自主建立题库,进行教学安排、课后学习、形成性考核,激发学生自主学习能力,解决学生学习没有目标、不能良好监督学生学习、教师反馈不及时等问题。教学实践证明,设计的教学系统教学效果良好。 展开更多
关键词 程序设计基础 在线评测平台 生源结构多元化
下载PDF
基于PRSEUS构型翼身融合机体结构多学科优化设计方法与应用
12
作者 田瑞 王海燕 +3 位作者 聂小华 罗利龙 田宇 彭涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第5期818-827,共10页
针对翼身融合(BWB)布局机体结构承载效率低、结构增重以及高后置背撑发动机带来的大载荷和舱内噪声等问题,基于新型材料和新型高效承载结构(PRSEUS),开展以提高结构承载效率和轻量化为目标,兼顾气动、噪声、振动及工艺等多学科约束的非... 针对翼身融合(BWB)布局机体结构承载效率低、结构增重以及高后置背撑发动机带来的大载荷和舱内噪声等问题,基于新型材料和新型高效承载结构(PRSEUS),开展以提高结构承载效率和轻量化为目标,兼顾气动、噪声、振动及工艺等多学科约束的非常规圆截面机体结构多学科优化设计方法研究。基于自适应代理模型构建技术建立了机体结构气动、噪声子系统性能分析代理模型,实现了对机体结构气动载荷、噪声性能的预测,并将气动、噪声性能的基本要求转化为几何尺寸及力学响应等约束条件,从而把多学科问题集成到一套有限元分析模型,配合高效数学规划法,解决了多学科高精度模型分析耗时问题,实现了翼身融合机体结构的多学科优化设计。通过机体结构有限元分析验证,在满足各学科约束条件前提下,结构的承载效率得到较大幅度提升,中央机体结构减质率达到了8.7%。 展开更多
关键词 翼身融合 多学科优化设计 高效承载结构 代理模型 结构减质 数学规划法
下载PDF
用过程的观点看 Prolog
13
作者 孟军 张晓旭 刘滨春 《吉林工业大学学报》 CSCD 1998年第2期90-93,共4页
介绍了过程性程序设计语言中过程、控制结构、程序流程等在陈述性语言Prolog中的实现,说明了Prolog是一种更有效的软件开发工具,它比Pascal、Basic等著名程序设计语言能力更强、效率更高。
关键词 过程性语言 prolog语言 控制结构 程序设计语言
原文传递
钢结构参数化设计与机器人焊接离线编程应用
14
作者 姚凯洵 王树强 +1 位作者 陈光凯 高元德 《机械工程与自动化》 2024年第2期31-33,共3页
通过在三维绘图软件中用含变量尺寸标注的方式建立参数化模型,再建立数据采集程序,将主要的参数值与标签对应地输出为能被程序识别的文本格式;再将生成的文本导入参数化模型,以获得焊件模型;将转换格式的焊件三维模型导入RobotStudio,... 通过在三维绘图软件中用含变量尺寸标注的方式建立参数化模型,再建立数据采集程序,将主要的参数值与标签对应地输出为能被程序识别的文本格式;再将生成的文本导入参数化模型,以获得焊件模型;将转换格式的焊件三维模型导入RobotStudio,之后进行焊接指令的离线编程,并在软件中使用TCP路径跟踪,对焊枪尖部的运动轨迹进行了验证。 展开更多
关键词 参数化建模 离线编程 三维建模 机器人编程 钢结构设计
下载PDF
基于离散变量的多材料结构拓扑优化设计
15
作者 刘宏亮 王成 梁缘 《计算力学学报》 CAS CSCD 北大核心 2024年第4期611-617,共7页
多材料结构拓扑优化相比于单材料结构优化具有更大的设计空间,展现出巨大的设计潜力和应用前景。本文基于离散设计变量研究多材料结构拓扑优化,通过建立有效的设计优化方法,获得轻质高效的结构设计。首先,根据离散变量的特点,建立多材... 多材料结构拓扑优化相比于单材料结构优化具有更大的设计空间,展现出巨大的设计潜力和应用前景。本文基于离散设计变量研究多材料结构拓扑优化,通过建立有效的设计优化方法,获得轻质高效的结构设计。首先,根据离散变量的特点,建立多材料结构拓扑优化模型,由离散变量下约束函数和目标函数的灵敏度信息构造序列近似整数规划子问题,采用运动极限策略限制设计变量的改变量以保证整数规划子问题的近似精度。为了解决离散变量的组合复杂性,采用具有多项式复杂度的正则松弛算法来高效求解(和经典的连续变量算法效率相当)。本文利用多材料结构最小柔顺性优化问题以及最大传热效率优化问题研究离散变量方法的有效性。数值算例表明,离散变量优化方法可以获得稳定迭代收敛的多材料拓扑设计,优化构型中的材料界面清晰分明,有效避免了出现模糊区域。 展开更多
关键词 拓扑优化 离散设计变量 整数规划 多材料结构
下载PDF
铁道工程专业毕业设计计算编程能力培养实践
16
作者 孙宇 边疆 《石家庄铁路职业技术学院学报》 2024年第2期93-96,共4页
毕业设计是铁道工程专业学生综合运用专业知识开展铁道工程专业培养的核心教学环节;计算编程是开展铁道工程设计及研究的重要工具,也是铁道工程专业学生在本科学习中需要掌握的必要技能。在毕业设计中开展对学生编程能力的培养和考核具... 毕业设计是铁道工程专业学生综合运用专业知识开展铁道工程专业培养的核心教学环节;计算编程是开展铁道工程设计及研究的重要工具,也是铁道工程专业学生在本科学习中需要掌握的必要技能。在毕业设计中开展对学生编程能力的培养和考核具备可行性和必要性。本文介绍了铁道工程毕业设计中培养学生编程能力的实践,主要包括:在本科毕业设计选题如何融入编程能力培养,在本科毕业设计开题和实施的不同阶段如何培养学生的编程能力以及建议的教学手段,可为专业人才培养计划制定提供重要思路和依据。 展开更多
关键词 铁道工程专业 毕业设计 轨道结构设计 计算编程 教学方法
下载PDF
PKPM等建筑结构设计程序在土木工程本科教育中的定位与教学探讨 被引量:1
17
作者 李胜林 《高教学刊》 2023年第2期134-137,共4页
该文基于PKPM等建筑结构设计程序在高校本科教学效果差强人意的现状,结合中国矿业大学(北京)的6年教学培养经验,从电算课程定位和讲授内容出发,提出“归纳总结法”和“对比分析法”教学模式,并通过“学生走上讲台”的形式,激发学生积极... 该文基于PKPM等建筑结构设计程序在高校本科教学效果差强人意的现状,结合中国矿业大学(北京)的6年教学培养经验,从电算课程定位和讲授内容出发,提出“归纳总结法”和“对比分析法”教学模式,并通过“学生走上讲台”的形式,激发学生积极性,提升其专业素养,培养适应建筑行业发展的复合型人才。 展开更多
关键词 PKPM 建筑结构设计程序 教育革新 土木工程 定位
下载PDF
以赛促教,以赛促学——浅析“天梯赛”对我校学生程序设计能力提升的影响
18
作者 刘嘉 赵宏 《教育教学论坛》 2023年第32期162-166,共5页
程序设计是大学生必须掌握的基本技能,但受限于总学时和专业知识的学习,高校无法在学生程序设计技能培养方面开设大量课程来提高学生的程序设计能力。以组织学生参加“天梯赛”程序设计大赛为例,从“天梯赛”赛制和考查的知识点出发,论... 程序设计是大学生必须掌握的基本技能,但受限于总学时和专业知识的学习,高校无法在学生程序设计技能培养方面开设大量课程来提高学生的程序设计能力。以组织学生参加“天梯赛”程序设计大赛为例,从“天梯赛”赛制和考查的知识点出发,论述学生通过程序设计基础课、计算机专业课和赛前强化训练等环节覆盖“天梯赛”考查的知识点,提升学生程序设计能力的过程。最后以成绩优秀参赛队员的毕业去向,说明“天梯赛”对程序设计类课程的教学和学生编程能力提升所带来的正面影响。 展开更多
关键词 计算机教学 程序设计 “天梯赛” 数据结构 算法设计
下载PDF
基于Geomagic和UG的螺旋桨逆向设计与五轴数控编程 被引量:1
19
作者 曾锋 杨忠高 《机械工程师》 2023年第4期153-156,共4页
在Geomagic中通过对螺旋桨叶片点云文件进行点云预处理、封装形成三角面,在多边形阶段进行模型修补和模型优化,进行曲面分类以及对轮廓线进行编辑,最终拟合成曲面。将其导入UG软件中进行模型创建,并完成螺旋桨叶片的五轴数控编程。
关键词 点云处理 曲面重建 结构设计 五轴数控编程
下载PDF
贯彻《军用飞机结构完整性大纲》的新螺旋桨设计
20
作者 崔德刚 昝丙合 +1 位作者 张睿 李兵 《空气动力学学报》 CSCD 北大核心 2023年第10期79-87,I0002,共10页
由于螺旋桨产生的滑流可以缩短飞机起降距离,因此降低了飞机对于机场跑道的要求。目前,螺旋桨在民用飞机和军用飞机上仍有大量发展和应用。我国飞机螺旋桨自主设计起步较晚,过去我国大型螺旋桨一直采用全金属实心桨叶,“新螺旋桨”是我... 由于螺旋桨产生的滑流可以缩短飞机起降距离,因此降低了飞机对于机场跑道的要求。目前,螺旋桨在民用飞机和军用飞机上仍有大量发展和应用。我国飞机螺旋桨自主设计起步较晚,过去我国大型螺旋桨一直采用全金属实心桨叶,“新螺旋桨”是我国首次自行研制高性能复合材料螺旋桨。研制过程中,在气动力设计、结构强度、电调控制等方面遇到了一系列巨大挑战。《军用飞机结构完整性大纲》(GJB 775A—2012)作为飞机结构设计的顶层要求,在螺旋桨结构设计中依然发挥着重要作用,是保证新螺旋桨结构可靠性、经济性和产品寿命的重要手段。设计人员在研制中学习和贯彻《大纲》的要求和实施方法,克服了大量的技术难点和工程问题,最终成功地研制和装机了新螺旋桨。本文从《大纲》的五个任务出发,介绍了新螺旋桨研制中关于各个阶段任务的贯彻和实施,以及在此期间开展的有关理论分析和试验验证,系统地总结了《大纲》在螺旋桨结构设计中的实践和体会。希望文章能为今后同类产品的研制提供借鉴和参考。 展开更多
关键词 飞机螺旋桨 结构完整性大纲 结构研制规范 设计准则 结构分析和试验
下载PDF
上一页 1 2 18 下一页 到第
使用帮助 返回顶部