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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

  1. 基于隐马模型的中国人名自动识别研究

  2. 中国人名的识别是中文未登录词识别的重点和难点，目前的解决方案自身存在一些本质的缺陷，实际效果还难以满足实际需求。本文提出了一种基于角色标注的中国人名自动识别方法。即：利用从语料库中自动抽取的角色信息，采取Viterbi算法对切词结果进行角色标注，在角色序列的基础上，进行模式最大匹配，最终实现中国人名的识别。通过对16M字节真实语料库的封闭与开放测试，该方法取得了接近98%的召回率，准确率也得到了实际提高。实验数据证明：该方法是行之有效、能够成功解决中国人名的自动识别问题。

  3. 所属分类：其它

    • 发布日期：2009-07-05
    • 文件大小：89088
    • 提供者：softloveman

  1. 自动控制原理课件 第三章

  2. 基于卷积技术的线性系统的时域分析 从理论上严格证明线性时不变系统时域分析的核心是卷积,卷积不仅能计算系统冲激响应和零状态响应,也能计算系统零输入响应和全响应

  3. 所属分类：专业指导

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

  1. Simulink仿真软件在自动控制原理教学中的应用

  2. 首先简单介绍了自动控制原理传统的实验方法，并对Matlab和S imulink做了概括介绍。结合实例详细阐述Matlab软件的Simulink模块组合仿真方法在自动控制原理实验中的应用方法，并给出了一个在自动控制原理中的应用实例。实验结果证明该方法大大提高了实验效率、改善了实验效果；既调动了学生的积极性和创造性，又培养了学生的分析、设计和调试自动控制系统的能力；解决了现阶段各高校学生人数多、仪器少之间的矛盾。

  3. 所属分类：嵌入式

    • 发布日期：2009-08-04
    • 文件大小：120832
    • 提供者：tearmap

  1. 孔底完全闭环自动垂直钻进系统的研究

  2. 直井防斜快打长久以来都是钻探工作者一直研究的难题。在上世纪九十年代，德国研制出主动防斜钻具――自动垂直钻进工具并用于大陆科学钻探。后来，Baker Hughes IINTEQ与Schlumberger公司也研制了自己的垂直钻井系统。但是，这些钻具费用太昂贵，有时也不能满足某些钻井行业的要求。本文介绍一种新型的自动垂直钻进系统，该系统由发电机、孔斜测量单元、电子控制单元及液压执行单元组成。所有部件均安装在不转动的环状空间内，结构简单，造价低。钻具可以在孔底任意方向输出横向力，横向力的大小可根据地

  3. 所属分类：嵌入式

    • 发布日期：2010-01-03
    • 文件大小：1048576
    • 提供者：lys774n

  1. oracle自动备份 一次对多个数据库进行备份

  2. 对于oracle数据库的备份，很多人都很熟习。但是要一次自动备份多个数据库，脚本并不多。本人根据网上提供的脚本，加上自己的了解。编写了一次对多个数据库进行备份。配合windows计划可以对多个项目进行自动备份。已经通过实践证明可以行的通。

  3. 所属分类：Oracle

    • 发布日期：2010-02-03
    • 文件大小：643
    • 提供者：leexiaofei05

  1. 自动寻光避障太阳能电动小车c代码

  2. 自动寻光避障太阳能电动小车c代码，适用于pic单片机，经过了实践证明可灵活的实现上述功能

  3. 所属分类：C

    • 发布日期：2011-02-25
    • 文件大小：21504
    • 提供者：wyj330

  1. 中文分词十年回顾 自动分词系统

  2. 过去的十年间，尤其是2003年国际中文分词评测活动Bakeoff开展以来，中文自动分词技术有了可喜的进 步。其主要表现为：(1)通过“分词规范+词表+分词语料库”的方法，使中文词语在真实文本中得到了可计算的定 义，这是实现计算机自动分词和可比评测的基础；(2)实践证明，基于手工规则的分词系统在评测中不敌基于统计 学习的分词系统；(3)在Bakeoff数据上的评估结果表明，未登录词造成的分词精度失落至少比分词歧义大5倍以 上；(4)实验证明，能够大幅度提高未登录词识别性能的字标注统计学习方法优于

  3. 所属分类：其它

    • 发布日期：2011-04-10
    • 文件大小：1048576
    • 提供者：lwccb

  1. 自动刷新网页（SDK编写，含源码）

  2. 这是一款自动刷新网页的软件，内含源码。针对很多网站要求每隔多长时间刷新一次页面，证明一直在线。此软件可以实现这样的功能。

  3. 所属分类：其它

    • 发布日期：2011-05-22
    • 文件大小：14336
    • 提供者：tszhao

  1. 围产(出生证明打印)软件

  2. 1. 淘创围产管理（出生证明打印）软件优点 a) 适合各种类型、各种尺寸的打印机：不受打印机限制（普通打印机、激光打印机、针式打印机都能打印），各种尺寸打印机都可以打印。 b) 出生证明模拟器：填写新生儿信息后，软件会自动生成一张出生证明，和纸质的一模一样，您可以更加直观地进行检查后再打印。 c) 一键安装，使用简单：软件安装后，不需要任何配置，就可以使用软件了。 d) 多胞胎信息管理：生产时可以记录多个新生儿的信息，避免重复登记父母信息。 e) 数据上报：软件可以直接将新生儿信息、产妇信息、

  3. 所属分类：医疗

    • 发布日期：2011-08-31
    • 文件大小：14680064
    • 提供者：guatai

  1. 数字通信信号调制自动识别研究

  2. 为自动识别MASK、MFSK、MPSK 和MQAM 信号的调制类型，提出一种瞬时幅度提取算法。该算法不需要对信号进行Hilbert 变换和实现码元同步。在此基础上，提出7 个特征参数和基于判决理论的调制自动识别算法。仿真结果表明，当信噪比≥8 dB 时，识别算 法的平均识别成功率≥97%，证明提出的瞬时幅度提取算法和调制自动识别算法均有效，可用于实际信号的在线分析。

  3. 所属分类：专业指导

    • 发布日期：2012-02-13
    • 文件大小：301056
    • 提供者：orangetl

  1. The Isabelle System Manual

  2. Isabelle自动证明系统安装使用手册，定理描述等。

  3. 所属分类：专业指导

    • 发布日期：2012-04-12
    • 文件大小：333824
    • 提供者：chm9824

  1. 几何专家 几何定理证明

  2. 《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自

  3. 所属分类：专业指导

    • 发布日期：2014-03-05
    • 文件大小：1048576
    • 提供者：u013801315

  1. 摩擦焊钻杆自动送料装置的应用

  2. 摩擦焊接是钻杆加工的关键环节。常用的钻杆摩擦焊接过程中采用的是人工上下料方式,严重制约了摩擦焊机的工作效率。设计了一种摩擦焊接钻杆自动送料装置,介绍了该装置的工作原理和系统功能分配,重点介绍自动装卸料机构的设计。实践证明,该装置结构简单,分料准确,自动化程度高。

  3. 所属分类：其它

    • 发布日期：2020-05-22
    • 文件大小：242688
    • 提供者：weixin_38706531

  1. 矿井立井罐笼液压自动罐帘门

  2. 在综合分析了各种罐帘门的基础上,设计、制造了液压自动罐帘门;并巧妙地处理了驱动与罐笼间安全距离的问题。经实践证明,液压自动罐帘门操作简单、维护工作量小、运行安全、可靠。

  3. 所属分类：其它

    • 发布日期：2020-05-17
    • 文件大小：231424
    • 提供者：weixin_38689824

  1. 喷浆机液压自动卸料抓斗的研制

  2. 传统的喷浆机卸料方式为人工卸料,工人劳动强度大,喷浆比例不稳定,且受巷道条件限制,喷浆的质量难以保证。为解决上述问题,在液压抓斗工作原理的基础上研制了喷浆机液压自动卸料抓斗。详细介绍了自动卸料抓斗的研制思路和主要结构。实践证明,该自动卸料抓斗机体积小,易维护,可控性高,具有一定的推广价值。

  3. 所属分类：其它

    • 发布日期：2020-05-15
    • 文件大小：225280
    • 提供者：weixin_38701407

  1. 基于支持向量机的煤矿井水害水源自动识别方法研究

  2. 为了提高识别煤矿井水害水源的正确率,针对一些小样本的水害水源分类识别问题,提出利用支持向量机(SVM)分类识别。潞安集团所属煤矿区是同一成煤时期形成的,具有相似的特点,SVM训练集的样品取自潞安集团所属各煤矿,训练好SVM后,对潞安集团所属的高河能源有限公司煤矿井水害水源进行了分类识别。实验和生产实践证明该方法分类识别煤矿井水害水源的效果较好。

  3. 所属分类：其它

    • 发布日期：2020-05-11
    • 文件大小：277504
    • 提供者：weixin_38660579

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

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

  3. 所属分类：其它

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

  1. creusot：Rust代码的演绎验证。 （半）自动证明您的代码符合您的规范！-源码

  2. 关于 Creusot是用于对Rust代码进行演绎验证的工具。 它允许您用规范，不变式和断言来注释代码，然后进行形式检查，并返回满足您的规范的证明。 Creusot的工作原理是将Rust代码转换为WhyML的验证和规范语言 。 然后，用户可以利用Why3的全部功能来（半）自动释放验证条件！ 注意：我正在博士学位论文的背景下进行开发，软件质量是相当的。 正在安装 使用rustup安装Rust以管理工具链 克隆存储库 安装Rust编译器库： rustup component add rustc-d

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：163840
    • 提供者：weixin_42138139

  1. sbv：Haskell中基于SMT的验证。 表达有关Haskell程序的属性，并使用SMT求解器自动证明它们-源码

  2. sbv：Haskell中基于SMT的验证。 表达有关Haskell程序的属性，并使用SMT求解器自动证明它们

  3. 所属分类：其它

    • 发布日期：2021-02-02
    • 文件大小：1048576
    • 提供者：weixin_42134769
« 12 3 4 5 6 7 8 9 10 ... 50 »