没有合适的资源?快使用搜索试试~
我知道了~
文库首页
开发技术
其它
用数据变量量化扩展时态逻辑
用数据变量量化扩展时态逻辑
研究论文
0 下载量
40 浏览量
2021-02-25
08:39:17
上传
评论
收藏
581KB
PDF
举报
温馨提示
立即下载
用数据变量量化扩展时态逻辑
资源推荐
资源评论
论文研究-用带时钟变量的线性时态逻辑扩充Object-Z.pdf
浏览:31
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言,是O
论文研究-可更新Datalog的分布式时态逻辑扩展及应用.pdf
浏览:20
针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。
可更新Datalog的分布式时态逻辑扩展及应用.pdf
浏览:146
#资源达人分享计划#
隐式量化显式:如何解释 Notation3 逻辑中的空白节点和通用变量-研究论文
浏览:102
自从 Notation3 Logic 发明以来,几年过去了,该理论已经被提炼并应用于不同的推理引擎,如 Cwm、EYE 和 FuXi。 但是尽管有这些发展,但仍然缺少 Notation3 语义的明确正式定义。 这不仅会妨碍对该逻辑及其与其他形式主义的关系进行正式研究,而且还会产生实际后果:在许多情况下,同一公式的解释因推理引擎而异。 在本文中,我们解决了该问题的主要来源之一,即隐式量化的不确定性。
Spam-Classification-Enron-Dataset:利用逻辑回归和计数向量化将Enron数据集的电子邮件分为垃圾邮件或火腿邮件
浏览:192
垃圾邮件分类---安然数据集 使用逻辑回归和计数向量化将Enron数据集的电子邮件分为垃圾邮件或火腿邮件。 注意:彻底评论了Jupyter / IPython笔记本,因此这里不需要广泛的自述文件。
ArcGIS教程:什么是时态数据?
浏览:60
时态数据是表示某个时间点的状态的数据,如 1990 年香港的土地利用模式或 2009 年 7 月 1 日檀香山的总降雨量。通过收集时态数据可分析天气模式和其他环境变量、监视交通状况、研究人口统计趋势等等。
论文研究-基于BCDM的含有变量的双时态关系代数研究.pdf
浏览:169
在BCDM(双时态概念数据模型)中,时间变元Now和UC的存在解决了时态记录的频繁更新问题;但是时态变元的存在又给数据库的操作带来某种不确定性甚至是错误,同时引起关系代数运算的歧义。基于BCDM,通过绑定时间变元,...
基于单变量和多变量逻辑回归实现根据环境因素预测房间入住率-项目源码+数据+超详细代码注释.zip
浏览:98
基于单变量+多变量逻辑回归实现根据环境因素预测房间入住率_项目源码+数据+超详细代码注释任务:通过"Temperature","Humidity","Light","CO2","HumidityRatio"等环境数据预测房间是否在使用内容包含: 1.用多变量...
Wincc中利用脚本读取变量以及如何进行逻辑运算和数学运算?.docx
浏览:36
5星 · 资源好评率100%
Wincc中利用脚本读取变量以及如何进行逻辑运算和数学运算?
aPC Matlab工具箱:数据驱动的任意多项式混沌:数据驱动的任意多项式混沌扩展用于机器学习,不确定性量化和全局灵敏度分析-matlab开发
浏览:119
诺伯特·维纳(Norbert Wiener)于1938年提出的多项式混沌扩展(PCE)。直观地,可以将PCE视为在不确定模型参数下以高维多项式形式构造和获得模型响应面的数学最优方法。 最近,多项式混沌扩展得到了对任意多项式混沌扩展的概括(aPC:Oladyshkin S.和Nowak W.,2012),这就是PCE的所谓数据驱动的概括。 像所有多项式混沌扩展技术一样,aPC通过在正交多项式基础上进
使用时态逻辑发现时态数据中的意外模式-研究论文
浏览:91
最近,在时态数据库中寻找有趣模式的任务受到了很多关注。 由于发现时间模式的问题有很多不同的方法,我们首先介绍不同发现任务的特征,然后关注发现事件时间序列的有趣模式的一项任务。 给定一个(无限)时间数据库或一系列事件,通常可以在该数据中发现无限数量的时间模式。 因此,重要的是为发现的模式指定一些有趣的度量,然后根据该度量仅选择有趣的模式。 我们提出了基于意外性的兴趣度概率度量,如果 P 的实际出现次
大数据-算法-基于开放时态逻辑的面向方面程序形式化验证和模块推.pdf
浏览:196
大数据-算法-基于开放时态逻辑的面向方面程序形式化验证和模块推.pdf
大数据-算法-线性时态逻辑中若干基础问题的研究.pdf
浏览:168
大数据-算法
使用Logistic回归预测糖尿病得病率_多变量逻辑回归的python实现
浏览:146
使用Logistic回归预测糖尿病得病率_多变量逻辑回归的python实现(Logistic Regression in Python)使用Logistic回归预测糖尿病得病率: 1.准备数据:用Python解析csv文件并填充缺失值 2.分析数据:可视化并观察数据 3....
二值逻辑变量与基本逻辑运算符
浏览:47
当0和1表示逻辑状态时,两个二进制数码...逻辑运算与算术运算完全不同,它所使用的数学工具是逻辑代数。与普通代数一样,它是由逻辑变量和逻辑运算组成。变量可以用A、B、C、x、y、z等字母组成。所不同的是,在......
1994年-2019年面板数据控制变量.rar
浏览:132
5星 · 资源好评率100%
省级面板数据控制变量等 31个省的省面板数据,包括3000多个指标,数据来源于真实可靠因为自己也在用。 guo家统计ju和各sheng统计年见,china统计年见等。整理不易各位加油。
变量相关情况下高维数据变量选择方法
浏览:155
变量相关情况下高维数据变量选择方法,段乾鹏,郑少智,当变量之间具有较强相关性时,单个惩罚函数的变量选择方法效果会大大降低。文章提出组合惩罚的系数的拉普拉斯收缩变量选择方法,
易语言自定义数据类型变量保存
浏览:184
易语言自定义数据类型变量保存源码,自定义数据类型变量保存,CLSave
用于逻辑回归教学分析的数据.rar
浏览:136
转化计算数据表.xls 手算逻辑回归曲线中几个重要的数据计算步骤: 1) 不同年龄情况下的随机误差的差异值是多少 2) 某一年龄下是否有信贷风险的0/1两种取值,转换成该年龄下有信贷风险的概率 3) 信贷风险概率,转化成...
NHTS变量描述NHTS数据变量说明
浏览:127
NHTS变量描述NHTS数据变量说明
S1-使用Java语言理解程序逻辑-第二章变量、数据类型和运算符
浏览:51
NULL 博文链接:https://sunwws.iteye.com/blog/712633
CARS-PLS 用于光谱数据或色谱数据变量选择的matlab 源码
浏览:167
CARS-PLS 用于光谱数据或色谱数据变量选择的matlab 源码
基于多变量+多变量逻辑回归实现根据环境因素预测房间入住率-项目-源码
浏览:49
5星 · 资源好评率100%
基于多变量+多变量逻辑回归实现根据环境因素预测房间入住率_项目_源码
Java编程基础知识变量与数据类型
浏览:121
资源名称:Java编程基础知识变量与数据类型资源目录:【】11957c6aed0bbd30e284837b53bc3a6f【】2.Java编程基础知识变量与数据类型1.数据类型初阶【】2.Java编程基础知识变量与数据类型10.浮点类型【】2.Java编程...
Mnist手写数字数据库的Matlab数据变量
浏览:110
5星 · 资源好评率100%
现将其中的图片从原文件中读取出来,按照原文件的顺序存储为Matlab的mat数据变量格式,可使用Matlab直接读取,以便各位同学进行科研与实验之用。 压缩包里包含四个Matlab数据变量文件 train_imgSet.mat:训练集...
论文研究-多变量逻辑函数化简的简便方法.pdf
浏览:91
论文研究-多变量逻辑函数化简的简便方法.pdf, 研究了多变量逻辑函数化简的新颖而易行的方法,即根据本文提供的一个数学模型,可以产生两种化简方法,一是逻辑相邻表法,...
数据类型变量常量与运算符
浏览:196
c语言课件,不错的资源,数据变量数据类型变量常量与运算符
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38640473
粉丝: 8
资源:
950
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
基于python实现的问卷星调查问卷自动填写工具
基于PHP+Mysql 实现的小型的在线考试-问卷调查
DFKai-SB-Esd-BF字体下载
unity shadergraph 特效案例.pdf
四方平台-用户端.old
2023-04-06-项目笔记 - 第一百六十五阶段 - 4.4.2.163全局变量的作用域-163 -2024.06.15
KuaiVpn-n.zip
基于 Java使用正则表达式解析sql语法树
未命名书刊-小程序码.jpg
IMG20240615101952.jpg
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功