检索结果-南通市图书馆

语言文字应用 2011年第4期 44-53页

作者：李军曹钦明暨南大学华文学院广东广州510610

本文详细描写了汉语邀请行为的话轮构成模式,将邀请的话轮结构分为前置序列、主体序列和后续序列,分析了其构成的具体情况,并探讨了邀请语列、接受语列、拒绝语列与追加邀请语列的构成方式。

关键词：汉语邀请行为话轮结构

在线全文

学校读者我要写书评

暂无评论

汉语邀请行为的语用研究

汉语邀请行为的语用研究

作者：曹钦明暨南大学

学位级别：硕士

邀请是人们同常言语交际中一种常见且典型的言语现象。本研究从语用学角度,运用会话分析的方法对这种现象进行了综合分析。分析结果表明,邀请是一个磋商的互动过程,有单邻对和多邻对两种话轮结构模式。多邻对模式的结构比较复杂,具有... 详细信息

邀请是人们同常言语交际中一种常见且典型的言语现象。本研究从语用学角度,运用会话分析的方法对这种现象进行了综合分析。分析结果表明,邀请是一个磋商的互动过程,有单邻对和多邻对两种话轮结构模式。多邻对模式的结构比较复杂,具有邀请前置序列、邀请核心序列、邀请插入序列和邀请回应序列等4种话轮序列,依据实现过程性质的不同又存在询问一释疑和推辞一追加两种形式。在邀请话语部分的功能方面,详细分析了邀请核心语、辅助语和回应的策略类型及其表现形式。文章最后运用调查统计的方法对影响邀请策略选择的相对权势、社会距离和事情难易度等语用因素进行了深入分析。

关键词：邀请话语模式序列功能语用倾向

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

字母词的社会流通度考察

广西社会科学 2005年第4期 152-154页

作者：曹钦明暨南大学华文学院广东广州510610

从社会流通这个角度对字母词进行考察,运用统计学上的卡方检验方法来分析字母词的流通度与社会人群的性别、年龄、受教育程度、职业等因素的关系,指出这些因素并没有影响到人们更倾向使用字母词,字母词已在人们生活的各个领域大量使用... 详细信息

从社会流通这个角度对字母词进行考察,运用统计学上的卡方检验方法来分析字母词的流通度与社会人群的性别、年龄、受教育程度、职业等因素的关系,指出这些因素并没有影响到人们更倾向使用字母词,字母词已在人们生活的各个领域大量使用并呈现出受欢迎的趋势。

关键词：字母词流通度流通率卡方检验

在线全文

学校读者我要写书评

暂无评论

广告语中模糊修辞的语用功能

广西社会科学 2005年第6期 172-174页

作者：曹钦明赖淑明暨南大学华文学院广东广州510610 广东广雅中学广东广州510160

以模糊修辞理论为基础,结合格赖斯的“合作原则”和利奇的“礼貌原则”,对广告语中模糊修辞所发挥的多方面的、积极的语用功能进行论述,并进一步指出模糊修辞能使人们在理解语言和运用语言时更为合适得体。

关键词：广告语模糊修辞 “合作原则” “礼貌原则” 语用功能

在线全文

学校读者我要写书评

暂无评论

理直气壮地不劳而获？

读书 2024年第5期 83-91页

作者：曹钦

近几年来，关于“无条件基本收入”（Unconditional Basic Income，以下简称UBI）的讨论，在国内学术界得到了一定关注。UBI的核心含义是，每位成年公民都应当获得一份可以满足最起码生活需求的定期现金收入，这种收入完全不附加任何条...

近几年来，关于“无条件基本收入”（Unconditional Basic Income，以下简称UBI）的讨论，在国内学术界得到了一定关注。UBI的核心含义是，每位成年公民都应当获得一份可以满足最起码生活需求的定期现金收入，这种收入完全不附加任何条件。也就是说，不同于传统福利国家提供的各种补助补贴，UBI并不会去审查领取者的许多资格条件，包括家庭状况和当前收入水平。

关键词：

基于血液的胃癌特异性诊断标志物的发现和验证

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于血液的胃癌特异性诊断标志物的发现和验证

作者：曹钦兴电子科技大学

学位级别：硕士

木质纤维素类生物质低温氧化特性及气体预警指标研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

木质纤维素类生物质低温氧化特性及气体预警指标研究

作者：曹钦安徽理工大学

学位级别：硕士

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于交互式定理证明的并发程序验证工作综述

软件学报 2024年第9期35卷 4069-4099页

作者：王中烨吴姝姝曹钦翔上海交通大学电子信息与电气工程学院上海200240

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定... 详细信息

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结.

关键词：并发程序验证可线性化上下文精化程序逻辑关系霍尔逻辑

咪达唑仑通过调控LncRNA NR2F2-AS1对肾癌786-O细胞增殖、迁移及凋亡的影响

在线全文

学校读者我要写书评

暂无评论

中国老年学杂志 2024年第5期44卷 1257-1260页

作者：周宇曹钦钰刘蕾遵义市第一人民医院泌尿外科贵州遵义563000

目的探讨咪达唑仑对肾癌786-O细胞增殖、迁移及凋亡的影响及其可能作用机制。方法体外培养人肾癌细胞786-O,随机分组:咪达唑仑0、20、40、60μmol/L组、si-NC组、si-核受体亚家族2组F成员反义RNA(NR2F2-AS)1组、咪达唑仑+pcDNA组、咪... 详细信息

目的探讨咪达唑仑对肾癌786-O细胞增殖、迁移及凋亡的影响及其可能作用机制。方法体外培养人肾癌细胞786-O,随机分组:咪达唑仑0、20、40、60μmol/L组、si-NC组、si-核受体亚家族2组F成员反义RNA(NR2F2-AS)1组、咪达唑仑+pcDNA组、咪达唑仑+pcDNA-NR2F2-AS1组;CCK-8法、流式细胞术与Transwell实验分别检测细胞增殖、凋亡及迁移;实时荧光定量-聚合酶链反应(RT-qPCR)检测LncRNA NR2F2-AS1表达量;Western印迹检测B细胞淋巴瘤(Bcl)-2、Bcl-2相关蛋白(Bax)表达量。结果与咪达唑仑0μmol/L组比较,咪达唑仑20、40、60μmol/L组细胞增殖抑制率、细胞凋亡率和Bax蛋白水平明显升高,迁移细胞数和Bcl-2蛋白水平明显降低,长链非编码(Lnc)RNA NR2F2-AS1表达量明显降低,且呈剂量依赖性(P明显抑制细胞增殖及迁移,并可明显提高细胞凋亡率(P明显降低,迁移细胞数和Bcl-2蛋白水平明显升高(P<0.05)。结论咪达唑仑可通过抑制LncRNA NR2F2-AS1表达而减弱肾癌细胞增殖及迁移能力,并可诱导肾癌细胞凋亡。

关键词：肾癌咪达唑仑 LncRNA核受体亚家族2组F成员反义RNA(NR2F2-AS)1 细胞增殖凋亡迁移

在线全文

学校读者我要写书评

暂无评论

形式化方法与应用专题前言

软件学报 2024年第9期 4011-4012页

作者：曹钦翔宋富詹乃军上海交通大学电子信息与电气工程学院中国科学院软件研究所

随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、...

随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、定理证明等多种技术手段.近年来,利用形式化方法解决软件可靠性与安全性问题已经获得了越来越广泛的应用.为此,我们组织了本专题与ChinaSoft形式化方法与应用论坛,探讨并交流最近一年以来,国内学者在形式化方法与应用的研究中取得的新成果.

关键词：