期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
数词系统中的语义运算及其类型学考察
被引量：
2
1
作者
刘苹
《湖北大学学报（哲学社会科学版）》
CSSCI
北大核心
2023年第4期98-107,共10页
对于数词系统语义运算方式,基于类型学的研究成果较多,但仍存在诸多矛盾之处,有待进一步清晰化和系统化。要解决这些问题,需要采用一致的标准,理清不同语义运算方式之间的关联和差异,构建一个完整的描述体系,从而使得相关研究有章可循...
对于数词系统语义运算方式,基于类型学的研究成果较多,但仍存在诸多矛盾之处,有待进一步清晰化和系统化。要解决这些问题,需要采用一致的标准,理清不同语义运算方式之间的关联和差异,构建一个完整的描述体系,从而使得相关研究有章可循。运用多样性取样方法,选取136个语系中具有代表性的365种语言基数词系统,探讨其相关特征后发现:复合数词相邻成分之间的语义运算有加、乘、减和乘方;位数词与基数之间的语义运算有乘方和乘;位数词的相邻倍数之间的零数可以用循序或预设两种方式表达。这三类关系中的语义运算方式存在一定的蕴涵关系。这些结论对语言描述、语言保护、自然语言信息处理、机器翻译和语言教学以及语言认知都有一定的参考价值。
展开更多
关键词
数词系统
语义
运算
元素关系
蕴涵关系
类型学
在线阅读
下载PDF
职称材料
一种基于问题求解理论的密码协议形式模型
2
作者
赵宇
王亚弟
+2 位作者
韩继红
范钰丹
赵琦
《计算机应用》
CSCD
北大核心
2007年第2期303-307,共5页
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;...
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;对密码协议安全性的定义精确合理;便于实现自动化推理。所有这些均确保了基于该模型的密码协议安全性分析的合理性和有效性,为正确的分析密码协议的安全性提供了可靠依据。
展开更多
关键词
密码协议
形式模型
问题求解理论
ρ演算
运算语义
在线阅读
下载PDF
职称材料
题名
数词系统中的语义运算及其类型学考察
被引量：
2
1
作者
刘苹
机构
中南民族大学外语学院
出处
《湖北大学学报（哲学社会科学版）》
CSSCI
北大核心
2023年第4期98-107,共10页
基金
国家社会科学基金项目“中国境内少数民族语言数词类型学研究”(18BYY011)。
文摘
对于数词系统语义运算方式,基于类型学的研究成果较多,但仍存在诸多矛盾之处,有待进一步清晰化和系统化。要解决这些问题,需要采用一致的标准,理清不同语义运算方式之间的关联和差异,构建一个完整的描述体系,从而使得相关研究有章可循。运用多样性取样方法,选取136个语系中具有代表性的365种语言基数词系统,探讨其相关特征后发现:复合数词相邻成分之间的语义运算有加、乘、减和乘方;位数词与基数之间的语义运算有乘方和乘;位数词的相邻倍数之间的零数可以用循序或预设两种方式表达。这三类关系中的语义运算方式存在一定的蕴涵关系。这些结论对语言描述、语言保护、自然语言信息处理、机器翻译和语言教学以及语言认知都有一定的参考价值。
关键词
数词系统
语义
运算
元素关系
蕴涵关系
类型学
分类号
H03 [语言文字—语言学]
在线阅读
下载PDF
职称材料
题名
一种基于问题求解理论的密码协议形式模型
2
作者
赵宇
王亚弟
韩继红
范钰丹
赵琦
机构
信息工程大学电子技术学院
出处
《计算机应用》
CSCD
北大核心
2007年第2期303-307,共5页
基金
国家973计划项目资助(TG19990358.01)
文摘
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;对密码协议安全性的定义精确合理;便于实现自动化推理。所有这些均确保了基于该模型的密码协议安全性分析的合理性和有效性,为正确的分析密码协议的安全性提供了可靠依据。
关键词
密码协议
形式模型
问题求解理论
ρ演算
运算语义
Keywords
cryptographic protocols
formal model
problem-solving theory
ρ-calculus
operational semantics
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
数词系统中的语义运算及其类型学考察
刘苹
《湖北大学学报（哲学社会科学版）》
CSSCI
北大核心
2023
2
在线阅读
下载PDF
职称材料
2
一种基于问题求解理论的密码协议形式模型
赵宇
王亚弟
韩继红
范钰丹
赵琦
《计算机应用》
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
