Prolog在过程性问题求解中的应用

1

作者 郜晓晶 《内蒙古农业大学学报（自然科学版）》 CAS 北大核心 2011年第3期281-283,共3页

本文讨论了Prolog语言的主要特点和基本结构,针对实际应用中出现的过程性问题给出了用Prolog谓词和内部运行机制来表示结构化程序设计语言中的三种控制结构,使得Prolog可以更有效地求解问题。

关键词 prolog 谓词 结构化编程 控制结构

在线阅读 下载PDF 职称材料

用PDC-PROLOG表示基本控制结构

2

作者 丁雪梅 关致远 《哈尔滨师范大学自然科学学报》 CAS 1998年第5期76-79,共4页

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ应用软件，本文讨论了三种控制结构在ＰＤＣ－ＰＲＯＬＯＧ中的实现．

关键词 控制结构 模块化程序设计 PDC-prolog 程序语言

在线阅读 下载PDF 职称材料

用过程的观点看 Prolog

3

作者 孟军 张晓旭 刘滨春 《吉林工业大学学报》 CSCD 1998年第2期90-93,共4页

介绍了过程性程序设计语言中过程、控制结构、程序流程等在陈述性语言Ｐｒｏｌｏｇ中的实现，说明了Ｐｒｏｌｏｇ是一种更有效的软件开发工具，它比Ｐａｓｃａｌ、Ｂａｓｉｃ等著名程序设计语言能力更强、效率更高。

关键词 过程性语言 prolog语言 控制结构 程序设计语言

原文传递

依据过程性优势分析Prolog程序语言

4

作者 刘滨春 王安娜 高剑辉 《长春大学学报》 2001年第2期21-22,26,共3页

介绍了过程性程序设计语言中过程、控制结构、程序流程等在陈述性语言Prolog中的实现 ,说明了Prolog是一种更有效的软件开发工具 ,它比Basic、Pascal等著名程序设计语言能力更强。

关键词 过程性语言 prolog语言 控制结构 程序流程

在线阅读 下载PDF 职称材料

用PROLOG表示基本控制结构

5

作者 夏却利 《哈尔滨商业大学学报（自然科学版）》 CAS 1999年第2期18-21,共4页

良好的程序结构是模块化程序设计的基础，为构造结构良好的ＰＲＯＬＯＧ 应用软件，本文讨论了三种控制结构在ＰＲＯＬＯＧ中的实现。

关键词 控制结构 模块化程序设计 prolog

在线阅读 下载PDF 职称材料

建筑能耗模拟软件空调系统模拟对比研究 被引量：26

6

作者 周欣 燕达 +1 位作者 洪天真 朱丹丹 《暖通空调》 北大核心 2014年第4期113-122,131,共11页

对EnergyPlus,DeST和DOE-2.1E这3个建筑能耗模拟软件的空调系统模拟部分,从计算结构、主要设备模型及控制策略几方面进行了对比和分析,并通过一系列测试案例对不同模拟软件的计算过程进行了详细对比分析。研究显示,这3个模拟软件均可实... 对EnergyPlus,DeST和DOE-2.1E这3个建筑能耗模拟软件的空调系统模拟部分,从计算结构、主要设备模型及控制策略几方面进行了对比和分析,并通过一系列测试案例对不同模拟软件的计算过程进行了详细对比分析。研究显示,这3个模拟软件均可实现空调系统和能耗的模拟,且在输入参数保持一致或等效的前提下,模拟结果的差异较小。 展开更多

关键词 建筑能耗模拟软件 空调系统模拟 理论对比 案例分析 计算结构 设备模型 控制策略

在线阅读 下载PDF 职称材料

飞机结构件三维CAD模型缺陷识别方法 被引量：11

7

作者 张聪聪 张树生 +3 位作者 黄瑞 初宏镇 张曦卯 徐昌鸿 《计算机集成制造系统》 EI CSCD 北大核心 2014年第9期2099-2106,共8页

为满足快速数控编程系统对飞机结构件三维CAD模型质量的要求,快速识别出模型中影响数控编程的缺陷,提出一种基于规则匹配的飞机结构件三维CAD模型自动检测方法。根据飞机结构件模型缺陷结构的特点,提取出相应的判定规则;运用颜色标识的... 为满足快速数控编程系统对飞机结构件三维CAD模型质量的要求,快速识别出模型中影响数控编程的缺陷,提出一种基于规则匹配的飞机结构件三维CAD模型自动检测方法。根据飞机结构件模型缺陷结构的特点,提取出相应的判定规则;运用颜色标识的方法快速提取过渡面参数,并提出一套模型缺陷检测算法。以某结构件模型为例,验证了该方法的可行性和有效性。 展开更多

关键词 快速数控编程系统 飞机结构件 模型缺陷 规则匹配 判定规则 颜色标识

在线阅读 下载PDF 职称材料

虚拟仪器远程测控系统的一种新模型 被引量：1

8

作者 姚金宝 汤宝平 赵洁 《中国机械工程》 EI CAS CSCD 北大核心 2008年第5期558-562,共5页

为了在零网络编程的情况下实现虚拟仪器的远程测控,通过对虚拟仪器技术和网络技术的研究,提出了一种采用B/S结构并基于Applet与Servlet的虚拟仪器远程测控系统模型。运用UML"4+1"视图模型进行了系统用例视图、逻辑视图、进程... 为了在零网络编程的情况下实现虚拟仪器的远程测控,通过对虚拟仪器技术和网络技术的研究,提出了一种采用B/S结构并基于Applet与Servlet的虚拟仪器远程测控系统模型。运用UML"4+1"视图模型进行了系统用例视图、逻辑视图、进程视图以及部署视图的设计,并在设计中详细讨论了系统的网络交互和数据传递。虚拟仪器远程测控系统具有零网络编程和零虚拟仪器软件修改的特点。应用实例表明该系统模型可以实现实时远程测控。 展开更多

关键词 零网络编程 虚拟仪器 远程测控系统 B/S结构 视图模型

在线阅读 下载PDF 职称材料

基于产业结构调整视角的农业面源污染控制政策研究 被引量：3

9

作者 杨珂玲 张宏志 《生态经济》 CSSCI 北大核心 2015年第3期89-92,共4页

从农业面源污染控制的微观政策着手,把经济产出最大化、经济结构最优化作为目标,把污染物排放量作为主要约束条件,构建多目标线性规划模型。并以洱海流域为例,求出既能有效从源头控污,又能使农业经济稳步增长的基于产业结构调整的控污... 从农业面源污染控制的微观政策着手,把经济产出最大化、经济结构最优化作为目标,把污染物排放量作为主要约束条件,构建多目标线性规划模型。并以洱海流域为例,求出既能有效从源头控污,又能使农业经济稳步增长的基于产业结构调整的控污减排方案。最后,提出整个流域面源污染控制的政策建议。 展开更多

关键词 农业面源污染 水环境承载力 产业结构调整 污染控制 线性规划模型

原文传递

基于模型预测静态规划的高速多体船减纵摇控制 被引量：2

10

作者 张军 仲铭杰 +1 位作者 杨一帆 温昊 《舰船科学技术》 北大核心 2024年第10期152-156,共5页

为解决在海浪扰动下高速多体船的垂向稳定性变差问题,提出一种基于模型预测静态规划的减纵摇控制方法。考虑高速多体船模型不确定性、海浪噪声不符合高斯白噪声分布特点,根据噪声信息和误差信息设计平滑变结构滤波器,在线估计多体船的... 为解决在海浪扰动下高速多体船的垂向稳定性变差问题,提出一种基于模型预测静态规划的减纵摇控制方法。考虑高速多体船模型不确定性、海浪噪声不符合高斯白噪声分布特点,根据噪声信息和误差信息设计平滑变结构滤波器,在线估计多体船的升沉速度、纵摇角速度,并将其引入到减摇控制中。在此基础上,基于模型预测静态规划提出多体船的减摇控制,采用终端偏差修正的求解方式,迭代更新控制输入,降低计算复杂度。最后,仿真实验表明了所提方法能有效抑制过大的升沉和纵摇运动幅度,以及减摇控制计算负荷小的优越性。 展开更多

关键词 高速多体船 减纵摇控制 平滑变结构滤波器 模型预测静态规划

在线阅读 下载PDF 职称材料

自适应压电桁架结构多目标最优控制

11

作者 龙连春 隋允康 《石油大学学报（自然科学版）》 CSCD 北大核心 2004年第1期81-84,共4页

根据嵌入压电作动器的自适应桁架结构的机电耦合特性 ,考虑了结构强度、节点最大位移以及作动器最大控制电压等约束条件 ,提出了以强度、位移和能耗为目标、以电压为控制参数的多目标最优控制模型。该模型通过引入权系数 ,使多目标问题... 根据嵌入压电作动器的自适应桁架结构的机电耦合特性 ,考虑了结构强度、节点最大位移以及作动器最大控制电压等约束条件 ,提出了以强度、位移和能耗为目标、以电压为控制参数的多目标最优控制模型。该模型通过引入权系数 ,使多目标问题转化为一个二次目标、线性约束的二次规划问题。限制了设计变量每一步的运动极限 ,从而保证了算法的稳定性。用数值方法模拟了该模型对结构的控制效果。数值算例表明 ,该模型具有改善静不定结构应力状态、保证结构形变精度及调节控制能耗的功能。对于静不定结构 ,可以在一定程度上降低结构的最大工作应力。该模型还具有较小的能耗指标 ,并使控制点的节点位移尽可能小 ,利用该模型可以有效地实现单点或多点位移控制。 展开更多

关键词 机电耦合 最优控制模型 自适应结构 节点 作动器 电压

在线阅读 下载PDF 职称材料

实时控制中的管理程序

12

作者 赵景玉 《沈阳化工大学学报》 CAS 1989年第3期208-216,共9页

实时控制中的管理程序是软件的中心,是实时系统能否正常运行的关键。本文以 GW-02~*型微机锅炉控制装置的管理程序为例,介绍了实时控制管理程序的组成、结构及设计方法。

关键词 实时控制 管理程序 样机 模块结构

在线阅读 下载PDF 职称材料

并发多播队列的实现框架及其多种实现的性能分析

13

作者 张其良 张昱 《小型微型计算机系统》 CSCD 北大核心 2017年第6期1237-1242,共6页

开发易用且高效的并发数据结构对降低并行编程的难度和有效利用并行资源非常重要.针对所提出的易于编程的确定性消息传递多线程编程模型DetMP,除可以基于所提出的单生产多播共享虚拟内存模型(SPMC)实现以外,还可以基于传统的多线程共享... 开发易用且高效的并发数据结构对降低并行编程的难度和有效利用并行资源非常重要.针对所提出的易于编程的确定性消息传递多线程编程模型DetMP,除可以基于所提出的单生产多播共享虚拟内存模型(SPMC)实现以外,还可以基于传统的多线程共享虚拟内存模型来实现.为了分析消息通道的实现机制(如数据的存储组织、并发访问的同步控制)对DetMP程序性能的影响,提出一个并发多播队列的框架CMQue,并基于Pthreads实现了6种并发多播队列.我们评估了6种并发多播队列和SPMC通道,结果表明消息通道的实现机制对程序性能影响很大,SPMC通道在CPU核资源充足时具有很好的可伸缩性. 展开更多

关键词 多播队列 并发数据结构 同步控制 多线程编程模型 生产-消费

在线阅读 下载PDF 职称材料

原料磨自动控制系统的设计

14

作者 张恒成 柴建民 《中国仪器仪表》 2005年第8期92-94,共3页

本文介绍了原料磨自动控制系统的硬件设计、系统结构,阐述了软件设计思想,并详细分析了控制模块设计、自动配料程序结构。

关键词 硬件 软件 模块 自动控制 程序结构 自动控制系统 硬件设计 原料磨 软件设计思想 控制模块设计

在线阅读 下载PDF 职称材料

双层结构模型预测控制稳态优化层QP与LP求解模态分析

15

作者 王洪瑞 张鑫 +2 位作者 刘博文 蔺娜 邹涛 《控制与信息技术》 2020年第2期1-7,11,共8页

为解决双层结构预测控制在工程应用中存在的通用化需求及参数配置问题,针对稳态优化层研究两阶段求解策略的标准化过程,形成一系列线性规划(LP)和二次规划(QP)问题;提出目标函数含绝对值及数值截断误差问题的解决策略;针对所形成的LP及Q... 为解决双层结构预测控制在工程应用中存在的通用化需求及参数配置问题,针对稳态优化层研究两阶段求解策略的标准化过程,形成一系列线性规划(LP)和二次规划(QP)问题;提出目标函数含绝对值及数值截断误差问题的解决策略;针对所形成的LP及QP问题,从几何关系及代数关系两方面分析了解其特性,并分析了模型失配对LP及QP解的影响。仿真验证结果表明,随着决策变量权重系数变化,QP比LP的解具有更好的连续性,QP的权重系数能更精确调节决策变量的偏向性;可行域边界的变化导致LP的解一定发生变化,而一直在约束空间内部的QP解则不随时间变化。 展开更多

关键词 模型预测控制 稳态优化 双层结构 二次规划(QP) 线性规划(LP)

在线阅读 下载PDF 职称材料

MA3D：三维造型动画系统的OOP实现

16

作者 姚承茀 黄键 +1 位作者 蒋银珍 施海芸 《计算机辅助设计与图形学学报》 EI CSCD 1995年第2期115-122,共8页

本文介绍了一个基于ＯＯＰ程序设计方法的三维造型动画集成系统。在该系统中，造型与动画具有统一的数据结构，系统提供的命令语言使得用户能够定义模型及其运动，系统输出的数据文件用以描述动画的每一帧画面，它们可以作为生成三维浓... 本文介绍了一个基于ＯＯＰ程序设计方法的三维造型动画集成系统。在该系统中，造型与动画具有统一的数据结构，系统提供的命令语言使得用户能够定义模型及其运动，系统输出的数据文件用以描述动画的每一帧画面，它们可以作为生成三维浓淡图的绘制程序的输入，从而生成三维动画画面。目前，系统提供了以线框图形式进行动画预演的工具。 展开更多

关键词 计算机动画 三维造型 MB3D 程序设计

在线阅读 下载PDF 职称材料

区域运输结构优化路径模型及算法 被引量：4

17

作者 唐建桥 王慈光 左大杰 《数学的实践与认识》 CSCD 北大核心 2013年第13期85-91,共7页

为寻找区域运输结构优化的最佳调整路径,运用最优控制论,构建优化模型与算法,并对珠三角客运结构优化进行实证研究.研究结果表明:所建立的优化模型精度较高,算法有效,寻找的最佳调整路径合理;可解决运输业总周转量增长率不低于一定比例... 为寻找区域运输结构优化的最佳调整路径,运用最优控制论,构建优化模型与算法,并对珠三角客运结构优化进行实证研究.研究结果表明:所建立的优化模型精度较高,算法有效,寻找的最佳调整路径合理;可解决运输业总周转量增长率不低于一定比例的前提下,各种运输方式每年应分别以多大的增长率增长,至少需要多少年才能达到某个理想的合理结构目标. 展开更多

关键词 交通规划 最佳路径 最优控制论 运输结构 模型算法 实证研究

原文传递