公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

基于Object-Z的ReflectiveArchitecture形式化研究被引量：1: 2010年; 将元信息、元建模、反射和软件体系结构结合起来,提出了一种基于反射机制的软件体系结构重用方法,该方法是一种更通用、更便捷的重用方法;该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMR-SA。描绘了基于反射机制RMRSA的反射式软件体系结构Reflective Architecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link,给出了它的初始化定理及其证明过程,以此为范例证明了被形式化的反射式软件体系结构的正确性。; 罗巨波应时; 关键词：形式化

基于KCCA的跨语言专利信息检索研究被引量：2: 2010年; 研究了一种全新的基于KCCA算法的全自动跨语言信息检索方法,这种算法能通过学习双语训练语料来获得文献的语义表示(向量空间)。运用KCCA来进行中英跨语言专利检索的实验,结果令人鼓舞,所获得的检索结果明显好于以往的技术方法。; 刘伟成张志清孙吉红; 关键词：核典型相关分析跨语言信息检索

全选清除导出

共1页<1>

教育部人文社会科学研究基金(09YJC870024)