没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
线性约束与时态逻辑编程语言的集成
线性约束与时态逻辑编程语言的集成
研究论文
0 下载量
174 浏览量
2021-03-03
12:26:02
上传
评论
收藏
206KB
PDF
举报
温馨提示
立即下载
线性约束与时态逻辑编程语言的集成
资源推荐
资源评论
想要学习线性时序逻辑的论文
浏览：26
4星 · 用户满意度95%
关于线性时序逻辑的好资料，适合对于状态空间描述的学习者用。
matlab集成c代码-LineFlow:用于构造线流量约束的线性近似的库
浏览：199
Matlab集成的c代码LineFlow：用于构造线流量约束的线性近似的库 概述 LineFlow是用于构造线流量约束的线性近似的库。 用户可以在具有所需质量或线性约束数量的内部近似值和外部近似值之间进行选择。 该存储库包括以下文件： 库的源代码以及在Windows或Unix系统上构建它所需的文件。 Matlab包装器的源代码，可轻松从Matlab调用该库。 适用于Windows的库和Matlab
论文研究-用带时钟变量的线性时态逻辑扩充Object-Z.pdf
浏览：177
Object-Z是形式规格说明语言Z的面向对象扩充，适合描述大型面向对象软件规格说明，但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统，但不能很好地处理连续时间关系，也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑，接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言，是O
线性约束最小方差准则
浏览：135
5星 · 资源好评率100%
波束形成算法中线性约束最小方差（LCMV）准则
线性约束最小方差(LCMV)准则，高阶统计量lcmv方向图的MATLAB仿真。
浏览：183
线性约束最小方差(LCMV)准则，高阶统计量lcmv方向图的MATLAB仿真。
线性约束最小方差自适应仿真matlab仿真
浏览：162
本程序采用的是线性约束最小方差的方式来设计自适应波束形成器
论文研究-基于改进的粒子滤波非线性约束优化算法.pdf
浏览：184
传统的非线性约束优化算法的精度较低，为了克服这一问题，提出了一种基于粒子滤波的新型优化算法。该算法用于解决非线性约束优化问题，并结合粒子滤波器的模型和机制。首先，利用粒子滤波算法的基本原理建立这种优化...
LOINGO_最优化求解lingo_多约束_非线性约束_源码
浏览：197
5星 · 资源好评率100%
对非线性的多目标函数，多约束下的最优解求解。目标及约束可更改
swift-Cassowary线性约束求解器的一个Swift移植
浏览：81
Cassowary线性约束求解器的一个Swift移植
论文研究 - 非线性系统反馈线性化的模糊逻辑死区补偿
浏览：149
模糊逻辑补偿器设计用于具有死区非线性的反馈线性化非线性系统。 模糊逻辑系统的分类属性使其成为拒绝由死区引起的错误的自然候选者，死区的区域在行为上有所不同。 给出了模糊逻辑参数的调整算法，以使死区补偿方案...
C++编程模拟线性规划
浏览：120
5星 · 资源好评率100%
结合一个实际问题，进行线性规划的模拟，编程求解。要求目标函数和约束条件合理，并给出结果。
吴恩达机器学习matlab编程作业，线性回归，逻辑回归，前向神经网络，BP神经网络，优秀matlab源代码，新手必看！
浏览：71
吴恩达机器学习matlab编程作业，线性回归，逻辑回归，前向神经网络，BP神经网络，优秀matlab源代码，新手必看！ 吴恩达机器学习matlab编程作业，线性回归，逻辑回归，前向神经网络，BP神经网络，优秀matlab源代码，...
机器学习中的线性回归与逻辑回归
浏览：44
j机器学习中的线性回归与逻辑回归，机器学习基础知识，有助于学习。
matlab 线性/逻辑回归
浏览：196
基于matlab实现基础的线性回归以及逻辑回归，内附全代码及相关测试数据
逻辑与广义线性模型
浏览：141
英文的逻辑与广义线性模型介绍，简单易懂实用，希望对大家有帮助
非线性遗传算法.zip_GA_约束 非线性_约束遗传算法_遗传 约束_非线性约束
浏览：8
非线性遗传算法代码，解决带约束条件的一般问题
线性回归与逻辑回归测试数据
浏览：12
线性回归与逻辑回归测试数据
不等式约束下的线性规划简单求解（附matlab原代码和过程可视化，方便求解和理解）
浏览：170
不等式约束下的线性规划； 线性规划（LP），也称为线性优化，是一种在其要求由线性关系表示的数学模型中实现最佳结果（例如最大利润或最低成本）的方法。线性规划是数学规划（也称为数学优化）的一种特殊情况。更...
遗传算法求解带非线性约束的单目标问题,遗传算法怎么处理约束,matlab
浏览：58
5星 · 资源好评率100%
matlab利用遗传算法求解非线性规划的单目标问题
pso.rar_PSO约束问题_optimization_粒子群 罚函数_约束粒子群_非线性约束pso
浏览：113
基于罚函数的粒子群算法，可求解带有非线性约束的优化问题。
线性回归，逻辑回归与神经网络原理推导
浏览：168
线性回归，逻辑回归与神经网络原理推导：包括以下几点内容：1.线性回归的定义及求解方法的推导，线性回归与最小二乘关系，线性回归显著性判断；2逻辑回归的定义，及递推公式的推导，逻辑回归与神经网络的关系，...
行人惯性导航零速检测算法
浏览：43
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览：146
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览：39
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
BA无标度网络中的SIR模型
浏览：144
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览：53
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览：184
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束，一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中，贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下，车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览：107
基于机器学习的设备剩余寿命预测方法综述
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38604916
粉丝: 6
资源:
892
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
wpf-dragdrop-treeview(WPF较好拖拽效果）.7z
img-1716258776282bf88540b0e387ddd2ea677d02c7f3594ad72383f796d86b02fb7d2ae2543915d.jpg
《伦敦共享单车数据分析与代码》
SKIP-v2.1.1.apk
IMG20240521103815.jpg
松下A4系列伺服参数调试软件
code.zip
win11关闭更新工具和一些常用工具
ApacheJMeter-ssh-1.2.0.jar jsch-0.1.55.jar
nacos-opera（k8s）具体方法解决
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
