期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
可组合仿真模型的语义形式描述及组合判定方法 被引量:5
1
作者 周东祥 李群 王维平 《国防科技大学学报》 EI CAS CSCD 北大核心 2008年第1期89-93,共5页
如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可... 如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质,形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析。 展开更多
关键词 组合仿真 组合判定 语义相容性 语义可替换性
下载PDF
基于过程本体论的网格应用集成 被引量:1
2
作者 廖立君 王平 李长云 《计算机工程与应用》 CSCD 北大核心 2006年第15期182-184,共3页
网格环境中面向服务的应用集成要求高度自动化、动态性和智能化。文章提出了网格服务集成的框架及方法,在过程本体论中进行从抽象到具体的层次匹配,以解决高层次的任务分解、目标规划问题;业务过程的原子活动通过语义相容性查找策略动... 网格环境中面向服务的应用集成要求高度自动化、动态性和智能化。文章提出了网格服务集成的框架及方法,在过程本体论中进行从抽象到具体的层次匹配,以解决高层次的任务分解、目标规划问题;业务过程的原子活动通过语义相容性查找策略动态地绑定到WebServices上,可适应网格环境的变化性。 展开更多
关键词 网格计算 WEB SERVICES 本体论 语义相容性
下载PDF
前置线索与刺激语义相容性的实验研究 被引量:1
3
作者 刘艳芳 张侃 《心理学报》 CSSCI CSCD 北大核心 1999年第3期299-305,共7页
运用前置线索技术,探讨了无SRC条件下线索与刺激的语义相容性效应。实验考察不同线索与刺激的关系、线索与刺激的呈现间隔和线索有效性对视觉刺激进行非维度重合命名的影响。结果表明:(1)线索与刺激的语义相容性存在,且符合维度重... 运用前置线索技术,探讨了无SRC条件下线索与刺激的语义相容性效应。实验考察不同线索与刺激的关系、线索与刺激的呈现间隔和线索有效性对视觉刺激进行非维度重合命名的影响。结果表明:(1)线索与刺激的语义相容性存在,且符合维度重合理论;(2)线索与刺激的语义相容性具有一定适时性,支持自动激活假设;(3)线索的客观有效性影响了线索与刺激的语义相容性,表现为有效性越高,相容性效应越显著。 展开更多
关键词 相容性 前置线索 信息加工 心理学 语义相容性
下载PDF
汉语体标记“了”的话语功能分布研究 被引量:2
4
作者 张立昌 《汉语学习》 CSSCI 北大核心 2015年第3期51-59,共9页
本文定量分析词尾"了"和句尾"了"在会话与叙事两种语体及其不同话语功能中的分布,根据每种"了"的分布特征及其与相关话语功能的相容性,确定词尾"了"与句尾"了"分布的典型和非典型话... 本文定量分析词尾"了"和句尾"了"在会话与叙事两种语体及其不同话语功能中的分布,根据每种"了"的分布特征及其与相关话语功能的相容性,确定词尾"了"与句尾"了"分布的典型和非典型话语功能,并对非典型话语功能中"了"所在句子意义的变化以及造成变化的原因进行分析。研究表明,"了"结构的意义只有在具体使用中才能得到完整解读。 展开更多
关键词 词尾“了” 句尾“了” 话语功能 分布 语义相容性
下载PDF
语义相容性──文学作品的意义类型学研究
5
作者 高岩 《文艺评论》 CSSCI 北大核心 1998年第2期11-15,共5页
语义相容性──文学作品的意义类型学研究高岩1·序论文学作品的类型研究,就某一作品而言,可以加深对该作品与其他作品的关系的理解,知晓其一般性及独有特征,就广泛的人类文学现象而言,则可获得关于文学的一般范畴、样本(典... 语义相容性──文学作品的意义类型学研究高岩1·序论文学作品的类型研究,就某一作品而言,可以加深对该作品与其他作品的关系的理解,知晓其一般性及独有特征,就广泛的人类文学现象而言,则可获得关于文学的一般范畴、样本(典型)、共性及变异的知识,而文学的形态变... 展开更多
关键词 语义相容性 文学作品 类型学研究 相容 语义矛盾 王国维 类型研究 韦勒克 语义关系 判定方法
下载PDF
一种网络访问控制语义相容性推理规则自动生成技术
6
作者 韦丽娟 《软件导刊》 2018年第2期41-43,46,共4页
针对网络访问控制语义相容性本体推理规则编写繁琐、效率低且易出错的缺陷,提出了基于Lex&Yacc的访问控制语义相容性本体推理规则自动生成技术。分析了推理规则生成的相关技术,构建了推理规则生成算法,进行了算法的复杂度实验。实... 针对网络访问控制语义相容性本体推理规则编写繁琐、效率低且易出错的缺陷,提出了基于Lex&Yacc的访问控制语义相容性本体推理规则自动生成技术。分析了推理规则生成的相关技术,构建了推理规则生成算法,进行了算法的复杂度实验。实验结果表明,该算法能生成满足本体推理需要的推理规则,效率及正确性高。 展开更多
关键词 访问控制 语义相容性 本体推理 推理规则生成 Lex&Yacc
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部