钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
文献导航
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
数据库索引
>
中国科学引文数据库
工程索引(美)
日本科学技术振兴机构数据库(日)
文摘杂志(俄)
科学文摘(英)
化学文摘(美)
中国科技论文统计与引文分析数据库
中文社会科学引文索引
科学引文索引(美)
中文核心期刊
cscd
ei
jst
aj
sa
ca
cstpcd
cssci
sci
cpku
默认
篇关摘
篇名
关键词
摘要
全文
作者
作者单位
基金
分类号
搜索文章
搜索思路
钛学术文献服务平台
\
学术期刊
\
医药卫生期刊
\
大学学报期刊
\
暨南大学学报(自然科学与医学版)期刊
\
"否则"的形式语义
"否则"的形式语义
作者:
琚凤魁
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取
否则
省略
语义堆
动态语义
摘要:
作为汉语中的一个二元连接词,"否则"实际上有3个主目,其中的一个被省略掉了.这种省略是依赖于语境的,确切地说,其主要与"否则"之前的子句的主连接词有关.在某些情况下,这种省略是歧义的.基于更新语义框架,本文为"否则"构造一种动态语义.在这个语义中,语句的意义是语义堆上的更新函项,"否则"是更新函项上的二元运算.这种处理方式能够成功捕捉这种省略对于语境的依赖.
暂无资源
收藏
引用
分享
推荐文章
基于ASM的元模型形式化语义的研究
模型驱动工程
元模型
简单Petri网
抽象状态机
面向移动云服务系统的形式化语义描述方法
移动云服务
agent
形式化描述
语义验证
范畴理论
SQL语言的形式语义
中介逻辑谓词演算MFM
结构化查询语言
不完全信息
基于语义层行为结构的变换对形式化格局识别技术的再探究
软件逆向工程
格局识别
行为结构变换
语义层理解
形式化方法
内容分析
文献信息
引文网络
相关学者/机构
相关基金
期刊文献
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
篇名
"否则"的形式语义
来源期刊
暨南大学学报(自然科学与医学版)
学科
工学
关键词
否则
省略
语义堆
动态语义
年,卷(期)
2010,(5)
所属期刊栏目
研究方向
页码范围
477-484
页数
分类号
TP391.1
字数
2535字
语种
中文
DOI
10.3969/j.issn.1000-9965.2010.05.012
五维指标
传播情况
被引次数趋势
(/次)
(/年)
引文网络
引文网络
二级参考文献
(5)
共引文献
(3)
参考文献
(4)
节点文献
引证文献
(0)
同被引文献
(0)
二级引证文献
(0)
1981(1)
参考文献(0)
二级参考文献(1)
1985(1)
参考文献(0)
二级参考文献(1)
1986(1)
参考文献(0)
二级参考文献(1)
1987(1)
参考文献(0)
二级参考文献(1)
1996(1)
参考文献(1)
二级参考文献(0)
2000(1)
参考文献(0)
二级参考文献(1)
2001(1)
参考文献(1)
二级参考文献(0)
2008(1)
参考文献(1)
二级参考文献(0)
2009(1)
参考文献(1)
二级参考文献(0)
2010(0)
参考文献(0)
二级参考文献(0)
引证文献(0)
二级引证文献(0)
研究主题发展历程
节点文献
否则
省略
语义堆
动态语义
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
暨南大学学报(自然科学与医学版)
主办单位:
暨南大学
出版周期:
双月刊
ISSN:
1000-9965
CN:
44-1282/N
开本:
16开
出版地:
广州市石牌暨南大学
邮发代号:
创刊时间:
1936
语种:
chi
出版文献量(篇)
3168
总下载数(次)
6
总被引数(次)
18800
期刊文献
相关文献
1.
基于ASM的元模型形式化语义的研究
2.
面向移动云服务系统的形式化语义描述方法
3.
SQL语言的形式语义
4.
基于语义层行为结构的变换对形式化格局识别技术的再探究
5.
Repeat-until语句的操作语义与指称语义的等价性证明
6.
UML活动图的形式语义及分析
7.
SDL形式语义定义现状及其改进
8.
UML的形式化描述语义
9.
KRust:Rust形式化可执行语义
10.
UML 2.0的形式化语义研究
11.
基于形式语义的Web服务交互模型
12.
基于汉语框架语义关系的零形式识别与消解
13.
形式语义描述方法研究进展与评价
14.
语义Web
15.
英文语义机器翻译中的模糊语义选取技术
推荐文献
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
根据相关规定,获取原文需跳转至原文服务方进行注册认证身份信息
完成下面三个步骤操作后即可获取文献,阅读后请
点击下方页面【继续获取】按钮
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
原文合作方
继续获取
获取文献流程
1.访问原文合作方请等待几秒系统会自动跳转至登录页,首次访问请先注册账号,填写基本信息后,点击【注册】
2.注册后进行实名认证,实名认证成功后点击【返回】
3.检查邮箱地址是否正确,若错误或未填写请填写正确邮箱地址,点击【确认支付】完成获取,文献将在1小时内发送至您的邮箱
*若已注册过原文合作方账号的用户,可跳过上述操作,直接登录后获取原文即可
点击
【获取原文】
按钮,跳转至合作网站。
首次获取需要在合作网站
进行注册。
注册并实名认证,认证后点击
【返回】按钮。
确认邮箱信息,点击
【确认支付】
, 订单将在一小时内发送至您的邮箱。
*
若已经注册过合作网站账号,请忽略第二、三步,直接登录即可。
期刊分类
期刊(年)
期刊(期)
期刊推荐
中国医学
临床医学
五官科学
内科学
医疗保健
医药卫生总论
基础医学
外科学
大学学报
妇产科学与儿科学
特种医学
皮肤病学与性病学
神经病学与精神病学
肿瘤学
药学
预防医学与卫生学
暨南大学学报(自然科学与医学版)2022
暨南大学学报(自然科学与医学版)2021
暨南大学学报(自然科学与医学版)2020
暨南大学学报(自然科学与医学版)2019
暨南大学学报(自然科学与医学版)2018
暨南大学学报(自然科学与医学版)2017
暨南大学学报(自然科学与医学版)2016
暨南大学学报(自然科学与医学版)2015
暨南大学学报(自然科学与医学版)2014
暨南大学学报(自然科学与医学版)2013
暨南大学学报(自然科学与医学版)2012
暨南大学学报(自然科学与医学版)2011
暨南大学学报(自然科学与医学版)2010
暨南大学学报(自然科学与医学版)2009
暨南大学学报(自然科学与医学版)2008
暨南大学学报(自然科学与医学版)2007
暨南大学学报(自然科学与医学版)2006
暨南大学学报(自然科学与医学版)2005
暨南大学学报(自然科学与医学版)2004
暨南大学学报(自然科学与医学版)2003
暨南大学学报(自然科学与医学版)2002
暨南大学学报(自然科学与医学版)2001
暨南大学学报(自然科学与医学版)2000
暨南大学学报(自然科学与医学版)1999
暨南大学学报(自然科学与医学版)2010年第6期
暨南大学学报(自然科学与医学版)2010年第5期
暨南大学学报(自然科学与医学版)2010年第4期
暨南大学学报(自然科学与医学版)2010年第3期
暨南大学学报(自然科学与医学版)2010年第2期
暨南大学学报(自然科学与医学版)2010年第1期
关于我们
用户协议
隐私政策
知识产权保护
期刊导航
免费查重
论文知识
钛学术官网
按字母查找期刊:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他
联系合作 广告推广: shenyukuan@paperpass.com
京ICP备2021016839号
营业执照
版物经营许可证:新出发 京零 字第 朝220126号