检索结果-维普期刊中文期刊服务平台

基于符号约束集的条件表达式数据流分析被引量：1: 1; 作者董玉坤《科学技术与工程》北大核心 2018年第7期172-178,共7页; C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式... 展开更多; 关键词条件表达式数据流分析抽象内存模型区间运算符号约束集; 在线阅读下载PDF 职称材料

航空控制软件条件表达式故障分类及修复方法被引量：1: 2; 作者谢文光李琪 +3 位作者汪克念马春燕张涛张国群《西北工业大学学报》 EI CAS CSCD 北大核心 2020年第4期862-872,共11页; 航空控制软件已成为航空系统的核心控制决策单元。布尔条件表达式是构成航空控制软件循环和分支逻辑代码的主要成分,研究了航空控制软件条件表达式故障分类及修复方法。①提出了一种2层次布尔条件表达式故障分类方法;②在设计变异算子... 展开更多; 关键词条件表达式故障故障修复航空控制软件; 在线阅读下载PDF 职称材料

与并行条件表达式的生成: 3; 作者李春林邢汉承《计算机学报》 EI CSCD 北大核心 1990年第8期637-640,共4页; 逻辑程序的与并行是子句体中文字的并行执行。如果若干文字共享某个变量,获得与并行的一种途径是:仅启动其中一个文字执行,该文字称为该变量的产生器,其它的文字(称为该变量的消耗器)处于等待状态,这称为排序。排序方法大致为完全动态... 展开更多; 关键词逻辑程序与并行条件表达式; 在线阅读下载PDF 职称材料

基于条件值的C/C++预处理测试算法被引量：1: 4; 作者娄坚波刘久富 +1 位作者李金奎王伟《计算机工程》 CAS CSCD 北大核心 2011年第14期68-69,72,共3页; 传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词法分析器得到预处理变量和路径条件,为预处理变量建立节点,... 展开更多; 关键词符号执行预处理变量条件值条件表达式; 在线阅读下载PDF 职称材料

数据库之间任选字段下动态条件的数据传送: 5; 作者王永国张其亮《安徽大学学报（自然科学版）》 CAS 1995年第S1期63-65,共3页; 数据库之间任选字段下动态条件的数据传送王永国，张其亮（安徽大学数学系合肥２３００３９）（安徽大学教务处合肥２３００３９）在使用数据库语言进行软件设计与软件应用中，经常遇到要在程序执行方式下将一个数据库中的数据传送到另... 展开更多; 关键词结构数据库任选字段动态条件数据传送计算机应用条件表达式目标库字段名数据库结构安徽大学; 在线阅读下载PDF 职称材料

FOXBASE~＋教学的几个问题: 6; 作者欧阳为民《安徽大学学报（自然科学版）》 CAS 1995年第S1期81-82,共2页; ＦＯＸＢＡＳＥ~＋教学的几个问题欧阳为民（安徽大学计算中心合肥２３００３９）目前，国内绝大多数高等院校以及各种计算机培训班都将ＦＯＸＢＡＳＥ”作为一门主要的计算机基础课程。然而，有关教材错误较多，给准确理解ＦＯＸＢＡ... 展开更多; 关键词 FOXBASE^+ 记录指针当前记录全国计算机等级考试宏代换条件表达式记录操作库文件教学命令执行; 在线阅读下载PDF 职称材料

基础篇: 7; 《计算机工程与应用》 CSCD 北大核心 1990年第4期1-10,147,共147页; 第一章概述 1.1 VAX Rdb/VMS的特点 VAX Rdb/,VMS(以后我们简称为Rdb)是一个关系数据库管理系统,是VAX信息管理体系软件之一。Rdb几乎体现了数据库管理系统的全部特性,其中包括数据安全性、完整性和查询优化等.由于Rdb是用关系模型进行... 展开更多; 关键词数据库管理系统语句字段值记录选择条件表达式宿主变量事务数据定义数据操纵教师关系; 全文增补中

题名基于符号约束集的条件表达式数据流分析被引量：1: 1; 作者董玉坤; 机构中国石油大学(华东)计算机与通信工程学院; 出处《科学技术与工程》北大核心 2018年第7期172-178,共7页; 基金山东省自然科学基金(No.BS2015DX017)资助; 文摘 C程序中的条件表达式是唯一一个由三目运算符构成的表达式;而从语义角度来说是分支语句结构,传统的数据流分析技术难以实现对其精确分析。为实现对条件表达式的精确分析,提出了一种应用区间运算的条件表达式分析方法。首先对条件表达式的语法结构进行分析,以识别不同类型的条件表达式;并采用RSTVL描述程序点上的存储状态;再按照分支语句的语义,通过分析条件表达式中的符号约束集,基于区间运算方法对条件表达式进行数据流分析,得到由RSTVL描述的条件表达式的取值。通过对构造的测试用例与实际工程的测试结果表明,可以精确地分析C程序中的条件表达式。; 关键词条件表达式数据流分析抽象内存模型区间运算符号约束集; Keywords conditional expression data flow analysis abstract memory model interval computation symbolic constraints; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名航空控制软件条件表达式故障分类及修复方法被引量：1: 2; 作者谢文光李琪汪克念马春燕张涛张国群; 机构民航航空器适航审定技术重点实验室中国民航大学适航学院西北工业大学软件学院上海机电工程研究所; 出处《西北工业大学学报》 EI CAS CSCD 北大核心 2020年第4期862-872,共11页; 基金航空科学基金(20182667009,20185853038,20175553028)资助。; 文摘航空控制软件已成为航空系统的核心控制决策单元。布尔条件表达式是构成航空控制软件循环和分支逻辑代码的主要成分,研究了航空控制软件条件表达式故障分类及修复方法。①提出了一种2层次布尔条件表达式故障分类方法;②在设计变异算子、修复方案和变异修复停止条件的基础上,提出了一种条件表达式自动化修复方法;③设计和实现了面向条件表达式各类故障的修复辅助工具,对航空控制软件中155个故障表达式进行故障修复实验,结果表明,55.5%的故障表达式可以精确修复,44.5%的故障表达式修复后产生多个正确版本,部分版本存在运算冗余,尚需人工介入选择最优修复版本。; 关键词条件表达式故障故障修复航空控制软件; Keywords conditional expression fault fault repair aviation control software fault classification; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名与并行条件表达式的生成: 3; 作者李春林邢汉承; 机构东南大学计算机科学与工程系; 出处《计算机学报》 EI CSCD 北大核心 1990年第8期637-640,共4页; 文摘逻辑程序的与并行是子句体中文字的并行执行。如果若干文字共享某个变量,获得与并行的一种途径是:仅启动其中一个文字执行,该文字称为该变量的产生器,其它的文字(称为该变量的消耗器)处于等待状态,这称为排序。排序方法大致为完全动态排序、完全静态排序和动静结合排序。本文给出无用户启发信息时的静态排序算法。; 关键词逻辑程序与并行条件表达式; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于条件值的C/C++预处理测试算法被引量：1: 4; 作者娄坚波刘久富李金奎王伟; 机构南京航空航天大学自动化学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第14期68-69,72,共3页; 基金南京航空航天大学基本科研业务费专项科研基金资助项目(NS2010069); 文摘传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词法分析器得到预处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值。实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度。; 关键词符号执行预处理变量条件值条件表达式; Keywords symbolic execution preprocessing variable conditional value conditional expression; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名数据库之间任选字段下动态条件的数据传送: 5; 作者王永国张其亮; 机构安徽大学数学系; 出处《安徽大学学报（自然科学版）》 CAS 1995年第S1期63-65,共3页; 文摘数据库之间任选字段下动态条件的数据传送王永国，张其亮（安徽大学数学系合肥２３００３９）（安徽大学教务处合肥２３００３９）在使用数据库语言进行软件设计与软件应用中，经常遇到要在程序执行方式下将一个数据库中的数据传送到另一个数据库中，实际操作通常会有如下...; 关键词结构数据库任选字段动态条件数据传送计算机应用条件表达式目标库字段名数据库结构安徽大学; 分类号 TP317.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名FOXBASE~＋教学的几个问题: 6; 作者欧阳为民; 机构安徽大学计算中心; 出处《安徽大学学报（自然科学版）》 CAS 1995年第S1期81-82,共2页; 文摘ＦＯＸＢＡＳＥ~＋教学的几个问题欧阳为民（安徽大学计算中心合肥２３００３９）目前，国内绝大多数高等院校以及各种计算机培训班都将ＦＯＸＢＡＳＥ”作为一门主要的计算机基础课程。然而，有关教材错误较多，给准确理解ＦＯＸＢＡＳＥ“的内容带来困难。笔者从事ＦＯ?..; 关键词 FOXBASE^+ 记录指针当前记录全国计算机等级考试宏代换条件表达式记录操作库文件教学命令执行; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基础篇: 7; 出处《计算机工程与应用》 CSCD 北大核心 1990年第4期1-10,147,共147页; 文摘第一章概述 1.1 VAX Rdb/VMS的特点 VAX Rdb/,VMS(以后我们简称为Rdb)是一个关系数据库管理系统,是VAX信息管理体系软件之一。Rdb几乎体现了数据库管理系统的全部特性,其中包括数据安全性、完整性和查询优化等.由于Rdb是用关系模型进行数据存贮的,将数据存放于二维表格中,这种表格使得数据组织简单且容易理解,所以Rdb数据很灵活且容易使用。Rdb具有下列特点: 1.; 关键词数据库管理系统语句字段值记录选择条件表达式宿主变量事务数据定义数据操纵教师关系; 分类号 TP39 [自动化与计算机技术—计算机应用技术]; 全文增补中

	题名	作者	出处	发文年	被引量	操作
1	基于符号约束集的条件表达式数据流分析	董玉坤	《科学技术与工程》北大核心	2018	1	在线阅读下载PDF 职称材料
2	航空控制软件条件表达式故障分类及修复方法	谢文光李琪汪克念马春燕张涛张国群	《西北工业大学学报》 EI CAS CSCD 北大核心	2020	1	在线阅读下载PDF 职称材料
3	与并行条件表达式的生成	李春林邢汉承	《计算机学报》 EI CSCD 北大核心	1990	0	在线阅读下载PDF 职称材料
4	基于条件值的C/C++预处理测试算法	娄坚波刘久富李金奎王伟	《计算机工程》 CAS CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
5	数据库之间任选字段下动态条件的数据传送	王永国张其亮	《安徽大学学报（自然科学版）》 CAS	1995	0	在线阅读下载PDF 职称材料
6	FOXBASE~＋教学的几个问题	欧阳为民	《安徽大学学报（自然科学版）》 CAS	1995	0	在线阅读下载PDF 职称材料
7	基础篇		《计算机工程与应用》 CSCD 北大核心	1990	0	全文增补中