期刊文献+

二次检索

题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到206篇文章
< 1 2 11 >
每页显示 20 50 100
基于程序流程图的数据例化与程序例化 被引量:8
1
作者 廖湖声 《计算机学报》 EI CSCD 北大核心 2001年第9期985-990,共6页
提出了一种基于程序流程图的部分求值方法 ,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化 ,能够在例化阶段进行程序基本块例化的同时 ,完成控制转移的优化 ,并生成既可用于编译时刻例化 ,又可用于运行时刻例化的滞留程... 提出了一种基于程序流程图的部分求值方法 ,通过采用基于程序流程图的数据例化和面向程序基本块的程序例化 ,能够在例化阶段进行程序基本块例化的同时 ,完成控制转移的优化 ,并生成既可用于编译时刻例化 ,又可用于运行时刻例化的滞留程序 ;基于这种方式的部分求值系统采用离线工作方式 ,利用了绑定时间分析 ,提高了滞留程序的效率 ;同时避免了例化阶段的代码复制与拼接 ,有效地简化了运行时刻例化系统的实现难度 . 展开更多
关键词 数据例化 程序流程图 程序例化 软件自动
下载PDF
Java语言程序例化中的扩展对象别名分析
2
作者 廖湖声 李博韬 高红雨 《高技术通讯》 EI CAS CSCD 北大核心 2008年第8期801-805,共5页
为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特... 为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特性,以及对象成员等复杂数据结构的绑定时间特性。这种多变异方式的例化策略可提高对象类及其成员函数的部分求值深度,已经用于 Java 程序部分求值器中绑定时间分析的实现。 展开更多
关键词 程序例化 部分求值 别名分析 绑定时间分析
下载PDF
“物理教学论实验”课程的“课例化”教学模式研究 被引量:2
3
作者 吴登平 《黑龙江教育(高教研究与评估)》 2018年第8期16-21,共6页
文章在分析"物理教学论实验"课程内在逻辑的基础上,依据哲学、教育学和心理学的相关理论,吸收课例研究的基本思想,构建了"物理教学论实验"课程的"课例化"教学模式。该模式具有自主性、情境性、实践性、... 文章在分析"物理教学论实验"课程内在逻辑的基础上,依据哲学、教育学和心理学的相关理论,吸收课例研究的基本思想,构建了"物理教学论实验"课程的"课例化"教学模式。该模式具有自主性、情境性、实践性、协作性、开放性和动态生成性等特点,分为五个基本要素:明确知识、为"课例化"做准备、"课例化"的过程、知识外显和知识建构。模式能够有效实现物理实验课程功能关于工具理性和价值理性的统一,能够促进职前物理教师将物理实验相关知识转化为自身的物理实验教学知识的同时,还能使他们领会到实验及实验教学本身蕴含的文化价值,以及技能和价值作用于心灵而产生的深层意义。 展开更多
关键词 物理教学论实验 例化 教学模式
下载PDF
基于控制流图的Java语言动态例化系统探讨
4
作者 钱继兵 《软件导刊》 2007年第12期133-134,共2页
例化是一种分段计算的程序优化技术,部分求值和数据例化是2种例化方法,它们通过前段计算对程序进行优化。将部分求值和数据例化结合起来,运用一种基于控制流图的例化方法,实现了一个基于控制流图的Java语言动态例化系统——JgenEval。
关键词 JgenEval 控制流图 JAVA语言 动态例化系统
下载PDF
VHDL中元件例化语句的使用
5
作者 彭子洳 《电子世界》 2016年第15期42-42,共1页
元件例化是用含有完整程序结构的VHDL表述来构成自顶而下层次化设计的一种重要手段,本论文首先论述元件例化的概念,特点,组成及其表达形式等,说明对元件例化语句的认识。
关键词 VHDL 元件例化 层次设计
下载PDF
拥有情境的例化及其汉语实现 被引量:1
6
作者 张秀松 《中国社会科学院研究生院学报》 CSSCI 北大核心 2008年第4期103-107,共5页
在人们的认知中,拥有情境可以例化为领有情境、存有情境、互有情境和具有情境等不同的子情境。拥有结构在激活这些不同的子情境时会例化为不同的子结构。这些"拥有子结构"具有各不相同的句法语义属性。比如,在能否转换为处置... 在人们的认知中,拥有情境可以例化为领有情境、存有情境、互有情境和具有情境等不同的子情境。拥有结构在激活这些不同的子情境时会例化为不同的子结构。这些"拥有子结构"具有各不相同的句法语义属性。比如,在能否转换为处置式、能否实现"有者提升"、能否转换为存在句等方面各不相同。 展开更多
关键词 拥有情境 拥有结构 子情境 子结构 例化
原文传递
抽象精化和可满足性结合的EFSM模型测试用例优化生成 被引量:2
7
作者 陆公正 缪淮扣 《计算机学报》 EI CSCD 北大核心 2016年第11期2236-2252,共17页
基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据... 基于模型的测试是测试自动化的重要手段,通常采用模型检验技术从系统模型自动生成测试用例集,但生成的测试用例集往往存在冗余,这将影响测试用例执行的性能和成本.该文以扩展有限状态机(Extended Finite Machine,EFSM)为建模工具,根据公式簇建立状态等价关系,构建抽象模型,采用模型检验技术生成抽象反例(测试用例);给出了判定生成的抽象反例是否为伪反例的方法;采用反例引导的方法精化抽象模型,删除伪反例;最后,使用我们之前提出的基于可满足性的测试用例生成方法在抽象模型上生成约简的测试用例集.实验表明:该方法的测试用例数目约简比例最高达76%(警报侦测组件EFSM),总长度约简比例最高达68%(ATM EFSM),同时不会影响测试用例集的迁移覆盖率和查错能力. 展开更多
关键词 测试用约简 扩展有穷状态机 公式簇 抽象 引导的精 可满足性
下载PDF
MonkeyRunner环境用例脚本化的Android软件测试模型 被引量:2
8
作者 兰娅勋 李振坤 《科技通报》 北大核心 2017年第9期96-99,共4页
Android平台软件自动化测试能够提升测试质量和效率,降低测试成本,为了代替繁重的人工重复劳动,针对Android操作系统的特点,设计并实现了一种基于MonkeyRunner环境用例脚本化的Android软件测试系统。首先对Android软件测试的API进行分析... Android平台软件自动化测试能够提升测试质量和效率,降低测试成本,为了代替繁重的人工重复劳动,针对Android操作系统的特点,设计并实现了一种基于MonkeyRunner环境用例脚本化的Android软件测试系统。首先对Android软件测试的API进行分析,然后构建了基于用例脚本化的测试模型,并对该模型得到耦合度适合的测试用例序列进行分析。系统测试结果表明,本文提出的基于Mon-keyRunner环境用例脚本化的Android软件测试系统切实有效,值得推广使用。 展开更多
关键词 Android软件测试 脚本 API调用 耦合度 USB调试
下载PDF
禁忌搜索遗传算法的用例集最小化方法研究
9
作者 刘昕昀 《电子产品可靠性与环境试验》 2012年第B05期197-202,共6页
设计了一种以遗传算法为基础的测试用例集最小化方法,在此基础上加入了禁忌搜索技术,并且仿真对比了多种遗传算子在该算法下的执行效率,从而得出最佳遗传算子组合为禁忌搜索、锦标赛规模为2的锦标赛选择加精英选择、排名变比和多点变异... 设计了一种以遗传算法为基础的测试用例集最小化方法,在此基础上加入了禁忌搜索技术,并且仿真对比了多种遗传算子在该算法下的执行效率,从而得出最佳遗传算子组合为禁忌搜索、锦标赛规模为2的锦标赛选择加精英选择、排名变比和多点变异。实验证明,该组合能够有效地避免陷入局部最优的情况,并极大地提高搜索效率。 展开更多
关键词 最小 遗传算法 禁忌搜索
下载PDF
基于工作过程系统化的课程教学内容重构 被引量:58
10
作者 袁忠 耿文霞 《职业技术教育》 北大核心 2011年第2期43-46,共4页
基于工作过程系统化的课程设计与实施要始终坚持以"职业能力培养"为主线,教学内容选择坚持"必需、够用"原则,体现应用性,课程实施与评价体现整体性。为此,必须做到课程的教育目标要服从专业培养目标,课程教学内容... 基于工作过程系统化的课程设计与实施要始终坚持以"职业能力培养"为主线,教学内容选择坚持"必需、够用"原则,体现应用性,课程实施与评价体现整体性。为此,必须做到课程的教育目标要服从专业培养目标,课程教学内容符合课程的教育目标,并采取"例化"和"序化"两个策略重构教学内容。 展开更多
关键词 工作过程 系统 职业能力 典型任务 例化
下载PDF
初中化学学生家庭实验组织和评价策略的研究 被引量:2
11
作者 陆建源 《教育与装备研究》 2016年第8期66-70,共5页
初中化学家庭实验教学如何按《初中化学课程标准》的要求,提高实验的质量,需要实施三类策略,即家庭实验的内容组织策略、活动开展策略和实验评价策略。
关键词 家庭实验 生活 趣味 菜单 探究 量规 例化
下载PDF
以概念格为背景的关联规则可视化 被引量:3
12
作者 杨葛英 沈夏炯 +1 位作者 史先进 张磊 《计算机工程与应用》 CSCD 北大核心 2021年第1期84-91,共8页
传统的关联规则表示方法无法展示概念之间的本质关系,缺少对概念层面的认识,忽略了知识发现结果的共享等问题,而概念格作为一种能够生动简洁地体现概念之间泛化和例化关系的数据结构,在对关联规则可视化和发现潜在知识方面也有着独特的... 传统的关联规则表示方法无法展示概念之间的本质关系,缺少对概念层面的认识,忽略了知识发现结果的共享等问题,而概念格作为一种能够生动简洁地体现概念之间泛化和例化关系的数据结构,在对关联规则可视化和发现潜在知识方面也有着独特的优势。提出了以概念格为背景的关联规则可视化方法,以概念为查找单元,在概念格中寻找需要展示的关联规则路径,将属性之间的关联关系扩展到概念层面,并给出了相对应的多模式规则的可视化的策略与算法。结合某校图书馆借书记录数据,进行关联规则分析与可视化实现。实验结果表明,该可视化方法在知识发现和共享方面具有良好的效果。 展开更多
关键词 概念格 关联规则 例化 知识发现 可视
下载PDF
微处理器芯片的层次化综合与物理设计 被引量:5
13
作者 刘东明 王仁平 +1 位作者 李宏意 林丽霞 《有线电视技术》 2019年第1期89-92,共4页
本文介绍了采用90nm工艺制程的微处理器芯片的层次化综合与物理设计。在层次化综合阶段,使用二次迭代的方法生成网表文件,较一次迭代获得了更精准的时序结果。在物理设计方面,利用Top-Down的层次化设计结构,合并FRAM-ETM模型调用方式。... 本文介绍了采用90nm工艺制程的微处理器芯片的层次化综合与物理设计。在层次化综合阶段,使用二次迭代的方法生成网表文件,较一次迭代获得了更精准的时序结果。在物理设计方面,利用Top-Down的层次化设计结构,合并FRAM-ETM模型调用方式。此外,选择多例化模式对多个重复子模块进行相同的物理设计,并对子模块的引脚采取直角向心式处理。在顶层模块后布线阶段,执行透明接口优化,辅助实现时序收敛。 展开更多
关键词 微处理器芯片 二次迭代 TOP-DOWN FRAM-ETM 例化模式 透明接口优
下载PDF
软件回归测试用例选取方法研究 被引量:6
14
作者 王小丽 段永颢 《空间控制技术与应用》 2010年第3期47-50,共4页
介绍了软件回归测试的概念和进行回归测试的基本步骤,提出了一种回归测试用例选择的数学模型及用例集优化约简算法,并且用实例证明了该方法能有效缩减回归测试用例个数,降低回归测试成本.
关键词 回归测试 测试用 最小
下载PDF
构件组合的抽象精化验证 被引量:16
15
作者 曾红卫 缪淮扣 《软件学报》 EI CSCD 北大核心 2008年第5期1149-1159,共11页
针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关系和存在商的构件抽象方法,用构件... 针对构件组合的状态爆炸问题,改进了反例引导的抽象精化框架,提出了组合式的抽象精化方法,使构件组合的模型检验转化为各成分构件的局部抽象精化,降低了分析的复杂度.提出了在构件组合情况下基于等价关系和存在商的构件抽象方法,用构件抽象的组合建立构件组合的抽象;提出了组合确认定理并给出证明,使反例确认分解为在各构件上对反例投影的确认;通过对单个构件的等价关系的精化实现构件组合的抽象模型的精化.在模型检验构件组合的过程中,不需要为构件组合建立全局的具体状态空间. 展开更多
关键词 构件组合 模型检验 状态爆炸 等价关系 引导的抽象精
下载PDF
地理案例教学的利弊分析与灵活运用 被引量:4
16
作者 尚正永 陈炳飞 《地理教学》 2011年第24期16-17,55,共3页
案例教学法强调以学生为主体,以培养学生的自主学习能力、实践能力和创新能力为基本价值取向,并从真正意义上实现了地理课程的理论性和实践性的有机结合。目前案例教学受到广泛的重视,但运用中的问题又随之而生。本文在分析地理案例... 案例教学法强调以学生为主体,以培养学生的自主学习能力、实践能力和创新能力为基本价值取向,并从真正意义上实现了地理课程的理论性和实践性的有机结合。目前案例教学受到广泛的重视,但运用中的问题又随之而生。本文在分析地理案例教学优势和作用的基础上,对其存在的不足进行了分析,并针对性地提出案例教学灵活运用的几点建议,主要包括化案为例、多法并举、以案统知等。 展开更多
关键词 地理 教学 案为 多法并举 以案统知
下载PDF
癌症病人大剂量化疗毒副反应的防护
17
作者 孙秀珍 《青岛医药卫生》 1996年第11期53-53,共1页
我们对20例化疗期的肿瘤病人进行了观察和防护,针对化疗中的胃肠道反应、腹泻、口腔溃疡、骨髓抑制、脱发、静脉炎、感染等毒副作用采取科学的防护措施,达到了预期的治疗目的。 1 一般资料 20例病人,其中男13例,女7例;年龄为40~75岁。... 我们对20例化疗期的肿瘤病人进行了观察和防护,针对化疗中的胃肠道反应、腹泻、口腔溃疡、骨髓抑制、脱发、静脉炎、感染等毒副作用采取科学的防护措施,达到了预期的治疗目的。 1 一般资料 20例病人,其中男13例,女7例;年龄为40~75岁。其中胃癌5例,乳腺癌4例,子宫癌3例,肝癌3例,其他5例。 展开更多
关键词 大剂量 癌症病人 毒副反应 例化 防护措施 骨髓抑制 药物浓度 子宫癌 用药后 肿瘤病人
下载PDF
肝癌介入化疗的临床观察与护理
18
作者 牟义红 《青岛医药卫生》 1996年第8期52-52,共1页
中晚期肝癌采用介入化疗,简单易行,安全可靠,创伤小,毒副反应轻,药物作用集中,治疗效果显著,现将19例肝癌介入化疗的临床观察与护理体会介绍如下。 1 一般资料 本组19例肝癌患者年龄45~80岁,男12例,女7例。2例化疗5次,4例化疗3次,12例... 中晚期肝癌采用介入化疗,简单易行,安全可靠,创伤小,毒副反应轻,药物作用集中,治疗效果显著,现将19例肝癌介入化疗的临床观察与护理体会介绍如下。 1 一般资料 本组19例肝癌患者年龄45~80岁,男12例,女7例。2例化疗5次,4例化疗3次,12例化疗2次,1例化疗1次,介入化疗后出现不同程度发热者10例,肝区疼痛伴胃肠道反应9例,并发带状疱疹及脱发者各2例,白细胞总数低下1例。 2 介入方法 2.1 设备:国产上海遥控电视X线显像仪,穿刺针及动脉导管等。 2.2 患者术前准备完毕后,平卧于X线检查床。 展开更多
关键词 肝癌介入 例化 临床观察 X线显像 肝区疼痛 介入 发带 右腹股沟区 术前 股动脉穿刺
下载PDF
Real-time instance segmentation based on contour learning
19
作者 GE Rui LIU Dengfeng +2 位作者 ZHOU Haojie CHAI Zhilei WU Qin 《Journal of Measurement Science and Instrumentation》 CAS CSCD 2024年第3期328-337,共10页
Instance segmentation plays an important role in image processing.The Deep Snake algorithm based on contour iteration deforms an initial bounding box to an instance contour end-to-end,which can improve the performance... Instance segmentation plays an important role in image processing.The Deep Snake algorithm based on contour iteration deforms an initial bounding box to an instance contour end-to-end,which can improve the performance of instance segmentation,but has defects such as slow segmentation speed and sub-optimal initial contour.To solve these problems,a real-time instance segmentation algorithm based on contour learning was proposed.Firstly,ShuffleNet V2 was used as backbone network,and the receptive field of the model was expanded by using a 5×5 convolution kernel.Secondly,a lightweight up-sampling module,multi-stage aggregation(MSA),performs residual fusion of multi-layer features,which not only improves segmentation speed,but also extracts effective features more comprehensively.Thirdly,a contour initialization method for network learning was designed,and a global contour feature aggregation mechanism was used to return a coarse contour,which solves the problem of excessive error between manually initialized contour and real contour.Finally,the Snake deformation module was used to iteratively optimize the coarse contour to obtain the final instance contour.The experimental results showed that the proposed method improved the instance segmentation accuracy on semantic boundaries dataset(SBD),Cityscapes and Kins datasets,and the average precision reached 55.8 on the SBD;Compared with Deep Snake,the model parameters were reduced by 87.2%,calculation amount was reduced by 78.3%,and segmentation speed reached 39.8 frame·s−1 when instance segmentation was performed on an image with a size of 512×512 pixels on a 2080Ti GPU.The proposed method can reduce resource consumption,realize instance segmentation tasks quickly and accurately,and therefore is more suitable for embedded platforms with limited resources. 展开更多
关键词 instance segmentation ShuffleNet V2 lightweight network contour initialization
下载PDF
面向未解释程序的合作验证方法
20
作者 杜一德 洪伟疆 +1 位作者 陈振邦 王戟 《软件学报》 EI CSCD 北大核心 2023年第7期3116-3133,共18页
未解释程序的验证问题通常是不可判定的,但是最近有研究发现,存在一类满足coherence性质的未解释程序,其验证问题是可判定的,并且计算复杂度为PSPACE完全的.在此结果的基础上,一个针对一般未解释程序验证的基于路径抽象的反例抽象精化(c... 未解释程序的验证问题通常是不可判定的,但是最近有研究发现,存在一类满足coherence性质的未解释程序,其验证问题是可判定的,并且计算复杂度为PSPACE完全的.在此结果的基础上,一个针对一般未解释程序验证的基于路径抽象的反例抽象精化(counterexample-guided abstraction refinement,CEGAR)框架被提出,并展现了良好的验证效率.即使如此,对未解释程序的验证工作依然需要多次迭代,特别是利用该方法在针对多个程序验证时,不同的程序之间的验证过程是彼此独立的,存在验证开销巨大的问题.发现被验证的程序之间较为相似时,不可行路径的抽象模型可以在不同的程序之间复用.因此,提出了一个合作验证的框架,收集在验证过程中不可行路径的抽象模型,并在对新程序进行验证时,用已保存的抽象模型对程序进行精化,提前删减一些已验证的程序路径,从而提高验证效率.此外,通过对验证过程中的状态信息进行精简,对现有的基于状态等价的路径抽象方法进行优化,以进一步提升其泛化能力.对合作验证的框架以及路径抽象的优化方法进行了实现,并在两个具有代表性的程序集上分别取得了2.70×和1.49×的加速. 展开更多
关键词 合作验证 未解释程序 抽象精 路径抽象 复用
下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部