前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理推演系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然推演中形式证明的简明形式 参考文献 符号表 名词表
2021-07-12 10:08:35 5.81MB 逻辑 一阶 推演
1
直播行业系列报告:腾讯与快手游戏直播未来战役沙盘推演.pdf
2021-07-07 14:10:33 2.14MB 文化传媒 数据分析 行业解读 数据报告
20210616-国泰君安-碳中和系列报告(三):碳中和路线图推断及产业变迁推演.pdf
2021-06-20 13:08:16 886KB 行业
提出了一种基于Converse Earth平台对矿井突水漫延过程虚拟实现的方法,对突水漫延过程进行可视化表现,模拟突水水流在巷道中的漫延过程,分析突水水流在巷道下向蔓延及水位上向升涨等情况,实现了在巷道任一点的突水过程推演。在突水漫延过程中利用流体力学理论求出煤矿底板突水的突水量,计算突水水流在水平巷道的平均流速,引入当量长度求解水流通过不同巷道的时间,为规划逃生路径及制定应急救援决策提供了依据,并且对矿井突水过程进行了虚拟实现。
1
在建工程项目施工推演,在建工程项目施工推演课件,在建工程项目施工推演PPT
2021-05-11 16:02:41 5.69MB 在建工程项目施工推演
此深度报告.pdf ,是非常全非常深度的报告,干货满满,非常值得学习与研究,推荐相关人员深入学习。
2021-05-10 15:39:03 1.3MB 华为终端
1
对想定构成要素, 研究仿真推演想定开发方法, 并对想定编辑软件进行了实现, 为仿真推演系统的综合态势提供了标准化生成思路.
2021-04-16 10:59:57 1.60MB 仿真推演;想定编辑;综合态势;
1
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
建议参加在线编辑https://qwps.com/join/ge0a2vq?f=101 亲测好用,最新的《Command-CMO-CMANO用户手册(中文版)》海空兵棋译制.docx
2021-04-09 09:09:13 25.45MB command 兵棋推演 单机游戏手册 cmo
1