期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
过程分离程序的测量限度及其解决办法 被引量:1
1
作者 樊春雷 《北京大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第5期723-729,共7页
Jacoby提出的过程分离程序可以将认知作业过程中的有意识加工和无意识加工成分分离出来 ,这被认为是意识测量研究上的一个重要进展。但这一程序的有效性需要得到相关实验假设的支持 ,而在研究过程中却发现了这些实验假设被违背的证据 ,... Jacoby提出的过程分离程序可以将认知作业过程中的有意识加工和无意识加工成分分离出来 ,这被认为是意识测量研究上的一个重要进展。但这一程序的有效性需要得到相关实验假设的支持 ,而在研究过程中却发现了这些实验假设被违背的证据 ,这导致研究者对程序的有效性的怀疑。从实验测量的角度看 ,实验假设被违背的根源在于实际测量过程达不到理论设计的要求。其中 ,测量变异和取样偏差是主要的影响因素。这里提出的新的解决方案强调了理论设计和实验测量的有机结合 ,它可以解决过程分离程序的有效性问题。 展开更多
关键词 测量限度 解决办法 过程分离程序 纯净测量 取样偏差 意识测量 测量变异 实验假设
在线阅读 下载PDF
面向过程程序中变量的封装
2
作者 陈学锋 王振宇 郭福顺 《计算机科学》 CSCD 北大核心 1993年第4期73-77,共5页
一、引言用面向过程语言(如Pascal,C等)编写的软件从整体结构上看可以分成三种相互独立的语言成份:过程、变量和类型。由于三者之间缺乏联系和约束,使得无论何种类型的变量(全局的)都可被每个(无论何类型的)过程存取。因此软件在整体结... 一、引言用面向过程语言(如Pascal,C等)编写的软件从整体结构上看可以分成三种相互独立的语言成份:过程、变量和类型。由于三者之间缺乏联系和约束,使得无论何种类型的变量(全局的)都可被每个(无论何类型的)过程存取。因此软件在整体结构上层次不清,关系过于繁杂。当软件规模大到一定程度,如10万行的C程序时,软件的正确性就难以保证了,在改正已有错误的同时可能引入新的潜在错误。这种程序难于维护的原因之一是一段代码的修改对其它代码通过变量传递的影响难于确定。因此,我们希望限制过程与变量的联系。 展开更多
关键词 面向过程程序 变量 封装
在线阅读 下载PDF
程序正义及其现实意义 被引量:2
3
作者 党崇武 《甘肃社会科学》 CSSCI 1999年第S1期104-106,共2页
关键词 程序正义 实体正义 法制现代化 程序结果 程序正义价值 程序过程 独立价值 基本权利和义务 诉讼程序 法治国家
在线阅读 下载PDF
程序设计的学习、教学与人的认知的相互关系
4
作者 程德新 马谋超 《心理科学进展》 1986年第1期17-23,共7页
为了适应计算机事业的发展,也为了促进教育事业的发展,目前世界先进国家已把电子计算机引入教育事业。有人称之为教育事业的革命。在美国不仅初中、高中把程序设计作为主要课程,而且有几百万大学生也接受程序设计教育。法国在大学课程... 为了适应计算机事业的发展,也为了促进教育事业的发展,目前世界先进国家已把电子计算机引入教育事业。有人称之为教育事业的革命。在美国不仅初中、高中把程序设计作为主要课程,而且有几百万大学生也接受程序设计教育。法国在大学课程中把程序设计规定为与数学、民族语言学同等重要的必修课。我国由于微型机的广泛应用,在某些中、小学开设了电脑课。各行各业的“电子计算机普及班”,“程序设计语言班”也相继出现。 展开更多
关键词 程序设计语言 计算机程序 大学生 学习程序 教育事业 认知科学 程序教学 程序过程 电子计算机 相互关系
在线阅读 下载PDF
程序调试中的树形结构演变可视化模型 被引量:3
5
作者 苏庆 黎智洲 +3 位作者 刘添添 吴伟民 黄剑锋 李小妹 《计算机科学》 CSCD 北大核心 2021年第5期68-74,共7页
树形结构作为一种非线性数据结构,在程序执行过程中的演变过程较为抽象,尤其是在对其进行加工型操作时,容易发生内存泄漏。针对编程初学者难以掌握树形结构的逻辑演变过程,以及在程序中发生内存泄漏错误时调试较为困难的问题,文中提出... 树形结构作为一种非线性数据结构,在程序执行过程中的演变过程较为抽象,尤其是在对其进行加工型操作时,容易发生内存泄漏。针对编程初学者难以掌握树形结构的逻辑演变过程,以及在程序中发生内存泄漏错误时调试较为困难的问题,文中提出了一种对程序调试过程中树形结构的演变过程进行可视化呈现的处理模型TEVM(Tree Evaluation Visualization Model)。针对单个可视化程序在调试步骤前和调试步骤后的两个树形结构,设计了一种将树形结构转换为线性表示的结构对比算法,得出了它们的包括泄漏树在内的结构差异;同时设计了一种树形结构布局方法,并计算它们的布局差异。根据结构差异和布局差异生成可视化演变序列,调用绘图引擎对该序列进行解析和执行,从而完成对树形结构及其演变过程的动态、平滑和直观的可视化呈现,帮助编程初学者快速理解树形结构相关程序的执行过程,提升调试效率。将TEVM模型集成于一个面向编程实训教学的集成开发环境原型Web AnyviewC中,取得了较好的应用效果。 展开更多
关键词 程序调试过程 数据结构可视化 树形结构 泄漏树 树形结构演变可视化模型
在线阅读 下载PDF
一种过程间单子切片方法 被引量:2
6
作者 张迎周 符炜 《电子学报》 EI CAS CSCD 北大核心 2013年第8期1457-1461,共5页
在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得... 在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性. 展开更多
关键词 单子切片方法 模块单子语义 过程程序 参数间依赖 组合性
在线阅读 下载PDF
选择性注意中意识与无意识过程分离的实验研究 被引量:1
7
作者 张雅旭 金志成 《心理学报》 CSSCI CSCD 北大核心 1997年第1期38-43,共6页
以汉语单字词为材料,通过颜色来区分目标和分心物,采用过程分离程序,直接探讨了目标激活与分心物抑制和意识、无意识过程之间的关系。结果表明,(1)靶词充当分心物时,不仅意识过程存在的概率降低,无意识过程存在的概率也降低。... 以汉语单字词为材料,通过颜色来区分目标和分心物,采用过程分离程序,直接探讨了目标激活与分心物抑制和意识、无意识过程之间的关系。结果表明,(1)靶词充当分心物时,不仅意识过程存在的概率降低,无意识过程存在的概率也降低。这一结果说明,在选择性注意任务中,信息是有关还是无关,并不能分离意识和无意识过程;(2)靶词充当目标时,加工水平影响Pc,但不影响Pu,而靶词充当分心物时,加工水平既不影响Pc,也不影响Pu。因此,加工水平能否分离意识和无意识过程。 展开更多
关键词 目标激活 分心物抑制 正负启动 比例效应 过程分离程序
在线阅读 下载PDF
意识与无意识加法运算过程的分离──考察加工水平与外周预提示的作用
8
作者 张雅旭 李宏英 +2 位作者 刘玉新 方进 池莲子 《心理学报》 CSSCI CSCD 北大核心 1996年第1期38-44,共7页
使用Jacoby的过程分离程序,定量地估计了意识与无意识加法运算过程对后来迫选作业的贡献。结果表明:1.即使是在排除测验中,被试有时也要显著超过基线地选择靶数字,这一结果无疑为无意识加法运算过程的存在提供了有力的证据... 使用Jacoby的过程分离程序,定量地估计了意识与无意识加法运算过程对后来迫选作业的贡献。结果表明:1.即使是在排除测验中,被试有时也要显著超过基线地选择靶数字,这一结果无疑为无意识加法运算过程的存在提供了有力的证据;2.加工水平和外周预提示影响对C值的估计,但并不影响对U值的估计。这证明加工水平与外周预提示均是分离意识与无意识加法运算过程的重要因素。 展开更多
关键词 过程分离程序 迫选法 加法运算 加工水平 外周预提示。
在线阅读 下载PDF
Java存储过程的自动生成与测试
9
作者 胡宏银 姚峰 何成万 《计算机工程与设计》 CSCD 北大核心 2007年第10期2291-2293,2296,共4页
通过定义存储过程模板,并根据表信息替换模板中的变量,从而生成大量具有类似处理流程的Java存储过程。给出了Update存储过程的生成模板、注册模板以及测试程序模板,并用VBA实现了自动生成Java存储过程的主要方法,还讨论了测试数据的准... 通过定义存储过程模板,并根据表信息替换模板中的变量,从而生成大量具有类似处理流程的Java存储过程。给出了Update存储过程的生成模板、注册模板以及测试程序模板,并用VBA实现了自动生成Java存储过程的主要方法,还讨论了测试数据的准备、测试及测试结果的确认方法。实践表明,该方法能保证软件的质量、缩短开发周期以及提高软件的可修改性。 展开更多
关键词 JAVA存储过程 自动生成 测试 存储过程生成模板 存储过程注册模板 存储过程测试程序模板
在线阅读 下载PDF
SIMPLE:一种新型多范型程序设计语言
10
作者 吴迪 陈林 徐宝文 《计算机科学》 CSCD 北大核心 2014年第7期1-8,44,共9页
为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程... 为了满足越来越高的软件开发需求,许多通用程序设计语言扩充了各种新的语言设施,从而使语言变得复杂而难于学习和使用。为了创造一个核心概念简单明确、同时可以广泛用于各类开发的语言,设计了一种具有简明核心概念和丰富语言设施的程序设计语言SIMPLE。首先对SIMPLE语言进行概述,然后针对SIMPLE的模块化、泛型、内存管理以及异常处理等设施进行阐述。此外,讨论了如何将过程式、面向对象、函数式3种程序设计范型在SIMPLE中实现有机的融合。 展开更多
关键词 程序设计语言 语言设计 多范型程序设计 面向过程程序设计 面向对象程序设计 函数式程序设计
在线阅读 下载PDF
面向司法审查的行政行为说明理由——郴州饭垄堆矿业有限公司与国土资源部等国土资源行政复议决定再审案评析 被引量:8
11
作者 章剑生 《交大法学》 CSSCI 2020年第2期184-192,共9页
郴州饭垄堆矿业有限公司与国土资源部等国土资源行政复议决定再审案争点之一是行政行为说明理由。在司法审查中,对于涉及专业性判断理由的审查,法院应当保持对行政必要的尊重。将“程序过程审查”作为一种司法审查的方式导入本案,使得... 郴州饭垄堆矿业有限公司与国土资源部等国土资源行政复议决定再审案争点之一是行政行为说明理由。在司法审查中,对于涉及专业性判断理由的审查,法院应当保持对行政必要的尊重。将“程序过程审查”作为一种司法审查的方式导入本案,使得法院审查更具有针对性,审查方法也呈多元化。对于行政行为不说明理由的,可以认定为适用法律、法规错误。 展开更多
关键词 行政行为说明理由 程序过程审查 司法审查 专业性判断
在线阅读 下载PDF
小啮合角剃齿刀的计算机辅助设计 被引量:1
12
作者 曾孟雄 曾涛 《工具技术》 EI 北大核心 1999年第10期7-10,共4页
介绍了小啮合角盘形剃齿刀计算机辅助设计的程序编制,讨论了剃齿刀的校验及啮合角、工艺参数和重磨参数的确定。
关键词 剃齿刀 CAD 程序过程 啮合角 数据文件
在线阅读 下载PDF
对广告信息加工的性别差异 被引量:14
13
作者 林树 《心理学报》 CSSCI CSCD 北大核心 2005年第5期694-701,共8页
研究者运用加工分离程序(PDP),探讨了在不同性别的广告代言人条件下,不同性别的目标受众对其所代言品牌在控制性加工和自动化加工水平上的差异。结果发现:(1)在男性代言人条件下,男性受众对其所代言品牌的自动化加工水平明显高于女性被... 研究者运用加工分离程序(PDP),探讨了在不同性别的广告代言人条件下,不同性别的目标受众对其所代言品牌在控制性加工和自动化加工水平上的差异。结果发现:(1)在男性代言人条件下,男性受众对其所代言品牌的自动化加工水平明显高于女性被试,两者控制性加工水平差异不显著;(2)在女性代言人条件下,女性受众对其所代言的品牌的自动化加工水平明显高于男性被试,两者的控制性加工水平差异不显著。实验结果对广告的设计与制作有着借鉴意义。 展开更多
关键词 性别差异 广告代言人 自动化加工 内隐记忆 过程分离程序
在线阅读 下载PDF
关于无意识知觉的研究 被引量:13
14
作者 耿海燕 《心理科学进展》 CSSCI CSCD 1998年第1期15-20,共6页
本文介绍了关于无意识知觉的心理学研究。在长期以来采用任务分离的研究范式未取得很大进展的情况下,研究者的注意力开始转向意识知觉和无意识知觉在行为结果上的质的差异,并获得了相当一致的研究结果。过程分离程序的应用也支持了上... 本文介绍了关于无意识知觉的心理学研究。在长期以来采用任务分离的研究范式未取得很大进展的情况下,研究者的注意力开始转向意识知觉和无意识知觉在行为结果上的质的差异,并获得了相当一致的研究结果。过程分离程序的应用也支持了上述结果。 展开更多
关键词 意识知觉 无意识知觉 任务分离 质的差异 过程分离程序
在线阅读 下载PDF
病案疾病分类人工智能化光盘综合管理系统设想 被引量:1
15
作者 张建中 许凤娟 初丹峰 《中国医院管理》 北大核心 2006年第8期40-41,共2页
关键词 疾病分类 人工智能 知识工程 知识库 面向过程程序设计 面向对象程序设计 病案光盘系统
在线阅读 下载PDF
马里兰州的读写考试
16
作者 陈玉玲 王保星 《外国中小学教育》 北大核心 1993年第6期37-37,36,共2页
美马里兰州正在把行为评估作为改进测试制度的一种途径,该州教育部及教师们在CTB/MC 格罗一黑尔机构的技术指导下,使行为评估得到了发展。下面就是阅读—写作考试的一个范例。马里兰州使阅读与写作保持自然平行,
关键词 行为评估 马里兰州 格罗 育空河 第三天 杰克·伦敦 体温过低 程序过程 作业练习 写作材料
在线阅读 下载PDF
螺纹加工中G92和G76指令的应用特点
17
作者 牟仲德 李小闯 贾喜庆 《工具技术》 2013年第9期76-76,共1页
通过掌握螺纹加工程序指令G32、G92和G76的编程格式及特点,了解其加工运动过程及轨迹,合理选择程序指令,将大大简化螺纹加工程序编制过程中的重复计算,提高准确率及工作效率,充分发挥数控技术在螺纹加工中的优势,使机床性能更加... 通过掌握螺纹加工程序指令G32、G92和G76的编程格式及特点,了解其加工运动过程及轨迹,合理选择程序指令,将大大简化螺纹加工程序编制过程中的重复计算,提高准确率及工作效率,充分发挥数控技术在螺纹加工中的优势,使机床性能更加优异。以法兰克(FANUC)系统程序为例,数控车床加工螺纹应用的程序为螺纹切削语句G32和G92固定螺纹加工程序,螺纹复合型切削循环G76。 展开更多
关键词 螺纹加工 程序指令 应用 程序编制过程 数控技术 螺纹切削 运动过程 工作效率
在线阅读 下载PDF
通信下推系统的一种有界可达算法
18
作者 缪力 张大方 《计算机工程与应用》 CSCD 北大核心 2008年第24期19-21,共3页
Qadeer首次针对并发下推系统提出一种有界可达算法,通过限定上下文切换的次数使得算法可终止,可有效地分析过程间并发程序。但是并发下推系统以全局变量模拟同步,不适应于当前广泛使用的基于事件驱动的并发程序。针对通信下推系统,提出... Qadeer首次针对并发下推系统提出一种有界可达算法,通过限定上下文切换的次数使得算法可终止,可有效地分析过程间并发程序。但是并发下推系统以全局变量模拟同步,不适应于当前广泛使用的基于事件驱动的并发程序。针对通信下推系统,提出一种基于双重调度的有界可达算法,通过限定同步调度的次数,结合线程间的同步调度和线程内的路径调度解决通信下推系统的可达性问题,从而为事件驱动的过程间并发程序分析提供了算法基础。 展开更多
关键词 有界可达算法 通信下推系统 并发过程程序分析 模型检查
在线阅读 下载PDF
Continuous FEM simulation of multi-pass plate hot rolling suitable for plate shape analysis 被引量:9
19
作者 张金玲 崔振山 《Journal of Central South University》 SCIE EI CAS 2011年第1期16-22,共7页
In order to continuously simulate multi-pass plate rolling process,a 3-D elastic hollow-roll model was proposed and an auto mesh-refining module with data passing was developed and integrated with FE software,Marc.The... In order to continuously simulate multi-pass plate rolling process,a 3-D elastic hollow-roll model was proposed and an auto mesh-refining module with data passing was developed and integrated with FE software,Marc.The hollow-roll model has equivalent stiffness of bending resistance and deformation to the real solid and much less meshes,so the computational time is greatly reduced.Based on these,the factors influencing plate profile,such as the roll-bending force,initial crown,thermal crown and heat transfer during rolling and inter-pass cooling can be taken into account in the simulation.The auto mesh-refining module with data passing can automatically refine and re-number elements and transfer the nodal and elemental results to the new meshes.Furthermore,the 3-D modeling routine is parametrically developed and can be run independently of Marc pre-processing program.A seven-pass industrial hot rolling process was continuously simulated to validate the accuracy of model.By comparison of the calculated results with the industrial measured data,the rolling force,temperature and plate profile are in good accordance with the measured ones. 展开更多
关键词 multi-pass rolling continuous simulation equivalent hollow roll mesh refinement data passing plate shape
在线阅读 下载PDF
S9000集散系统在磨矿分级自控系统中的应用 被引量:2
20
作者 谢瑚 《金属矿山》 CAS 北大核心 2001年第3期42-44,共3页
介绍了磨矿分级自动控制的控制目标、系统组成、控制原理和主要特点。在焦家金矿磨矿分级作业实践表明 ,平均台时处理能力提高了 9 7% ,每吨金矿电耗下降了 13 3 % ,取得了良好的经济效益。
关键词 磨矿分级 S9000集散控制系统 PLC过程控制程序 电耗 工艺流程
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部