期刊文献+
共找到31篇文章
< 1 2 >
每页显示 20 50 100
社会主义核心价值观视域下外语测试效度验证框架的构建
1
作者 李成帅 《西部素质教育》 2025年第2期57-61,共5页
文章首先概述了社会主义核心价值观与测试效度,然后从受试特征分析、情景效度构建、认知(理论)效度构建等六个方面论述了社会主义核心价值观视域下外语测试效度验证框架的构建,最后进行了讨论。
关键词 外语测试效度验证框架 社会主义核心价值观 课程思政
在线阅读 下载PDF
融合型论证式效度验证框架下的初中英语学业水平考试命题评估标准构建
2
作者 林敦来 高淼 刘森 《语言测试与评价》 2024年第2期45-60,共16页
效度和效度验证是语言测试中最核心的问题。本文首先综述语言测试中三个有影响力的效度验证框架,然后指出,融合型论证式效度验证框架兼具三个框架的优点,能用于指导初中英语学业水平考试命题质量评估标准的构建。该框架包含行动理论论... 效度和效度验证是语言测试中最核心的问题。本文首先综述语言测试中三个有影响力的效度验证框架,然后指出,融合型论证式效度验证框架兼具三个框架的优点,能用于指导初中英语学业水平考试命题质量评估标准的构建。该框架包含行动理论论证、测试开发论证、测量论证和传达沟通论证。本文对这些论证的具体内容进行了讨论,并在此基础上进一步提出初中英语学业水平考试命题质量评估的观测点,以期为初中英语学业水平考试命题质量的提升提供参考,为大规模高风险考试效度验证拓展思路。 展开更多
关键词 初中英语学业水平考试 命题评估 融合型论证式效度验证框架 指标
在线阅读 下载PDF
基于FPGA平台的媒体系统芯片验证框架 被引量:1
3
作者 周建 刘鹏 +1 位作者 陈科明 梅优良 《微电子学》 CAS CSCD 北大核心 2006年第3期284-287,291,共5页
针对媒体系统芯片的不同仿真和验证要求,提出了一种基于FPGA平台的媒体系统芯片验证框架。采用层次化的方法设计软件平台,实现了软件平台的可配置性;采用面向多媒体处理的改进总线结构,实现了硬件平台的可配置和可重用性。基于提出的媒... 针对媒体系统芯片的不同仿真和验证要求,提出了一种基于FPGA平台的媒体系统芯片验证框架。采用层次化的方法设计软件平台,实现了软件平台的可配置性;采用面向多媒体处理的改进总线结构,实现了硬件平台的可配置和可重用性。基于提出的媒体系统芯片验证框架,快速构建了音频解码系统芯片验证平台,实现了对128 kbps,44.1 kHz立体声AAC LC的实时解码,达到了验证要求。 展开更多
关键词 媒体系统芯片 可编程逻辑门阵列 验证框架 层次化 总线结构
在线阅读 下载PDF
AJAX技术在Struts验证框架中的应用研究 被引量:2
4
作者 于海霞 徐凯声 王家骐 《交通与计算机》 2006年第5期113-116,共4页
A jax是当前流行的一种适用于W eb应用开发中的技术,它可以实现无需刷新整个页面,就可以动态更新页面中一部分的内容本文。在介绍A jax技术和S tru ts验证框架的基础上,提出了将A jax技术运用于S tru ts验证框架中进行数据验证的方法。S... A jax是当前流行的一种适用于W eb应用开发中的技术,它可以实现无需刷新整个页面,就可以动态更新页面中一部分的内容本文。在介绍A jax技术和S tru ts验证框架的基础上,提出了将A jax技术运用于S tru ts验证框架中进行数据验证的方法。S tru ts验证框架通过加入A-jax技术,使得W eb应用程序的运行效果更接近于桌面应用程序。 展开更多
关键词 AJAX技术 Struts验证框架 WEB应用程序 桌面应用程序
在线阅读 下载PDF
一个模型转换的验证框架(英文)
5
作者 王建芬 王俊华 《浙江科技学院学报》 CAS 2007年第4期285-292,共8页
模型驱动体系结构(Model Driven Architecture,MDA)是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要,但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和... 模型驱动体系结构(Model Driven Architecture,MDA)是OMG为充分利用基于UML的建模技术并分离软件系统的抽象描述和具体事项而提出的。模型转换对MDA的成功至关重要,但对于同传统软件开发过程中的测试部分同等重要的模型转换中的验证和有效性确认(V&V),目前的研究比较少。为此,尝试提供一个基于MDA上下文的模型转换性能的验证框架。该框架用于验证原模型包涵的性质,检查源模型与/或目标模型的各个元素是否通过模型转换规则实现了语义等价。同时,采用EMF API开发了一个用来分析Tefkat语言描述的模型转换规则的verifier原型系统,并通过实例验证了其有效性。 展开更多
关键词 模型转换 验证框架 元模型
在线阅读 下载PDF
引入Ajax的Struts验证框架的设计与实现
6
作者 于海霞 王家骐 《计算机与现代化》 2010年第7期27-31,共5页
为了构建更加动态,响应更加快速的Web应用程序,在深入研究Ajax技术的基础上,将其引入到Struts的验证框架中,用来对应用程序中的表单数据进行验证,并给出一个简单的实例。结合了Ajax技术的Struts验证框架,增强了Struts验证框架的功能,同... 为了构建更加动态,响应更加快速的Web应用程序,在深入研究Ajax技术的基础上,将其引入到Struts的验证框架中,用来对应用程序中的表单数据进行验证,并给出一个简单的实例。结合了Ajax技术的Struts验证框架,增强了Struts验证框架的功能,同时可以减轻服务器端压力,提高系统响应速度,减少用户等待时间。 展开更多
关键词 AJAX技术 Struts验证框架 WEB应用程序
在线阅读 下载PDF
一种基于过滤器模式的智能验证框架
7
作者 张永军 陈晓兵 赵文东 《软件导刊》 2007年第9期105-106,共2页
针对WinForm类型应用程序繁琐的数据验证,将验证规则按照过滤器模式进行排列,考虑分散和集中验证这两种情况,提出了一个智能验证框架,使得数据验证在窗体的背后自动智能地发生。实际项目应用表明,该框架能很大程度上降低代码冗余,具有... 针对WinForm类型应用程序繁琐的数据验证,将验证规则按照过滤器模式进行排列,考虑分散和集中验证这两种情况,提出了一个智能验证框架,使得数据验证在窗体的背后自动智能地发生。实际项目应用表明,该框架能很大程度上降低代码冗余,具有良好的可扩展性、非侵入性。 展开更多
关键词 数据验证 智能验证框架 过滤器模式 .NET
在线阅读 下载PDF
基于JSValidation验证框架的Web表单校验
8
作者 刘颖 《电脑学习》 2009年第1期66-67,共2页
通过一个实例说明使用JSValidation验证框架进行Web表单校验的过程。
关键词 表单校验 JSValidation验证框架
在线阅读 下载PDF
一种基于XML和正则表达式的简单验证框架
9
作者 盛帅 郝改琴 《知识经济》 2010年第14期122-123,共2页
在Web开发中,繁琐的表单验证会花费大量的时间与精力,本文简要介绍了一种综合利用正则表达式和XML技术的通用验证框架,可以基本满足高效、简便的表单验证工作。
关键词 XML 正则表达式 JAVASCRIPT 验证框架
在线阅读 下载PDF
外语形成性评估的效度验证框架 被引量:21
10
作者 李清华 孔文 《外语教学理论与实践》 CSSCI 北大核心 2015年第1期24-31,95,共8页
本文基于国外学者对形成性评估效度和信度理论的研究,提出适用于形成性评估的效度验证框架。本框架采用Messick(1989)的"整体效度观",把形成性评估的效度界定为,评估结果的解释和使用是否和在多大程度上真正促进了学生学习的... 本文基于国外学者对形成性评估效度和信度理论的研究,提出适用于形成性评估的效度验证框架。本框架采用Messick(1989)的"整体效度观",把形成性评估的效度界定为,评估结果的解释和使用是否和在多大程度上真正促进了学生学习的进步?效度验证应当从评估的构念、任务、过程、结果的解释和使用、后果和课堂环境等方面收集证据。参照Bachman&Palmer(2010)的AUA模式,本框架明确了效度验证所要回答的问题及其研究方法。 展开更多
关键词 形成性评估 效度验证框架 效度 外语教学
原文传递
基于《量表》的英语口语测试开发及效度验证研究
11
作者 齐林意 邸爱英 +3 位作者 刘欣刚 朱江芹 罗茂菊 周楠 《中国考试》 CSSCI 北大核心 2024年第5期79-89,共11页
《中国英语能力等级量表》(以下简称《量表》)为我国各学段的英语教、学、评实践提供了理论指导。基于《量表》中口语分量表的口头表达能力描述框架及相应分量表三级到六级的描述语,开发面向西部某高校非英语专业新生的入学后英语口语... 《中国英语能力等级量表》(以下简称《量表》)为我国各学段的英语教、学、评实践提供了理论指导。基于《量表》中口语分量表的口头表达能力描述框架及相应分量表三级到六级的描述语,开发面向西部某高校非英语专业新生的入学后英语口语测试及评分标准,并基于Weir的社会-认知效度验证理论开展多项效度研究。结果表明:《量表》的口语能力描述语对口语测试能力构念的界定和评分标准的研制具有较好的指导作用;基于《量表》开发的口语测试能够准确评估学生的口语水平;基于该测试的口语评定对学生后续英语课程的学业成绩具有良好的预测性。 展开更多
关键词 《中国英语能力等级量表》 口语测试 口语评分标准 社会-认知效度验证框架
在线阅读 下载PDF
数据驱动视角下飞机故障预测与健康管理系统设计及验证 被引量:2
12
作者 刘亮 周博 +1 位作者 于涛 张宁 《计算机测量与控制》 2017年第7期16-20,共5页
由于故障预测与健康管理系统(PHM)是涉及多层次、多领域、耦合度高的复杂系统,很难从整体对PHM系统进行设计和验证,所以始终没有成熟的工具和方法;从数据驱动的视角,研究了飞机PHM系统设计及验证;以数据为主线,采用了4种方法实现PHM系... 由于故障预测与健康管理系统(PHM)是涉及多层次、多领域、耦合度高的复杂系统,很难从整体对PHM系统进行设计和验证,所以始终没有成熟的工具和方法;从数据驱动的视角,研究了飞机PHM系统设计及验证;以数据为主线,采用了4种方法实现PHM系统设计及验证:1)采用系统建模语言(SysML)进行PHM系统的架构设计;2)采用基于事件的方法将被观测系统的行为状态化,实现PHM系统中资源的充分利用,降低局部的资源压力;3)采用基于模型的推理方法,实现了系统状态模型的应用;4)采用多线程、异构能量耦合等方法定义了一个PHM仿真框架,并在该框架指导下开发了一个仿真环境,并针对机载配电系统设置了几种测试用例进行诊断推理,对提到的各种方法进行了验证;研究结果表明,上述方法是合理有效的,可以构建描述完整、资源均衡的PHM系统架构。 展开更多
关键词 故障预测与健康管理 系统建模语言 基于模型的推理 验证框架
在线阅读 下载PDF
空间信息网络体系验证技术研究 被引量:2
13
作者 周红彬 尹波 《无线电通信技术》 2016年第2期16-19,47,共5页
介绍了国外空间信息网络的发展及相关项目演示验证情况,针对我国空间信息网络的体系架构及网络体系特点,对关键技术及验证需求进行了简要分析,并开展了以高轨卫星为骨干节点的网络模型构建与体系验证技术研究。基于复杂网络体系的研究方... 介绍了国外空间信息网络的发展及相关项目演示验证情况,针对我国空间信息网络的体系架构及网络体系特点,对关键技术及验证需求进行了简要分析,并开展了以高轨卫星为骨干节点的网络模型构建与体系验证技术研究。基于复杂网络体系的研究方法,提出了基于需求、试验、性能评估的一体化验证框架,并对概念体系验证、技术体制验证及应用效能验证各阶段中的主要实验方法、测试流程与评价准则进行了重点描述。 展开更多
关键词 空间信息网络 验证框架 体系建模 性能评估
在线阅读 下载PDF
飞行控制软件复杂算法测试验证方法研究 被引量:1
14
作者 孟小丰 杨娇茹 冉红艳 《质量与可靠性》 2022年第3期44-46,54,共4页
飞行控制软件作为控制系统的核心软件,涉及大量复杂的数学运算。采用反算验证比对是该类算法验证的常用测试方案,但是在实践过程中也呈现出测试能效比低、验证方案缺乏连贯性的问题。对此提出一种复杂算法验证方法,可极大提升反算验证... 飞行控制软件作为控制系统的核心软件,涉及大量复杂的数学运算。采用反算验证比对是该类算法验证的常用测试方案,但是在实践过程中也呈现出测试能效比低、验证方案缺乏连贯性的问题。对此提出一种复杂算法验证方法,可极大提升反算验证方法的测试效果和自动化程度。以飞行控制软件的算法特点带来的测试难点为解决问题的出发点,通过采用全数字虚拟环境,实现飞行控制软件与反算验证程序二者的同步运行、同步注数、同步输入和同步状态转换,解决了传统环境结果观测量获取存在局限的弊端,最大程度地规避了环境对计算精度影响的外部干扰因素;同时该方案设计了轻量级反算验证框架,使反算程序代码与文字描述公式高度一致,大大降低了对开发人员的要求,实现了测试结果的自动化判读。 展开更多
关键词 软件 反算验证框架 自动化测试 测试质量
在线阅读 下载PDF
双向过滤的字符串相似连接验证方法 被引量:2
15
作者 黄樱 宋春花 牛保宁 《计算机工程与应用》 CSCD 北大核心 2017年第9期72-79,共8页
字符串相似连接是指在字符串集合中找出相似的字符串对,是许多应用的关键操作,寻找高效的字符串相似连接算法已成为研究热点。基于划分的过滤-验证方法(Pass-Join)与其他方法相比具有较高的效率。它按照字符串长度递增的顺序访问字符串... 字符串相似连接是指在字符串集合中找出相似的字符串对,是许多应用的关键操作,寻找高效的字符串相似连接算法已成为研究热点。基于划分的过滤-验证方法(Pass-Join)与其他方法相比具有较高的效率。它按照字符串长度递增的顺序访问字符串集合,通过查找一个字符串的划分块是否存在于另一个字符串中,快速筛选出可能相似的字符串对(候选集),然后利用编辑距离进行相似性验证。研究发现,按照字符串长度递减的顺序进行过滤(长度递减过滤)的效果优于按照长度递增的顺序过滤(长度递增过滤)的效果,基于此,提出双向过滤-验证机制:在过滤阶段对长度递减过滤的结果再进行一次长度递增过滤,进一步减小候选集大小;在验证阶段利用双向过滤产生的两对划分块和其匹配子串分隔字符串对,从而减小需要验证的字符串的长度,加速验证过程。实验证明,双向过滤-验证算法在真实数据集上优于原算法。 展开更多
关键词 字符串相似连接 双向过滤-验证机制 过滤-验证框架
在线阅读 下载PDF
电机包装防锈材料的验证
16
作者 谢华丽 邹建元 李大河 《全面腐蚀控制》 2015年第11期79-84,共6页
采用与电机相同材料制作包装验证框架,用不同的防锈材料包装,进行盐雾试验,验证电机包装方案中所使用的气相防锈膜、防锈油、防锈包和干燥剂等材料的防锈效果。采用不同厂家的防锈材料进行测试。试验结果表明防锈膜采用不同的封口形式... 采用与电机相同材料制作包装验证框架,用不同的防锈材料包装,进行盐雾试验,验证电机包装方案中所使用的气相防锈膜、防锈油、防锈包和干燥剂等材料的防锈效果。采用不同厂家的防锈材料进行测试。试验结果表明防锈膜采用不同的封口形式以及采用不同的包装方式对防锈效果有影响。 展开更多
关键词 验证框架 盐雾试验 防锈膜 防锈油 防锈包 干燥剂
在线阅读 下载PDF
复杂光照环境下的车辆检测方法 被引量:4
17
作者 裴明涛 沈家峻 +1 位作者 杨敏 贾云得 《北京理工大学学报》 EI CAS CSCD 北大核心 2016年第4期393-398,共6页
提出一种用于复杂光照环境下的车辆检测方法,该方法在传统的假设验证框架下充分利用了先验知识和复杂光照背景下的车辆特征.在假设生成阶段,利用车辆边缘信息与车辆前部形状特征进行拟合来生成假设;在假设验证阶段,使用HOG特征作为描述... 提出一种用于复杂光照环境下的车辆检测方法,该方法在传统的假设验证框架下充分利用了先验知识和复杂光照背景下的车辆特征.在假设生成阶段,利用车辆边缘信息与车辆前部形状特征进行拟合来生成假设;在假设验证阶段,使用HOG特征作为描述子,结合SVM分类器完成假设车辆目标的验证识别.实验结果表明在复杂的光照环境中,本文方法能够有效检测出传统方法无法检测的目标,是对正常光照环境下车辆检测方法的有效补充. 展开更多
关键词 车辆检测 假设验证框架 复杂光照
在线阅读 下载PDF
《传承性与创新性:基于证据的六级、雅思、托福考试效度对比研究》引介
18
作者 辜向东 《国外英语考试教学与研究》 2020年第4期184-194,共11页
本文系国家社科基金重点项目结题成果《传承性与创新性:基于证据的六级、雅思、托福考试效度对比研究》(14AYY010)的引介,由引言和结语构成,是项目研究的整体设计、具体实施与完成的全局性概览。该研究以“社会–认知效度验证框架”为... 本文系国家社科基金重点项目结题成果《传承性与创新性:基于证据的六级、雅思、托福考试效度对比研究》(14AYY010)的引介,由引言和结语构成,是项目研究的整体设计、具体实施与完成的全局性概览。该研究以“社会–认知效度验证框架”为理论基础,使用了效度研究一些传统的研究方法,如问卷调查、有声思维等,也尝试了一些创新性的研究方法,如数据挖掘、眼动追踪等。该研究成果不仅丰富了六级、雅思、托福三项考试的效度证据,为教育、人事部门及广大利益相关者提供入学、就业、人才流动等决策依据,而且为其他语言测试效度对比研究提供了思路与方法上的借鉴。 展开更多
关键词 效度 基于证据的“社会–认知”语言测试效度验证框架 六级 雅思 托福
在线阅读 下载PDF
非阻塞算法的形式化建模与分析 被引量:1
19
作者 杨兰兰 郭建 《计算机应用》 CSCD 北大核心 2020年第S02期106-111,共6页
目前针对非阻塞(Non-blocking)同步算法的实现已有大量研究,但在实践应用中受到阻碍。其中的关键问题是在没有自动垃圾回收机制(GC)的环境中,如何安全地回收这些数据结构对象中删除掉的动态节点所占用的内存。一个有效的解决方案是Mich... 目前针对非阻塞(Non-blocking)同步算法的实现已有大量研究,但在实践应用中受到阻碍。其中的关键问题是在没有自动垃圾回收机制(GC)的环境中,如何安全地回收这些数据结构对象中删除掉的动态节点所占用的内存。一个有效的解决方案是Michael提出的风险指针,同时,这种内存管理方法也提供了ABA问题的一个解决方案。将应用该内存回收方法于非阻塞同步算法中,使用CIVL验证框架对其进行形式化建模,并提取内存管理方面的性质进行验证。实验结果表明,应用了该内存回收算法的非阻塞模型不仅功能正确,同时也能够避免内存管理方面的问题。 展开更多
关键词 非阻塞算法 形式化建模 风险指针 ABA问题 CIVL验证框架
在线阅读 下载PDF
基于CPU-GPU异构体系结构的并行字符串相似性连接方法 被引量:4
20
作者 徐坤浩 聂铁铮 +2 位作者 申德荣 寇月 于戈 《计算机研究与发展》 EI CSCD 北大核心 2021年第3期598-608,共11页
相似性连接技术在数据清洗、数据集成等领域中具有重要意义,近年来引起了学术界的广泛关注.随着数据量的不断增大、数据处理实时性的要求逐渐提高以及处理器性能提升瓶颈的出现,传统的串行相似性连接方法已经不能满足当前大数据处理的需... 相似性连接技术在数据清洗、数据集成等领域中具有重要意义,近年来引起了学术界的广泛关注.随着数据量的不断增大、数据处理实时性的要求逐渐提高以及处理器性能提升瓶颈的出现,传统的串行相似性连接方法已经不能满足当前大数据处理的需求.近些年,GPU作为协处理器在机器学习等领域取得了良好的加速效果,因此基于GPU的并行算法开始成为解决各类性能问题的有效解决方案.为此,提出了基于CPU-GPU异构体系的并行相似性连接方法.首先,方法使用GPU构建倒排索引,索引采用SoA(struct of arrays)结构,从而解决了传统索引结构在并行模式下读写效率低的问题.其次,针对串行算法的性能问题,提出基于过滤验证框架的并行双重长度过滤算法,其中利用前缀过滤和构建好的倒排索引提升过滤效果.方法中相似度精确计算验证过程使用CPU计算执行,从而充分利用CPU-GPU的异构计算资源.最后,在多个数据集上进行实验验证性能.通过与串行相似性连接算法进行对比,实验结果表明所提出方法相对于已有方法具有更好的过滤效果和更低的索引生成代价,并在相似性连接上具有更好的性能和良好的加速比. 展开更多
关键词 相似性连接 过滤验证框架 倒排索引 GPU并行处理 异构体系结构
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部