摘要：版图验证中的不等于检查是IC?CAD工具中版图验证中设计规则检查中的一种特殊操作。本发明属于IC?CAD工具中版图验证领域。版图验证规则中，有一类检查规则称为不等于检查，即检查某个图形的距离是否不等于某个固定的数值，如果不等于，则报告错误。为实现宽度不等于的检查，可采用如下的语法：Internal?AA！＝距离值但是上述写法在所有的版图验证工具中都被定义为非法语句，因为这个写法会导致版图验证算法效率急剧降低，用户不能接受。本发明提出了一种解决不等于检查的高效方法，它允许用户在规则文件中出现！＝的符号，然后在程序实现过程中自动将！＝符号转化为另外的高效计算命令来实现，满足了用户的需求。

摘要：防静电放电(ESD)和防闩锁效应(Latch?up)保护电路规则的自动检查方法是集成电路辅助设计软件工具中版图验证的一种特殊方法。本发明属于集成电路辅助设计软件工具中版图验证领域。集成电路版图设计过程中，为了防止静电放电和闩锁效应引起内部电路的失效，需要对保护电路进行电学规则和工艺规则的正确性验证。本发明提出了一种防静电放电(ESD)和防闩锁效应(Latch?up)保护电路规则的自动检查方法，该方法由计算机程序自动生成进行检查，可以在很短的时间内完成一个完整芯片的检查，大大提高开发效率，保证电路的正确性。

摘要：使用形式化描述语言自动生成复杂器件版图的方法是集成电路辅助设计软件工具中提高版图绘制效率的一种优化方法。本发明属于集成电路辅助设计软件工具中版图验证领域。传统版图设计工程师为生成复杂器件单元的版图，通常使用编程语言来实现，这种实现方法要求用户具有较好的编程能力，因此设计门槛高，开发时间长，工作量大。本发明提出了一种自动生成复杂器件版图的形式化描述方法，该方法使用形式化描述语言自动生成复杂器件的版图。相对于业界PCell、Magic?Cell等采用相对于业界PCell、MagicCell等采用编程语言实现的复杂器件版图的自动生成方法，本发明不需要任何编程语言知识，书写简单，大大提高了开发效率，易于后续经常性的修改和维护。

摘要：安全芯片的版图保护电路自动生成方法是集成电路辅助设计软件工具中的一种自动布线方法。本发明属于集成电路辅助设计软件工具中布局布线领域。随着安全芯片的日益普及，针对安全芯片的物理攻击技术也逐渐被黑客掌握，使得安全芯片的安全性受到严重挑战。为了防止物理攻击，芯片设计厂商在有效电路的版图中，在金属层的最高层之上再人工加入一层保护层金属(Shield)，该保护层的信号线受到持续的监控。目前，国内的安全芯片设计企业通过手工的方法来设计保护电路，效率较低，且容易出错。本发明提出了一种版图保护电路的自动生成方法，该方法由计算机程序自动生成覆盖全面的版图保护电路，可以在很短的时间内完成该项工作，大大提高了开发效率，保证了版图保护电路的正确性。

摘要：版图验证规则文件测试向量的自动生成方法是集成电路辅助设计软件工具中版图验证(DRC)中的一种优化方法。本发明属于集成电路辅助设计软件工具中版图验证领域。为了保证版图验证规则文件的正确性，通用的方法是：根据规则文件的描述，由人工构造多个测试向量，然后分析测试向量的计算结果是否与预期一致。人工构造测试用例的方法有两个显著缺点，首先，该方法工作量很大，效率低。其次，人工构造向量用例难以保证测试的全面性。为了克服人工构造测试向量的缺陷，本发明提出了一种测试向量的自动生成方法，该方法由计算机程序自动生成覆盖全面的测试向量，可以在很短的时间内完成测试向量的生成，大大提高了开发效率，保证了规则文件的正确性。

摘要：本发明公开了一种基于区块链的安全多方计算融合方法及系统，基于区块链的安全多方计算融合方法包括服务信息记录、量化操作、秘密共享和数据加密、神经网络服务和服务结果等步骤。本发明可应用于不同企业和用户与服务器之间进行神经网络服务，可以很好地保护服务器的模型安全以及用户的隐私数据，同时也保障了服务环境和服务结果的公正可靠性；整个协议使用了同态加密技术、安全多方计算的秘密共享和混淆电路协议以及联盟链技术，通过同态加密技术对数据进行加密，在神经网络中，线性部分使用秘密共享，在非线性部分使用混淆电路进行两方或多方协作计算，同时提出了一种高效的转换方法，提高了推理效率。

摘要：本发明涉及纤维染色技术领域，且公开了一种玻璃纤维布涂覆机，包括用于带动纤维染布进行输送的输送电机以及染色罐，所述染色罐呈圆柱体中空结构，且染色罐的底端安装有支撑架，所述染色罐的顶端安装有摆动电机，所述摆动电机的外壳固定连接染色罐的外壁，且摆动电机的输出端穿过染色罐安装有转动板，所述转动板置于染色罐内部，所述转动板的一端固定连接摆动电机的输出端，且转动板的另一端开设有穿孔，本发明通过输送电机带动转动架将染色布料旋转在染色罐内部，且向着出料输送，染色罐的内部通过喷淋管将染料喷洒出，且染布旋转到染色罐内部底端时浸泡在染料内，双向染色。

摘要：一种自动适应工艺特征尺寸的互连寄生电容提取方法，属于集成电路计算机辅助设计中互连线寄生参数提取技术领域。该方法切割版图时设置扫描带宽度随工艺特征尺寸等比例缩小以节约内存；切割后根据工艺特征尺寸在水平方向减少环境导体以提高电容提取速度，及在高度方向增加环境导体以提高提取精度；然后取形体表面边长除以工艺特征尺寸的相对长度做边界元划分以提高提取精度；最后求解离散后的边界积分方程得到导体间的寄生电容；从整体上成倍的提高互连寄生电容提取程序的性能。

摘要：一种集成电路版图的器件属性计算方法，所属的技术领域是集成电路计算机辅助设计领域，尤其是涉及集成电路版图的网表提取及版图与原理图的一致性检查领域。主要应用于网表提取工具、版图与原理图的一致性检查工具等。本发明目的在于：提供一种集成电路版图的器件属性计算方法，能够快速计算集成电路版图中器件的属性，为版图与原理图的一致性检查提供支持，同时减少资源的占用。其实现过程主要包括：将基于图形的版图数据结构转化为基于边的数据结构；采用扫描线算法，只对含有图形顶点的位置进行扫描；在扫描线上根据边的状态计算图形的属性，而无需恢复垂直边；利用图形的属性得到器件的属性。

摘要：本发明涉及一种快速实现版图验证中密度检查的方法，属于IC CAD工具中版图验证领域。密度检查是IC CAD工具版图验证中设计规则检查(DRC)中的一种图形操作。密度检查的基本含义是检查某一层图形的面积在总的区域面积中所占的百分比。有些密度检查要求计算层的图形位于另外一个对照图形层内部时面积计算才有效。它的描述方式是：Density被计算图形层Inside of对照图形层。在这种条件下，密度计算实现难度大。本发明提出了针对上述条件的密度检查实现方法，可以大大提高密度检查有对照层的计算效率。