共查询到20条相似文献,搜索用时 598 毫秒
1.
2.
王士铁 《厦门大学学报(自然科学版)》1984,(2)
采用消解法的定理证明程序,通常都是按子句格式输入。该格式虽然便于消解,但是它与普通逻辑公式或者日常语句差异皆较大,因此运用时相当不便。 为了兼备日常用语及子句格式的优点,本文提出一种新的输入格式——公式子句格式。简记为FC格式。该格式不仅接近于日常的判断语句,而且不难转换为子句格式, 相似文献
3.
在DEBUG程序中使用A命令进行8086汇编语言的行汇编时,发现SAL指令不能被识别,而其他的移位指令却能正确输入。本文通过对一个简单的出错提示的研究和分析,试图想说明在8086汇编语言中用SHL指令替换SAL指令的原因和意义。 相似文献
4.
胡学敏 《广西大学学报(自然科学版)》1986,(2)
引言用户编制工件的切割程序是一件繁琐的劳动,有些工件可包括上百条甚至上千条指令。但在实际生产中,很多工件具有对称性。例如轴对称或者中心对称。根据这些特点我们可以只编制其中一个象限的加工指令输入计算机,其它象限的指令可以根据共对称性由计算机自动修改程序参数、自动调入、进行自动加工。这样可以大大减轻人们的劳动程度、节省內 相似文献
5.
吕玫 《无锡职业技术学院学报》2006,5(4):38-40
该文介绍了FX2N系列PLC功能指令的应用。通过几个实例,阐述了实时时钟指令、传送指令、数字运算指令的特点和应用;分析了利用变址寄存器在线设定和修改参数。功能指令的应用使程序结构紧凑、语句简洁,可方便地完成控制要求。 相似文献
6.
本文介绍了89C51单片机输入指令的使用.通过单片机P1.0口线的电路逻辑图,着重分析、解决了使用89C51单片机输入指令时从引脚输入数据时存在的一个特殊问题。给出了使用单片机输入指令的具体应用。 相似文献
7.
1 前言 在使用VAX-11 COBOL语言编写VAX Rdb/VMS应用程序实践中,发现用ACCEPT语句编写的数据录入与修改程序用户界面存在以下缺点;a.向某一变量输入数时,如果不用选择项限制输入长度,则有时会因输入超长而破坏显示的屏幕格式;如果用选择项限制其输入长度,则要求输入数达到长度后才能被接收。b.在输入多个数时只能一个接一个顺序输入,直到最后一个输入完成,中途是不能退出的。c.在输入数据过程中,如果发现前面某个数据输错了,则这种程序不能随时将光标调回进行修改。 相似文献
8.
研究表明,有效的课堂指令应具备六项原则:课前准备,集中全班的注意,偶尔重复,简化,示范,获得学生的反馈。英语教师的语言是课堂语言输入的主要方式。教学组织应该以现实和英语教学原则为基础。组织教学活动的时候,老师应该尽量使用英语,并且,指令要简单明了。但是,课堂指令在其所发挥的功能上的细微影响不能被扩大。 相似文献
9.
《中南大学学报(自然科学版)》2016,(6)
为了提高具有双板作业运作特点的多端口出入式自动化存取系统(AS/RS)整体作业效率,在统筹考虑货位分配和指令序列排序对作业时间影响的基础上,提出以最小化指令序列完工时间为优化目标的集成优化模型。引入交换和插入思想构建货位分配和指令排序的搜索邻域,并分析2种邻域构建方法对指令序列完工时间的影响。最后,设计二阶段禁忌搜索算法对问题进行求解,利用货位分配和指令排序2个阶段禁忌搜索过程的反馈获得模型最优解,其求解过程体现货位分配和指令排序2个优化方面在邻域搜索过程中互相影响、互相嵌套的复杂关系。研究结果表明:二阶段禁忌搜索算法在不同的货位规模和指令序列规模下均能获得满意解,具有较好的鲁棒性和计算效率;相比"先到先服务"和"最近邻"调度规则,本文优化方法能够有效缩短指令序列完工时间。 相似文献
10.
网络搜索中的检索式及其构建 总被引:1,自引:0,他引:1
邢志宇 《科技情报开发与经济》2007,17(17):94-95
指出检索式是由关键词、逻辑运算符和搜索指令(搜索语法)等构成,介绍了检索式的构建方法和技巧。 相似文献
11.
用于信息流分析的信息流树结构 总被引:3,自引:0,他引:3
在根据系统源代码进行隐通道搜索的分析方法基础上,针对目前隐通道搜索方法仍然采用人工分析系统中的语句信息流所带来的工作量巨大问题,将已提出的较为简单的高级语言语句信息流规则加以扩展,依据扩展得到的语句信息流规则,构造出一种可以描述并记录语句信息流且易于实现的二叉树结构——信息流树,给出自动分析信息流的遍历信息流树算法,并以自行开发的VISTA空间数据库系统中的一段源代码为例,通过构造并遍历其信息流树,说明用信息流树描述信息流并进行信息流分析的有效性和正确性. 相似文献
12.
《华中科技大学学报(自然科学版)》2016,(10):82-86
针对软件故障定位问题,提出一种新型故障定位技术SPRank(可疑参数排名).该方法利用测试数据构建操作剖面模型,并提出输入参数谱度量程序各个参数的可疑度;在此基础上,利用优化的思想搜索程序的可疑参数和与之相关的可疑语句,进一步缩小程序故障的检索范围,从而提升故障定位准确率.实验表明SPRank方法能有效地提升三种经典高效的故障定位方法的故障定位准确率. 相似文献
13.
PLC语句表向梯形图自动转换的实现方法 总被引:4,自引:0,他引:4
吕俊白 《华侨大学学报(自然科学版)》2005,26(3):313-316
实现可编程控制器语句表向梯形图的自动转换,是提高可编程控制器应用系统的维护和改造效率亟等解决的问题.文中通过对PLC指令及其对应的梯形图图符进行分析.总结出由PLC语句表生成梯形图的规则,并分析软件实现的主要数据结构及其关键技术.实验结果表明,软件能正确实现PLC语句表向梯形图的自动转换,可广泛应用于PLC应用系统的设计.改造和维护。 相似文献
14.
基于局部熵差的栅格地图拼接方法 总被引:1,自引:0,他引:1
栅格地图识别输入系统中往往要对扫描的多块小地图进行镶嵌拼接成为大块完整地图后才作进一步处理。以往的一些图象拼接方法在图象倾斜时不能正确拼接或者有人机交互量过大、处理效率低等缺点,作者提出一种可以自动校正倾斜的拼接方法。方法先定义了局部熵的概念,用熵差匹配的方法寻找到多个匹配点,然后用最小二乘法计算两幅地图的相对倾斜角以及计算出两图的对应坐标关系,经过倾斜校正快速算法处理和“拼缝”的平滑处理后最终实现拼接。搜索匹配中采用序贯检测及跳跃式策略以减少搜索时间。实验结果表明该方法在地图小角度倾斜时能正确拼接,拼接方法效率高,速度快,是栅格地图识别输入系统中地图拼接的一种新方法。 相似文献
15.
《萍乡高等专科学校学报》2017,(6):81-84
FOR语句作为批处理脚本程序中的循环指令,显得简便、高效、快捷。该指令可根据不同类型任务而使用不同参数,比如深度遍历参数/R、迭代参数/L、目录参数/D及集合参数/F,用法丰富灵活,功能实用强大。本文即利用FOR指令的迭代参数/L来解决对分散位于各个机器文件夹里的作业数据文件的迁移问题。 相似文献
16.
为了提高数据库的运行效率.分析了影响结构化查询语言(SQL)查询语句执行效率的因素,研究了对SQL查询语句进行优化的基本方法,包括数据类型、搜索参数、数学操作符等方面的合理使用,同时,指出在实践中的程序员应反复试验和比较不同的语句。 相似文献
17.
本文主要分析嵌入式终端设备图像采集的开发与设计,其中重点对Linux中的V4L2进行了研究,给出了使用V4L2进行图像采集的具体过程,包括启动设备、图像格式设置、分配缓冲区、读取数据、关闭设备五个步骤。嵌入式终端设备负责指令的接收执行、异地图像采集、信息处理,经无线局域网、internet传输,与管理中心服务器构成监控系统。 相似文献
18.
杜玮 《西安理工大学学报》1979,(1)
第一节定位指令这类指令的作用是明确地给定工具一个特定的位置。这类指令的执行过程都是直线运动,自现有位置移至目的位置(即要求的位置)只是变换一下位置,所以不要求其它附加信息,如刀具形状、公差等等。它们有:FROM,GOTO,GODLTA 等等。下面分别与以说明。(1)FROM 出发出发语句用来指定刀具运动开始位置在工件坐标系中所在的点。 相似文献
20.
文章对扫描电子显微镜图像格式进行分析,找出了图像像素点灰度值存储规律,加速电压和放大倍数重要参数存储区域;在转换通用图像过程中,解决图像标尺问题,使标尺以图像方式存储在图像中,标尺伴随图片大小变化;同时对BMP通用图像格式进行了详细介绍,为了实现快速转换,采用BMP模板文件快速装栽和显示图像,通过编程实现扫描电子显微镜图像成批快速转换,减轻了操作人员的劳动强度,节省了上机时间,避免人工转换时文件名输入错误,提高了工作效率,在实际应用中取得了较好效果。 相似文献