注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 自动定理证明基础(计算机)

  2. 计算机的自动定理证明, 命题逻辑与一阶逻辑谓词介绍, SLD归约介绍,many-sorted一阶谓词逻辑等

  3. 所属分类：专业指导

    • 发布日期：2009-06-09
    • 文件大小：3145728
    • 提供者：yongyongok

  1. 基于归结原理的推理系统

  2. 本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。

  3. 所属分类：专业指导

    • 发布日期：2007-12-15
    • 文件大小：277504
    • 提供者：ning2008

  1. 人工智能次协调逻辑推理系统

  2. 本推理系统可用于命题、谓词、注解命题和注解谓词的自动推理，系统自动识别是何种类型推理。注解命题和注解谓词的推理可以解决一般的推理中的不协调问题（即系统中存在矛盾）。

  3. 所属分类：专业指导

    • 发布日期：2007-12-15
    • 文件大小：274432
    • 提供者：ning2008

  1. 2005-2009软件设计师历年真题

  2. 软件设计师考试真题 附带2010年的考试大纲 考试科目1：计算机与软件工程知识 　1．计算机科学基础 　　1.1 数制及其转换 　　　　　• 二进制、十进制和十六进制等常用制数制及其相互转换 　　1.2 数据的表示 　　　　　• 数的表示（原码、反码、补码、移码表示，整数和实数的机内表示，精度和溢出） 　　　　　• 非数值表示（字符和汉字表示、声音表示、图像表示） 　　　　　• 校验方法和校验码（奇偶校验码、海明校验码、循环冗余校验码） 　　1.3 算术运算和逻辑运算 　　　　　• 逻辑代数的

  3. 所属分类：其它

    • 发布日期：2010-05-18
    • 文件大小：8388608
    • 提供者：mathria

  1. AVR单片机实习教学指导书.doc

  2. 一 自延时与数据移位（M01- M02） 二 键控分支（M03- M04） 三 自动计数（M05- M06） 四 键控计数（M07- M08） 五、逻辑控制（M09- M10） (一) 由逻辑图编程 (二) 由逻辑命题编程 六 动态显示与数据转换（M11- M13） 七 外中断使用（M14- M15） 八 定时/计数器使用（M16- M19） (一) 定时器设置： (二) 定时中断控制 九 定时/计数器应用（M20- M20B） (一) 实时钟显示 (二) 高频测量 (三) 低频测量 十 脉宽

  3. 所属分类：硬件开发

    • 发布日期：2010-05-28
    • 文件大小：1048576
    • 提供者：jzd19851102

  1. 电子竞赛文集V1.0.pdf

  2. 全国大学生电子竞赛命题数量是历次竞赛中最多的，内容涉及电子测量仪器、无线通信、自动控制、功率电子等方面的基本技术。题目更加强调模拟电路内容，这恰恰是目前学生专业知识掌握中的薄弱环节。竞赛共命题七道，包括：正弦信号发生器(A题)，集成运放测试仪(B题)，简易频谱分析仪(C题)，单工无线呼叫系统(D题)，悬挂运动控制系统(E题)，数控直流电流源(F题)，三相正弦波变频电源(G题)。这组命题为不同专业的参赛学生提供了更多的选择空间。

  3. 所属分类：C

    • 发布日期：2010-06-05
    • 文件大小：4194304
    • 提供者：lxqyx123

  1. JAVA 考试系统

  2. 采用J2SE编写，可以供教师命题，学生答题，系统自动判分

  3. 所属分类：Java

    • 发布日期：2010-06-12
    • 文件大小：15360
    • 提供者：yws1515

  1. 基于ASP.NET在线考试系统设计

  2. 在线考试系统的主要特点是一方面可以动态地管理各种考试系统信息,只要准备好足够大的题库,就可以按照要求自动生成各种试卷;另一方面,考试时间灵活,用户可以在规定时间段内的任意时间参加考试;另外计算机化的考试的最大特点是阅卷快,系统可以在考试结束时当场给出考试结果,计算机阅卷给了用户的最大的公平感。如何通过一种开发语言能高效的设计出这个系统是一个值考虑的一个需求。由于现代计算机网络技术的快速发展，信息已遍布全球。再加上现代考试的普及。网络已成为大众化的产物，所以将考试系统与网络相联，是很有意义的。A

  3. 所属分类：.Net

    • 发布日期：2011-03-14
    • 文件大小：822272
    • 提供者：jenery15

  1. vb+access考试自动命题系统

  2. 考试自动命题系统，利用vb+access做成的单机版哦 能实现用户登陆，教师生成试卷，学生考试，自动改卷 这是一个课程设计 有需要的人快下载哦

  3. 所属分类：VB

    • 发布日期：2011-05-07
    • 文件大小：60416
    • 提供者：edwin828

  1. SQL数据库试题及答案

  2. 命题教师：北京邮电大学世纪学院计算机科学与技术系段爱玲一、单项选择题（总分75） 1. （分值：1.0 分）在MS SQL Server 中，关于数据库的说法正确的是( ) A: 一个数据库可以不包含事务日志文件。 B: 一个数据库可以只包含一个事务日志文件和一个数据库文件。 C: 一个数据库可以包含多个数据库文件，但只能包含一个事务日志文件。 D: 一个数据库可以包含多个事务日志文件，但只能包含一个数据库文件。 序号：532 难度：2 考查点：SQL Server 数据库的管理 2. （分值

  3. 所属分类：SQLServer

    • 发布日期：2011-12-27
    • 文件大小：260096
    • 提供者：mjam4231897

  1. linux期中考题

  2. linux期中考题 1 (50 分) DHCP 服务 欲建立 192.168.233.0/24 的 DHCP 服务器，其中动态分配的地址范围是 192.168.233.80 ~ 192.168.233.180 1) 安装与 dhcp 相关的两个软件包。 软件包在 172.19.52.246 的 /var/lab 目录下。 2) 建立配置文件 /etc/dhcpd.conf。 3) 启动 named 服务。 4) 在 Windows 端自动获取 ip 参数。 题 2 (50 分) MySQL 服

  3. 所属分类：Linux

    • 发布日期：2013-04-16
    • 文件大小：2048
    • 提供者：u010323659

  1. (原创)自动命题系统（可以随机抽取数据库中的试题并满足满分***的要求，内含相应ppt）

  2. 本软件是为广大需要自动命题系统的学校提供方便。用户在使用时首先要将我们为您准备好的数据库连接到SQL上，然后才能使用。 由于用户是首次使用，所有要先进行用户注册。本软件只允许一个用户注册，注册完后请记住密码，以便以后使用。 为了让您能够检验我们的产品的实用性，我们预先在数据库中存放了一些相关试题。在您真正使用的时候，您可以通过SQL想数据库中输入试题，也可以通过我们软件为您提供的“添加”功能进行试题输入。为了避免试题抽取时可能会出现的试题重复现象，检验您输入适当多的试题。 下面介绍一下我们本软

  3. 所属分类：C#

    • 发布日期：2008-10-08
    • 文件大小：3145728
    • 提供者：ruyuewangzi

  1. 自动控制原理

  2. 最新版自动化考试题4套 有权威老师自己命题，对你会有很大的帮助

  3. 所属分类：嵌入式

    • 发布日期：2014-10-21
    • 文件大小：443392
    • 提供者：download2565

  1. 命题逻辑系统的自动推理

  2. 本程序用归结反演策略实现了命题逻辑系统的自动推理 归结方法的基本算法很简单，每次从子句集中选择两个可进行归结的子句，求它们的归结式，如果归结式为NIL，则算法结束，结论得证。如果归结式不为空，则将该归结式加入到子句集中，继续以上过程。

  3. 所属分类：其它

    • 发布日期：2008-12-21
    • 文件大小：7340032
    • 提供者：jay0lu

  1. 中科院自动控制理论2017年考研真题

  2. 中科院自动控制理论2017年考研真题，自主命题，专业课代码857均可用

  3. 所属分类：专业指导

    • 发布日期：2018-07-30
    • 文件大小：823296
    • 提供者：computer6vision

  1. 机器命题模式的研究

  2. 机器命题模式的研究，黎章，，提出了在对命题题材进行恰当地描述的基础上计算机自动命题的思想；并给出了一种具体的题材描述模型，以及在该模型上基于集合和逻

  3. 所属分类：其它

    • 发布日期：2020-01-17
    • 文件大小：360448
    • 提供者：weixin_38707240

  1. 构造性和非构造性几何命题自动证明

  2. 构造性和非构造性几何命题自动证明，沈盈，，主要是研究构造性和非构造性几何命题的自动证明，通过若干具体实例的证明，来揭示两者的差别。在证明过程中主要运用了线段比，三

  3. 所属分类：其它

    • 发布日期：2019-12-30
    • 文件大小：281600
    • 提供者：weixin_38705558

  1. 格值命题逻辑LP(X)中的语义归结方法

  2. 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率,将语义归结策略应用于α-归结原理,讨论了格值命题逻辑LP(X)中的α-语义归结方法,并证明了该方法的可靠性和弱完备性,为基于格值逻辑的归结自动推理提供一定基础。

  3. 所属分类：其它

    • 发布日期：2020-06-03
    • 文件大小：926720
    • 提供者：weixin_38714162

  1. 格值命题逻辑系统LP(X)的语义归结方法

  2. 为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。

  3. 所属分类：其它

    • 发布日期：2020-06-27
    • 文件大小：946176
    • 提供者：weixin_38692202

  1. automatic_reasoning_abt_sw：“关于软件的自动推理”课程中的最后一个项目67532（耶路撒冷希伯来大学）-源码

  2. SAT解算器 :robot: 为了使用SAT求解器，您需要导入sat_solver.sat_engine ，然后调用其中定义了公式的函数solve_sat(formula) ，如下所示 原子命题应为'p'...'z'中的字母，并可选地后面跟数字序列。 例如：“ p”，“ y12”，“ z035”。 可以有“ T”和“ F”（分别为True和False）。 〜φ其中，φ是有效的命题公式。 '（φ＆ψ）'，其中φ和ψ均为有效命题公式。 '（φ|ψ）'，其中φ和ψ均为有效命题公式。 '（φ

  3. 所属分类：其它

    • 发布日期：2021-02-16
    • 文件大小：67584
    • 提供者：weixin_42160376
« 12 3 »