期刊文献+
共找到28篇文章
< 1 2 >
每页显示 20 50 100
Deeper Chemical Perceptions for Better Traditional Chinese Medicine Standards 被引量:11
1
作者 Jin-Jun Hou Jian-Qing Zhang +4 位作者 Chang-Liang Yao Rudolf Bauer Ikhlas A. Khan Wan-Ying Wu De-an Guo 《Engineering》 SCIE EI 2019年第1期83-97,共15页
Traditional Chinese medicines (TCMs), a complex system of natural resources with many diverse components, are widely used as approved medicinal agents in China. Quality control of TCMs is a huge challenge for the gove... Traditional Chinese medicines (TCMs), a complex system of natural resources with many diverse components, are widely used as approved medicinal agents in China. Quality control of TCMs is a huge challenge for the government and for testing institutes and is associated with numerous scientific issues. Among these considerations include the following questions: How many components are in TCMs? How can the multiple components in TCMs be comprehensively delineated and subsequently characterized? What is the level and range of these (active) metabolites within these multiple-component TCMs, in order to recommend standards? and What are the qualities required for a marker constituent to be selected, and from a practical perspective, how can these components be assessed with low cost and in a short time? All of these factors require significant and deep thinking in order to understand the individualistic chemistry of TCM in order to develop enhanced TCM quality standards for improved and consistent patient care. In this review, the latest exploratory research in TCM chemistry analytical techniques and methods is summarized in order to begin to develop responses to these scientific issues. Advances in these methods have included multidimensional separation for liquid chromatography–high-resolution mass spectrometry (LC–HRMS), smart triggering data-dependent acquisition of LC–HRMS, target analysis with liquid chromatography–mass spectrometry (LC–MS), supercritical fluid chromatography, and data mining of large mass spectrometry (MS) datasets. In addition, two quality strategies have been introduced in order to save reference standards and the analysis time for a TCM quality standard, including the application of the single standard to determine multi-components (SSDMC) and monomethodheterotrait matrix methods. Finally, a series of future improvements for analytical methods for TCMs are proposed. 展开更多
关键词 Traditional Chinese medicine Liquid CHROMATOGRAPHY Mass SPECTROMETRY data-dependent acquisition CHEMOMETRICS Untargeted data mining Quality control
下载PDF
基于SIMD体系结构的数据相关控制语句转化方法 被引量:1
2
作者 高巍 宋妍 《微电子学与计算机》 CSCD 北大核心 2009年第8期182-185,共4页
数据并行应用具有规则的结构,该结构可以描述为一系列算术运算函数在数据流上的操作.对应于此应用的SIMD体系结构,可以充分利用这种规则性来提高性能.然而,含有数据相关控制结构的应用,在SIMD体系结构上的执行效率却很低.将数据相关的... 数据并行应用具有规则的结构,该结构可以描述为一系列算术运算函数在数据流上的操作.对应于此应用的SIMD体系结构,可以充分利用这种规则性来提高性能.然而,含有数据相关控制结构的应用,在SIMD体系结构上的执行效率却很低.将数据相关的控制结构转化成数据传输,就可以使含有数据相关控制流的应用在SIMD体系结构上高效执行.这种转化技术使更多的应用可以在SIMD体系结构上高效运行. 展开更多
关键词 数据相关控制 SIMD 共享控制器 图像
下载PDF
一种分析和理解程序的方法──程序切片 被引量:35
3
作者 李必信 郑国梁 +1 位作者 王云峰 李宣东 《计算机研究与发展》 EI CSCD 北大核心 2000年第3期284-291,共8页
程序切片是一种分析和理解程序的技术,是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解.程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关,而且与影响该变量的值的语句和谓词以及受该变量的值影响的语... 程序切片是一种分析和理解程序的技术,是通过对源程序中每个兴趣点分别计算切片来达到对程序的分析和理解.程序中某个兴趣点的程序切片不仅与在该点定义和使用的变量有关,而且与影响该变量的值的语句和谓词以及受该变量的值影响的语句和谓词有关.文中详细阐述了程序切片技术的研究与进展情况,并对目前存在各种程序切片方法和工具进行了比较;简单介绍了文中提出的面向对象的分层切片方法及其算法的思想;最后分析了程序切片技术目前还存在的一些问题及其发展趋势. 展开更多
关键词 数据依赖 程序切片 分层切片 面向对象 源程序
下载PDF
程序切片技术在软件测试中的应用 被引量:14
4
作者 孙继荣 李志蜀 +2 位作者 王莉 殷锋 金虎 《计算机应用研究》 CSCD 北大核心 2007年第5期210-213,217,共5页
基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的... 基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用。 展开更多
关键词 程序切片 软件测试 数据依赖 控制依赖 测试数据自动生成
下载PDF
PSS/Ada程序切片系统的设计与实现 被引量:8
5
作者 杨洪 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 1997年第3期217-222,共6页
PSS/Ada是一个Ada程序静态切片生成系统,可广泛应用于Ada程序的测试、排错、理解、维护以及Ada软件的波动性分析、并行性检测和复杂性度量等诸方面.本文介绍PSS/Ada系统的设计思想、系统的结构。
关键词 数据依赖 PSS/Ada 程序切片系统 软件工程
下载PDF
基于EFSM模型的等价类测试 被引量:7
6
作者 易国洪 卢炎生 《计算机科学》 CSCD 北大核心 2007年第1期281-284,共4页
等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFS... 等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFSM模型数据依赖和控制依赖分析,给出了等价类测试划分的具体方法和算法,并给出了等价类划分方法的完备性和无冗余性证明。 展开更多
关键词 EFSM 等价类 软件测试 数据依赖分析 控制依赖分析
下载PDF
构造串行程序对应的并行任务(DAG)图 被引量:6
7
作者 郭龙 陈闳中 叶青 《计算机工程与应用》 CSCD 北大核心 2007年第1期41-43,46,共4页
目前在并行计算研究领域中很大一部分工作是将串行程序并行化,如何发掘串行程序中存在的并行性,一个好的方法就是构造其对应的并行任务(DAG)图,对并行任务图的分析,调度和最终实现并行计算的工作已经有很多人做过,但是由串行程序构造DA... 目前在并行计算研究领域中很大一部分工作是将串行程序并行化,如何发掘串行程序中存在的并行性,一个好的方法就是构造其对应的并行任务(DAG)图,对并行任务图的分析,调度和最终实现并行计算的工作已经有很多人做过,但是由串行程序构造DAG图的工作相对很少。论文分析了串行程序中存在的依赖关系,并以此为依据,提出了一种由现有的串行程序或者串行解决方案构造对应的并行任务(DAG)图的算法。 展开更多
关键词 并行计算 DAG 数据依赖 控制依赖 流依赖
下载PDF
一种改进的静态程序切片算法 被引量:2
8
作者 张龙杰 谢晓方 袁胜智 《计算机应用》 CSCD 北大核心 2009年第3期705-707,711,共4页
提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算... 提出了一种改进的静态程序切片算法,并应用到软件逆向工程中。在处理目标程序的过程间调用时,通过建立参数影射关系表,将过程间调用转换为过程内调用,简化了建立程序依赖图的复杂度;在归纳分析目标程序变量类型的基础上,给出了代数运算法则,对程序中的线性运算代码进行等价变换,缩减了切片程序的规模。最后通过具体的切片实例,证明了改进算法的有效性。 展开更多
关键词 程序切片 软件逆向工程 程序依赖图 数据依赖 控制依赖
下载PDF
基于程序依赖关系的变异体生成策略
9
作者 田甜 邵阳阳 +1 位作者 王苗苗 杨欢 《计算机应用》 CSCD 北大核心 2024年第9期2863-2870,共8页
针对数量庞大的变异体导致高昂变异测试代价的问题,提出一种基于程序依赖关系的变异体生成(PDMG)策略,选择满足一定约束条件的变异实施对象用于变异体生成。首先,基于数据依赖和控制依赖生成程序依赖图;其次,基于变异对象选择策略和程... 针对数量庞大的变异体导致高昂变异测试代价的问题,提出一种基于程序依赖关系的变异体生成(PDMG)策略,选择满足一定约束条件的变异实施对象用于变异体生成。首先,基于数据依赖和控制依赖生成程序依赖图;其次,基于变异对象选择策略和程序依赖图选择被依赖语句作为变异对象;最后,对选择的变异对象注入变异算子生成变异体。将所提策略用于8个基准测试程序的变异测试。实验结果表明,与随机选择(RS)和变异算子选择(MOS)策略相比,PDMG策略在不降低变异测试有效性的前提下,平均减少了52.20%的变异体,提高了变异测试的执行效率。 展开更多
关键词 变异测试 数据依赖 控制依赖 变异对象 变异体约减
下载PDF
基于梯形图复杂依赖关系的分解研究 被引量:4
10
作者 赵营 严义 《机电工程》 CAS 2012年第5期605-608,共4页
依赖关系分析是一种重要的测试、理解、维护程序及并行编译常用的方法。针对由于梯形图复杂依赖关系而导致其并行性不易识别的问题,从数据和控制依赖两方面建立了梯级间的依赖关系,提出了基于梯形图依赖关系的分解方法,并给出了具体实... 依赖关系分析是一种重要的测试、理解、维护程序及并行编译常用的方法。针对由于梯形图复杂依赖关系而导致其并行性不易识别的问题,从数据和控制依赖两方面建立了梯级间的依赖关系,提出了基于梯形图依赖关系的分解方法,并给出了具体实例。研究结果表明,该基于梯形图复杂依赖关系的分解方法能快速识别出梯形图的并行梯级,缩短了扫描周期,并提高了系统响应速度。 展开更多
关键词 可编程控制器 梯形图 数据依赖 控制依赖
下载PDF
工作流无效路径的识别方法 被引量:2
11
作者 李海波 战德臣 《计算机集成制造系统》 EI CSCD 北大核心 2006年第5期692-696,共5页
在工作流执行过程中,为了更有效地避免失败路径,提高执行效率,提出了一种识别工作流无效路径的方法。在分析业务活动之间数据上依存关系的基础上,挖掘出存在于活动之间潜在的数据依存规则,在语义上补充了工作流的控制规则。在不修改工... 在工作流执行过程中,为了更有效地避免失败路径,提高执行效率,提出了一种识别工作流无效路径的方法。在分析业务活动之间数据上依存关系的基础上,挖掘出存在于活动之间潜在的数据依存规则,在语义上补充了工作流的控制规则。在不修改工作流模型的情况下,利用数据依存规则,无效路径的识别算法可以预先对未来的执行路径进行搜索,识别出不可能执行成功的路径,减少执行失败的可能性。这种方法保持了业务过程逻辑的合理性。最后,通过实例验证了算法的有效性。 展开更多
关键词 工作流 无效路径 数据依存规则 控制规则
下载PDF
面向MPP Fortran的程序自动并行化初探 被引量:3
12
作者 郭克榕 唐新春 《国防科技大学学报》 EI CAS CSCD 北大核心 1996年第1期92-97,共6页
MPPFortran是由Cray公司推出的一种较有代表性的数据并行语言,本文首先介绍了MPPFortran的主要特点,然后,以该语言为例,对面向MPP系统程序自动并行化的主要内容进行了初步的探讨。
关键词 程序自动并行化 FORTRAN 数据并行语言 MPP系统
下载PDF
从GCC的AST文本提取C源程序静态信息的方法 被引量:2
13
作者 封战胜 苏小红 马培军 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2010年第7期1100-1103,共4页
为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树(AST)文本来提取源程序静态信息的方法.首先,对GCCAST文本进行标准化及消除文本中与控制流分析... 为了能够正确的分析源程序的控制依赖关系和数据依赖关系,以便在此基础上进行程序切片及冗余代码和重复代码检测,提出一种利用GCC抽象语法树(AST)文本来提取源程序静态信息的方法.首先,对GCCAST文本进行标准化及消除文本中与控制流分析和数据流分析无关的结点信息;其次,构建控制依赖子图;同时如果需要数据流分析,在控制依赖子图的基础上构建控制流图,在控制流图的基础上构建数据流子图;最后通过引入过程间分析来完善系统依赖图.实验结果表明,这种方法基本能正确的分析源程序的控制依赖和数据依赖关系,具有更好的适应性和灵活性. 展开更多
关键词 程序静态分析 AST 控制依赖 数据依赖 控制流图 系统依赖图
下载PDF
基于API依赖关系的代码相似度分析 被引量:2
14
作者 姚新磊 庞建民 +1 位作者 岳峰 余勇 《计算机工程》 CAS CSCD 2013年第1期80-84,共5页
针对传统系统调用依赖图(SCDG)不能很好地消除API噪声、API重排等API特征混淆的问题,提出一种基于API依赖关系的恶意代码相似度分析方法。采用由API控制依赖关系和4类数据依赖关系组成的SCDG程序行为描述方式,通过数据依赖关系分析和控... 针对传统系统调用依赖图(SCDG)不能很好地消除API噪声、API重排等API特征混淆的问题,提出一种基于API依赖关系的恶意代码相似度分析方法。采用由API控制依赖关系和4类数据依赖关系组成的SCDG程序行为描述方式,通过数据依赖关系分析和控制依赖关系归一化,消除SCDG中的API噪声和API重排。实验结果表明,与API序列相似度分析方式相比,该方法能提高恶意代码相似度分析的准确性。 展开更多
关键词 恶意代码 相似度分析 数据依赖 控制依赖 系统调用依赖图 Jaccard系数
下载PDF
一个C程序切片系统的设计与实现 被引量:1
15
作者 叶延风 林钧海 秦小麟 《南京航空航天大学学报》 CAS CSCD 1996年第4期505-510,共6页
针对C语言的特点,文中引入了C程序的一些重要概念,诸如数据依赖、控制依赖和程序依赖等。在分析C程序的程序依赖性的基础上,介绍了作者设计并实现的一个C程序切片系统,其中包括系统的概要设计思想,系统中使用的数据结构以及切... 针对C语言的特点,文中引入了C程序的一些重要概念,诸如数据依赖、控制依赖和程序依赖等。在分析C程序的程序依赖性的基础上,介绍了作者设计并实现的一个C程序切片系统,其中包括系统的概要设计思想,系统中使用的数据结构以及切片生成算法。C程序切片系统不仅可用于产生C程序的切片,而且可用于观察C程序的框架结构和有关变量的多种数据字典。所有这些结果,为C程序的测试、排错与维护提供许多有用的信息,对C程序的并行性检测、波动分析和复杂性度量提供有力的支持。 展开更多
关键词 软件工具 程序设计 数据结构 程序切片
下载PDF
基于关键分支的不可行路径确定方法 被引量:2
16
作者 潘丽丽 邹北骥 +1 位作者 王天锷 陈浩 《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第5期716-720,共5页
不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径... 不可行路径增加程序复杂度和冗余度,产生无效DU链,影响程序分析工具的分析结果.有效地确定不可行路径,可以优化路径测试,完善数据流分析、程序切片等程序静态分析工具.在深入分析不可行路径的基础上,提出一种基于关键分支的不可行路径确定方法.该方法利用程序的值依赖关系和控制依赖关系、确定关键分支,通过关键分支查找不可行路径.结果表明,基于关键分支的不可行路径确定方法花费较少的信息存储,有效地节省不可行路径的确定时间. 展开更多
关键词 不可行路径 关键分支 值依赖 控制依赖
下载PDF
分布式实时系统的一种系统模型
17
作者 李颖 池敏 +1 位作者 邵兵 李芳 《山东科技大学学报(自然科学版)》 CAS 2002年第2期45-47,共3页
提出了一种能捕获进程级数据流和控制流的系统模型。这种模型可以处理系统数据相关性和控制相关性 ,更好地进行进程的调度 。
关键词 分布式实时系统 系统模型 数据相关性 控制相关性 条件进程图 进程集 系统建模
下载PDF
基于FPGA的流水线微处理器设计 被引量:2
18
作者 陈智勇 《微计算机信息》 2009年第5期173-175,共3页
提高指令级并行度是微处理器体系结构发展的重要方向,也是开发基于FPGA的高性能微处理器的重要内容之一。本文论述了一个基于FPGA的流水线微处理器的指令流水线结构和系统设计,针对在指令流水执行过程中出现的相关问题,提出了相应的检... 提高指令级并行度是微处理器体系结构发展的重要方向,也是开发基于FPGA的高性能微处理器的重要内容之一。本文论述了一个基于FPGA的流水线微处理器的指令流水线结构和系统设计,针对在指令流水执行过程中出现的相关问题,提出了相应的检查算法及解决方法。通过一个典型程序对流水线微处理器功能进行仿真,其运行结果表明此微处理器的最大吞吐率为一个时钟周期解释完一条指令,证实了流水线微处理器设计的正确性和高性能。该微处理器的设计在开发未来具有微处理功能的专用集成电路设计方面具有较高的实用价值。 展开更多
关键词 FPGA 流水线 微处理器 数据相关 控制相关
下载PDF
程序分片技术及应用 被引量:1
19
作者 宫慧颖 张晓东 刘磊 《大连民族学院学报》 CAS 2001年第3期1-6,9,共7页
程序分片是一种分析和理解程序的技术.系统介绍了程序分片的概念、计算方法及分片工具、应用领域、研究现状和发展趋势等方面的问题.
关键词 程序分片 控制流图 数据依赖 控制依赖 系统依赖图 图形可达性算法
下载PDF
一种多发射DSP的数据相关控制 被引量:1
20
作者 王晓勇 张盛兵 黄嵩人 《微型电脑应用》 2011年第11期56-58,64+70,共5页
超标量技术的应用,使DSP设计中的数据相关控制变得尤为重要。介绍并实现了一种多发射DSP的数据相关控制机制。在指令的译码和执行周期进行寄存器地址指针比较,根据比较器的结果及指针有效信号检测指令间的数据相关,再通过结果前推与寄... 超标量技术的应用,使DSP设计中的数据相关控制变得尤为重要。介绍并实现了一种多发射DSP的数据相关控制机制。在指令的译码和执行周期进行寄存器地址指针比较,根据比较器的结果及指针有效信号检测指令间的数据相关,再通过结果前推与寄存器冒险控制相结合的方式来消除数据依赖,减少流水线的停顿,提高处理器的性能。 展开更多
关键词 数据相关 寄存器冒险 前推控制
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部