UML序列图的Z形式规范

用形式化语言Z定义了统一建模语言序列图的严格语义,给出了抽象句法、合式规则及应满足的一致性约束,并通过一个应用实例说明了该形式规范为序列图的语义分析与正确性验证提供了支持。     

细胞元特征模型中操作局部化方法的研究

提出一种直接操作特征过程中将操作局部化的方法,该方法利用语义造型系统中特征依赖图及细胞表示特征的高效性,将发生变化的区域从特征模型中分离出来．利用该方法使得直接操作特征时缩小了对模型进行约束求解的范围,从而满足了直接操作特征时对约束求解的速度要求．同时,通过对数据结构的分析,给出两个相应的分离算法．     

基于Object-Z的带OCL约束的UML类图形式化描述

UML2．0OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行条件约束后,类图便具备了严格的语法和精确的语义,同时也具备了演绎验证的基本条件．但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证,因此提出了将带OCL约束的UML类图通过Object—Z进行形式化描述的方法,这样便可以充分利用Object—Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等。     

基于领域本体的文本相似度算法

文本相似度计算在专利信息分析系统中有着广泛的应用前景.传统的基于向量空间模型的文本相似度计算方法,一方面未能很好地考虑上下文信息对词语语义的约束,导致不能对不同语境中词语的语义进行有效区分;另一方面使用词典作为计算相似度的依据具有领域相关性,在特定领域未能给出有效的语义理解.提出一种使用领域本体作为文本相似度计算基础的方法,该方法中使用语义消歧来解决上下文对于词语语义的影响;使用领域本体概念意义相同关系来计算文本相似度.实验结果显示本方法的准确度相对于现有典型的相似度计算方法有所提高.     

一种汉语语句依存关系网协动生成方法研究

句法分析的研究是自然语言理解领域的一个重要组成部分。但是汉语在词类这个语言层次上存在着许多歧义结构．这给汉语的自动句法分析带来了难以逾越的障碍。本文以依存语法作为语言模型的基础．提出了一种全新的句子分析策略：分析在两级上进行,一级是基于中心动词同其他成分间的约束关系．通过寻找汉语语义类之间可能存在的句法关系．实现句子成分过滤,完成句子主干提取。一级是上下文级．将语法、语义和语境信息一体化．结合依存语法确定汉语句子中各成分间的依存关系。通过实验表明了该分析策略的可行性。     

XML DTD转换为关系模式的原语义约束

从XML DTD模式到关系模式转换中所引起的语义约束丢失问题入手，分析了引起语义约束丢失的原因，并在传统转换算法的基础上加以改进和扩充，得到一个既能保持结构的对应转换，又能保持原语义约束的转换算法.改进方法的关键是在XML DTD到关系模式的转换过程中能正确地找到一中间转换式图(ADG).该图能很好的表示出原语义约束的各种情况，遍历该图各节点并结合给出的算法可获得正确表示关系模式中的语义约束.     

基于联结语义的概念结构建模方法研究

针对零件结构中几何元素与附着于几何元素之上的设计意图的统一表示问题，提出了基于联结语义的概念结构建模方法.该方法在零件概念结构抽象和分解的基础上，以更符合设计者表达习惯的语义形式简洁地表示零件结构间的约束关系.分析了在结构设计过程中的联结语义及其蕴涵的约束信息，建立了联结语义的约束规则集描述方法.采用联结语义关联图给出了面向概念设计的零件结构模型，实现了结构联结约束信息的抽象表达.实例研究结果表明，该建模方法使设计者可以更直观、自然地在高层次的语义层表达产品设计信息，实现工程语义的形式化表述.     

基于语义概念树和局部上下文分析的查询扩展

针对信息检索中因文档与查询词之间的不匹配而影响信息检索效果的问题,提出了一种结合基于语义概念树和局部上下文分析的查询扩展模型。该模型对用户提交的查询关键词进行扩展,扩展词来源于基于语义概念树和局部上下文分析的扩展词。实验结果表明,与单纯采用局部上下文分析方法(LCA)相比,该方法有更优的检索性能。     

基于指称语义的UML序列图的形式化分析

统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括大量具有模糊、稀疏语义的标准元素.本文针对UML半形式化的特点主要研究如何采用指称语义学方法对UML序列图进行形式化描述,以提高UML序列图语义的准确性.本文采用指称语义学方法定义了UML序列图的...     

基于ERNIE-BiGRU模型的中文文本分类方法

针对新闻文本分类方法中词向量的表示无法很好地保留字在句子中的信息及其多义性,利用知识增强的语义表示(ERNIE)预训练模型,根据上下文计算出字的向量表示,在保留该字上下文信息的同时也能根据字的多义性进行调整,增强了字的语义表示。在ERNIE模型后增加了双向门限循环单元(Bi GRU),将训练后的词向量作为Bi GRU的输入进行训练,得到文本分类结果。实验表明,该模型在新浪新闻的公开数据集THUCNews上的精确率为94. 32%,召回率为94. 12%,F1值为0. 942 2,在中文文本分类任务中具有良好的性能。     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.