提供了一种用于推断由计算系统执行的程序的程序计数器的方法。该方法包括：基于包括程序中的顺序指令的地址的程序计数器值来标识包含顺序指令的顺序执行路径。该方法还包括基于所标识的顺序执行路径来推断另一程序计数器值。该另一程序计数器值包括所标识...

本申请公开了一种存储器设备，其被配置为使用具有与写入修调对应的电压电平的写入电压来存储数据。存储器内建自测试系统可以提示存储器设备执行存储器写入操作，以使用选择的写入修调的测试值来存储数据，确定存储器设备使用与选择的写入修调的测试值对应...

本申请公开了一种硬件辅助验证系统，包括计算系统，其用于将描述电子系统的电路设计的分区分配给建模设备以及将分区的特定连接分配给硬件辅助验证系统的传输电路和接收电路。该计算系统可以识别被配置为将一个或多个数据信号从传输电路发送到接收电路的通...

计算系统可以使用重要性采样来表征用于制造集成电路的光刻工艺中的随机变异。计算系统可以选择对光刻工艺的修改，并识别出在使用修改后的光刻工艺制造时集成电路中与制造失效相对应的结构。计算系统可以基于用于制造集成电路的光刻工艺相对于未修改的光刻...

系统可以包括语义动作数据库，该语义动作数据库被配置为引用工作上下文知识图谱来指定执行任务的目标动作以及个体执行该任务的环境的环境条件。该系统还可以包括专家化身引擎，该专家化身引擎被配置为从在环境中执行任务的目标个体的数字数据流访问姿势集...

本发明涉及一种由计算机实现的方法，用于为部件的模型生成混合表面。该方法包括：确定三维空间中的第一曲线，其中对于第一曲线上的每个点，该点到第一表面的距离和该点到第二表面的距离在预定参数的阈值内；确定第二曲线，包括第一曲线到第一表面上的投影...

一种用于确定用于可靠地检测工业环境中的危险区域的穿越的多个激光雷达传感器的位置的系统和方法。该系统接收关于危险区域的几何形状的数据、关于该区域内的该组移动对象的数据以及关于该区域内的该组固定对象的数据。系统接收关于组合了单元的所有移动对...

分析链向量结果以识别电路中的故障扫描链和与故障扫描链相关联的故障。分析扫描向量结果以识别故障扫描链上的一个或多个故障扫描元件候选。然后执行模拟仿真以识别一个或多个故障扫描元件候选中的故障部件候选。在该过程期间，可确定一个或多个故障扫描元...

刀具路径生成方法，用于固定轴铣削，包括：输入工件几何体，工件几何体包括切削区域；将工件几何体上与切削区域相连通的处于同一高度范围的区域定义为辅助区域，该高度为沿刀轴方向定义的高度；将切削区域和辅助区域合并成的区域定义为过渡区域；生成过渡...

提供了一种用于生成三维模型中的晶格结构的网格的方法。将第一网格具体化方法应用于第一晶格以生成第一网格。识别第一晶格的第一网格具体化方法无法生成网格分面的区域。从第一晶格中提取第二晶格，该第二晶格包括第一晶格在第一网格具体化方法无法生成网...

一种费托反应器(100)，包括：a)压力容器(130)，其适于使富集的载流体(F)与催化剂接触以形成烃产物，其中所述载流体(F)通过与合成气(G)接触而富集一氧化碳和氢气；b)载流体(F)再循环泵(104)，其与所述压力容器(130)的...

计算系统可以解析图示电子系统的原理图，以识别原理图中的设计块以及耦合至设计块的导线线路。该计算系统实施至少一种监督机器学习分类算法，可以对设计块和导线线路进行分类。设计块的分类可以对应于表示电子系统的部件的一个或多个符号。导线线路的分类...

一种被配置为测试至少部分模拟的电路的测试电路，包括：一个或更多个扫描链以及一个或更多个阈值比较转换器。所述一个或更多个阈值比较转换器中的每个阈值比较转换器包括针对一个或更多个预设阈值的一个或更多个阈值比较子转换器，一个或更多个阈值比较转...

一种电路包括包含扫描单元的扫描链和一个或多个观测扫描链。扫描链包括扫描单元。一个或多个观测扫描链包括观测扫描单元。测试所述电路包括扫描捕获阶段和观测扫描阶段。在扫描捕获阶段期间，扫描单元和观测扫描单元交替在移位模式和捕获模式下操作。在观...

描述了一种在建模系统中在三维对象的两个邻近的、不相交的且相对的网格表面之间生成体积网格的计算机实现的方法。确定被投影的体积，其中，当该体积在由局部网格尺寸确定的距离内到达相对的网格表面时，生成具有第一拓扑结构的网格体积。当被投影的体积没...

提供了一种计算机实现的系统和方法，用于生成增材制造（AM）构建程序，该增材制造构建程序被用于构建具有流形边界体的物体。制造定义模块合并用于制造定义的构建信息和AM机器模式信息。该构建信息包括基于区域的构建参数的规范，并且机器模式信息包括...

描述了一种在对象的计算机辅助技术(CAx)模型中生成薄体积网格的计算机实现的方法。选择位于具有第一组网格参数的第一表面网格与具有第二组网格参数的第二表面网格之间的体积区域。该体积区域具有与第一表面网格和第二表面网格之间的距离对应的厚度t...

描述了一种在建模系统中对三维对象中不相交的网格表面的层叠中的顶点链进行优化的计算机实现的方法。顶点链包括由第一端点和第二端点终止的在层叠中的相邻表面网格中的最近邻网格顶点。所述建模系统被配置用于为用户渲染包括网格化表面的对象的图像。获取...

本发明提出了用于检测和定位物理环境(300)中的对象(310)的系统和方法，所述方法包括：‑‑接收(210)表示所述物理环境(300)的第一图像(301)，其中，所述第一图像是3D点云图像，该3D点云图像包括针对点云图像中的点的定位数据...

描述了一种用于对基于历史的零件模型的变更进行捕捉和管理的计算机实现的方法和系统。所述变更是在零件外部生成的，并且被存储为基于历史的建模系统内的特征。该方法和系统用在零件组件编辑的上下文环境下。用户以初始驱动变更的形式向零件组件提供一般性...