离散数学题库管理系统
院（系）：
专业：
班级：
学号：
姓名：
指导教师：
20**年7月
摘要
题库、试卷建设是教学活动的重要组成部分，传统手工编制的试卷经常出现内容雷同、知识点不合理以及笔误、印刷错误等情况。为了实现离散数学题库管理的信息化而开发了离散数学题库管理系统。
该系统采用C/S 模式，前台采用JA V A（JBuilder2006），后台采用SQLServer2000数据库。本文详细论述了系统总体设计思想、数据库设计以及功能模块设计等。应用软件工程中的瀑布开发模型，开发实现了以下功能：题库的管理与维护、自动生成试卷、手工改动生成试卷、生成WORD试卷和答案。
离散数学题库管理系统能够实现离散数学题库管理的信息化，规范化和试卷生成的自动化，并且在操作上实现简单、方便、快捷。
关键词离散数学题库生成试卷
Abstract
The constructions of test library and examination paper are the important parts of teaching activities. The cases of similar content, illogical ken, and clerical or literal error, often occur in the manual-made paper. The development of this system is to make the management of the discrete mathematics test library more efficient.
The system applies C/S mode and JAVA (JBuilder2006) .The backstage applies SQLServer2000 database. This paper states the general design method, the design of the database and the function mode. By classic waterfall models of software development implemented the following functions: 1. management and maintenance of the test library; 2. make
a test paper automatically; 3. maintenance of the existed test paper;
4. generate WORD test paper and test answers.
The discrete mathematics test library management system can realize the management systematic, standardized and automatic and also make the operation easy, fast and convenient.
Key words discrete mathematics, test library, generate a test paper
目录
第1章概述 (1)
1.1题目的来源及背景 (1)
1.2研究意义 (1)
1.3软件工程瀑布模型介绍 (2)
第2章需求分析 (4)
2.1项目内容及要求 (4)
2.1.1 具体完成功能 (4)
2.1.2 实现目标 (4)
2.2可行性分析 (4)
2.2.1 经济可行性 (5)
2.2.2 技术可行性 (5)
2.3开发工具的论述 (6)
2.3.1 前台开发工具 (7)
2.3.2 后台数据库 (7)
第3章系统结构特性设计 (8)
3.1系统分析模型 (8)
3.2数据库设计 (10)
第4章系统行为特性设计 (14)
4.1软件结构设计 (14)
4.2功能子模块设计 (14)
4.2.1 教师登录模块 (15)
4.2.2 题库的管理与维护模块 (16)
4.2.3 试题查询模块 (19)
4.2.4 自动生成试卷模块 (20)
4.2.5 手工改动现有试卷模块 (24)
第5章系统测试 (26)
5.1系统测试方案 (26)
5.2测试结果分析与调试 (26)
结论 (29)
参考文献 (30)
致谢 (31)
第1章概述
1.1 题目的来源及背景
随着生产社会化趋势的扩大、科学技术的进步、人类知识总量的增长速度不断加快、以及市场竞争的日益激烈，使人们对信息的认识产生了根本性的变化。信息被列为与物质、能源并列的人类社会发展的三大资源之一。信息化水平已成为衡量一个国家现代化水平和综合国力的重要标志。我国也正处于改革开放进一步深化的环境下，因此我们应当抓住机遇，充分利用信息，扎实的做好信息管理系统的基础工作，建设开发较为先进的应用系统，加快我国信息化建设的步伐。
邓小平同志指出“教育要面向现代化、面向世界、面向未来”。信息社会的到来已预示着电脑网络会在教育技术现代化中扮演重要角色，在实施教育技术现代化的过程中我们深刻认识到，在教学及考试的过程中应用网络化的手段解决传统的教师出题已经迫在眉睫，系统就是建立在这个基础上才得以全面、健康地发展。
目前，大多数高等院校学生考试仍采用任课教师人工出题的方式，教务管理部门通常要求教师同时出多套试卷，其题量与难度要求相同，且要求近几年试题重复率不超过30%，并且要同时给出答案和评分标准，这样做给教师增加了很大的工作负担，并且若上下届学生的同一门课程由同一教师承担，则难免几届学生用相同几套试卷，很难保证试题的保密性。采用计算机信息管理技术与数据库技术，建立合理出题、公正阅卷和科学评价为一体的试题库管理系统，每次考试前由题库中题目随机生成试卷，则可较好地解决教考分离的问题，体现考试的公正性，也可将广大教师从繁重的命题工作中解放出来。
1.2 研究意义
随着科技发展和社会进步，尤其是计算机大范围的普及，计算机应用逐渐由海量数据处理转向大规模的事务处理和对工作流的管理，这就产生了以台式计算机为核心，以数据库管理系统为开发环境的管理信息系统，以及在大规模的事务处理和对工作流的管理等方面的应用。
教学评价是检验教学设计效果，修订和完善教学设计的一个基本因素。教学评价通过单元测验和最终考试环节来完成。题库、试卷是教育部本科评估的指标和观测点，随着5年一轮的本科教学评估活动的开展，对高等院校试卷的质量提出了更高的要求。采用传统的手工编制试卷方式，容易出现试卷题目与往年雷同、考核的知识点不合理或笔误、印刷错误等现象，也不能适应网络环境下的教学要求。
设计完成的题库管理与试卷自动生成系统的使用对象为教师。教师可以利用系统对不同课程建立题库并进行管理，根据不同的要求自动生成试卷和参考答案，使用系统提供的试卷自动生成功能可以大大提高试卷的质量，减轻教师的工作负担，提高教师的工作效率。
1.3 软件工程瀑布模型介绍
最初发表的软件工程开发过程起源于其他的工程过程。如下图所示，因为该图从一个阶段到另一个阶段逐次下降，这个模型因此以“瀑布模型”命名或软件生命周期模型。
图1.1 软件生命周期
模型中主要的阶段映射为一些基本的开发活动：
1、需求分析和定义
通过咨询系统用户建立系统的服务、约束和目标。并对其详细定义从而为系
统描述服务。
2、系统和软件设计
系统设计过程区分硬件和软件系统的需求。硬件设计是指建立一个总体的系统体系结构。软件设计包括识别和描述一些基本的软件系统的抽象及其之间的关系。
3、实现和单元测试
在这个阶段，软件设计是作为一组程序或程序单元实现的。单元测试就是检验每个单元是否符合其描述。
4、集成和系统测试
集成单个的程序单元或程序，并对系统整体进行测试以确保其满足需求。在测试之后，软件系统交付给客户使用。
5、运行和维护
正常情况下（虽然不是必须的），这是一个具有最长生命周期的阶段。系统被安装并且进入实际的使用中。维护包括改正在早期各阶段未被发现的错误，改善系统单元的实现，当新的需求出现时提高系统的服务能力。
原则上，每个阶段的结果是一个或多个经过核准的文件。直到上一个阶段完成，下一阶段才能启动。在实际的过程中，这些阶段经常是重叠和彼此间有信息交换的。在设计阶段，需求中的问题被发现；在编程阶段，设计问题被发现，以此类推。软件过程不是一个简单的线性模型，它包括开发活动的多个反复。
第2章需求分析
开发软件首先做的是开发过程中最主要的就是系统的需求分析，需求分析同时也是软件生存周期中关键的一步。根据软件工程学中开发软件的要求，对离散数学题库管理系统全部功能和相关的技术进行具体的分析，分析时采用结构化的分析方法，自顶向下、逐层分解问题。
2.1 项目内容及要求
根据此次项目的要求，主要完成对离散数学题库管理系统的设计。
2.1.1 具体完成功能
本系统具体完成的功能如下：
1)题库的管理与维护：新题的录入，修改，删除等功能。
2)生成试卷：包括自动生成与手工改动，要求可以对生成的试卷进行打印
和WORD排版，并且对生成的试卷能自动生成其参考答案。
其次还应考虑到试题的实际应用性，如：题目的覆盖率，雷同度，难度
系数及近三年内不能重题等问题。
2.1.2 实现目标
该系统具有较好的现实意义，特别是计算机发展迅速的今天，实现了由传统的手工化管理向信息化管理，充分的利用了计算机的强大计算能力。该系统界面美观、操作方便、简捷，对于没有操作经验的人员根据系统的提示也能很快的熟悉操作该系统。该系统具有实用性和通用性。
2.2 可行性分析
可行性分析是研究技术领域的经济问题和经济规律的科学，是研究一定技术条件下如何提高经济效果的科学，是技术与经济的交叉。其主要研究技术的经济效果问题，技术与经济的最佳组合问题。
2.2.1 经济可行性
由于该软件是一个小型的离散数学题库管理系统，所以进行该软件的开发经费和投资较少，只需一台普通的计算机即可，系统的开发并不太复杂和繁琐，操作尽可能简单易行。在开发过程中，由一个人独立开发，用时三个月左右，所需成本费用主要为人工费用，再加上计算机和软件等构成该系统的开发成本。
经济上的合理性：在系统开发上，现在普通的计算机市场价4000元左右，操作系统是Windows XP加上Microsoft Office其正版软件也不过5000元，数据库采用SQL Server2000，前端采用JBuilder2006。开发人员1名（假设月薪1500），开发本软件如果是网络开发的技术人员最多1个月，开发费用合计大概是10000元左右，且计算机和软件可重复使用。选择自行开发系统，既节省了费用，又可以使本软件符合我们自己的要求并拥有及源码，使以后系统的可扩展性也很大。
2.2.2 技术可行性
由于该系统是小型的离散数学题库管理系统，采用C/S模式，开发难度适中。通过对各种开发工具和数据库之间进行比较以及指导老师的建议，最终确定采用JA V A（Jbuilder2006）。数据库方面则选用了SQL Server2000进行设计。
C/S是指：客户/服务器。其主要由客户机、服务器、网络三要素主成。用户在个人机（客户机）上工作，可以与中心计算机（服务器）互相通信。网络软件则保证客户机和服务器互相连通。C/S结构的最大优点是具有强大的使用和处理数据的能力，它将数据处理任务分开在客户端和数据库服务器上进行，有利于充分利用网络的计算资源，该操作还大大减少了网络的传输量，从客户发往数据库服务器的只是查询请求，从数据库传回的只是查询的结果。以简单的两层客户机/服务器系统而言，客户端是指应用软件以图形接口显示数据并让用户进行添加、修改等并行输入输出作业的部分，也就是用户接口负责向后端的数据库索取数据，执行客户端软件的工作。服务器所执行的后端数据库服务器，则专门执行数据的存储、检索、管理、备份等种种关键操作。C/S体系结构图如图2.1。
客户
网络
服务器
图2.1 C/S体系结构图
数据库的设计是以关系型数据库理论作为指导，将数据库建立在服务器上，应用程序则运行在客户机/服务器体系结构中的客户机上。
关于JAVA生成WORD文件的技术，虽然Sun公司的JDK开发包中本身没有提供该功能，但是可以利用JACOB开源类库实现。JACOB是一个JAVA到微软的COM 接口的桥梁。使用JACOB允许任何JVM访问COM对象，从而使JAVA应用程序能够调用COM对象。可以利用它对MS Word、Excel进行处理，目前最新公开版本是1.10.1。
以上的这些技术已经较为成熟，并且在诸多的领域中得到了有效的验证。有了这样的技术支持，也为离散数学题库管理系统开发的最终成功奠定了坚实的基础。
2.3 开发工具的论述
本软件为离散数学题库管理系统，是C/S模式的信息管理系统。前台采用JA V A技术, 后台采用SQL Server 2000数据库, 操作系统采用Windows XP。
软件综合课程设计报告题目：某公司员工管理系统 院（系）：计算机科学与工程 专业：计算机科学与技术 班级：120605 学生：冯凯 学号：120605102 指导教师：姜虹 2015年09月
目录 中文摘要 (1) 英文摘要 (2) 1 绪论 (1) 1.1 研究背景 (1) 1.2 本课题研究现状 (1) 2 企业信息管理系统分析................................................ . (3) 2.1需求分析 (3) 2.2 技术可行性 (4) 2.3 环境可行性分析 (5) 2.4 系统结构可行性分析 (6) 3 企业信息管理系统设计 (9) 3.1 数据库设计 (9) 3.2 系统功能模块详细设计 (10) 4 系统实现 (11) 4.1 用户操作文件总体架构 (11) 4.2 技术难点 (13) 5 系统测试 (14) 5.1 界面测试 (14) 5.2 功能测试 (14) 5.3 需求测试 (15) 5.4 性能测试 (15) 5.5 企业员工信息管理系统的测试 (15) 6 结论 (16) 致谢 (17) 参考文献 (18) 毕业设计（论文）独创性声明 (18) 附录 (19)
某公司员工管理系统 摘要 在当今社会，互联网空前的发展，给人们的工作和生活带来了极大的便利和高效，信息化，电子化已经成为节约运营成本，提高工作效率的首选。考虑到当前大量企业的企业员工管理尚处于手工作业阶段，不但效率低下，还常常因为管理的不慎而出现纰漏。因此根据部分企业提供的需求，设计此企业企业员工管理系统，以帮助企业达到企业员工管理办公自动化、节约管理成本、提高企业工作效率的目的。 根据实际需求，“企业员工信息管理系统”项目采用模块化的设计思想，在Windows 操作系统环境下，搭建JSP运行环境JDK+TOMCAT，通过使用JAVA脚本语言完成动态的、交互的web服务器应用程序，实现员工个人信息查询、个人业绩查询及用户密码修改功能。 本系统具有多方面特点：系统功能完备，用户使用方便简捷，人性化的用户界面，安全保密设置齐全，大大减少了操作人员和用户的工作负担，提高了企业员工信息管理的工作效率和企业的信息化的水平。 关键词：java；员工管理；
浅论离散数学的实际应用 摘要： 离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。作为一门重要的专业基础课，对于我们电子专业的同学来说，学习离散数学史有其重要现实意义：它不仅能为我们的专业课学习打下基础，也为我们今后将要从事的软、硬件开发和应用研究打下坚实的基础，同时也有助于培养我们的抽象思维、严格的逻辑推理和创新能力。离散数学的应用非常广泛，本文主要研究其在我们所学的重要课程中的应用：数字电路中的门电路设计、软件技术基础中的一些技术以及解决现实生活中的一些问题的应用。 关键字：离散数学、电路设计、软件技术、应用 1.什么是离散数学 1.1简介 离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。1.2离散数学的内容 离散数学是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域，它通常研究的领域包括：数理逻辑、集合论、代数结构、关系论、函数论、图论、组合学、数论等。 2.离散数学在门电路设计中的应用 2.1 逻辑门的概念 逻辑门是集成电路中的基本组件。简单的逻辑门可由晶体管组成。这些晶体管的组合可以使代表两种信号的高低电平在通过它们之后产生高电平或者低电平的信号。高、低电平可以分别代表逻辑上的“真”与“假”
(此文档为word格式，下载后您可任意编辑修改！) 华南农业大学 软件开发技术实践 课程设计实验报告 小组成员： 教师：林毅申 提交日期： 2013年11月30日
华南农业大学信息学院 课程设计
1、基本信息 1.1 小组基本信息 1.2 项目基本信息 这次我们小组开发的是一个面向一所大学内的任课老师以及在校学生的题库管理系统。作为数字化校园的一部分，该系统的主要的功能包括为教师用户提供的查阅题库，新组试卷功能和面向学生的在线考试功能。题库分为两部分，一部分是之前教师利用组卷功能得到并保存的试卷，一部分是不同类型的题目。题目范围为学校内各门课程期末考试的试题，包括公共基础课以及各学院开设的不同课程。题目不仅包括普通的文字类题目，还包括一些包含复杂元素如图片，特殊公式等的题目，做到基本兼容现在学校内能看到的题目。 考虑到小组成员的技术水平以及项目的实际需要，该系统是采用C/S模式。为提高效能，服务器方面采用IOCP模型，客户端采用WPF技术来改善Winform在界面上的劣势。 1.3 项目技术信息
2、系统架构图 注：实线表示数据传输方向，虚线表示模块间调用关系，由被调用者指向调用者 服务器程序: 数据加密模块： 采用一种加密算法，（具体哪种算法等系统实现时，再进行确定），将即将发送的数据进行加密。保证数据再传输过程中的安全性。与客户端中的数据加密模块原理一样。 数据解密模块： 采用与加密算法相对应的解密算法，将接受到数据，进行解密，还原得到原始的数据。与客户端中的数据解密模块原理一样。 消息队列： 为了能实现同时让尽量多的客户连接到服务器，所以不使用一线程处理一客户模型的服务器。这里的消息队列是将所有用户对服务器的各种请求按照先进先出的规则排列起来。等待处理。如果实现是使用windows io完成端口和对应的SOCKET进行绑定，这个消息队列是由系统生成和维护的。 工作者线程池： 线程池用于维护和管理服务器中所有以工作者身份存在的线程，工作者线程就是用来处理客户请求的线程。线程池的线程会互斥的到消息队列中取出对应的客户请求进行处理。没有请求时候，所有线程都处于阻塞状态等待消息队列中出现客户请求。当工作者线程获得客户请求的时候会按顺序去调用数据解密模块，数据传输格式解析模块，业务逻辑处理模块，加密发送数据模块。 数据传输格式解析模块： 数据在网络传输的过程中，我们给它规定特定的格式。通过该模块，服务器可以清楚的知道，客户需要服务器为他实现哪些功能。但是这里解析的数据需要通过解密之后，才能解析。对应的客户端想要与服务器进行交互，就需要使用这个特定的格式发送数据。 业务逻辑处理模块： 这个模块就是服务器具体工作的模块，模块中包含服务器能够为客户端提供的所有服务。工作者线程通过解析数据格式，知道客户的需求，再从这个模块中调用指定的服务。这个模块也是直接和数据库进行交互的模块。 数据发送加密模块： 业务逻辑模块处理完客户的请求的服务之后，需要为客户返回处理后的结果。可能是简单的操作成功和失败的返回结果，也可能是直接数据的传输。和加密模块结合在一起，说明数据发送前需要进行加密。 数据库模块： 采用sql server做数据库管理，https://www.doczj.com/doc/b214680474.html,技术实现面向业务层的接口。
离散数学考试试题（A 卷及答案） 一、（10分）求(P ↓Q )→(P ∧?(Q ∨?R ))的主析取范式 解：(P ↓Q )→(P ∧?(Q ∨?R ))??(?( P ∨Q ))∨(P ∧?Q ∧R )) ?(P ∨Q )∨(P ∧?Q ∧R )) ?(P ∨Q ∨P )∧(P ∨Q ∨?Q )∧(P ∨Q ∨R ) ?(P ∨Q )∧(P ∨Q ∨R ) ?(P ∨Q ∨(R ∧?R ))∧(P ∨Q ∨R ) ?(P ∨Q ∨R )∧(P ∨Q ∨?R )∧(P ∨Q ∨R ) ?0M ∧1M ?2m ∨3m ∨4m ∨5m ∨6m ∨7m 二、（10分）在某次研讨会的休息时间，3名与会者根据王教授的口音分别作出下述判断： 甲说：王教授不是苏州人，是上海人。 乙说：王教授不是上海人，是苏州人。 丙说：王教授既不是上海人，也不是杭州人。 王教授听后说：你们3人中有一个全说对了，有一人全说错了，还有一个人对错各一半。试判断王教授是哪里人？ 解 设设P ：王教授是苏州人；Q ：王教授是上海人；R ：王教授是杭州人。则根据题意应有： 甲：?P ∧Q 乙：?Q ∧P 丙：?Q ∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以，丙至少说对了一半。因此，可得甲或乙必有一人全错了。又因为，若甲全错了，则有?Q ∧P ，因此，乙全对。同理，乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为： ((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此，王教授是上海人。 三、（10分）证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系，则tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系，则由闭包的定义知r (R )?' R 。则sr (R )?s ('R )＝'R ，进而有tsr (R )?t ('R )＝'R 。
数学小论文范文 随着课程改革的不断深入，新课程理念与课堂教学实践正在逐步融合，逐步改变了以教师、课堂或课本为中心的局面，促进了学生 创新意识与实践能力的发展，学生的学习产生了实质性的变化。那么，在课堂教学中如何使学生主动探索在课堂上显现呢?下面结合本 人的教学实践，谈几点体会及做法。 一给学生提供可探索的材料和可探索的学习内容 二给学生提供良好的学习背景和可探究的学习情境 在课堂教学中，教师应结合教学内容为学生的学习，创设良好的学习背景和可探究的学习情境，让学生在数学知识的广阔背景中更 好地建构知识的意义，并感受数学与生活实际的密切联系，体会数 学的价值，让学生的数学学习活动真正变为学生自己探究的创新过程。如，在教学“百分数的意义”时，可为学生创设这样的学习背景：“有甲乙丙三位工人师傅，甲每加工25个零件，有23个及格，乙加工20个零件，有19个及格，丙加工50个零件，有47个及格。如果有一批零件要其中一位师傅加工，你会选择谁?”通过探究，使 学生认识到这个现实问题实际上可转化成“求谁的合格率高”这一 数学问题。又如，教学“分数的基本性质”时，我有意识地给学生 提供以下的可探究学习情境：上课开始，我拿着一捆36本课外书， 从容地走进课堂。同学们在猜想：这节课老师让我们看课外书了。 于是我指着这捆课外书说：“这36本课外书，我要分给你们三个小组，要求让第一组分得这捆书的三分之一，第二小组分得这捆书的 六分之二，第三小组分得这捆书的九分之三，请同学们说一说，这 样分法合理不合理，谁分得多?谁分得少?结果分完没有?”这样问题 的创设，调动了学生思维的积极性，探究活动立即在课堂上显现， 有的按照自己的思路去画线段图，有的一会儿测量，有的一会儿皱 眉思索，兴趣盎然，学生会心地笑了，一样多。这时，学生又产生 困惑，为什么会一样多呢?最后经过引导探究，得出“分数的基本性质”。
试题库管理系统 （伊犁师学院计算机系，XX 伊宁835000） 摘要：随着计算机办公自动化程度的不断提高，开发各种数据库管理应用软件用于各种工作中能有效地提高工作效率，节省时间，能使学校的教学工作上一个新的台阶。传统的人工命题形成试卷，往往会出现大量的重复劳动，并且形成的试卷因出卷人的不同其质量会差距很大，这样一来会直接导致考试结果波动很大，使考试的科学考评效果大幅度降低，这也往往引起学生和教师的广泛议论和关注，解决这一早就出现的问题一直是许多人的迫切愿望，由于各种考试名目繁多，试卷容广杂，使出卷难度加大，要出一份好试卷更是难上加难；另外，许多基础学科容长期不变或基本不变，这就使建立试题库成为非常必要和可能。通过筛选、总结、修正，使以往大量优秀的试题进入试题库，继承了前人辛勤的劳动和智慧的结晶，也顺应了标准化命题的要求。 本系统是在WINDOWS98平台上，以Visual Basic6.0为工具，利用OLE等技术设计实现了一个试题库管理系统。系统设有特权用户（Supervisor），对系统的所有资源实施管理；一般用户只可选择访问已经授权可访问的资源。为试卷选题可通过人工进行，也可给出各种具体的条件，然后由程序自动来选定完成。试卷容是文本文档处理的各种数据。 关键词：OLE；试题库；试卷生成；试卷管理 中图分类号：TP311 应用Visual Basic6.0可视化编成工具开发软件速度快，界面实现简单方便，具有高可靠性、便于维护调试和高效率等突出优点。在深入学习和研究了Visual Basic6.0这一可视化继承开发环境的基础上和在参阅了大量文献资料的基础上，同时了解到我国大、中学校录取新学生、考察学生学习情况的手段主要还是通过考试，而每次考试，都要花费老师大量的心血去筛选试题、组织试卷、整理试题答案等。根据这些情况，我们开发设计了该《试题库管理系统》应用软件，以实现课程的试题库管理和处理，相信它必将在教学中发挥积极的作用。 1.概述 1.1研究背景 1. 随着计算机办公自动化程度的不断提高，开发各种数据库管理应用软件用于各种工作中
离散数学论文 —浅谈离散数学的学习及其在计算机中的应用一、对离散数学学习的认识 通过这一学期的学习，我对这门课程有一些初步的了解，现在的心情和当初也很不相同。在听过老师讲解以后，我觉得第一部分的数理逻辑自己都能很好的掌握。后面的开始深入一些，对于好多以前没有接触过的名词定义不能马上理解，但是只要跟着老师的思维走，上课认真听讲，课后看一下书本就能懂。有了这些认知，我觉得这门课的难点在于课程比较枯燥，好多理论的知识需要我们去理解。前五章主要是认识逻辑语言符号，了解了数理逻辑的特点，并做一些简单的逻辑推理和运算。第二部分讲的是集合论。在这一部分中进一步认识、运用数理逻辑语言，熟练强化练习，深入理解。这一章的难度相较于前几章要繁琐些，有很多的符号转换，运算，运算过程很复杂。对于计算能力不强的我来说，这一章或许是最吃力的，即使知道原理也需要通过大量的练习强化巩固，而这其中用到的还有线性代数里面的矩阵。在第三部分的代数结构中主要学习了代数系统、群与环，其中二元运算和代数系统有点难度，较以往学习非常吃力！第五部分的图论可以归结为本书的重点之一，“图”“树及其应用”又是其中的重中之重。它的用途非常广泛，并且应用于我们整个日常生活中。比如：一个计算机芯片需要多少层才能使得同一层的路线互不相交？一位流动推销员要以怎样的顺序到达每一个城市才能使得旅行时间最短？这些问题以及其他一些实际问题都涉及“图论”。 这里所说的图并不是几何学中的图形，而是客观世界中某些具体事物间
联系的一个数学抽象，用顶点代表事物，用边表示各式物间的二元关系，如果所讨论的事物之间有某种二元关系，我们就把相应的顶点练成一条边。这种由顶点及连接这些顶点的边所组成的图就是图论中所研究的图。 树是指没有回路的连通图。它是连通图中最简单的一类图，许多问题对一般连通图未能解决或者没有简单的方法，而对于树，则已圆满解决，且方法较为简单。而且在许多不同领域中有着广泛的应用。例如家谱图就是其中之一。如果将每个人用一个顶点来表示，并且在父子之间连一条边，便得到一个树状图。 通过对图论的初步理解和认识，我深深地认识到，图论的概念虽然有其直观、通俗的方面，但是这许多日常生活用语被引入图论后就都有了其严格、确切的含义。我们既要学会通过术语的通俗含义更快、更好地理解图论概念，又要注意保持术语起码的严格。 本以为枯燥乏味的离散数学竟然会是贴近生活是我意想不到的，这些历史难题等等，都让我对它产生了一定的兴趣，虽然不可否认的是，对我来说它确实是一门很难很深奥很抽象的课程，但是仍然不减我对图论产生的兴趣，或许这也就是我选择这门课程最大的收获吧。 二、离散数学在计算机中的应用 离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。作为一门重要的专业基础课，对于我们计算机专业的同学来说，学习离散数学史有其重要现实意义：它不仅能为我们的专业课学习打下基础，也为我们今后将要从事的软、硬件开发和应用研究打下坚实的基础，同时也有助于培
离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】
326《离散数学》期末考试题(B ) 一、填空题(每小题3分，共15分) 1.设,,},,{{b a b a A =?}，则-A ? = ( )，-A {?} = ( )， )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素，则A 上的二元关系有( )个，其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ，对于其上的整除关系“|”，元素( )不存在补元. 5.当n ( )时，n 阶完全无向图n K 是平面图，当当n 为( )时，n K 是欧拉图. 二．1. 若n B m A ==||,||，则=?||B A ( )，A 到B 的2元关系共有( )个，A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)}，则( )是单射，( )是满射，( )是双射. 3. 下列5个命题公式中，是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(； (2))(q p p ∨→； (3))(q p p ∧→； (4)q q p p →∨∧?)(； (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合，“|”是其上的整除关系，则3的补元( )，4的补元( )，6的补元( ).
题目：学生信息管理系统学科专业：计算机科学与技术
摘要 学生信息管理系统是一个教育单位不可缺少的部分，它的内容对于学校的决策者和管理者来说都至关重要。 本文介绍了学生信息管理系统的开发整个过程，阐述了系统分析、系统设计、数据库设计和系统实施的全过程。在开发方法上本系统利用了软件工程化的思想和方法，总体上采用结构化生命周期开发方法，具体模块实施采用了原型法和面向对象系统开发方法。并采用https://www.doczj.com/doc/b214680474.html,2005作为开发工具，SQL Server 2000作为后台数据库。本系统具有学生档案管理,班级管理,课程管理,成绩管理，专业管理等模块,可分别完成日常学生档案，班级信息，课程信息，成绩信息的添加、修改、删除、查询、打印等功能。 本人在此次毕业设计中主要对“学生课程管理”，“学生成绩管理”，“学生档案管理”，“补助管理”四个模块进行了具体设计。 【关键字】： 信息管理系统、生命周期、软件工程、原型法。
summary Student Information Management System is an educational unit indispensable part of its content for the schools, policy makers and managers are essential. This paper introduces the student information management system for the development of the whole process, described the syste m analysis, system design, database design and system implementation of the entire process. In the development of methods on the use of the software engineering system of thinking and methods used on the whole structure of the life cycle of development methods, the use of specific modules of the prototype system development and object-oriented approach. Visual https://www.doczj.com/doc/b214680474.html,2005 and used as a development tool, SQL Server 2000 as a background database. This system has the student records management, class management, curriculum management, performance management, professional management, and other modules, can be completed daily student records, class information, information on the courses, the results of information add, edit, delete, query, print, and other functions. I graduated in the design of the main "student curriculum management," "Student performance management," "student records management," "grant management" four modules of a specific design. [Keyword]:Manage Information management system, the life-cycle, software engineering, prototype.
摘要 试题库管理系统可辅助教师对所教科目的各种试题的题型、知识点、难度等相关资料进行保存、查询等信息管理；并在需要对学生进行测验、评估的时候，从题库中抽取出相应要求的题目，组成一套试卷。 经过分析如此情况，我使用Sybase公司的PowerBuilder7.0开发工具，利用其提供的各种面向对象的开发工具，尤其是数据窗口这一能方便而简洁操纵数据库的智能化对象，首先在短时间内建立系统应用原型，然后，对初始原型系统进行需求迭代，不断修正和改进，直到形成学校管理者满意的可行系统。本文首先简要介绍了开发试题库管理系统的可行性分析，Powerbuilder7.0的功能和特点，然后主要针对系统的设计、组成、用户界面设计、程序设计进行了详细分析，并对系统部分关键性代码进行了讲解，同时对一般系统软件设计的基本思想及工作流程给出了方法技巧。首先在短时间内建立系统应用原型,然后,对初始原型系统进行需求迭代,不断修正和改进,直到形成用户满意的可行系统。
关键字：试题库试卷数据窗口 Abstract Test question storeroom management the system can lend support to the teacher to the category taught of every kind of try's the type, knowledge point, difficulty etc. the related data proceeds keep, search etc. information management; Combine at the time that the demand proceeds to student test, valuation, from for test question inside take outing the correspond requesting subject, constitute a the set try book. Pass by the analysis such the circumstance, I use the Sybase company PowerBuilder7.0 to develop the tool, and make use of its
《离散数学》试卷（A 卷） 一、 选择题（共5 小题，每题 3 分，共15 分） 1、设A={1,2,3},B={2,3,4,5},C={2,3},则C B A ⊕?)(为(C )。 A 、{1,2} B 、{2,3} C 、{1,4,5} D 、{1,2,3} 2、下列语句中哪个是真命题 ( A ) A 、如果1+2=3，则4+5=9； B 、1+2=3当且仅当4+5≠9。 C 、如果1+2=3，则4+5≠9； D 、1+2=3仅当4+5≠9。 3、个体域为整数集合时，下列公式（ C ）不是命题。 A 、)*(y y x y x =?? B 、)4*(=??y x y x C 、)*(x y x x =? D 、)2*(=??y x y x 4、全域关系A E 不具有下列哪个性质（ B ）。 A 、自反性 B 、反自反性 C 、对称性 D 、传递性 5、函数612)(,:+-=→x x f R R f 是（ D ）。 A 、单射函数 B 、满射函数 C 、既不单射也不满射 D 、双射函数 二、填充题（共 5 小题，每题 3 分，共15 分） 1、设|A|=4，|P(B)|=32，|P(A ?B)|=128，则|A ?B|=??2???.
2、公式)(Q P Q ?∨∧的主合取范式为 。 3、对于公式))()((x Q x P x ∨?，其中)(x P ：x=1， )(x Q ：x=2，当论域为{0,1,2}时，其真值为???1???。 4、设A ＝{1,2,3,4}，则A 上共有???15????个等价关系。 5、设A ＝{a ，b ，c }，B={1,2},则|B A |= 8 。 三、判断题（对的填T ，错的填F ，共 10 小题，每题 1 分，共计10 分） 1、“这个语句是真的”是真命题。 （ F ） 2、“张刚和小强是同桌。”是复合命题。 （ F ） 3、))(()(r q q p p ∧?∧→?∨是矛盾式。 （ T ） 4、)(T S R T R S R ??????。 （ F ） 5、恒等关系具有自反性，对称性，反对称性，传递性。 （ T ） 6、若f 、g 分别是单射,则g f ?是单射。 （ T ） 7、若g f ?是满射，则g 是满射。 （ F ） 8、若A B ?，则)()(A P B P ?。 （ T ） 9、若R 具有自反性，则1-R 也具有自反性。 （ T ） 10、B A ∈并且B A ?不可以同时成立。 （F ） 四、计算题（共 3 小题，每题 10 分，共30 分） 1、调查260个大学生，获得如下数据：64人选修数学课程，94人选修计算机课程，58人选修商贸课程，28人同时选修数学课程和商贸课程，26人同时选修数学课程和计算机课程，22人同时选修计算机课程和商贸课程，14人同时选修三门课程。问 （１）三门课程都不选的学生有多少？ （２）只选修计算机课程的学生有多少？
《离散数学》课程总结论文 专业：11级计科系计本三班姓名：学号：1104013045 一．课程小结 从学离散数学这门课程开始，到现在学期末也已经有了一个学期的认识。以下是对离散数学这门课程的总结： 第一部分：数理逻辑 1.首先我们学习了命题逻辑的基本概念。其实这一部分的内容在高中时已经讲过。其次.命题公式及其赋值，这一小结主要讲的是什么是合式公式以及命题的解释和成真赋值、成假赋值等。 2.命题逻辑等值演算。在这一章节中主要介绍了一些重要的等值公式，例如德摩根律和蕴含等值式等，然后介绍的就是什么是析取范式与析取范式，又进一步的引出主析取范式与主合取范式的概念。另外一个知识点为连接词的完备集。 3.命题逻辑的推理形式。就是如何去证明推理的正确性。这需要我们记住一些重要的推理定律。然后是自然推理系统。推理的一些构造证明的方法有附加前提证明法和归谬法等等。 4.一阶逻辑基本概念。主要说的是一阶逻辑命题的符号化和一阶逻辑公式及其解释。 5.一阶逻辑等值演算与推理，这节知道量词如何消去和一些基本的量词等值式就可以了。 第二部分：集合论 1.集合代数。这一章节中首先讲的是集合的基本概念和运算等等，其中大部分的知识我们高中的时候都已经接触过了。其中要知道什么是绝对补集，对称差集和绝对补集就可以了。 2.二元关系。要知道二元关系首先要知道什么是有序对和笛卡尔集，这是二元关系的基础。然后要清楚二元关系的表示方法有三种，即集合表达式、关系矩阵和关系图。知道了二元关系，紧接着就是关系的运算和性质。关系的性质有自反性、反自反性、对称性、反对称性和传递性。还有就是关系的闭包，其中包括自反闭包、对称闭包和传递闭包。最后一点就是偏序关系和等价关系，还需要知道哈斯图并且会画哈斯图。 第三部分：代数结构 1.代数系统。首先要能够判断一个运算是否为一个集合上的二元运算。在二院运算的基础上，要知道和能够判断单位元、零元和逆元。2群与环。在这一小节中首先要会判断一个代数系统是否为群。在也是这一章节的核心内容。如果一个代数系统，其二元运算时可结合的，又含有单位元，并且集合中的每个元素都有逆元，则此代数系统叫做群。 第四部分：图论 1.图的基本概念。其实在这一章节中，内容多数为一些基本概念。这就需要我们熟练的去掌握。只有清楚了概念才能够做题，比如说什么是有向图、零图、无向图和空图等等。另外图的矩阵表示在这一章节是尤为重要的。其中包括无向图的关联矩阵、有向图的关联矩阵、有向图的邻接矩阵和可达矩阵等。 2.欧拉图与哈
摘要 汇编语言试题库管理系统是信息管理系统,其开发的功能主要包括：通过计算机管理题库档案，过强大的查询和索检高效的索检出数据，提高办事效率。使用 MICROSOFT公司的 ACCESS作为后台数据库,设计数据库，使用 MICROSOFT 公司的 VISUAL C++ 6.0开发工具，利用其提供的各种面向对象的开发工具, 使用ADO控件连接数据库，开发出产品。 关键字：题库管理系统，VISUAL C++ 6.0,数据库。
Abstract A database management system is the information management system, the function that it develop mainly includes:Pass a database of the calculator management file, lead the strong search and the checks efficiently of checking a data, raise to handle affairs the efficiency. The ACCESS that uses the company of MICROSOFT is the backstage database, the design database, use the VISUAL C++ 6.0 development tool of the company of MICROSOFT, make use of various development tool that faces to the object of what it provide, use the ADO to control a conjunction database, develop to produce the article. Keywords: Database management system ，VISUAL C++ 6.0, Database.
一．判断题（共10小题，每题1分，共10分） 在各题末尾的括号内画 表示正确，画 表示错误： 1．设p、q为任意命题公式，则(p∧q)∨p ? p ( ) 2．?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3．初级回路一定是简单回路。( ) 4．自然映射是双射。( ) 5．对于给定的集合及其上的二元运算，可逆元素的逆元是唯一的。( ) 6．群的运算是可交换的。( ) 7．自然数集关于数的加法和乘法
列为。 19．n阶无向简单连通图G的生成树有条边。 20．7阶圈的点色数是。 三、运算题（共5小题，每小题8分，共40分） 21．求?xF(x)→?yG(x,y)的前束范式。 22．已知无向图G有11条边，2度和3度顶点各两个，其余为4度顶点，求G 的顶点数。 23．设A={a,b,c,d,e,f}，R=I A?{
贵阳学院 2008届本科生学士学位论文 题目：学生信息管理系统 学科专业：计算机科学与技术 指导教师：欧阳柏成 学生： 学号： 4302010 中国﹒贵州﹒贵阳 2008 年 4 月
摘要 学生信息管理系统是一个教育单位不可缺少的部分，它的内容对于学校的决策者和管理者来说都至关重要。 本文介绍了学生信息管理系统的开发整个过程，阐述了系统分析、系统设计、数据库设计和系统实施的全过程。在开发方法上本系统利用了软件工程化的思想和方法，总体上采用结构化生命周期开发方法，具体模块实施采用了原型法和面向对象系统开发方法。并采用https://www.doczj.com/doc/b214680474.html,2005作为开发工具，SQL Server 2000作为后台数据库。本系统具有学生档案管理,班级管理,课程管理,成绩管理，专业管理等模块,可分别完成日常学生档案，班级信息，课程信息，成绩信息的添加、修改、删除、查询、打印等功能。 本人在此次毕业设计中主要对“学生课程管理”，“学生成绩管理”，“学生档案管理”，“补助管理”四个模块进行了具体设计。 【关键字】： 信息管理系统、生命周期、软件工程、原型法。
summary Student Information Management System is an educational unit indispensable part of its content for the schools, policy makers and managers are essential. This paper introduces the student information management system for the development of the whole process, described the system analysis, system design, database design and system implementation of the entire process. In the development of methods on the use of the software engineering system of thinking and methods used on the whole s tructure of the life cycle of development methods, the use of specific modules of the prototype system development and object-oriented approach. Visual https://www.doczj.com/doc/b214680474.html,2005 and used as a development tool, SQL Server 2000 as a background database. This system has the student records management, class management, curriculum management, performance management, professional management, and other modules, can be completed daily student records, class information, information on the courses, the results of information add, edit, delete, query, print, and other functions. I graduated in the design of the main "student curriculum management," "Student performance management," "student records management," "grant management" four modules of a specific design. [Keyword]:Manage Information management system, the life-cycle, software engineering, prototype.
分类号图论密级公开UDC081202编号 计算机科学与技术学院 离散数学及其应用结课论文 图划分方法及其在社会网络分析和佩奇网站排名的应用 李英儒涂超杨凯航张蔚樊哲 指导教师张爱华教授 华中科技大学计算机科学与技术学院 班级计算机科学2013创新实验班 学科专业名称计算机科学与技术 学科名称离散数学及其应用论文提交日期2014年11月学院名称计算机科学与技术学院 学校名称华中科技大学
Typeset by Ying-Ru Li using L A T E X2εat November20,2014 With package CASthesis v0.2of CT E https://www.doczj.com/doc/b214680474.html,
The Methods of Graph Partition and Its Applications in Social Network Analysis and PageRank Ying-Ru Li Chao Tu Kai-Hang Yang Wei Zhang Zhe Fan Supervisor: Prof.Ai-Hua Zhang Computer Science and Technology School of Computer Science and Technology Huazhong University of Science and Technology November,2014 Essay about Discrete Mathematics and Its Applications of ACM Class of Computer Science,2013 in Computer Science and Technology
试题库管理系统毕业论 文 WEIHUA system office room 【WEIHUA 16H-WEIHUA WEIHUA8Q8-
试题库管理系统 （伊犁师范学院计算机系，新疆伊宁 835000） 摘要：随着计算机办公自动化程度的不断提高，开发各种数据库管理应用软件用于各种工作中能有效地提高工作效率，节省时间，能使学校的教学工作上一个新的台阶。传统的人工命题形成试卷，往往会出现大量的重复劳动，并且形成的试卷因出卷人的不同其质量会差距很大，这样一来会直接导致考试结果波动很大，使考试的科学考评效果大幅度降低，这也往往引起学生和教师的广泛议论和关注，解决这一早就出现的问题一直是许多人的迫切愿望，由于各种考试名目繁多，试卷内容广杂，使出卷难度加大，要出一份好试卷更是难上加难；另外，许多基础学科内容长期不变或基本不变，这就使建立试题库成为非常必要和可能。通过筛选、总结、修正，使以往大量优秀的试题进入试题库，继承了前人辛勤的劳动和智慧的结晶，也顺应了标准化命题的要求。 本系统是在WINDOWS98平台上，以Visual 为工具，利用OLE等技术设计实现了一个试题库管理系统。系统设有特权用户（Supervisor），对系统的所有资源实施管理；一般用户只可选择访问已经授权可访问的资源。为试卷选题可通过人工进行，也可给出各种具体的条件，然后由程序自动来选定完成。试卷内容是文本文档处理的各种数据。 关键词：OLE；试题库；试卷生成；试卷管理 中图分类号：TP311 应用Visual 可视化编成工具开发软件速度快，界面实现简单方便，具有高可靠性、便于维护调试和高效率等突出优点。在深入学习和研究了Visual 这一可视化继承开发环境的基础上和在参阅了大量文献资料的基础上，同时了解到我国大、中学校录取新学生、考察学生学习情况的手段主要还是通过考试，而每次考试，都要花费老师大量的心血去筛选试题、组织试卷、整理试题答案等。根据这些情况，我们开发设计了该