公开(公告)号：US08171296B2

公开(公告)日：2012-05-01

申请号：US12169131

申请日：2008-07-08

申请人： Jean-Yves Vion-Dury

发明人： Jean-Yves Vion-Dury

IPC分类号： G06F21/00

CPC分类号： H04L9/3263 ,  H04L9/3247 ,  H04L2209/60 ,  H04L2209/68

摘要： A system, method, and computer program product for computing a digest value of a document, one or more schemas, and a validation report. The validation report indicates a validation status of the document based on the schema or schemas. The digest value is encrypted to produce a digital signature of the document, the schema or schemas, and the validation report.

摘要翻译： 一种用于计算文档的摘要值，一个或多个模式和验证报告的系统，方法和计算机程序产品。 验证报告基于模式或模式指示文档的验证状态。 摘要值被加密以产生文档，模式或模式的数字签名以及验证报告。

公开(公告)号：US20100011224A1

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

申请号：US12169131

申请日：2008-07-08

申请人： Jean-Yves Vion-Dury

发明人： Jean-Yves Vion-Dury

IPC分类号： H04L9/00

CPC分类号： H04L9/3263 ,  H04L9/3247 ,  H04L2209/60 ,  H04L2209/68

摘要： A system, method, and computer program product for computing a digest value of a document, one or more schemas, and a validation report. The validation report indicates a validation status of the document based on the schema or schemas. The digest value is encrypted to produce a digital signature of the document, the schema or schemas, and the validation report.

摘要翻译： 一种用于计算文档的摘要值，一个或多个模式和验证报告的系统，方法和计算机程序产品。 验证报告基于模式或模式指示文档的验证状态。 摘要值被加密以产生文档，模式或模式的数字签名以及验证报告。

公开(公告)号：US20080300862A1

公开(公告)日：2008-12-04

申请号：US11756756

申请日：2007-06-01

申请人： Claude Roux ,  Jean-Yves Vion-Dury

发明人： Claude Roux ,  Jean-Yves Vion-Dury

IPC分类号： G06F17/27

CPC分类号： G06F17/271 ,  G06F17/2785 ,  G06F17/2836 ,  G06F17/2872 ,  G06F17/2881 ,  G06F17/289

摘要： A method for supervising text includes receiving input text in a natural language, the input text including at least one source sentence. The input text is analyzed, which includes, for a source sentence in the input text, generating a syntacetic representation. A target sentence is generated in the same natural language, based on the syntacetic representation. The source sentence is compared with the target sentence to determine whether there is a match. A decision is output, based on the comparison.

摘要翻译： 用于监视文本的方法包括以自然语言接收输入文本，所述输入文本包括至少一个源语句。 对输入文本进行分析，其中包括输入文本中的源语句，生成语法表示。 目标句子是以相同的自然语言生成的，基于合成表达式。 将源语句与目标句子进行比较，以确定是否存在匹配。 根据比较输出决​​策。

公开(公告)号：US07284242B2

公开(公告)日：2007-10-16

申请号：US10248287

申请日：2003-01-06

申请人： Jean-Yves Vion-Dury

发明人： Jean-Yves Vion-Dury

IPC分类号： G06F9/45

CPC分类号： G06F8/437

摘要： Source code is compiled using a multi-stage compiler that includes a tokenizer, a type checker, and a composer. The tokenizer segments source code into a sequence of tagged segments. The source code includes at least one instruction that composes a first abstraction and a second abstraction with a selected composition operator. The parser builds a tree using the sequence of tagged segments. The type checker performs a first pass of the tree to determine whether abstractions on the tree are well typed. The composer reduces the at least one instruction composing the first and the second abstractions on the tree to a third abstraction. The composer substitutes the first and the second abstractions on the tree with the third abstraction, wherein the type checker performs a second pass of the tree to determine whether the third abstraction is well typed.

摘要翻译： 源代码是使用多阶段编译器编译的，该编译器包括一个标记器，一个类型检查器和一个作曲者。 tokenizer将源代码分成一段标记的段。 源代码包括至少一个指令，其与选定的组合运算符组成第一抽象和第二抽象。 解析器使用标记段的序列构建树。 类型检查器执行树的第一遍，以确定树上的抽象是否是良好类型。 作曲家将构成第一和第二抽象的至少一个指令减少到第三个抽象。 作曲家用第三个抽象代替树上的第一个和第二个抽象，其中类型检查器执行树的第二遍，以确定第三个抽象是否是良好的类型。

公开(公告)号：US20120290837A1

公开(公告)日：2012-11-15

申请号：US13103216

申请日：2011-05-09

申请人： Jean-Yves Vion-Dury

发明人： Jean-Yves Vion-Dury

IPC分类号： H04L29/06 ,  G06F12/14

CPC分类号： H04L9/14

摘要： A system and method for encrypting/decrypting a document is provided. The encryption method includes encrypting portions within the document containing structural information with an asymmetric public key, encrypting portions within the document containing content information with a symmetric private key, and outputting the document, whereby a service provider provided with a public key is able to access and process only the structural information.

摘要翻译： 提供了用于加密/解密文档的系统和方法。 该加密方法包括利用非对称公开密钥加密包含结构信息的文档内的部分，使用对称私钥对包含内容信息的文档内的部分进行加密，并输出该文档，由此提供有公开密钥的服务提供者能够访问 并仅处理结构信息。

公开(公告)号：US08209599B2

公开(公告)日：2012-06-26

申请号：US12428895

申请日：2009-04-23

申请人： Jean-Yves Vion-Dury ,  Jean-Pierre Chanod

发明人： Jean-Yves Vion-Dury ,  Jean-Pierre Chanod

IPC分类号： G06F17/00

CPC分类号： G06F17/30882 ,  G06F17/2235

摘要： A computer-based method and system for processing links in a markup language document are provided. The method includes providing a specification in computer memory, the specification including at least one link description rule and at least one link processing rule for processing links which satisfy the link description rule. A markup language document is input to computer memory and links in the markup language document are processed in accordance with the link description rule(s) and link processing rule(s) of the specification to generate processed data. The processed data includes at least one of a modified markup language document and data derived from the markup language document.

摘要翻译： 提供了一种用于处理标记语言文档中的链接的基于计算机的方法和系统。 该方法包括在计算机存储器中提供规范，该规范包括至少一个链路描述规则和用于处理满足链路描述规则的链路的至少一个链路处理规则。 将标记语言文档输入到计算机存储器，并且根据链接描述规则和规范的链接处理规则处理标记语言文档中的链接以生成处理的数据。 经处理的数据包括经修改的标记语言文档和从标记语言文档导出的数据中的至少一个。

公开(公告)号：US20070288539A1

公开(公告)日：2007-12-13

申请号：US11451525

申请日：2006-06-12

申请人： Jean-Yves Vion-Dury

发明人： Jean-Yves Vion-Dury

IPC分类号： G06F15/00

CPC分类号： G06T11/203 ,  G06K9/00449

摘要： In a method for identifying cells, line graphics are converted into vectors (12) having a canonical form without vector overlaps or crossings. Connecting vectors (22, 24, 26, 30, 32) are associated, including (i) forking vectors (22) having common starting points, and (ii) meeting vectors (24) having common ending points. A set of vectors is identified including at least two forking vectors and two meeting vectors cooperatively defining a cell.

摘要翻译： 在用于识别细胞的方法中，线图形被转换成具有规范形式的向量（12），而没有载体重叠或交叉。 连接向量（22,24,26,30,32）相关联，包括（i）具有共同起始点的分支向量（22），以及（ii）具有共同终点的会议向量（24）。 识别包括至少两个分叉矢量和两个协调地限定小区的会议向量的向量集合。

公开(公告)号：US07240331B2

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

申请号：US10046191

申请日：2002-01-16

申请人： Jean-Yves Vion-Dury ,  Emmanuel Pietriga

发明人： Jean-Yves Vion-Dury ,  Emmanuel Pietriga

IPC分类号： G06F9/44 ,  G06N5/02

CPC分类号： G06F8/31 ,  G06F8/447 ,  G06F9/45508

摘要： A statement evaluation technique is based on bi-evaluation of programming statements. A programming language statement is evaluated that includes a first and a second sub-statement. The first sub-statement is evaluated and an evaluation success result is determined if evaluation succeeds, or a distinguished value if evaluation fails. The distinguished value is a value that is not included in the range of possible evaluation success results of the first sub-statement. Further, it is determined whether the second sub-statement is to be evaluated. If this is the case, an evaluation success result of the second sub-statement is determined if evaluation succeeds, or the distinguished value if evaluation fails. The range of possible evaluation success results of the second sub-statement does not include the distinguished value. The evaluation result of the statement is determined depending on at least whether evaluation of the first sub-statement succeeds or fails.

摘要翻译： 语句评估技术基于对编程语句的双重评估。 评估包含第一和第二子语句的编程语言语句。 评估第一个子语句，如果评估成功，则确定评估成功结果，如果评估失败则确定评估成功结果。 可分辨值是不包括在第一个子语句的可能的评估成功结果的范围内的值。 此外，确定是否要评估第二子语句。 如果是这种情况，则如果评估成功，则确定第二子语句的评估成功结果，或者如果评估失败则确定识别值。 第二个子陈述的可能评估成功结果的范围不包括特定值。 该语句的评估结果至少取决于第一个子语句的评估是成功还是失败。

公开(公告)号：US07146604B2

公开(公告)日：2006-12-05

申请号：US10248286

申请日：2003-01-06

申请人： Jean-Yves Vion-Dury

发明人： Jean-Yves Vion-Dury

IPC分类号： G06F9/45

CPC分类号： G06F8/425

摘要： Programming abstractions with at least one expression are composed to a single abstraction using a composition operator. Expressions from the abstractions are unfolded by removing the prefix of each abstraction and substituting formal parameter names in each expression with a common parameter name to define open variables. The unfolded expressions are transformed to a reduced expression using a composition pattern that tunes semantics of the composition operators. The reduced expression is nested in the single abstraction by: appending a selected prefix of the composed abstraction to the reduced expression, binding the open variables of the reduced expression to the formal parameter of the selected prefix, and computing the type of the formal parameter of the selected prefix.

摘要翻译： 使用至少一个表达式编程抽象使用组合运算符组成单个抽象。 通过删除每个抽象的前缀并用具有公共参数名称的每个表达式中的形式参数名称来定义开放变量来展开摘要的表达式。 使用调整组合运算符语义的组合模式将展开的表达式转换为缩减表达式。 简化的表达式嵌套在单个抽象中：将所选组合抽象的所选前缀附加到缩写表达式，将缩减表达式的打开变量绑定到所选前缀的形式参数，并计算形式参数的类型 所选的前缀。

公开(公告)号：US08473740B2

公开(公告)日：2013-06-25

申请号：US13103216

申请日：2011-05-09

申请人： Jean-Yves Vion-Dury

发明人： Jean-Yves Vion-Dury

IPC分类号： H04L9/00 ,  H04L9/32

CPC分类号： H04L9/14

摘要： A system and method for encrypting/decrypting a document is provided. The encryption method includes encrypting portions within the document containing structural information with an asymmetric public key, encrypting portions within the document containing content information with a symmetric private key, and outputting the document, whereby a service provider provided with a public key is able to access and process only the structural information.

摘要翻译： 提供了用于加密/解密文档的系统和方法。 该加密方法包括利用非对称公开密钥加密包含结构信息的文档内的部分，使用对称私钥对包含内容信息的文档内的部分进行加密，并输出该文档，由此提供有公开密钥的服务提供者能够访问 并仅处理结构信息。