期刊文献+
共找到570篇文章
< 1 2 29 >
每页显示 20 50 100
庭审语境下被告人的断言行为及其语用功能
1
作者 马泽军 姜爽 陈海庆 《语文学刊》 2023年第1期30-38,共9页
断言是一种常见的语言现象,反映语言的基本特征。本文以转写自CCTV-12法制栏目《庭审现场》中的20场刑事审判案件为语料,参照Searle对断言的概念界定和划分标准,以言语行为理论和语用身份论为理论基础,采用田野调查法探讨庭审语境下被... 断言是一种常见的语言现象,反映语言的基本特征。本文以转写自CCTV-12法制栏目《庭审现场》中的20场刑事审判案件为语料,参照Searle对断言的概念界定和划分标准,以言语行为理论和语用身份论为理论基础,采用田野调查法探讨庭审语境下被告人断言行为的方式和策略,并对这些断言的类型和语用功能进行了归纳分析。结果表明:被告人以显性、隐性两种方式断言;断言类型主要有五大类:告知、解释、补充、表态和情感;这些断言通过使用断言问句、重读、停顿与重复及强调性话语表现出四大语用功能:供述事实、确认与强调、否认与辩解及情感表达。其中,供述事实功能使用频率最高,且主要以告知类断言形式出现。 展开更多
关键词 庭审话语 断言行为 语用功能
下载PDF
“不用说”为什么还要说?——断言话语标记“不用说”及其立场特征 被引量:3
2
作者 宗守云 《语言科学》 CSSCI 北大核心 2022年第1期51-60,共10页
从意义上说,"不用说"是说话人基于背景事件和断言之间显而易见的关系作出肯定;从功能上说,"不用说"用来"断言化",使后面的小句成为断言。"不用说"异于其他断言标记之处主要在于立场不同,一是... 从意义上说,"不用说"是说话人基于背景事件和断言之间显而易见的关系作出肯定;从功能上说,"不用说"用来"断言化",使后面的小句成为断言。"不用说"异于其他断言标记之处主要在于立场不同,一是用来表现说话人对背景事件和断言之间所具有的显而易见关系的认识;一是用来表示说话人邀请听话人共同断言,从而达到认知协作的目的。 展开更多
关键词 不用说 话语标记 断言 立场
下载PDF
Separation of Fault Tolerance and Non-Functional Concerns: Aspect Oriented Patterns and Evaluation
3
作者 Kashif Hameed Rob Williams Jim Smith 《Journal of Software Engineering and Applications》 2010年第4期303-311,共9页
Dependable computer based systems employing fault tolerance and robust software development techniques demand additional error detection and recovery related tasks. This results in tangling of core functionality with ... Dependable computer based systems employing fault tolerance and robust software development techniques demand additional error detection and recovery related tasks. This results in tangling of core functionality with these cross cutting non-functional concerns. In this regard current work identifies these dependability related non-functional and cross-cutting concerns and proposes design and implementation solutions in an aspect oriented framework that modularizes and separates them from core functionality. The degree of separation has been quantified using software metrics. A Lego NXT Robot based case study has been completed to evaluate the proposed design framework. 展开更多
关键词 Aspect Oriented Design and Programming SEPARATION of CONCERNS EXECUTABLE assertions EXCEPTION Handling Fault Tolerance Software Metrics
下载PDF
Intelligent binary schema matching system in heterogeneity environment
4
作者 Mbale J +1 位作者 徐晓飞 邓胜春 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2002年第4期376-382,共7页
For the past three decades, interoperability among heterogeneous systems had been a hard nut to crack due to the schematic and semantic perspectives that exist between objects. These systems were built under different... For the past three decades, interoperability among heterogeneous systems had been a hard nut to crack due to the schematic and semantic perspectives that exist between objects. These systems were built under different data models. As such, levels of the local schemas are semantically very poor due to the limited expressiveness of traditional data models in which they were designed. Further more, most of the existing schema integration architectural components are inadequately equipped to handle the mapping schemas, especially when the semantics and structural conflicts are involved. This paper introduces an Intelligent Binary Schema Matching system (IBSMS), which exploits the phenomenon of making its components intelligent. That’s equipping its components such as translators and integrators with adequate knowledge about various data models. This allows the components acquire enough intelligence to maneuver or manipulate the correspondence between constructs from different models. In addition, the system has a Binary Matcher, which compares the attribute correspondences of various databases in a pairwise form, in order to establish the equivalences. With the establishment of the mappings, the users shall be able to access them (mappings) for their desired usage. 展开更多
关键词 Inter-schema CORRESPONDENCE assertions integration rules ATTRIBUTE CORRESPONDENCES semantics mapping and SCHEMA matching
下载PDF
基于断言的AHB-Wishbone总线桥的功能验证
5
作者 姜伟 王祖强 《电气电子教学学报》 2008年第5期37-41,共5页
本文比较了AMBA的AHB协议和Wishbone协议,提出使用SystemVerilog语言实现AHB-Wishbone总线桥的方法。文中阐述了如何将SystemVerilog断言嵌入到设计中,监视总线信号的时序关系。结合Mentor公司的高级验证方法学(AVM)搭建验证平台,并对... 本文比较了AMBA的AHB协议和Wishbone协议,提出使用SystemVerilog语言实现AHB-Wishbone总线桥的方法。文中阐述了如何将SystemVerilog断言嵌入到设计中,监视总线信号的时序关系。结合Mentor公司的高级验证方法学(AVM)搭建验证平台,并对设计进行功能验证,采用了事务级的验证策略以及随机约束和功能覆盖率等验证技术新特性。总线桥验证平台能够极大的提高验证效率,其组件具有可重用性。最后在ModelSim工具下进行了仿真,仿真报告和结果说明了总线桥的设计符合要求。 展开更多
关键词 断言 AVM SYSTEMVERILOG 总线桥
下载PDF
XBRL财务报告审计框架及审计程序研究——基于2015版企业会计准则通用分类标准 被引量:1
6
作者 韩庆兰 司子健 《财会通讯(上)》 北大核心 2017年第9期74-77,共4页
在报告企业向监管机构仅报送XBRL财务报告的情况下,除实现传统审计的总体目标外,还需对XBRL财务报告的合规性和完整性获取合理保证,其中包括企业在通用分类标准基础上创建的扩展分类标准的有效性和恰当性以及标记数据的完整性。同时还需... 在报告企业向监管机构仅报送XBRL财务报告的情况下,除实现传统审计的总体目标外,还需对XBRL财务报告的合规性和完整性获取合理保证,其中包括企业在通用分类标准基础上创建的扩展分类标准的有效性和恰当性以及标记数据的完整性。同时还需对XBRL应用软件的控制环境做出评价。本文着重对新增认定对具体审计目标、审计程序及审计风险模型的影响进行研究,总结出该情况下的总体审计框架,并进一步探讨了采用哪些具体审计程序对新增认定做出的评价。 展开更多
关键词 XBRL 审计框架 审计程序 审计风险模型
下载PDF
一种基于内部类的断言框架研究与实现 被引量:1
7
作者 屈国栋 李安 张洪群 《微计算机信息》 2010年第8期82-83,79,共3页
嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。文章分析了这些问题,提出了一种结合单元测试工具xUnit的解决方案,并提供了实现方法,使程序员能够更为容... 嵌入式断言是软件测试中一个潜在的有效工具,并有许多优秀的规格语言被开发出来。但目前的规格语言并不完善,严重制约了应用推广。文章分析了这些问题,提出了一种结合单元测试工具xUnit的解决方案,并提供了实现方法,使程序员能够更为容易的实现断言测试,从而为其应用铺平了道路。 展开更多
关键词 断言 测试 规格语言 JAVA
下载PDF
Extremist Politics as an Instrument of Ethnic Assertions among the Bodos of Northeast India
8
作者 Susmita Sen Gupta 《Journalism and Mass Communication》 2014年第8期527-534,共8页
Ethnic assertions worldwide have assumed different forms ranging from moderate methods of articulation of autonomy to extremist means of violent struggle. Resort to extremism by some sections of an ethnic group usuall... Ethnic assertions worldwide have assumed different forms ranging from moderate methods of articulation of autonomy to extremist means of violent struggle. Resort to extremism by some sections of an ethnic group usually triggers inter-ethnic conflicts with other groups on the one hand and leads to confrontation with the state on the other. This paper seeks to examine the dynamics of this phenomenon in the context of Bodos, the largest plains tribe of Assam, a State of Northeast India. The paper enquires as to whether extremist politics has met the Bodo aspirations for self-determination or has intensified the conflicts and contradictions within the Bodo society with ramifications for other ethnic groups inhabiting the Bodo-dominated areas. It is also necessary to explore the responses of the Union and State governments to Bodo extremist politics for an understanding of the conflict management process. 展开更多
关键词 EXTREMISM extremist politics ethnic assertions conflict management
下载PDF
预设和声言在实现化妆品广告效用最大化上的作用
9
作者 范宏宇 《山西经济管理干部学院学报》 2013年第1期17-20,共4页
广告的效用是向潜在的消费者群体传递产品信息,并最终劝说人们采取购买行为。它的最大化离不开广告人正确地采取语言策略。预设和声言作为重要的语言现象,可以运用在广告语言设计中以诱导消费者推理,继而购买产品。本文着重通过在广告... 广告的效用是向潜在的消费者群体传递产品信息,并最终劝说人们采取购买行为。它的最大化离不开广告人正确地采取语言策略。预设和声言作为重要的语言现象,可以运用在广告语言设计中以诱导消费者推理,继而购买产品。本文着重通过在广告不同部分中从预设到声言的推理来说明二者在广告效用最大化上的作用。 展开更多
关键词 预设 声言 化妆品广告效用 最大化
下载PDF
一种在RTL测试模式生成中验证断言再用的方法(英文)
10
作者 马克西姆捷尼赫尼 捷安瑞克 +2 位作者 莱穆德俄巴尔 塔维维卢卡斯 藤原秀雄 《上海师范大学学报(自然科学版)》 2010年第5期441-447,共7页
在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.... 在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果. 展开更多
关键词 寄存器传输层 自动测试码生成程序 断言 无扫描设计
下载PDF
XBRL财务报告审计模型及实现机制:一种框架研究 被引量:27
11
作者 高锦萍 《审计研究》 CSSCI 北大核心 2011年第3期74-80,共7页
本文探讨了可扩展商业报告语言(eXtensible Business Reporting Language,以下简称XBRL)财务报告和传统财务报告并存环境下和XBRL财务报告替代传统报告环境下的审计框架模型以及应对机制。本文认为在二者并存环境下,审计人员的基本职责... 本文探讨了可扩展商业报告语言(eXtensible Business Reporting Language,以下简称XBRL)财务报告和传统财务报告并存环境下和XBRL财务报告替代传统报告环境下的审计框架模型以及应对机制。本文认为在二者并存环境下,审计人员的基本职责是确定被审计单位管理层对XBRL财务报告中商业事实、元素映射和元素拓展三个层次的认定是否恰当;在替代环境下,创建审计信息分类标准是XBRL财务报告审计得以高效率、低风险实施的保证机制;审计工作底稿将审计目标、审计程序和审计认定"三位一体"地结合起来,以审计人员熟悉的"审计工作底稿"来组织和构造审计分类标准更可行、更易用。 展开更多
关键词 XBRL 财务报告 管理层认定 审计模型 审计分类标准
下载PDF
习近平总书记关于工人阶级和工会工作重要论述的新概括与新阐释 被引量:7
12
作者 陶志勇 《山东工会论坛》 2022年第6期1-16,共16页
习近平总书记关于工人阶级和工会工作重要论述的内涵十分丰富,而且在不断发展,社会各界对这一重要论述的认识也在不断加深。出于职业习惯和兴趣使然,笔者对这一问题给予了持续关注,特别是在学习和参与起草相关文件时不断思考、探究,积... 习近平总书记关于工人阶级和工会工作重要论述的内涵十分丰富,而且在不断发展,社会各界对这一重要论述的认识也在不断加深。出于职业习惯和兴趣使然,笔者对这一问题给予了持续关注,特别是在学习和参与起草相关文件时不断思考、探究,积累了一些心得。本文紧扣习近平总书记关于工人阶级和工会工作重要论述所阐述的两个主体对象——工人阶级和工会,以此为锚,读原著、学原文、悟原理,在占有大量翔实、第一手资料的基础上,对该重要论述进行了重新梳理,作了新的概括和阐释,创新性地提出了“三观、十三新论断”的理论阐释框架。 展开更多
关键词 习近平 劳动观 工人阶级观 工会观 新论断
下载PDF
论纪录片真实性的三种观念
13
作者 姚盛仁 冯晓临 《南京艺术学院学报(音乐与表演版)》 北大核心 2024年第1期135-139,I0005,共6页
20世纪末,后现代主义波及纪录片的研究领域,西方学者对纪录片展开重新讨论,涌现了大量新的纪录片理论和批评方法。关于纪录片中真实观念的讨论也日益复杂和深刻。从影像本体、假定断言和认识论多个层面上看,真实已不再是绝对的概念,而... 20世纪末,后现代主义波及纪录片的研究领域,西方学者对纪录片展开重新讨论,涌现了大量新的纪录片理论和批评方法。关于纪录片中真实观念的讨论也日益复杂和深刻。从影像本体、假定断言和认识论多个层面上看,真实已不再是绝对的概念,而是一个相对的选择。纪录片不仅记录现实,还体现了一种美学风格,是对现实的一种艺术折射。纪录片的真实观念在不同层面上都涉及主观性的存在,但这并不妨碍其追求历史真实。在审视纪录片时,重要的是认识到所谓的“事实”和“真理”并不是先验存在的,而是在特定的社会和文化框架中构建的。纪录片导演以美学观点出发,通过叙事构建故事的真实性,以达到通向历史真实的目的。 展开更多
关键词 纪录片 真实性 影像本体 假定断言 认识论
下载PDF
把饭碗牢牢端在自己手中——对习近平关于粮食安全战略论断的内涵探析 被引量:2
14
作者 张云华 张诩 《经济社会体制比较》 北大核心 2023年第2期7-13,共7页
党的十八大以来,以习近平同志为核心的党中央坚持把解决好“三农”问题作为全党工作的重中之重,把解决好14亿人民的吃饭问题作为治国理政的头等大事。“把饭碗牢牢端在自己手中”是习近平关于粮食安全的重要战略论断。这是习近平在清楚... 党的十八大以来,以习近平同志为核心的党中央坚持把解决好“三农”问题作为全党工作的重中之重,把解决好14亿人民的吃饭问题作为治国理政的头等大事。“把饭碗牢牢端在自己手中”是习近平关于粮食安全的重要战略论断。这是习近平在清楚认识国内人多地少和国际粮食贸易量有限的现实、总结历史经验、强调粮食供求紧平衡的基础上,得出的重大论断。国家粮食安全战略充分体现了习近平关于粮食安全的战略论断。习近平关于粮食安全的战略论断的深刻内涵主要有:耕地保护是战略根本,发展种业是战略源头,保障种粮收益是战略动力,党政同责是战略责任,粮食储备是战略后盾,节约粮食是战略节流。“把饭碗牢牢端在自己手中”这一战略论断对抓好粮食安全和农产品供给保障具有高屋建瓴的指导意义。 展开更多
关键词 习近平 粮食安全 战略论断 内涵
原文传递
用Floyd方法证明程序正确性 被引量:3
15
作者 纪兆辉 《淮海工学院学报(自然科学版)》 CAS 2000年第2期1-3,共3页
介绍 R· W· Floyd关于程序正确性的证明方法 ,并结合一个程序实例 。
关键词 程序终止性 程序正确性 良序集 Floyd方法
下载PDF
高校家庭经济困难学生认定系统的设计与实现 被引量:3
16
作者 许虎寅 王治和 +1 位作者 陈建华 樊东辉 《电脑知识与技术》 2011年第1期132-134,共3页
为解决当前高校家庭经济困难学生认定J-作中的诸多困难.文章使用visual c#开发语言和SQL server数据库.在.net框架下设计并实现了基于B/S模式的高校家庭经济困难学生认定系统,对高校学生家庭经济状况进行定量和定性分析,采用工作... 为解决当前高校家庭经济困难学生认定J-作中的诸多困难.文章使用visual c#开发语言和SQL server数据库.在.net框架下设计并实现了基于B/S模式的高校家庭经济困难学生认定系统,对高校学生家庭经济状况进行定量和定性分析,采用工作流的模式分阶段分层次对学生进行筛选和审核认定,有效提高了高校家庭经济困难学生认定资助27-作的规范合理化和工作效率。 展开更多
关键词 ASP.NET 高校家庭经济困难学生 认定系统 困难分数 评议分数
下载PDF
基于SRP和SAML的电力企业集成登录系统的设计 被引量:2
17
作者 段斌 林素烟 周江龙 《电力系统及其自动化学报》 CSCD 北大核心 2008年第5期29-34,50,共7页
随着互联网应用的普及,电力企业分布式信息系统之间的服务集成的优势日渐明显,但互联网的安全性问题也随之日益突出。本文设计的集成登录系统运用基于组件和以服务为导向的思想,采用SRP-6扩展协议,并兼用SAML和XML技术,通过集中式身份... 随着互联网应用的普及,电力企业分布式信息系统之间的服务集成的优势日渐明显,但互联网的安全性问题也随之日益突出。本文设计的集成登录系统运用基于组件和以服务为导向的思想,采用SRP-6扩展协议,并兼用SAML和XML技术,通过集中式身份认证和分布式授权访问,在不同信息系统之间交换身份验证申明。通过对系统实例分析,证明符合未来电力系统便于集成和高安全性能的设计原则。 展开更多
关键词 集成登录系统 安全远程密码扩展协议 安全断言标志语言 强身份验证
下载PDF
审计中实质性测试方案设计探讨
18
作者 刘伟四 《中南工学院学报》 2000年第1期49-51,63,共4页
审计中实质性测试是审计人员收集证据的重要步骤 ,设计实质性测试方案应从审计目标、报表认定、测试方法等方面考虑 .
关键词 实质性测试 审计方案 报表认定 财务审计
下载PDF
新时代共同富裕科学内涵的十个论断
19
作者 陶林 《青岛科技大学学报(社会科学版)》 2022年第4期11-16,共6页
新时代共同富裕具有丰富的内涵,至少包括十个基本论断。共同富裕不是同时同步富裕,不是两极分化,强调全体人民共同富裕;共同富裕是先富带动后富,最终实现共同富裕;共同富裕强调物质和精神的共同富裕;实现共同富裕不能急躁,是一个长期渐... 新时代共同富裕具有丰富的内涵,至少包括十个基本论断。共同富裕不是同时同步富裕,不是两极分化,强调全体人民共同富裕;共同富裕是先富带动后富,最终实现共同富裕;共同富裕强调物质和精神的共同富裕;实现共同富裕不能急躁,是一个长期渐进的过程;共同富裕的标准应该是动态的,不断调整提高的;共同富裕农村是重点,应该实施乡村振兴战略;共同富裕不是西方的福利主义,不是平均主义;收入分配制度改革很重要,但不是实现共同富裕的唯一路径;共同富裕应该走经济高质量发展之路;实现共同富裕必须坚持中国式现代化。 展开更多
关键词 新时代 共同富裕 十个论断
下载PDF
核电厂仪控系统中FPGA的形式验证方法及V&V技术 被引量:1
20
作者 朱夕辉 《工业控制计算机》 2017年第10期84-85,87,共3页
对比分析了形式验证与传统的仿真验证的特点,并讨论了FPGA的形式验证方法的重要性,介绍了形式验证的三种不同方法——定理证明、模型检验、等价性证明。以核电厂仪控系统中使用的FPGA芯片的一些功能作为被测对象,并且针对这些功能,选取M... 对比分析了形式验证与传统的仿真验证的特点,并讨论了FPGA的形式验证方法的重要性,介绍了形式验证的三种不同方法——定理证明、模型检验、等价性证明。以核电厂仪控系统中使用的FPGA芯片的一些功能作为被测对象,并且针对这些功能,选取Mentor Graphics公司开发的Questa Formal作为形式验证工具,采用基于System Verilog断言的模型检验方法对该芯片相关功能进行了功能验证和时序验证。为核电厂仪控系统中的其他的功能芯片的验证提供了一些参考。 展开更多
关键词 现场可编程门阵列 形式验证 V&V技术 System Verilog断言
下载PDF
上一页 1 2 29 下一页 到第
使用帮助 返回顶部