期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
规则顺序与规则类型对儿童规则推理的影响 被引量:2
1
作者 龚银清 李红 方美玲 《心理科学》 CSSCI CSCD 北大核心 2005年第6期1318-1323,共6页
学前儿童时期是各种推理能力产生和发展的重要时期.本研究采用Frye和Zelazo等(1996)所设计的'二进二出'装置,设置了规则顺序、规则类型的规则推理任务,采用个别实验法,研究了90名3~4岁儿童规则推理能力的发展.在本研究条件下,... 学前儿童时期是各种推理能力产生和发展的重要时期.本研究采用Frye和Zelazo等(1996)所设计的'二进二出'装置,设置了规则顺序、规则类型的规则推理任务,采用个别实验法,研究了90名3~4岁儿童规则推理能力的发展.在本研究条件下,结果发现:1.当规则呈现顺序不同时,儿童规则推理成绩差异显著,先呈现哪个规则,则利用这个规则进行推理的成绩就较好;2.不同规则类型下儿童的推理成绩差异极其显著,竖直规则下的推理任务更容易;3.3.5~4岁是儿童二维合取规则推理能力发展的快速期. 展开更多
关键词 规则推理 规则顺序 规则类型 认知发展
下载PDF
基于规则类型化的税收事先裁定制度考察
2
作者 徐楠芝 《税收经济研究》 北大核心 2018年第6期89-95,共7页
税收事先裁定制度的引入,既是推进税收治理能力现代化的现实需要,又是持续深化"放管服"改革的必然要求,对于构建中国特色的事先裁定制度具有开创性意义。目前,针对我国税收事先裁定的具体问题缺乏更加深入细致的税法规定。建... 税收事先裁定制度的引入,既是推进税收治理能力现代化的现实需要,又是持续深化"放管服"改革的必然要求,对于构建中国特色的事先裁定制度具有开创性意义。目前,针对我国税收事先裁定的具体问题缺乏更加深入细致的税法规定。建议我国税收事先裁定采取行政模式、范围则采取抽象的正向列举与具体的反向列举,该措施集中于国家税务总局管理,为了保护纳税人的合法权益,还应当设定完整的裁定程序和救济途径。 展开更多
关键词 事先裁定 税收治理 规则类型 纳税人权利
下载PDF
数人侵权中过失相抵规则的类型化适用
3
作者 欧达婧 《广东社会科学》 CSSCI 北大核心 2023年第4期267-275,共9页
数人侵权中过失相抵适用的重点与难点在于多个主体间的过错衡量方式及责任划分方式。首先应考量数侵权人与被侵权人之间的过错衡量,对此存在“整体衡量”与“分别衡量”两种方式。其次,应考量具体的侵权责任在数侵权人之间如何分担,对... 数人侵权中过失相抵适用的重点与难点在于多个主体间的过错衡量方式及责任划分方式。首先应考量数侵权人与被侵权人之间的过错衡量,对此存在“整体衡量”与“分别衡量”两种方式。其次,应考量具体的侵权责任在数侵权人之间如何分担,对此存在连带责任与按份责任两种方式。对数侵权人与被侵权人之间的过错衡量与责任划分方式的适用应为递进式顺序。我国司法裁判对数人侵权中过失相抵的适用尚未出现较为完善的裁判思路,应结合《民法典》对不同类型数人侵权的规定,形成过失相抵在数人侵权中适用的类型化规则体系。 展开更多
关键词 数人侵权 过失相抵 与有过失 责任分担 过错衡量 类型规则
下载PDF
试论规则的类型与儿童的规则教育 被引量:24
4
作者 莫秀锋 《学前教育研究》 北大核心 2007年第1期20-22,共3页
深入地了解规则的类型及其相应的教育方式,是良好规则教育的前提。从规则的弹性来看,可以将规则划分为“不变的规则”“适应性的规则”和“临时的规则”。这三类规则对应的教育原则是有异的。
关键词 儿童 规则类型 规则教育
下载PDF
大学生英语音系规则习得顺序及影响因素分析
5
作者 郭婧 冯雷 《科技视界》 2017年第1期153-153,共1页
本文通过对大学一年级英语语音课堂内外的观察与记录,分析了大学生对典型英语音系规则的习得顺序,并试图讨论了这一顺序形成的原因。研究发现,大学生对典型英语音系规则的掌握情况受语言的韵律类型以及汉语音节结构的影响,与规则类型相... 本文通过对大学一年级英语语音课堂内外的观察与记录,分析了大学生对典型英语音系规则的习得顺序,并试图讨论了这一顺序形成的原因。研究发现,大学生对典型英语音系规则的掌握情况受语言的韵律类型以及汉语音节结构的影响,与规则类型相关,最先习得并且掌握情况较好的规则为异化规则和省略规则,最后习得且掌握情况较差的为增音规则和同化规则。对某一音系规则的语音产出可能滞后于对这一规则发生环境的认知。 展开更多
关键词 音系规则 认知顺序 语音实现 规则类型
下载PDF
安全类型系统在编译技术中的应用研究
6
作者 赵秀凤 杨丽娜 郭渊博 《计算机工程与科学》 CSCD 2008年第9期145-146,157,共3页
类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类... 类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。 展开更多
关键词 类型系统 安全类型系统 编译 类型规则 安全类型规则
下载PDF
一种基于扩展Spi演算的类型系统
7
作者 袁霖 王亚弟 韩继红 《计算机工程与应用》 CSCD 北大核心 2007年第3期131-134,138,共5页
主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程。提出的规则是基于Spi演算扩展语法的一种类型规则。通过这些规... 主要探讨了使用非形式化的原理和形式化的规则来获得密码协议安全属性的方法。这些原理和规则基于传统的等级和信息流的思想,通过将其扩展后用来处理密码协议中的并发进程。提出的规则是基于Spi演算扩展语法的一种类型规则。通过这些规则可以向用户担保,如果协议通过了类型检测,则该协议没有泄漏任何秘密的消息。 展开更多
关键词 类型系统 密码协议 保密性 类型规则
下载PDF
基于类型理论的领域数据建模和验证及案例 被引量:4
8
作者 乌尼日其其格 李小平 +1 位作者 马世龙 吕江花 《软件学报》 EI CSCD 北大核心 2018年第6期1647-1669,共23页
数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义... 数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t:T?.DDMM给出了领域数据建模的方法,即构建K_1(原子类型)、K_2(数据元)、K_3(数据元目录)三层框架,生成表示K_3层数据元目录之间关系的类型规则.在此基础上,给出了数据元目录序列的定义及其正确性判定算法.基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证. 展开更多
关键词 类型理论 类型检查 类型规则 领域数据建模 数据规范
下载PDF
不规则高层建筑结构设计要点研究
9
作者 胡海波 《中文科技期刊数据库(全文版)工程技术》 2022年第2期13-16,共4页
在高层建筑工程项目长久化的发展过程中,通过对建筑的外观以及功能等多方面的要求进行总结,在综合考虑的情况下,可以看出不规则形式的结构在城市建设阶段较为常见,所以对此类建筑工程的结构设计方案提出了较为明确的要求。应基于严格性... 在高层建筑工程项目长久化的发展过程中,通过对建筑的外观以及功能等多方面的要求进行总结,在综合考虑的情况下,可以看出不规则形式的结构在城市建设阶段较为常见,所以对此类建筑工程的结构设计方案提出了较为明确的要求。应基于严格性和严谨性的设计标准,及时的攻克设计环节的相关难题。现阶段在不规则高层建筑结构的设计环节,需要明确掌握相关难点,在综合考虑项目内容的情况下,结合不规则结构的设计状况,以保障建筑工程安全性为主要目的,在掌握设计要点的情况下,推动不规则高层建筑项目的稳定运行。 展开更多
关键词 高层建筑项目 规则类型 结构设计 相关要点
下载PDF
高阶类型化软件体系结构建模和验证及案例 被引量:2
10
作者 乌尼日其其格 李小平 +2 位作者 马世龙 吕江花 张思卿 《软件学报》 EI CSCD 北大核心 2019年第7期1916-1938,共23页
根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流We... 根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证. 展开更多
关键词 类型规则 类型检查 软件体系结构 软件体系结构建模 软件体系结构验证
下载PDF
高阶类型化可验证应用系统体系结构建模及案例 被引量:1
11
作者 李小平 乌尼日其其格 +1 位作者 马世龙 吕江花 《软件学报》 EI CSCD 北大核心 2020年第8期2309-2335,共27页
随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶... 随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(VASAML)与可验证应用系统体系结构建模方法(VASAMM).VASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T1,T2)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.VASAMM方法给出了应用系统体系结构建模过程,包括构建Mbd(基本数据类型)、Mbti(基本接口类型)、Mdev(设备类型)和Mfrwk(应用系统框架)这4层,以及自动生成层内与层间类型之间关系对应的类型规则,同时定义了设备类型服务调用图(GDSI)用以刻画部署要求,定义了类型序列及其正确性用以刻画需求期望性质,并给出了相应的基于类型检查的验证算法.设计实现了基于该方法的原型工具系统VASAMS,其中,建模编辑环境支持应用系统部署方案的设计过程,验证环境支持设计是否满足需求的自动验证.通过一个实际案例完成了某行业较大规模应用系统体系结构的建模和验证. 展开更多
关键词 类型规则 类型检查 部署方案 应用系统体系结构建模 应用系统体系结构验证
下载PDF
类型化思维的刑法适用:模型建构与流程展开 被引量:6
12
作者 沈奕含 《时代法学》 2018年第5期81-90,共10页
当前对类型化思维的研究主要围绕本体论和认识论展开,欠缺方法论层面的深入发掘。类型化思维运用于刑法适用中的具体流程可以分为四个阶段:内核确定阶段包含不断交互的含义厘定和典型案例寻求两步;提炼典型特征阶段主要通过"法益考... 当前对类型化思维的研究主要围绕本体论和认识论展开,欠缺方法论层面的深入发掘。类型化思维运用于刑法适用中的具体流程可以分为四个阶段:内核确定阶段包含不断交互的含义厘定和典型案例寻求两步;提炼典型特征阶段主要通过"法益考量"和"事物本质"来选取作为比较视点的典型特征;个案比较分流阶段不断反复适用微观上的"典型特征法益化"手段和宏观上的"整体上"判断来划定类型边界;探讨边界扩张阈值的阶段运用"反向类型推论规则"来明确类型边界所能扩张的最大范围。上述流程是塑造刑法适用中单个类型化思维模型的必由之路。而类型间存在的"中间类型"和"混合类型"问题在方法论层面亦可经由该思路的组合得到解决。 展开更多
关键词 类型化思维 法益 事物本质 典型特征法益化 反向类型推论规则
下载PDF
不同认知成分在图形推理测验项目难度预测中的作用 被引量:5
13
作者 李中权 王力 +1 位作者 张厚粲 周仁来 《心理学报》 CSSCI CSCD 北大核心 2011年第9期1087-1094,共8页
理解项目难度变异的来源是实现计算机自动化项目生成的第一步。通过文献综述,总结出影响图形推理测验项目难度的四个方面的因素,再通过操控构图元素熟悉性、属性的抽象性、知觉组织的和谐性以及规则类型与数目这些因素,编制8套图形推理... 理解项目难度变异的来源是实现计算机自动化项目生成的第一步。通过文献综述,总结出影响图形推理测验项目难度的四个方面的因素,再通过操控构图元素熟悉性、属性的抽象性、知觉组织的和谐性以及规则类型与数目这些因素,编制8套图形推理测验,共包含112个与高级瑞文推理类似的项目。采用铆测验等值设计,在每套测验中嵌入10个高级瑞文推理测验项目为铆题,通过网络施测于6323名被试。使用BILOGMG估算项目参数,并使用IRTEQ进行测验等值,将后七套测验上所有项目的项目参数都转换到第一套测验的单位系统上。以项目难度为因变量,项目题干特征变量为预测变量进行回归分析,结果发现这四个因素均对项目难度有显著预测作用。优势分析的结果显示记忆负荷(即规则类型与数目的组合)是项目难度的最重要的预测变量,其他依次为属性的抽象性、知觉组织的和谐性和构图元素熟悉性。 展开更多
关键词 自动化项目生成 记忆负荷 属性抽象性 知觉组织 规则类型
下载PDF
探究制度的结构和内容:制度语法工具研究述评 被引量:3
14
作者 林迪芬 《公共管理评论》 CSSCI 2021年第3期141-159,共19页
制度语法是一种解剖制度结构和内容的分析工具。自1995年问世以来,制度语法工具已经在多个研究议题和不同政策领域中得到较为广泛的应用,日益成为公共管理学科富有潜力的分析工具之一。本文首先考察了制度语法工具的产生背景,接着概述... 制度语法是一种解剖制度结构和内容的分析工具。自1995年问世以来,制度语法工具已经在多个研究议题和不同政策领域中得到较为广泛的应用,日益成为公共管理学科富有潜力的分析工具之一。本文首先考察了制度语法工具的产生背景,接着概述了制度语法工具的核心要件——ADICO句法,以及辅助要件——规则类型学和制度层次学。新近的研究主题主要集中在对制度语法工具的理论修正与拓展、编码系统的完善、实证案例分析等方面。在此基础上,本文建议未来应加强制度语法工具的理论研究,应推动制度语法工具与其他理论框架的结合。此外,制度文本的编码技术还需持续更新,研究数据来源应进一步丰富。最后,本文提出在中国情境下开展制度语法工具研究的意义和建议。 展开更多
关键词 制度语法工具 制度表述 ADICO句法 规则类型 制度层次学
下载PDF
汉语句法分析中标点符号的运用
15
作者 张小艳 邵刚 史月飞 《计算机工程与科学》 CSCD 北大核心 2009年第1期145-147,共3页
目前,大部分句法分析都忽略标点符号这一重要的句法特征或者只进行非常简单的处理。本文根据标点符号的句法结构特性,提出规则分层的方法,将标点融入汉语句法分析中。利用标点符号的分割作用,将长句分成一个个小的句子的序列,并对每个... 目前,大部分句法分析都忽略标点符号这一重要的句法特征或者只进行非常简单的处理。本文根据标点符号的句法结构特性,提出规则分层的方法,将标点融入汉语句法分析中。利用标点符号的分割作用,将长句分成一个个小的句子的序列,并对每个小的句子单元进行句法和结构分析,再根据已经抽取出来的类型规则进行二次句法分析,从而得到一个完整的句法分析树。实验表明,这种方法不但解决了部分长句无法正确得到句法树的难题,而且分析的歧义减小了,效率得到了提高。 展开更多
关键词 句法分析 标点符号 类型规则
下载PDF
城桂商业楼改建的结构设计与分析
16
作者 林焕琳 《江西建材》 2016年第21期27-28,34,共3页
在建的中山市城桂商业楼施工至第12结构层时因阻挡了政府的应急微波通道,被建设监督部门勒令停工,其原因是规划审批时忽略了微波通道对建筑的高度限制,因此,建设单位必须变更建筑方案,既要不阻挡微波通道,又要满足容积率和建筑功能要求... 在建的中山市城桂商业楼施工至第12结构层时因阻挡了政府的应急微波通道,被建设监督部门勒令停工,其原因是规划审批时忽略了微波通道对建筑的高度限制,因此,建设单位必须变更建筑方案,既要不阻挡微波通道,又要满足容积率和建筑功能要求,新方案具有较多不规则性,结构设计需在已建的12层结构的基础上进行改建,解决多项不规则及采取相应措施,对已施工结构构件的加固等。 展开更多
关键词 高层结构改建 超限不规则类型的解决 非超限判定 复杂高层结构分析 结构构件加固
下载PDF
试析二级C语言之自增、自减运算符
17
作者 吴宏杰 徐双 +2 位作者 张跃辉 迟晓丽 王铮 《电子制作》 2013年第13期85-85,共1页
全国计算机等级考试是在每年的三月份与九月份举行,其中作为本科生报考人数最多的就是二级C语言,C语言的上机操作题每年困扰着这无数的大学生们,二级C语言的上级操作题分为三题,即填空题,改错题,编程题,总共100分,本文举例了二级C语言... 全国计算机等级考试是在每年的三月份与九月份举行,其中作为本科生报考人数最多的就是二级C语言,C语言的上机操作题每年困扰着这无数的大学生们,二级C语言的上级操作题分为三题,即填空题,改错题,编程题,总共100分,本文举例了二级C语言的一些试题加以分析,并且着重介绍了类型转换的规则。 展开更多
关键词 全国计算机等级考试 二级C语言 上机操作 类型转换的规则
下载PDF
在线协作环境中集体认知责任的干预框架:设计与实践 被引量:2
18
作者 高丹丹 鲁梁秀 +1 位作者 陈向东 王海燕 《远程教育杂志》 CSSCI 北大核心 2022年第1期91-102,共12页
培养学习者的集体认知责任,既是提高知识建构水平的前提,也是CSCL实践亟待解决的问题。为此,基于知识建构理论与分析框架,构建了培养学生集体认知责任的五类干预策略,包括集体认知责任概念图、在线讨论参与社会网络图、在线协作情况反... 培养学习者的集体认知责任,既是提高知识建构水平的前提,也是CSCL实践亟待解决的问题。为此,基于知识建构理论与分析框架,构建了培养学生集体认知责任的五类干预策略,包括集体认知责任概念图、在线讨论参与社会网络图、在线协作情况反思表、小组学习契约、对话类型与发言规则。并通过一个大学本科课程班的研究案例,考察这些干预策略在协作讨论不同阶段中应用的效果。案例运用社会网络分析、对话文本的内容分析、问卷调查、访谈等方法,对参与学生的知识贡献意识、互补的知识贡献和知识贡献的广泛参与三方面,进行了分析。研究表明:五类集体认知责任干预策略的应用,都能够促进学生更积极主动地阅读并回复小组成员的观点,平等参与讨论,其中“对话类型与发言规则”在提升集体认知责任和学生知识建构水平方面的干预效果最为显著,可以在较大程度上提高学习者观点的认知复杂度和科学复杂度,促进更高水平的知识建构与对话。这一研究发现,可以为学生集体认知责任与协作能力的培养提供策略支持,也可以为开展线上协作学习活动提供案例参考。 展开更多
关键词 集体认知责任 CSCL 干预策略 对话类型与发言规则
下载PDF
汉语语序研究的历史、现状及思考 被引量:2
19
作者 岳凌 《北京广播电视大学学报》 2007年第1期18-23,共6页
本文根据研究范式的不同,分结构主义、功能主义和语序类型学三个理论背景,简要概述了汉语语序研究的历史和现状,归纳汉语语序研究中所涉及的理论框架,以及所提出的重要理论解释。在此基础上对汉语语序问题的研究作了一些理论思考。
关键词 语序 结构主义 功能主义 类型学原则和规则
下载PDF
Discretization Approach in Integrated Hydrologic Model for Surface and Groundwater Interaction 被引量:3
20
作者 ZHANG Jing Mark A ROSS Jeffery GEURINK 《Chinese Geographical Science》 SCIE CSCD 2012年第6期659-672,共14页
The commonly used discretization approaches for distributed hydrological models can be broadly categorized into four types,based on the nature of the discrete components:Regular Mesh,Triangular Irregular Networks(TINs... The commonly used discretization approaches for distributed hydrological models can be broadly categorized into four types,based on the nature of the discrete components:Regular Mesh,Triangular Irregular Networks(TINs),Representative Elementary Watershed(REWs) and Hydrologic Response Units(HRUs).In this paper,a new discretization approach for landforms that have similar hydrologic properties is developed and discussed here for the Integrated Hydrologic Model(IHM),a combining simulation of surface and groundwater processes,accounting for the interaction between the systems.The approach used in the IHM is to disaggregate basin parameters into discrete landforms that have similar hydrologic properties.These landforms may be impervious areas,related areas,areas with high or low clay or organic fractions,areas with significantly different depths-to-water-table,and areas with different types of land cover or different land uses.Incorporating discrete landforms within basins allows significant distributed parameter analysis,but requires an efficient computational structure.The IHM integration represents a new approach interpreting fluxes across the model interface and storages near the interface for transfer to the appropriate model component,accounting for the disparate discretization while rigidly maintaining mass conservation.The discretization approaches employed in IHM will provide some ideas and insights which are helpful to those researchers who have been working on the integrated models for surface-groundwater interaction. 展开更多
关键词 DISCRETIZATION distributed hydrological model Integrated Hydrologic Model(IHM) INTERACTION
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部