论文研究基于NURBS曲面建模的UTD方法的方向图求解 .pdf

为了精确地计算Kripke模型的完备性阈值，将半张量积引入到有界模型检测的完备性阈值的计算中，采用离散时间进化系统来研究Kripke模型的状态进化拓扑结构，提出了基于半张量积的有界模型检测完备性阈值的

提出了一种新的约束求解方法求解特征交互过程中两个特征形状在空间上发生重叠的约束。这个约束求解器在特征模型的参数空间进行取样的基础之上,利用蒙特卡罗技术来减少样本数据量。该方法不但可以产生一组正确的几何

领域概念知识建模是构建信息系统分析的关键技术和任务之一，同时也是知识工程的瓶颈问题，其难点在于如何正确完整地捕捉和验证领域专家的知识。ER和UML等有属性特性的建模方法能够很好地描述领域知识，但却难以

面向健康感知的情境建模方法研究，褚伟杰，张荣，本文给出了支持情境感知系统构建的情境模型，并针对中国居家养老的实际需求，基于物联网数据建立一套老人起居及健康监测情境模型

针对高斯过程机器学习解决电磁问题，提出了两阶段高斯过程的天线建模方法，共包含两个阶段，在第一阶段，学习天线的粗细模型之间的映射关系，从而在第二阶段建立起高精度细模型的实际代替模型，在降低天线高精度输入

论文研究-模型验证——基于主体建模的方法论问题.pdf,  基于主体的(agent-based,AB)建模已成为目前社会经

论文研究-基于不平稳假设的序贯近似建模方法.pdf,  在工业设计中常涉及复杂、耗时的仿真,建立简单的近似模型可以简化分析

对现有三维不规则三角网（3DTIN）生成算法作了简要分类，回顾和评价了各类典型方法的优缺点和适用性，然后在此基础上提出了一种融合雕刻算法和生长算法优势的合成算法，给出了相应的数据结构。算法基于表面三角

针对模糊聚类中普遍存在的聚类个数需要事先给定和收敛速度慢等问题，在原有聚类方法的基础上提出一种改进满意聚类算法。用该算法快速确定系统的模糊划分数目，进而用支持向量机算法建立每个聚类的子模型，将输入变量

基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作，结合CPN和IPN，提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析，突出了协议的离散事件系统特