公开(公告)号：CN1316073A

公开(公告)日：2001-10-03

申请号：CN00801310.1

申请日：2000-06-28

Applicant: 布尔CP8公司 ,  国家信息及自动化研究院 ,  国家科研中心

Inventor： 克里斯蒂安·高雷 ,  托马斯·简森 ,  帕斯卡·弗拉德特 ,  丹尼尔·勒·梅塔耶 ,  埃文·丹尼

IPC: G06F9/45

CPC classification number: G06F8/52 ,  G06F9/44589

Abstract: 本发明涉及一种准备嵌入式系统(7)用的、从源代码到被变换代码的变换器的检验方法。该方法至少包含以下步骤：确定将这二个代码(1,3)进行因式分解的唯一的虚拟机,对每个所述源代码(1)和被变换代码(3),确定多个表示载所述源代码(!)和被变换代码(3)之间的剩余差值的所述辅助函数,以及一个在于检验这些辅助函数之间的对应特性的步骤,该代码变换器(2)的检验从最后步骤开始被获取。该应用尤其适合于芯片卡(7)。

公开(公告)号：CN107873139B

公开(公告)日：2021-07-16

申请号：CN201680030357.1

申请日：2016-03-24

Applicant: 特拉克森公司 ,  国家信息及自动化研究院

Inventor： P.达拉贡 ,  N.古佐 ,  A.南达戈班 ,  N.米顿

IPC: H04W40/32 ,  H04L12/701 ,  H04W84/20 ,  H04L29/08 ,  H04W4/38

Abstract: 本发明涉及一种无线电子通信设备（10、10i）的网络（NI）中的通信方法（P100），其使得能够在集群（Cl1、Cl2、Cl3）的构成期间动态且自动地调节招入消息（MH、MH’）的传播。本发明此外涉及实施所述通信方法的任何电子设备以及包括这样的设备的任何系统。这样的电子通信设备（10、10i）包括处理单元（11），所述处理单元（11）与程序存储器（14）协作，所述程序存储器（14）包括程序（P）的指令，所述程序指令由所述处理单元（11）的执行或解译促使实施通信方法（P100）。

公开(公告)号：CN105165080B

公开(公告)日：2019-09-13

申请号：CN201480021212.6

申请日：2014-03-14

Applicant: 阿尔卡特朗讯公司 ,  国家信息及自动化研究院

Inventor： M·阿达 ,  V·卡普德维尔 ,  A·菲基 ,  E·奥尔特曼

IPC: H04W64/00

Abstract: 一种用于估计连接到无线网络的基站的用户设备的速度的方法，所述方法包括下面的步骤：执行在所述用户设备与所述基站之间传输的无线信号的信号强度测量(S)；执行信号强度测量的频谱分析(11)；确定信号强度测量的功率谱中局部最大值的频率；根据先前建立的参考数据，估计(12)与所确定的频率相对应的用户设备的速度，参考数据将指定用户设备速度与某一确定的频率相关联。

公开(公告)号：CN106415550A

公开(公告)日：2017-02-15

申请号：CN201580026253.9

申请日：2015-04-10

Applicant: 国家信息及自动化研究院

Inventor： C·阿利亚 ,  A·普莱斯科

IPC: G06F17/50

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

公开(公告)号：CN101568928B

公开(公告)日：2013-07-31

申请号：CN200780045778.2

申请日：2007-10-25

Applicant: 国家信息及自动化研究院

Inventor： G·卢素 ,  M·比埃斯

IPC: G06F21/10 ,  G06F21/64

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

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

公开(公告)号：CN103189879A

公开(公告)日：2013-07-03

申请号：CN201180030902.4

申请日：2011-04-26

Applicant: 国家信息及自动化研究院 ,  雷恩第一大学

Inventor： 克里斯蒂娜·吉耶莫 ,  华金·塞佩达 ,  爱娃·基亚克

IPC: G06K9/62

CPC classification number: G06F17/30153 ,  G06F17/30115 ,  G06F17/30286 ,  G06K9/6232

Abstract: 一种计算机工具，其特征在于，包括：工作存储器(206)，其用于接收输入数据；辅助存储器(204)，其用于存储几个近似值字典；减少器(202)，其被布置成迭代地计算输入数据的近似值数据，其中，连续的迭代是“匹配追踪”型；选择器(200)，其被布置成根据基于至少一些先前迭代的选择规则来在辅助存储器中选择近似值字典，其中，减少器(202)在每次迭代中调用所述选择器(200)，并且因此使用在合适匹配中所选择的字典。

公开(公告)号：CN101180832B

公开(公告)日：2013-03-13

申请号：CN200680017855.9

申请日：2006-04-13

Applicant: 国家信息及自动化研究院

Inventor： 米歇尔·巴纳特尔 ,  马蒂厄·贝库斯 ,  保罗·考德克

IPC: H04L12/18 ,  H04L29/06

CPC classification number: H04L67/26 ,  G09F27/00 ,  H04L12/1886 ,  H04L67/04 ,  H04L69/329 ,  H04W4/06

Abstract: 本发明的信息发布系统(1)特别用于火车站或机场，其包括控制单元(5)和短距离通信中继器(7)，控制单元(5)将根据第一关键值选择的信息项传送到主发布器(3)，短距离通信中继器(7)用于建立与移动终端(11，13，15)的连接。所述控制单元包括中继接口和控制模块，所述控制模块执行对发布器的通用发布功能、清单功能和特定发布功能，所述清单功能通过存储从终端接收的状态数据和根据状态数据子组设置第二关键值来与终端交互，所述特定发布功能将根据第二关键值选择的信息项发送到具有第二子组状态数据的终端。

公开(公告)号：CN101779203A

公开(公告)日：2010-07-14

申请号：CN200880025647.2

申请日：2008-06-13

Applicant: 国家信息及自动化研究院

Inventor： S·瑞东 ,  R·罗斯

IPC: G06F17/50

CPC classification number: G06F17/5009

Abstract: 一种对相互作用对象集合进行仿真的计算机设备及相应方法。一种对相互作用对象集合进行仿真的计算机设备，包括：保存有对象树状表示的存储器(8)，其中，每个结点与动力学数据、几何数据、相互作用数据相关联，所述动力学数据、几何数据、相互作用数据取决于子结点数据，并且对于某些结点而言，还取决于局部相互作用数据；仿真控制器(4)，用于重复地启动：相互作用数据分配器(10)，相互作用更新机构，所述相互作用更新机构遍历树状表示，并根据子结点的局部相互作用数据更新结点的相互作用数据，动力学数据更新机构(12)，所述动力学数据更新机构(12)遍历树状表示，并根据有关几何、相互作用数据运行，几何数据更新机构(14)，所述几何数据更新机构(14)为倾向于相互作用的结点遍历树状表示，并根据已更新的动力学数据运行。本发明还涉及一种对相互作用对象集合的进行仿真方法，和一种计算机程序产品。

公开(公告)号：CN118946911A

公开(公告)日：2024-11-12

申请号：CN202280091435.4

申请日：2022-12-13

Applicant: 泰雷兹数字安全法国简易股份公司 ,  泰雷兹公司 ,  密执安州大学评议会 ,  国家信息及自动化研究院

Inventor： D·安吉隆 ,  P·福雷 ,  C·陈 ,  A·罗斯 ,  A·丹切瓦

IPC: G06V40/70 ,  G06V10/82 ,  G06V40/16

Abstract: 根据本发明的交叉光谱面部识别学习方法基于多个人的一组相关联的面部图像(热图像(10T)和视觉图像(10V))。热图像(10T)以两种不同的方式编码。风格编码器(200T)提供热图像(10T)的风格代码(420T)。身份编码器(100T)提供热图像(10T)的身份代码(410T)。视觉图像10V以类似的方式用提供风格代码(420V)的风格编码器(200V)和用提供身份代码(410V)的身份编码器(100V)编码。同一人的两个面部图像在身份特征中共享各自的身份代码(410T和410V)中的共同部分，被称为共同身份代码(410VT)，而两个图像的风格代码(420T和420V)包括仅与图像的两种特定风格(即热或视觉)相关的特征。

公开(公告)号：CN113326931B

公开(公告)日：2024-04-30

申请号：CN202110220777.9

申请日：2021-02-26

Applicant: 丰田自动车株式会社 ,  国家信息及自动化研究院

Inventor： 格布里尔·欧斯梅兹奥瑞 ,  厄兹古尔·额肯特 ,  克里斯蒂安·劳吉尔

IPC: G06N3/08 ,  G06V10/82

Abstract: 将利用源域的经标记的图像训练的初始模型适配到适配模型的方法，其包括：将初始模型复制到适配模型中；将适配模型划分成编码器部分和第二部分，其中，该第二部分配置为处理从所述编码器部分输出的特征；在固定所述第二部分的参数并使以下两个距离的函数最小化的同时使用源域和目标域的图像(xs)将所述适配模型适配到目标域：初始模型和适配模型的编码器的输出的源域的特征之间的距离；以及测量针对源域的图像和目标域的图像获得的特征的概率之间的分布距离的距离。