电路自动综合方法、相关的设备和计算机程序

    公开(公告)号:CN106415550B

    公开(公告)日:2020-07-28

    申请号:CN201580026253.9

    申请日:2015-04-10

    Abstract: 一种电路自动综合方法,包括生成在管道中的数据的读取或数据到管道中的写入的规则进程的网络,根据该方法,准许唯一生产者进程写入管道中,并且准许唯一消费者进程在管道中读取;以及与所述管道相关联的同步单元,根据对按照生产者进程和消费者进程各自的被收集的新迭代的值而确定的执行位置以及按照生产者进程和消费者进程各自的被收集的上一次迭代值而确定的执行位置进行的比较,来准许或中止所述生产者进程和消费者进程各自的新迭代的实施。

    用于模拟一组元件的方法
    33.
    发明授权

    公开(公告)号:CN104508667B

    公开(公告)日:2018-09-14

    申请号:CN201380038556.3

    申请日:2013-05-23

    Abstract: 一种对元件的系统进行模拟的方法,根据该方法所述元件的行为是基于元件的系统的哈密顿算符H确定的以使得(公式I),其中p是表示元件的力矩的矢量,q是表示元件的位置的矢量,M‑1是随元件的质量而变化的对角矩阵,以及V是系统的势能,该方法包括以下步骤:根据该步骤,当力矩矢量p采取与至少一个元件有关的某个预定值时,零值被分配给矩阵M‑1的与该至少一个元件有关的至少一个对角项。

    用于分子结构的输入集合的相互作用参数

    公开(公告)号:CN107209813A

    公开(公告)日:2017-09-26

    申请号:CN201580074108.8

    申请日:2015-11-24

    Abstract: 本发明涉及一种用于对受体‑配体复合物的界面的几何结构进行建模的方法、一种用于对受体‑配体复合物中受体和配体之间的相互作用进行建模的方法、一种用于确定评分向量w的方法(其中评分向量w是量化/限定受体‑配体复合物的界面的几何结构的相互作用的数学向量)、一种用于确定一个或多个受体‑配体复合物中配体相对于受体的位置的结合亲和力或结合自由能的方法、以及一种用于对一个或多个受体‑配体复合物中配体相对于受体的空间位置的结合亲和力或结合自由能进行排序的方法。

    定义d维空间E中元件的数据处理方法

    公开(公告)号:CN104937640B

    公开(公告)日:2017-09-08

    申请号:CN201380063103.6

    申请日:2013-10-03

    Inventor: B·莱维

    CPC classification number: G06F17/10 G06F17/5009 G06T17/20

    Abstract: 一种定义空间E中的元件的数据的处理方法,其中:(a)在E中定义n个点的集合;(b)通过实施迭代处理,确定所述元件与由相关点xi确定的单元之间的交集结果,其中在本次迭代k,从点集中选择一个异于点xi的辅助点xjk,并计算由线段(xi,xjk)的垂直平分超平面界定且包含xi的半空间E和前次迭代中计算得到的交集结果之间的交集,xjk的选择随xi与xjk之间的距离和存在于xi与该迭代处理中计算得到的交集结果中的点之间的最大距离的两倍之间的比较而变化。

    用于管理数字文档的计算机工具

    公开(公告)号:CN101568928A

    公开(公告)日:2009-10-28

    申请号:CN200780045778.2

    申请日:2007-10-25

    CPC classification number: G06F21/64 G06F8/71 G06F21/105 G06F2221/2151

    Abstract: 本发明涉及用于管理文档特别是合作开发的软件项目的计算机设备。存储器存储具有时间基准的文档内容。提取器将文档内容分解为文档元素。签名产生器返回元素内容的签名。印记产生器为每个文档关联其时间基准和其元素的签名。定时时钟模块计算时间选择函数的结果。管理器对文档内容操作印记产生器。对于每个签名值,管理器对于包含该签名值的印记时间基准的列表调用定时时钟模块。为每个签名值获得统一时间基准。存储每个签名值和其统一时间基准。

Patent Agency Ranking