只为小站
首页
域名查询
文件下载
登录
面向计算机科学的数理逻辑
前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理
推演
系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然
推演
中形式证明的简明形式 参考文献 符号表 名词表
2021-07-12 10:08:35
5.81MB
逻辑
一阶
推演
1
直播行业系列报告:腾讯与快手游戏直播未来战役沙盘
推演
.pdf
直播行业系列报告:腾讯与快手游戏直播未来战役沙盘
推演
.pdf
2021-07-07 14:10:33
2.14MB
文化传媒
数据分析
行业解读
数据报告
20210616-国泰君安-碳中和系列报告(三):碳中和路线图推断及产业变迁
推演
.pdf
20210616-国泰君安-碳中和系列报告(三):碳中和路线图推断及产业变迁
推演
.pdf
2021-06-20 13:08:16
886KB
行业
矿井水灾漫延过程
推演
及其虚拟实现
提出了一种基于Converse Earth平台对矿井突水漫延过程虚拟实现的方法,对突水漫延过程进行可视化表现,模拟突水水流在巷道中的漫延过程,分析突水水流在巷道下向蔓延及水位上向升涨等情况,实现了在巷道任一点的突水过程
推演
。在突水漫延过程中利用流体力学理论求出煤矿底板突水的突水量,计算突水水流在水平巷道的平均流速,引入当量长度求解水流通过不同巷道的时间,为规划逃生路径及制定应急救援决策提供了依据,并且对矿井突水过程进行了虚拟实现。
2021-05-29 11:17:03
1.5MB
矿井水灾
突水漫延
数学建模
虚拟现实
1
在建工程项目施工
推演
PPT课件.ppt
在建工程项目施工
推演
,在建工程项目施工
推演
课件,在建工程项目施工
推演
PPT
2021-05-11 16:02:41
5.69MB
在建工程项目施工推演
华为终端缺芯后的情境
推演
2009218.pdf
此深度报告.pdf ,是非常全非常深度的报告,干货满满,非常值得学习与研究,推荐相关人员深入学习。
2021-05-10 15:39:03
1.3MB
华为终端
1
想定仿真
推演
想定生成与应用技术研究.pdf
对想定构成要素, 研究仿真
推演
想定开发方法, 并对想定编辑软件进行了实现, 为仿真
推演
系统的综合态势提供了标准化生成思路.
2021-04-16 10:59:57
1.60MB
仿真推演;想定编辑;综合态势;
1
20210414-中金公司-汽车及零部件行业:复盘重卡政策行情,
推演
轻卡中长期保有量提升逻辑.pdf
20210414-中金公司-汽车及零部件行业:复盘重卡政策行情,
推演
轻卡中长期保有量提升逻辑.pdf
2021-04-15 13:02:19
1.99MB
行业咨询
天枢百演系统(宫颈癌人工智能生存预测
推演
系统)
天枢百演系统(宫颈癌人工智能生存预测
推演
系统)是张志侨人工智能工作室专为宫颈癌患者预后研究而设计开发的电脑端桌面应用程序。请务必在Windows(64位)环境中下载和应用天枢百演系统(宫颈癌人工智能生存预测
推演
系统)。 天枢百演系统(宫颈癌人工智能生存预测
推演
系统)能够基于Cox比例风险回归模型、威布尔模型和逻辑威布尔模型分别预测的特定患者的个体化生存曲线。只需要选择输入宫颈癌患者的年龄、Stage、PT、PM、PN、是否化疗和是否放疗等7项信息,再点击相应的预测模块,就能够获得特定个体肿瘤患者的个体生存曲线、个体预测存活时间、个体中位存活时间和不同时间点的个体预测生存率等信息。 宫颈癌(Cervical carcinoma,CC)是女性最常见的恶性肿瘤之一,据报道全球2018年新增宫颈癌患者569,847例,因宫颈癌死亡311,365人。病理分期已被证明是宫颈癌患者最重要的预后危险因素之一。据报道宫颈癌患者5年疾病特异性生存率为:I期约80%,II期约56%,III期约36%,IV期<1%。另一项回顾性队列研究报告I期、II期、III期和IV期宫颈癌患者的5年生存率分别为95%、73%、68%和19%。有研究报道在179例IA-IIB期的老年宫颈癌患者中,手术加放疗的5年生存率分别为78.3%和49.1%。总体而言,晚期宫颈癌患者的预后极差,预期寿命明显缩短。因此,建立可靠的预测宫颈癌患者个体生存率的模型具有重要的临床意义和应用价值。
2021-04-10 20:02:06
195.97MB
python
1
《Command-CMO-CMANO用户手册(中文版)》海空兵棋译制.docx
建议参加在线编辑https://qwps.com/join/ge0a2vq?f=101 亲测好用,最新的《Command-CMO-CMANO用户手册(中文版)》海空兵棋译制.docx
2021-04-09 09:09:13
25.45MB
command
兵棋推演
单机游戏手册
cmo
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
多机器人编队及避障仿真算法.zip
狂神说全部笔记内容.zip
多智能体的编队控制matlab程序(自己编写的,可以运行)
空间谱估计理论与算法------程序.rar
基于Servlet+jsp+mysql开发javaWeb学生成绩管理系统
C4.5决策树算法的Python代码和数据样本
Plex v7.12电视端app
采用K-means聚类,实现多维矩阵的聚类,并进行可视化展示(matlab)
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
中小型企业网络建设.pkt
基于STM32的电子时钟设计
【SystemVerilog】路科验证V2学习笔记(全600页).pdf
Matpower中文使用手册(原名《MATPOWER手册(中文版)》).rar
基于傅里叶算子的手势识别的完整源代码(Python实现,包含样本库)
simulink仿真实现光伏发电MPPT+能量管理
最新下载
华为HN8145XR升级文件 HN8145XR-V5R021C00S260
【FPGA】【Verilog】【AX301】四则小计算器设计
MLDN李兴华JavaWeb开发实战经典(高级案例篇)全部源码
健身跑步小程序源码
VHDL6位数字密码锁
计算机图形学大作业简易绘图板mfc
配网绝缘子缺陷检测数据集(1w多张,含txt标签)
FPGA 6位密码锁代码
北京交通大学随机过程历年试题
OCJP(1z0-808)试题答案详解.pdf
其他资源
Notepad++最好看的主题
UG精雕机后处理
基于用户相似度和社会关系和地理位置三个因素的POI推荐系统(Foursquare数据和python代码)
集客盒子M63E MT7621A方案可刷
单相PWM整流器PSCAD模型
Python-图片识别发票识别
Automotive Engineering: Powertrain, Chassis System and Vehicle Body
初始对准程序
燃料电池原理技术应用——衣宝廉
C#访问西门子1500客户端.zip
win10局域网工具.zip
28027中文数据手册
安徽大学《大学计算机基础》试题题库(含答案).pdf
More_Effective_C++(WQ版).pdf
操作系统课程设计(生产者-消费者,存储管理,虚拟存储器
jsp汽车网car
stm32iap+bootloader+app+mfc上位机
ANSYS结构动力分析与应用(王新敏)
spring所需的jar包
小额借贷系统网站源码(无授权无加密)-后台带信用报告-逾期列表等
visio 2013 破解工具 ,亲测有效
Algorithms Unlocked PDF
基于单片机和dac0832的可调的信号发生器
Bootstrap Table+日期选择框实例(可以直接用与项目)