期刊文献+
共找到71篇文章
< 1 2 4 >
每页显示 20 50 100
SELF-DUAL PERMUTATION CODES OVER FORMAL POWER SERIES RINGS AND FINITE PRINCIPAL IDEAL RINGS 被引量:1
1
作者 张光辉 刘宏伟 《Acta Mathematica Scientia》 SCIE CSCD 2013年第6期1695-1710,共16页
In this paper, we study self-dual permutation codes over formal power series rings and finite principal ideal rings. We first give some results on the torsion codes associated with the linear codes over formal power s... In this paper, we study self-dual permutation codes over formal power series rings and finite principal ideal rings. We first give some results on the torsion codes associated with the linear codes over formal power series rings. These results allow for obtaining some conditions for non-existence of self-dual permutation codes over formal power series rings. Finally, we describe self-dual permutation codes over finite principal ideal rings by examining permutation codes over their component chain rings. 展开更多
关键词 self-dual code group code permutation code formal power series ring finiteprincipal ideal ring
下载PDF
从实质刑法典到形式刑法典:刑法的进阶之路 被引量:2
2
作者 陈兴良 《现代法学》 CSSCI 北大核心 2024年第2期1-19,共19页
刑法的再法典化是我国当前刑法学界关注的一个重要问题,它与刑法的立法完善密切相关。我国目前的刑法本身已经是一部实质意义上的刑法典,尤其是立法机关按照统一刑法典打造刑法的立法方式,为我国刑法的法典化奠定了基础。因此,刑法的法... 刑法的再法典化是我国当前刑法学界关注的一个重要问题,它与刑法的立法完善密切相关。我国目前的刑法本身已经是一部实质意义上的刑法典,尤其是立法机关按照统一刑法典打造刑法的立法方式,为我国刑法的法典化奠定了基础。因此,刑法的法典化不同于其他部门法的法典化,其建立在实质刑法典的基础上,所要进行的是再法典化。通过刑法的再法典化,完成从实质刑法典到形式刑法典的进阶。在刑法的再法典化过程中,应当正确处理一元立法体制与多元立法体制、罪名分类与章节设置、罪状表述的精细与粗疏等问题,进一步贯彻罪刑法定原则,利用刑法的再法典化的契机,较大幅度地提升我国刑法典的立法水平。 展开更多
关键词 刑法典 实质刑法典 形式刑法典 再法典化
下载PDF
核能装备安全控制代码自动生成软件研发与应用的构想与成果展望
3
作者 刘明星 马权 +5 位作者 吴鹏 杨斐 侯荣彬 王俊峰 黄滟鸿 吴延群 《工程科学与技术》 EI CAS CSCD 北大核心 2024年第2期1-16,共16页
目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围... 目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新:一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互式定理证明的可信代码生成器构造方法,形成经过形式化验证的可信代码生成器;四是数据驱动的测试用例智能生成方法,实现测试验证的自动化;五是一套面向核能装备控制软件的一体化研发平台,构建完整的开发和验证工具链。本文旨在以形式化和模型驱动方法为基础,对安全关键软件的建模、模型验证、代码生成、测试验证等方面进行系统性研究,以形成高可信的安全关键软件开发和验证新方法。研究成果对核能等领域安全关键软件开发相关工业软件的科学研究、技术研发、产业发展等具有十分重要的理论意义和实际应用价值。 展开更多
关键词 核能装备 代码生成 形式化 模型驱动
下载PDF
基于DH标定的机器人正向运动学形式化验证
4
作者 谢果君 杨焕焕 +1 位作者 石正璞 陈钢 《软件学报》 EI CSCD 北大核心 2024年第9期4160-4178,共19页
DH坐标系在机器人运动学分析中发挥着重要的作用.在基于DH坐标系构建的机器人控制系统中,机器人结构的复杂性使得构建安全的控制系统成为一个难题,仅依靠人工方法可能导致系统漏洞和安全风险,从而危及机器人的安全.形式化方法通过演绎... DH坐标系在机器人运动学分析中发挥着重要的作用.在基于DH坐标系构建的机器人控制系统中,机器人结构的复杂性使得构建安全的控制系统成为一个难题,仅依靠人工方法可能导致系统漏洞和安全风险,从而危及机器人的安全.形式化方法通过演绎推理与代码抽取实现了对软硬件系统的设计、开发及验证.基于此,设计基于DH标定的机器人正向运动学的形式化验证框架.在Coq中构建机器人运动理论的形式化证明,并验证控制算法的正确性以确保机器人的运动安全.首先,对DH坐标系进行形式化建模,构建相邻坐标系间转换矩阵的形式化定义,并验证该转换矩阵与复合螺旋运动的等价性;其次,构建机械臂正向运动学的形式化定义,并对机械臂运动的可分解性进行形式化验证;再次,对工业机器人中常见连杆结构及机器人进行形式化建模,并完成正向运动学的形式化验证;最后,实现Coq到OCaml的代码抽取,并对抽取的代码进行分析与验证. 展开更多
关键词 机器人运动学 形式化验证 DH坐标系 代码自动生成
下载PDF
Duadic Codes over the Ring Fq[u] /m- and Their Gray Images 被引量:1
5
作者 Mokshi Goyal Madhu Raka 《Journal of Computer and Communications》 2016年第12期50-62,共14页
Let m ≥ 2 be any natural number and let be a finite non-chain ring, where and q is a prime power congruent to 1 modulo (m-1). In this paper we study duadic codes over the ring and their extensions. A Gray map from to... Let m ≥ 2 be any natural number and let be a finite non-chain ring, where and q is a prime power congruent to 1 modulo (m-1). In this paper we study duadic codes over the ring and their extensions. A Gray map from to is defined which preserves self duality of linear codes. As a consequence self-dual, formally self-dual and self-orthogonal codes over are constructed. Some examples are also given to illustrate this. 展开更多
关键词 Quadratic Residue codes Duadic codes Extended Duadic-codes Gray Map SELF-DUAL Self-Orthogonal codes formally Self-Dual codes
下载PDF
Efficient Numerical Optimization Algorithm Based on New Real-Coded Genetic Algorithm, AREX + JGG, and Application to the Inverse Problem in Systems Biology 被引量:1
6
作者 Asako Komori Yukihiro Maki +2 位作者 Masahiko Nakatsui Isao Ono Masahiro Okamoto 《Applied Mathematics》 2012年第10期1463-1470,共8页
In Systems Biology, system identification, which infers regulatory network in genetic system and metabolic pathways using experimentally observed time-course data, is one of the hottest issues. The efficient numerical... In Systems Biology, system identification, which infers regulatory network in genetic system and metabolic pathways using experimentally observed time-course data, is one of the hottest issues. The efficient numerical optimization algorithm to estimate more than 100 real-coded parameters should be developed for this purpose. New real-coded genetic algorithm (RCGA), the combination of AREX (adaptive real-coded ensemble crossover) with JGG (just generation gap), have applied to the inference of genetic interactions involving more than 100 parameters related to the interactions with using experimentally observed time-course data. Compared with conventional RCGA, the combination of UNDX (unimodal normal distribution crossover) with MGG (minimal generation gap), new algorithm has shown the superiority with improving early convergence in the first stage of search and suppressing evolutionary stagnation in the last stage of search. 展开更多
关键词 Inverse Problem S-SYSTEM formalISM Gene REGULATORY Network System Identification Real-coded Genetic Algorithm
下载PDF
ON THE CHARACTERIZATION OF CYCLIC CODES OVER TWO CLASSES OF RINGS
7
作者 刘修生 《Acta Mathematica Scientia》 SCIE CSCD 2013年第2期413-422,共10页
Let R be a finite chain ring with maximal ideal (7) and residue field F,and letγ be of nilpotency index t. To every code C of length n over R, a tower of codes C = (C : γ0) C_ (C: 7) C ... C_ (C: γ2) C_ ... Let R be a finite chain ring with maximal ideal (7) and residue field F,and letγ be of nilpotency index t. To every code C of length n over R, a tower of codes C = (C : γ0) C_ (C: 7) C ... C_ (C: γ2) C_ .-. C_ (C:γ^t-1) can be associated with C, where for any r C R, (C : r) = {e C Rn I re E C}. Using generator elements of the projection of such a tower of codes to the residue field F, we characterize cyclic codes over R. This characterization turns the condition for codes over R to be cyclic into one for codes over the residue field F. Furthermore, we obtain a characterization of cyclic codes over the formal power series ring of a finite chain ring. 展开更多
关键词 Finite chain rings formal power series rings cyclic codes tower of codes Hensel lift
下载PDF
基于安全协议代码的形式化辅助建模研究 被引量:2
8
作者 葛艺 黄文超 熊焰 《计算机应用研究》 CSCD 北大核心 2023年第4期1189-1193,1202,共6页
随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方... 随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。 展开更多
关键词 形式化验证 形式化建模 协议代码 污点分析 TAMARIN
下载PDF
我国《民法典》中要约形式拘束力的解释论
9
作者 刘静波 刘霞 《伊犁师范大学学报》 2023年第1期37-43,共7页
要约生效后要约人能否撤销要约,这存在争议。要约的形式拘束力与实质拘束力高度关联,实践中舍弃形式拘束力则难以实现实质拘束力。受要约人的信赖利益在社会层面具有公共利益属性,赋予要约形式拘束力符合自主决定和自己责任原则。由于... 要约生效后要约人能否撤销要约,这存在争议。要约的形式拘束力与实质拘束力高度关联,实践中舍弃形式拘束力则难以实现实质拘束力。受要约人的信赖利益在社会层面具有公共利益属性,赋予要约形式拘束力符合自主决定和自己责任原则。由于要约的形式拘束力缺乏有效的替代机制而要约人的撤销自由存在诸多替代机制,赋予要约形式拘束力不仅必要而且可行。依据目的解释方法,通过适当扩大解释《民法典》第476条所规定的“例外”情形,可使要约不可撤销成为事实上的“原则”,从而化解学界通说与《民法典》条文表面文义之间的矛盾,使要约生效的拘束力得以合理确定,并使《民法典》的内在和外在体系更加和谐。 展开更多
关键词 要约拘束力 形式拘束力 《民法典》 解释论
下载PDF
On Isodual Double Toeplitz Codes
10
作者 SHI Minjia XU Li SOLÉ Patrick 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2024年第5期2196-2206,共11页
Double Toeplitz(shortly DT)codes are introduced here as a generalization of double circulant codes.The authors show that such a code is isodual,hence formally self-dual(FSD).FSD codes form a far-reaching generalizatio... Double Toeplitz(shortly DT)codes are introduced here as a generalization of double circulant codes.The authors show that such a code is isodual,hence formally self-dual(FSD).FSD codes form a far-reaching generalization of self-dual codes,the most important class of codes of rate one-half.Self-dual DT codes are characterized as double circulant or double negacirculant.Likewise,even binary DT codes are characterized as double circulant.Numerical examples obtained by exhaustive search show that the codes constructed have best-known minimum distance,up to one unit,amongst formally self-dual codes,and sometimes improve on the known values.For q=2,the authors find four improvements on the best-known values of the minimum distance of FSD codes.Over F4 an explicit construction of DT codes,based on quadratic residues in a prime field,performs equally well.The authors show that DT codes are asymptotically good over Fq.Specifically,the authors construct DT codes arbitrarily close to the asymptotic Varshamov-Gilbert bound for codes of rate one half. 展开更多
关键词 Double circulant codes double Toeplitz codes isodual codes formally self-dual codes
原文传递
分布式仿真环境下虚拟试验对象建模技术研究及应用 被引量:5
11
作者 林卓 吴健 +2 位作者 万豪 肖泉 马冲 《计算机测量与控制》 CSCD 北大核心 2012年第11期3011-3013,3037,共4页
根据分布式环境下虚拟试验的特点,提出一种面向试验对象的建模方法,采用虚拟试验对象建模语言(VTML)完成建模任务;作为试验资源应用中相互通信的"公共语言",VTML语言能够准确定义试验场景中的各种对象,实现了试验资源应用的... 根据分布式环境下虚拟试验的特点,提出一种面向试验对象的建模方法,采用虚拟试验对象建模语言(VTML)完成建模任务;作为试验资源应用中相互通信的"公共语言",VTML语言能够准确定义试验场景中的各种对象,实现了试验资源应用的语义互操作,将传统的面向对象的分布式系统和基于发布-订购的系统功能结合起来,兼有两种机制的长处,为用户提供了强大的编程抽象,同时消除发布订购系统中编程人员要明确存储接收数据的繁琐任务;经实际应用表明,VTML能够帮助模型开发人员完成虚拟试验场景中的建模任务,有效实现试验场景资源内部的可操作性、可重用性、可组合性。 展开更多
关键词 分布式 虚拟试验 建模语言 形式化 代码自动生成
下载PDF
基于Dalvik指令的Android恶意代码特征描述及验证 被引量:26
12
作者 李挺 董航 +2 位作者 袁春阳 杜跃进 徐国爱 《计算机研究与发展》 EI CSCD 北大核心 2014年第7期1458-1466,共9页
为实现Android平台下恶意软件的高效检测,提出了一种基于Dalvik指令的Android恶意代码特征形式化描述和分析方法,能够在无需反编译应用程序的基础上,快速检测样本的恶意特征.该方法首先依照DEX文件格式对Android应用程序切分得到以方法... 为实现Android平台下恶意软件的高效检测,提出了一种基于Dalvik指令的Android恶意代码特征形式化描述和分析方法,能够在无需反编译应用程序的基础上,快速检测样本的恶意特征.该方法首先依照DEX文件格式对Android应用程序切分得到以方法为单位的指令块,通过对块中Dalvik指令进行形式化描述以实现程序特征的简化和提取,之后综合使用改进的软件相似度度量算法和闵可夫斯基距离算法计算提取特征与已知恶意特征的相似度,并根据相似度比对结果来判定当前待测软件是否含有恶意代码.最后建立原型系统模型来验证上述方法,以大量随机样本进行特征匹配实验.实验结果表明,该方法描述特征准确、检测速度较快,适用于Android恶意代码的快速检测. 展开更多
关键词 Dalvik指令 安卓 恶意代码 形式化描述 相似度
下载PDF
预条码检验信息系统的开发与应用 被引量:8
13
作者 曹美琴 唐鸿建 +2 位作者 江淑芳 邱红 周宁 《医疗卫生装备》 CAS 2007年第5期38-40,共3页
目的:实现检验部门数据自动化传输,患者信息、诊断信息、检验信息同步传递。方法:系统采用客户机/服务器结构,应用MSSQLSERVER2000数据库管理系统和Powerbuilder8.0语言程序设计开发。具有数据传输、质量控制、综合查询和数据安全管理... 目的:实现检验部门数据自动化传输,患者信息、诊断信息、检验信息同步传递。方法:系统采用客户机/服务器结构,应用MSSQLSERVER2000数据库管理系统和Powerbuilder8.0语言程序设计开发。具有数据传输、质量控制、综合查询和数据安全管理等多项功能。结果:预条码检验信息系统与HIS系统无缝连接,提高了工作效率及工作质量,实现了信息共享及同步传递。制式检验申请单的应用促进了管理工作的科学化、规范化和标准化。 展开更多
关键词 LIS HIS 预条码 制式检验申请单
下载PDF
对分组密码的形式化函数分析及其应用 被引量:1
14
作者 彭昌勇 朱创营 +2 位作者 黄莉 祝跃飞 王靳辉 《电子学报》 EI CAS CSCD 北大核心 2013年第11期2314-2316,共3页
本文给出了分组密码的新的分析方法:形式化函数分析,即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击.对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加... 本文给出了分组密码的新的分析方法:形式化函数分析,即通过符号计算将密文形式地表示为明文和密钥的函数.作为应用本文给出了13轮LBlock轻量级分组密码的一个中间相遇攻击.对13轮LBlock的中间相遇攻击的时间复杂度为276.2次13轮LBlock加密,数据复杂度为1个已知明文.优于Nicolas Courtois等人在FSE 2012上给出的8轮代数攻击,其数据复杂度为6个已知明文. 展开更多
关键词 形式化函数分析 形式化编码方法 鲁班锁分组密码 符号计算 中间相遇攻击 分组密码
下载PDF
听力正常人与聋人短时记忆的比较研究 被引量:10
15
作者 王乃怡 《心理学报》 CSSCI CSCD 北大核心 1993年第1期9-16,共8页
以视觉系列呈现,自由回忆的方法比较了听力正常人与聋人对分别被强化的厂类相似性汉语字表的短时记忆获得量。从总的平均获得量来看,两组结果没有显著差异,而从每一编码维量在短时记忆的加工过程中的作用来看,两组被试都显示出了形、义... 以视觉系列呈现,自由回忆的方法比较了听力正常人与聋人对分别被强化的厂类相似性汉语字表的短时记忆获得量。从总的平均获得量来看,两组结果没有显著差异,而从每一编码维量在短时记忆的加工过程中的作用来看,两组被试都显示出了形、义两维编码维量的作用最强,而音码的作用相对比较弱。两组被试也都显示出了明显的系列位置效应,但聋人组的次级记忆容量明显地低于听力正常组,而初级记忆容量两组没有显著差异。并对可能的机制进行了讨论。 展开更多
关键词 短时记忆 听力正常人 聋人 记忆
下载PDF
一种基于指针逻辑的代码安全属性分析方法 被引量:3
16
作者 张阳 程亮 《计算机学报》 EI CSCD 北大核心 2009年第6期1119-1125,共7页
在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结... 在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结果对源代码中的指针进行替换,从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈,可以实现对C语言中的部分指针及运算进行处理. 展开更多
关键词 操作系统安全 形式化验证 代码分析 模型检测 指针逻辑
下载PDF
代码缺陷模式的概念及形式化表示 被引量:2
17
作者 胡璇 刘斌 王轶辰 《计算机工程》 CAS CSCD 北大核心 2010年第7期47-49,共3页
针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题,基于模式的定义给出代码缺陷模式定义,以其核心三要素为基础,对代码缺陷模式形式化表示进行研究,采用基于扩展模式描述语言的形式化表示法,将直接场景和缺陷代码... 针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题,基于模式的定义给出代码缺陷模式定义,以其核心三要素为基础,对代码缺陷模式形式化表示进行研究,采用基于扩展模式描述语言的形式化表示法,将直接场景和缺陷代码结构共同反映于同一概念下。实例验证了代码缺陷模式概念的合理性及其形式化表示法的有效性。 展开更多
关键词 代码缺陷 模式 形式化表示
下载PDF
权利本位下的民法典形式结构 被引量:18
18
作者 李建华 《政治与法律》 CSSCI 北大核心 2019年第8期116-124,共9页
我国民法典奉行权利本位,既要符合中华民族特有的文化传统,又要能满足现代社会的发展要求。权利本位下的民法典要体现民法典伦理基础的实质性范畴,民法典的权利本位影响着民法典体系化的结构性范畴。民法典的形式结构是民法发展的必然结... 我国民法典奉行权利本位,既要符合中华民族特有的文化传统,又要能满足现代社会的发展要求。权利本位下的民法典要体现民法典伦理基础的实质性范畴,民法典的权利本位影响着民法典体系化的结构性范畴。民法典的形式结构是民法发展的必然结果,其逻辑主线、编纂体例和构建方法的选取始终与民事权利有着千丝万缕的联系,不可能偏离权利本位的要求。民法典是体系化的法律规范,需要围绕固定的逻辑主线,采用一定的编纂体例和构建方法,从而形成民法典的形式结构。 展开更多
关键词 权利本位 民法典 形式结构 编纂体例 体系方法
下载PDF
汇编代码验证中的形式规范自动生成 被引量:3
19
作者 葛琳 陈意云 +2 位作者 华保健 李兆鹏 刘诚 《小型微型计算机系统》 CSCD 北大核心 2008年第7期1219-1224,共6页
与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范.本文提出一种能够自动生成形式规范的方法,该方法依托一个出具证明... 与传统的高级语言程序验证相比,汇编代码验证中所需要的形式规范往往比较复杂,通常的做法是要求程序员手写形式规范,或是牺牲形式规范的表达能力以期能够自动生成规范.本文提出一种能够自动生成形式规范的方法,该方法依托一个出具证明的编译器自动生成汇编级形式规范,从而减轻程序员的负担.使用该方法生成的规范比现有的其他方法自动生成的规范具有更强的表达能力.文章主要描述该方法在出具证明编译器中的实现. 展开更多
关键词 出具证明编译器 汇编代码验证 形式规范Hoare逻辑 前(后)条件
下载PDF
听力正常人与聋人长时记忆的比较研究 被引量:2
20
作者 王乃怡 《心理学报》 CSSCI CSCD 北大核心 1994年第4期401-409,共9页
以视觉系列呈现,序列回忆和自由回忆的方法比较了音、形、义三维编码维量在听力正常人与聋人短时记忆和长时记忆加工过程中的相对效用。结果是听力正常组产生了明显的语音相似性效应,聋人组突出地显示出形码的相似性干扰。在短时记忆... 以视觉系列呈现,序列回忆和自由回忆的方法比较了音、形、义三维编码维量在听力正常人与聋人短时记忆和长时记忆加工过程中的相对效用。结果是听力正常组产生了明显的语音相似性效应,聋人组突出地显示出形码的相似性干扰。在短时记忆和长时记忆加工过程中两组被试都显示出了形义两维编码维量的作用最强,而音码的作用相对比较弱。两组被试也都显示出了明显的系列位置效应及大体相同的长时保持。 展开更多
关键词 心理学 音码 形三 义码 短时保持 长时保持 记忆
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部