“程序设计”联机测评系统的研究

本文讨论一个程序设计联机测评系统（ＰＬＯＥＳ）．系统由三大模块组成．包括试题库管理模块、考试模块和评卷模块．系统的实现面向程序设计语言．挂接不同语言的题库和评卷模块就能实现不同语种的考试．系统可评阅六种题型包括程序设计题．     

一种用PROLOG实现非精确推理的方法

本文通过对模糊f-Horn子句的语义和推理机制的分析,提出了一种直接用Horn子句做非精确推理方法,并用Turbo Prolog编制了实例程序,对该方法做了检验。证明这种方法对于直接用Prolog语言编制需要做非精确推理的人工智能软件是可行的。     

基于Linux的小型网络入侵检测系统的设计与实现

采用C语言为程序设计语言,GTK为开发工具,MySQL为数据库平台,设计一个基于Linux的小型入侵检测系统.该系统的网络数据包捕获模块、网络协议分析模块、存储模块、响应模块、入侵事件检测模块、规则解析模块和界面管理模块等7个模块均获得实现.系统采用的技术路线和设计方法是有效和可行的.     

PASCAL程序设计的方法与技术

Pascal是一种计算机通用的高级程序设计语言。它是由瑞士NiklausWirth教授于60年代末设计并创立的。取名Pascal是为了纪念17世纪法国著名哲学家和数学系BlaisePascal（1622-1662年）。Wirth教授所设计的Pascal,是一种优良的程序设计教学语言,整个语言紧凑整齐,概念简洁,可方便地书写出结构化程序,它强调的是可靠性、易于验证性、概念的清晰性和实现的简化。Pascal具有丰富的数据结构和控制结构,可用来描述复杂的算法,得到高质量程序,其可读性好,查错能力强,有利于培养严谨、清晰的程序设计风格和良好习惯,并能从中领会和理解…     

浅谈利用VB和数据库建设习题库软件

根据工作实际,笔者开发了简单的习题库软件Visual Basic,简述了其题库模块设计流程等及程序开发,得出结论。它作为一种面向对象的程序设计语言,与传统的过程化程序设计语言相比,有许多新特点,并将很多基础课程习题进行共享使用,为教学工作节省了时间。     

LED无线通信网络系统软件设计

软件设计在Keil环境下采用C语言编程,用模块化程序设计的方法编写,先对无线模块的部分功能进行程序分析,然后对主控模块和显示模块进行具体的设计,将单片机的串口中断和数码管的动态显示等程序做了具体阐述。     

化工流程模拟程序自动生成及微机化

提出了一种借助系统模拟自动生成主控模块,实现通用化工流程系统模拟程序自动生成的方法。该方法使用系统模拟的主控模块,通过高级语言与批处理语言的嵌套,处理对特定化工过程的系统结构分析得到的有关系统分块、切断、计算顺序的信息,自动生成一套可执行系统模拟程序,从而避免了模拟程序的人工编写,并在微机上实现、该主控模块可用于序贯模块法和联立模块法等多种模拟策略。     

大型PROLOG系统查询优化技术

一、引言逻辑程序设计语言 PROLOG 是一种描述性语言,用户只需将问题求解所需的知识以子句形式提交系统,系统依靠自身的演绎求解机制可根据用户提供的知识求解出用户期望的结果。正因为如此,PROLOG 求解机制对用户查询的处理效率就成了构造实用 PROLOG 系统     

一种可用于新冠肺炎防控的红外测温枪

针对新冠疫情防控中体温测量安全性不高、统计不便等问题,以STM 32嵌入式芯片为核心,设计实现一种新的红外测温枪.硬件包括电源模块、按键模块、存储模块、红外数据采集模块、蓝牙模块等,软件包括嵌入式系统C语言程序和微信小程序.体温枪可准确、便捷地检测人体温度,同时可将体温测量结果通过蓝牙和网络通信储存到云端,供远程读取和历史数据查询,达到预防及减少人员接触的目的.     

基于MATLAB的FIR数字滤波器设计

数字滤波器是一种用来过滤时间离散信号的数字系统,根据其单位冲激响应函数的时域特性可分为两类：无限冲激响应（ⅡR）滤波器和有限冲激响应（FIR）滤波器。目前数字滤波器的设计有许多现成的高级语言设计程序,但它们的设计效率较低,不具有可视图形,不便于修改参数等缺点,而MATLAB语言正好能弥补以上缺点。本文就如何使用MATLAB语言来设计和实现FIR数字滤波器进行了探究。     

一种智能型血氧检测仪设计与实现

以STM 32单片机为主控芯片,设计实现一种智能型血氧检测仪.硬件包括电源电路、按键电路、存储电路、血氧检测模块、蓝牙模块等,软件包括嵌入式系统C语言程序和微信小程序.可准确、快速检测人体血氧饱和度,检测结果显示在液晶显示屏或手机上,同时可储存到云端,供远程读取和历史数据查询.     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

一种新型的程序设计语言——JAVA语言

ＪＡＶＡ语言是由ＳＵＮ公司设计的一种面向对象的新型程序设计语言。ＪＡＶＡ可用来开发能够在Ｉｎｔｅｒｎｅｔ上传输并可在网络任何一处运行的应用程序。文中主要介绍ＪＡＶＡ语言的主要特点及其应用，并简要介绍用ＪＡＶＡ语言进行编程的方法     

基于C语言的全自动智能电饭煲系统设计<sub>*</sub>

本文是基于市场的需求下,设计并实现具有从加米、加水到烹煮等一系列功能的全自动电饭煲。硬件方面采用stm32单片机作为主控单元进行了电路设计,设计的电路包括了进料、进水阀控制电路、电源电路、传送带控制电路等。同时加入了无线模块的通信方式以实现对电饭煲系统的远距离控制,引入并设计了人机交互模块和人机交互界面,实现了电饭煲系统的物联网化。软件方面基于C语言编写了各个功能程序,包括主程序在内的进料程序、中断处理程序、传送带控制程序、延时程序等等,通过软件编程实现了系统各部分之间的协调工作。     

基于C语言的全自动智能电饭煲系统设计

基于市场的需求,设计并实现具有从加米、加水到烹煮等一系列功能的全自动电饭煲。硬件方面采用stm32单片机作为主控单元进行电路设计,设计的电路包括了进料、进水阀控制电路、电源电路、传送带控制电路等。同时加入无线模块的通信方式以实现对电饭煲系统的远距离控制,引入并设计了人机交互模块和人机交互界面,实现了电饭煲系统的物联网化。软件方面基于C语言编写了各个功能程序,包括主程序在内的进料程序、中断处理程序、传送带控制程序、延时程序等,通过软件编程实现了系统各部分之间的协调工作。     

测绘程序开发类课程改革研究

文中深入分析了测绘程序开发类课程群教学中存在的问题,结合作者的教学经验和我校的具体做法,将CDIO工程教育理念引入测绘程序开发类课程群的设计和实施环节,设计了测绘程序开发类课程群的主要教学模块及内容,包括程序设计语言、数据库原理及应用、数据结构、Com GIS组件开发、GIS设计与实现和CASIO计算器编程等模块,提出了具有实践性的课程改革思路和建议,为相关院校测绘程序开发类课程的改革及创新型人才的培养提供参考。     

GB2828-81计数抽样检查方案组的计算机检索程序

本文是GB2828—81的计算机检索程序。它可用来检索GB2828—81提供的所有一次抽样方案组和二次抽样方案组.本程序是根据国家标准GB2828—81和计数调整型抽样检查方案的设计原理设计成的。为了便于推广,本程序是用袖珍电脑PC—1500的Baic语言编写的。如稍加修改,也可适用于其他机型.     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题，是第一个被证明是NPC的问题。本文主要把子句集进行分类，给出翻转定义、简单集定义，翻转同构定义，并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题.本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性.论文证明了可满足子句集的三个充要条件.并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法.