一:需求分析 1.本程序需掌握树和二叉树的概念及工作原理,运用其原理及概念完成实验.。 2.问题描述: 一个逻辑表达式如果对于其变元的任一种取值都为真,则称为重言式;反之,如果对于其变元的任一种取值都为假,则称为矛盾式;然而,更多的情况下,既非重言式,也非矛盾式。试写一程序,通过真值表判断一个逻辑表达式属于那一类。 3.基本要求: (1)逻辑表达式从终端输入,长度不超过一行。逻辑运算符包括“|”,“&”和“~”, 分别表示或、与和非,运算优先程度递增,但可以有括号改变,即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 (2)若是重言式或矛盾式,可以只“显示True forever”或“False forever”,否则显示“Satisfactible”以及变量名序列,与用户交互。若用户对表达式中变元取一组值,程序就求出并显示逻辑表达式的值。
上传时间: 2015-11-14
上传用户:sz_hjbf
硬盘FAT文件系统原理的详细分析 硬盘由很多盘片(platter)组成,每个盘片的每个面都有一个读写磁头。如果有N个盘片。 就有2N个面,对应2N个磁头(Heads),从0、1、2开始编号。每个盘片被划分成若干个同心圆磁道(逻辑上的,是不可见的。)每个盘片的划分规则通常是一样的。这样每个盘片的半径均为固定值R的同心圆再逻辑上形成了一个以电机主轴为轴的柱面(Cylinders),从外至里编号为0、1、2⋯ ⋯ 每个盘片上的每个磁道又被划分为几十个扇区(Sector),通常的容量是512byte,并按照一定规则编号为1、2、3⋯ ⋯ 形成Cylinders×Heads×Sector个扇区。这三个参数即是硬盘的物理参数。我们下面的很多实践需要深刻理解这三个参数的意义。
上传时间: 2013-12-05
上传用户:集美慧
简易逻辑分析仪的设计制作流程,完整的报告,和可行性分析
上传时间: 2014-01-27
上传用户:wxhwjf
在所有的应用软件当中,几乎都会提供打印结果的功能,但大部分的软件并不提供输出结果到文本文件功能(如速达,用友和金碟应用软件等能够打印,但不能将结果直接输出到文本文件 再比如一些与硬件配套的应用软件类似 PeakNet等软件,也只能打印,不能输出到文本文件)。有时候客户需要对这些结果进行再次处理分析和统计。传统的方法,只能把打印到纸上的数据手工输入电脑,再利用自己的统计分析软件来处理这些数据。如果这些数据量大,仅靠人工输入是不可能的。笔者经过探讨和测试,找到了一个方法,实现了他们的无缝连接。为方便起见,以下称本文最早提到提供打印结果功能的软件为软件A,对这些结果再次进行处理分析和统计的软件为软件B。
标签: 应用软件
上传时间: 2016-01-09
上传用户:litianchu
给出一个分治算法,计算两个n 位大整数的乘积。即A*B.并给出你的算法的复杂度分析。
上传时间: 2016-01-26
上传用户:磊子226
可编程逻辑器件的开发与应用实验教学大纲 本课程是高等院校电气、信息、通信类专业的一门技术基础课。通过本课程的学习,使学生获得数字系统设计和可编程逻辑器件方面的基本概念、基本知识和基本技能,培养他们对数字系统的分析与设计的能力,为后续课程的学习及今后的实际工作打下良好的基础。
上传时间: 2016-02-04
上传用户:希酱大魔王
炼钢厂作业管理子系统数据库设计 目录 1系统目标 1 1.1 背景介绍 1 1.2系统目标 2 2需求分析 3 2.1 组织结构分析 3 2.2业务流程分析 3 2.3数据流程分析 8 2.4数据字典 13 3概念结构设计 14 4 逻辑结构设计 18 5 物理结构设计 18
上传时间: 2016-03-14
上传用户:cc1015285075
【实验名称】递归子程序分析器的设计与实现 【实验目的和要求】 设计、编制,调试一个典型的语法分析程序,实现对如下的递归子程序语法的分析,进一步掌握常用的语法分析方法。 【实验内容】 ① 本分析程序所分析的文法如下: G[E]: E->eBaA A->a|bAcB B->dEd|aC C->e|dC ② 针对上述文法编写一递归子程序分析程序,该程序的输入是任意符号串,输出是本次输入的符号串是否是该文法的句子的结论。 【环境】 Windows Pc 机,任何版本的c语言 其中还包括java语言实现的程序
上传时间: 2013-12-25
上传用户:lanhuaying
华恒科技 HHCF5249-R3 技术手册 第一章 产品简介 第二章 软件系统 第三章 硬件系统 第四章 机械特性 第五章 底板的硬件设计 第六章 售后服务及技术支持 附录 附录A 初始化 附录B LINUX 常见术语 附录C 常用LINUX 命令 附录D GCC 与GDB 附录E MAKEFILE 附录F UCLINUX 系统分析 uClinux 简介 uClinux 小型化的做法 uClinux 的开发环境 uClinux 的内存管理 工具及内核 附录G 图形界面(GUI)接口函数API 附录H 参考资料
上传时间: 2013-12-24
上传用户:a6697238
本文首先分析了自动组卷系统在具体的教学活动过程中的实际需求,然后以高中英语的教学为背景,设计与实现了一个实际的自动组卷系统,对其中的数据库结构设计以及各个主要模块的实现进行了详细的介绍。本系统可以从试题库中自动的查找和组织出一些不同类型、不同难度、不同章节范围内的试题来组成一份合理的试卷。它采用的是利用试卷自动生成算法记录试题的一组特征值,根据用户提供的试卷题目类型、章节分布、难易程度等条件,借助于系统中的一系列数据文件,使具体课程的相关数据动态地抽象成逻辑数据,用以解决通用问题,线性的规划出一份约束满足的、合理的试卷。
上传时间: 2016-05-10
上传用户:2525775