多面体皮卡丘.stl

CGAL polyhedron Boolean operation - C++ code + detailed documentation

运用下拉菜单,可以计算多个多面体的周长与表面积等等,举一反三,可以实现多种计算。运用switch case语句等简单语句。同时有多种命名方式,适合初学者进一步学习

在MATLAB中调用，两个多面体输入形式可以是各自的顶点竖向量集合，也可以是MATLAB规定的线性规划条件形式，输出为重叠体各个顶点的竖向量集合，而且线性规划形式和顶点集合形式可以通过附带的程序相互转

综合无线传感器网络节点电路能耗和信道传输能耗，建立了ARQ协议传输每比特负载数据的等效能耗数学模型和以链路最低能耗为有效性优化目标，通过MATLAB仿真计算，分析研究了高斯白噪声信道条件下，ARQ协议

在Visual Studio 2015上利用OpenGL实现了一个空心多面体的绘制，并添加了平移功能，同时使用了透视投影的视角。

针对Itˆo 型多面体不确定随机广义系统, 提出一种离线观测器型鲁棒预测控制器的综合方法. 通过构造带有 误差项的增广随机Lyapunov 函数, 运用多维Itˆo 公式和LMI 方法, 将“min-

针对一类含多面体不确定性的多项式系统, 研究其局部稳定鲁棒镇定问题. 基于多项式平方和(SOS) 技术, 将该类非线性控制问题转换为凸的SOS 规划问题, 并通过引入S-procedure 技术, 保

多面体抽象域的整数实现方法及其在程序分析中的应用，田楠，陈立前，抽象解释理论为静态程序分析提供了一个通用框架.抽象域是该框架下的核心.多面体抽象域可用来产生线性不等式,是目前表达能力最强、

针对一类状态向量中含有时滞和的连续系统，研究其时滞相关稳定性问题。利用凸组合方法和积分不等式并构造合适的李雅普诺夫泛函，以线性矩阵不等式形式给出了保证系统稳定的时滞相关充分条件，该线性矩阵不等式形式的

Coq-Polyhedra 在Coq中将凸多面体形式化 安装 先决条件 (> = 8.9, opam switch -A $OVERSION coq-polyhedra 其中$ OVERSION