期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到157篇文章
< 1 2 … 8 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于抽象解释的代码迷惑有效性比较框架 被引量：16
1
作者 高鹰 陈意云 《计算机学报》 EI CSCD 北大核心 2007年第5期806-814,共9页
代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代... 代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性. 展开更多
关键词 抽象解释 程序变换 程序分析 代码迷惑 压平算法
下载PDF
项目群管理过程中的知识转化结构 被引量：8
2
作者 赵坤 孙锐 《科学学与科学技术管理》 CSSCI 北大核心 2005年第11期102-105,共4页
在研究了国内外专家对项目群管理理论与实践的基础上,从项目群管理的战略层和运作层两个层面入手,设计了项目群管理的知识转化模型,对于解决实施项目群管理时出现的问题进行了理论探讨。
关键词 知识管理 项目群管理 项目管理 知识转化
下载PDF
西方教育博士培养改革的新理念与新做法 被引量：15
3
作者 王晓芳 李戎 《高等教育研究》 CSSCI 北大核心 2017年第6期55-64,共10页
为了应对外部的强烈问责并提高培养质量,西方大学提出了革新教育博士培养的新理念。西方教育博士培养改革始终围绕专业实践与学术研究的循环互动和深度联结这个核心,从明确界定教育博士的专业身份,构筑多重伙伴关系以获取外部支持,引进... 为了应对外部的强烈问责并提高培养质量,西方大学提出了革新教育博士培养的新理念。西方教育博士培养改革始终围绕专业实践与学术研究的循环互动和深度联结这个核心,从明确界定教育博士的专业身份,构筑多重伙伴关系以获取外部支持,引进组群式互助学习模式而建立教育博士实践共同体,多样化课堂教学方式以及创新学习成果评价方式等五个方面重构了教育博士的培养过程。 展开更多
关键词 教育博士 培养改革 专业实践 学术研究 西方大学
原文传递
自动并行编译新技术 被引量：2
4
作者 阳雪林 于勐 +1 位作者 陈道蓄 谢立 《软件学报》 EI CSCD 北大核心 2000年第9期1268-1275,共8页
自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持 ,因此 2 0多年来一直受到重视 .近几年来 ,自动并行编译技术的研究进展 ,包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展 ,将自动并行编译... 自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持 ,因此 2 0多年来一直受到重视 .近几年来 ,自动并行编译技术的研究进展 ,包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展 ,将自动并行编译进一步推向了实用化 .该文介绍了自动并行编译技术的最新进展 ,并提出了进一步的研究所要解决的问题 . 展开更多
关键词 自动并行编译 依赖关系分析 程序变换 新技术
下载PDF
代码迷惑技术研究进展 被引量：10
5
作者 王一宾 陈意云 《吉林大学学报（信息科学版）》 CAS 2008年第4期386-393,共8页
为促进对智力产品及移动代码保护方法的研究,综述了代码迷惑技术的进步和发展,使用代码迷惑技术可以对程序代码及核心算法进行保护。描述了代码迷惑技术的研究背景、定义及应用;详细阐述了代码迷惑变换的主要类型:版面布局迷惑、数据迷... 为促进对智力产品及移动代码保护方法的研究,综述了代码迷惑技术的进步和发展,使用代码迷惑技术可以对程序代码及核心算法进行保护。描述了代码迷惑技术的研究背景、定义及应用;详细阐述了代码迷惑变换的主要类型:版面布局迷惑、数据迷惑、控制迷惑、预防迷惑等,并对每种方法进行了分析和解释;剖析了代码迷惑技术在国内外的研究现状,展望了代码迷惑技术的主要研究方向,为代码迷惑技术的进一步研究提供借鉴作用。 展开更多
关键词 代码迷惑 程序变换 控制迷惑 数据迷惑
下载PDF
基于CAD与ANSYS的FLAC^(3D)边坡模拟分析 被引量：9
6
作者 田树昆 曹兰柱 《微计算机信息》 2010年第33期259-260,共2页
FLAC3D自带的FISH语言虽然可以完成复杂模型的建立,但是需要耗费大量时间,同时采用FISH语言生成复杂模型比较困难,因此提出了一种快速建模方法,即以AutoCAD与ANSYS为基础建立FLAC3D模型。采用AutoCAD及VBA二次开发程序进行基础数据预处... FLAC3D自带的FISH语言虽然可以完成复杂模型的建立,但是需要耗费大量时间,同时采用FISH语言生成复杂模型比较困难,因此提出了一种快速建模方法,即以AutoCAD与ANSYS为基础建立FLAC3D模型。采用AutoCAD及VBA二次开发程序进行基础数据预处理,在ANSYS中完成复杂模型建立、材料属性定义、网格划分,并通过ANSYS_TO_FLAC3D接口程序,实现FLAC3D复杂模型的快速建立。通过露天矿边坡三维模型的建立与数值模拟分析,验证了该方法的快速性、有效性及可行性。该方法是综合应用不同程序的优点解决复杂工程地质问题的典型范例。 展开更多
关键词 数值分析 接口程序 模型转换
下载PDF
我国财务信息化发展进程研究 被引量：7
7
作者 章雯华 陈彬 《安徽工业大学学报（社会科学版）》 2007年第2期49-50,共2页
我国财务信息化发展经历了两方面的重大变化。一是财务信息化领域从出售软件产品到推出解决方案,二是财务软件的模型改造与发展经历了传统DCA到CAIS再到ISCA的进程。
关键词 财务信息化 解决方案 模型改造
下载PDF
程序转换与权利保障:刑事诉讼中精神病强制医疗程序的反思 被引量：7
8
作者 郭华 《浙江工商大学学报》 2013年第5期59-67,共9页
精神病强制医疗存在行政程序与司法程序。尽管这两种程序适用的法域不同,却因行政法与刑事法在调整范围上的交叉与重叠,致使实践中的程序转换出现失控问题。《人民警察法》《精神卫生法》和《刑事诉讼法》规定的不同程序之间的衔接与转... 精神病强制医疗存在行政程序与司法程序。尽管这两种程序适用的法域不同,却因行政法与刑事法在调整范围上的交叉与重叠,致使实践中的程序转换出现失控问题。《人民警察法》《精神卫生法》和《刑事诉讼法》规定的不同程序之间的衔接与转换应以精神病人的合法权益得到保障、"被精神病"得以避免以及程序保障社会秩序与安宁功能得到发挥作为选择程序的基本思路,借助于正当程序的规制功能消除法律之间的紧张性,从而维护程序转换的正当性以及保障权力运行的合法性。 展开更多
关键词 刑事诉讼 精神病鉴定 强制医疗 程序转换 权利保障
下载PDF
一种支持Java应用中计算按需远程执行的方法 被引量：6
9
作者 张颖 黄罡 +3 位作者 刘儇哲 梅宏 李影 杨顺祥 《软件学报》 EI CSCD 北大核心 2013年第8期1713-1730,共18页
按需远程执行是软件应用实现对资源按需占有,从而保障性能并提高资源利用率的重要手段.给出了一种通过自动程序转换来支持Java应用中计算按需远程执行的方法,其核心是支持计算按需远程执行的设计模式.介绍了将Java应用转换成该模式所面... 按需远程执行是软件应用实现对资源按需占有,从而保障性能并提高资源利用率的重要手段.给出了一种通过自动程序转换来支持Java应用中计算按需远程执行的方法,其核心是支持计算按需远程执行的设计模式.介绍了将Java应用转换成该模式所面临的技术挑战、处理机制以及DPartner转换系统.与已有工作相比,DPartner有两大特色:一是程序转换自动执行;二是转换后应用可实现真正按需的远程执行,使性能和资源利用率得以提升.此外,DPartner被设计为可对只有Java字节码的遗产应用进行转换,更具实用性. 展开更多
关键词 按需占有资源 远程执行 程序转换 性能
下载PDF
一种基于UML序列图的状态图合成方法 被引量：5
10
作者 褚华 李青山 +1 位作者 陈平 郭俊丽 《系统工程与电子技术》 EI CSCD 北大核心 2005年第3期524-528,共5页
逆向工程作为辅助程序理解的重要手段,逐渐成为软件工程领域的研究热点。基于面向对象软件的动态本质,研究动态模型的抽象和转换方法对理解该类软件特征具有重要意义。在分析UML序列图和状态图模型的基础上,借鉴BK算法核心思想,给出了... 逆向工程作为辅助程序理解的重要手段,逐渐成为软件工程领域的研究热点。基于面向对象软件的动态本质,研究动态模型的抽象和转换方法对理解该类软件特征具有重要意义。在分析UML序列图和状态图模型的基础上,借鉴BK算法核心思想,给出了一种从UML序列图合成状态图的方法。最后,通过系统的实验研究,验证了该方法的有效性。 展开更多
关键词 逆向工程 程序理解 模型转换 面向对象 UNL状态图
下载PDF
编译中的循环优化 被引量：5
11
作者 江毛进 陆鑫达 陈杰 《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期20-27,共8页
讨论了循环优化的目标和循环优化的各种程序变换方法．程序变换可大大减少下标变量的访问时间；消除某些类型的相关，提高软件流水的“深度”；合并多个循环，有利于进行代码压缩．
关键词 RISC 程序变换 软件流水 编译程序 循环优化
下载PDF
基于IDA-Pro的软件逆向分析方法 被引量：4
12
作者 秦青文 王戟 +1 位作者 孙旭光 梅文华 《计算机工程》 CAS CSCD 北大核心 2008年第22期86-88,99,共4页
二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转... 二进制程序转换作为软件逆向分析的主要手段发挥着积极作用。该文给出一种程序转换方法,应用软件二进制程序经IDA Pro反汇编得汇编语言程序,依据下推自动机原理设计汇编文法识别该汇编文件、制定相应的转换规则和优化措施将汇编语言转换成中间语言。转换所得中间语言可读性较强,具有通用性且易于理解。该方法达到了较高的自动化程度,缩小了目标程序的代码量,其应用可有效地减少软件分析和调试人员在追踪代码时所需的时间和工作量。给出应用上述方法进行程序转换的实例。 展开更多
关键词 逆向分析 程序转换 中间语言
下载PDF
首都圈遥测地震台网所采用的SEED格式及ASCII码格式的转换程序 被引量：5
13
作者 刘胜国 贾庆华 《华北地震科学》 2004年第1期27-30,共4页
介绍了首都圈台网SEED格式波形文件的结构,SEED文件中各块的具体内容以及读取文件的方法。介绍了将SEED波形数据转换为ASCII码格式的程序设计方法,程序所用的参数文件以及输出结果。
关键词 地震台网 SEED格式 软件 ASCII码格式
下载PDF
XYZ系统在电信领域中的应用 被引量：3
14
作者 沈武威 唐稚松 《软件学报》 EI CSCD 北大核心 1996年第6期321-330,共10页
最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足... 最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证． 展开更多
关键词 电信 XYZ系统 程序验证 软件工程
下载PDF
程序设计语言及相关领域的研究方向 被引量：2
15
作者 李留英 齐璇 +1 位作者 张猛 齐治昌 《计算机工程与科学》 CSCD 1999年第2期80-83,共4页
本文主要讨论了程序设计语言的研究方向，以及与之有关的研究领域，并展望了程序设计语言的发展。
关键词 程序设计语言 语义 类型系统 程序分析 程序变换
下载PDF
数控仿真中NC程序的通用转换技术 被引量：3
16
作者 田超 郭斌 《组合机床与自动化加工技术》 2008年第2期55-56,59,共3页
针对成都宁江机床厂的数控系统,设计了一种通用的数控代码转换技术。该技术以建立的对应库和规则库为基础,将数控代码转换为数据链表,从而实现以代码驱动仿真,仿真真实可靠的目的。实践证明,该技术具有良好的通用性和可扩展性。
关键词 数控代码 数控仿真 代码转换
下载PDF
论自诉转公诉制度的立法确立
17
作者 步洋洋 韩雨轩 《青少年犯罪问题》 2024年第4期18-31,共14页
我国刑事追诉制度凝聚了历次《刑事诉讼法》修改的结晶,可划分为公诉、自诉和公诉转自诉三种方式。自诉转公诉是刑事追诉概念下的特定一项,在实体、程序及证明等三重维度,具备了当前其他几种追诉方式所没有的价值功用。然而,受制于一系... 我国刑事追诉制度凝聚了历次《刑事诉讼法》修改的结晶,可划分为公诉、自诉和公诉转自诉三种方式。自诉转公诉是刑事追诉概念下的特定一项,在实体、程序及证明等三重维度,具备了当前其他几种追诉方式所没有的价值功用。然而,受制于一系列主客观因素的影响,当下自诉转公诉在实践中存在着诸多问题。因应《刑事诉讼法》再修改的时代契机,对于此一问题的研判与思考不应仅仅囿于理论与实践之现存落差,而是应当以域外视角加以镜鉴,借由廓清自诉转公诉程序转化的弹性判断标准、明晰检察机关介入自诉的途径、统一审判机关处理自诉的方式,演绎归纳出具有中国特色的自诉转公诉基本范式,进而助力刑事追诉制度的优化完善。 展开更多
关键词 刑事追诉 自诉转公诉 自诉 公诉 程序转化
下载PDF
面向Java锁机制的字节码自动重构框架 被引量：4
18
作者 张杨 张冬雯 仇晶 《计算机科学》 CSCD 北大核心 2015年第11期84-89,共6页
Java语言提供了同步锁、可重入锁和读写锁等几种锁机制,在并行程序设计中不同的数据结构使用这几种锁机制时获得的性能通常是不同的。为了在不同的锁机制之间进行自动转换,进而帮助程序员了解程序的性能,提出了一种面向Java锁机制的字... Java语言提供了同步锁、可重入锁和读写锁等几种锁机制,在并行程序设计中不同的数据结构使用这几种锁机制时获得的性能通常是不同的。为了在不同的锁机制之间进行自动转换,进而帮助程序员了解程序的性能,提出了一种面向Java锁机制的字节码自动重构框架,并基于该框架实现了字节码重构工具Lock2Lock。Lock2Lock在Quad中间表示的基础上对字节码进行静态分析,并对分析的结果进行一致性验证,通过Javassist完成字节码的重构。使用红黑树、消费者生产者程序以及SPECjbb2005 3个测试程序对Lock2Lock重构工具进行了测试,结果表明,Lock2Lock可以成功地实现从同步锁到可重入锁或读写锁的重构。 展开更多
关键词 Java锁 软件重构 程序分析 字节码转换
下载PDF
一种优化安卓应用3G/4G网络请求能耗的方法 被引量：4
19
作者 蔡华谦 张颖 +1 位作者 黄罡 梅宏 《软件学报》 EI CSCD 北大核心 2017年第12期3367-3384,共18页
智能手机后台应用的网络请求极大地影响着待机时间.已有的工作提出了节省手机能耗的应用网络请求调度算法,然而,如何将算法自动地应用到既有手机系统,仍面临着巨大挑战:(1)在没有应用源代码的情况下,实现单个应用内的网络请求合并;(2)... 智能手机后台应用的网络请求极大地影响着待机时间.已有的工作提出了节省手机能耗的应用网络请求调度算法,然而,如何将算法自动地应用到既有手机系统,仍面临着巨大挑战:(1)在没有应用源代码的情况下,实现单个应用内的网络请求合并;(2)在不对操作系统进行任何修改的情况下,按需合并多个应用中的网络请求.以安卓应用为目标,给出了一种通过自动程序转换来支持现有移动应用中网络请求延迟调度的方法及其框架实现——DelayDroid,用以提升手机整体待机时间.通过字节码分析和程序自动转换技术解决以上挑战.与已有工作相比,DelayDroid有两大特色:一是程序转换自动执行;二是转换后的应用可支持多应用的后台网络请求调度,该调度机制可以降低安卓应用的待机耗电.此外,DelayDroid被设计为可对只有dex字节码的安卓应用进行转换,更具实用性. 展开更多
关键词 网络请求合并 安卓应用优化 程序转换 能耗
下载PDF
多面体表示技术及在程序性能优化中的应用 被引量：3
20
作者 陆平静 车永刚 +1 位作者 束尧 王正华 《计算机工程与科学》 CSCD 2008年第9期137-140,150,共5页
多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合,有利于最优程序变换的搜索。论文首先介绍并评价了几种典型的多面体表示方法,并详细介绍了Cohen提出的多面体表示模型;同时,对多面体表示在程序性能优化尤其是迭代编... 多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合,有利于最优程序变换的搜索。论文首先介绍并评价了几种典型的多面体表示方法,并详细介绍了Cohen提出的多面体表示模型;同时,对多面体表示在程序性能优化尤其是迭代编译中的应用进行了介绍和评价;最后。 展开更多
关键词 程序变换 多面体表示 迭代编译 变换组合
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 8 下一页 到第 页
使用帮助 返回顶部