期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
C反编译中逻辑分支语句的识别及复合研究
1
作者 张龙杰 谢晓方 袁胜智 《计算机工程与应用》 CSCD 北大核心 2010年第13期40-43,52,共5页
在进行软件逆向工程的过程中,对C反编译后的逻辑分支语句结构进行了形式化的描述,将图论领域中的与或图概念应用到逻辑分支语句的识别上来,克服了相关识别算法的局限性。求解与或图的过程中,提出了逻辑关联矩阵的概念,通过执行动态剪枝... 在进行软件逆向工程的过程中,对C反编译后的逻辑分支语句结构进行了形式化的描述,将图论领域中的与或图概念应用到逻辑分支语句的识别上来,克服了相关识别算法的局限性。求解与或图的过程中,提出了逻辑关联矩阵的概念,通过执行动态剪枝策略,大大简化了算法复杂度。最后给出算法实例和复杂度分析,验证了算法的正确性和有效性。 展开更多
关键词 反编译 识别算法 复合算法 逻辑分支语句 与或图 逻辑关联矩阵 软件逆向工程
下载PDF
“春城处处飞花”的逻辑
2
作者 黄展骥 《人文杂志》 CSSCI 北大核心 1996年第1期129-129,共1页
“春城处处飞花”的逻辑(香港)黄展骥师:逻辑课开始。“现在下雨”,它跟“现在并非不是下雨”的真、假值是否相等(以下简称’等值”)?大半班答:当然相等。一位望着窗外,说:现在哪里是下雨!许多同学转头看他。老师摇摇头,说... “春城处处飞花”的逻辑(香港)黄展骥师:逻辑课开始。“现在下雨”,它跟“现在并非不是下雨”的真、假值是否相等(以下简称’等值”)?大半班答:当然相等。一位望着窗外,说:现在哪里是下雨!许多同学转头看他。老师摇摇头,说:我们大家都深懂“并非”、“不是’... 展开更多
关键词 逻辑 春城 换位律 今天到此为止 黄展骥 不到长城非好汉 飞花 谓词逻辑 《论语》 语句逻辑
下载PDF
一阶逻辑归约与计算复杂性
3
作者 白淑亮 Prabhu Manyem 《应用数学与计算数学学报》 2015年第4期441-451,共11页
在计算科学中,NP完全问题在区分可计算问题的复杂度类发挥着重大的作用,不仅是因为任意NP问题都可多项式时间归约到此类问题,而且若存在一个NP完全问题在确定图灵机多项式时间内可解,那么,所有的NP问题都可在多项式时间内解决.现在广泛... 在计算科学中,NP完全问题在区分可计算问题的复杂度类发挥着重大的作用,不仅是因为任意NP问题都可多项式时间归约到此类问题,而且若存在一个NP完全问题在确定图灵机多项式时间内可解,那么,所有的NP问题都可在多项式时间内解决.现在广泛认为NP完全问题不存在多项式时间算法,尽管尚未有效地证明,但识别一个问题是否为NP完全问题已经显得尤为重要.从描述复杂性角度阐述计算复杂性与逻辑之间的关联,通过具体实例:集合覆盖和控制集问题,讲述如何应用一阶投射方法证明一个NP问题的完全性.这种通过逻辑归约的方法被证明是十分有用的:只需要很少的公式而不再是冗长的证明.而逻辑归约的作用不仅在于此,在P类问题中应用逻辑归约时,发现计数最小不动点逻辑LFP+C,计数膨胀不动点逻辑IFP+C和C∞ω^ω对P类问题的表达能力并不充分. 展开更多
关键词 计算复杂性 描述复杂性 逻辑归约 逻辑语句
下载PDF
应用MC/DC准则时需考虑的问题及其改进方法 被引量:7
4
作者 陈鑫 杨平 《计算机工程与设计》 CSCD 2004年第3期406-410,共5页
MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问... MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。 展开更多
关键词 MC/DC准则 软件结构覆盖率 复杂逻辑语句 应用过程改进 Masking方法 逻辑 软件测试
下载PDF
关于学生译员在英汉同传中的听辨理解障碍及应对策略的个案研究——以马拉拉在联合国的演讲《书和笔是最有力的武器》为例 被引量:1
5
作者 胡文静 《英语教师》 2019年第6期84-86,94,共4页
口译不同于一般的英语听力,译员不仅要听懂说话者的内容,理清源语的逻辑关系,还要用目的语准确地表达出发言者的全部意思。对于学习口译的学生译员,尤其是对习惯了书面考试的学生来说,口译尤其是口译中的听辨理解问题无疑是一个巨大的... 口译不同于一般的英语听力,译员不仅要听懂说话者的内容,理清源语的逻辑关系,还要用目的语准确地表达出发言者的全部意思。对于学习口译的学生译员,尤其是对习惯了书面考试的学生来说,口译尤其是口译中的听辨理解问题无疑是一个巨大的障碍。文章以马拉拉在联合国大会上的一篇演讲《书和笔是最有力的武器》为例,从词义理解和语句中的逻辑关系两个方面分析在英汉同传实践中遇到的听辨理解障碍,并根据这些障碍提出一些应对策略。 展开更多
关键词 学生译员 英汉同传 词义理解 语句逻辑关系
下载PDF
办公室领导要把好公文校核关
6
作者 崔成富 《领导科学》 北大核心 1997年第3期36-37,共2页
关键词 公文校核 起草人 办公厅 公室 社会主义市场经济体制 办公自动化 单位负责人 起草者 语句逻辑 处理条例
下载PDF
谈谈学生语文笔记的建立与使用
7
作者 牟新才 叶鹏 《山东教育》 1998年第20期27-28,共2页
关键词 “大语文教学观” 语文知识 知识点 教师讲授 荣成市 笔记系统 课堂结构 治学方法 系统工程 语句逻辑
下载PDF
第一讲 FORTRAN语言概貌
8
作者 吕志 《数理统计与管理》 1984年第2期45-49,共5页
关键词 FORTRAN语言 赋值语句 逻辑条件语句 语句标号 循环语句 专用字符 关系运算符 循环参数 算术条件 转语
下载PDF
Factors Affecting English Reading of High School Studies
9
作者 芮黎 《Sino-US English Teaching》 2006年第4期30-32,共3页
Compared with the skills of listening and speaking, reading is commonly considered to be one of the most difficult skills to be improved for the middle school students. The slow progression results from various obstac... Compared with the skills of listening and speaking, reading is commonly considered to be one of the most difficult skills to be improved for the middle school students. The slow progression results from various obstacles the students might confront in their reading. This essay makes a summary of various difficulties that hinder the students' successful reading comprehension, from the aspects of vocabulary, sentence and grammar, understanding of a passage, habits of reading, logic thinking, meanings of language and culture background. 展开更多
关键词 vocabulary sentence and grammar habits of reading logic thinking culture background
下载PDF
The Descriptivist vs. Anti-descriptivist Semantics Debate between Syntax and Semantics
10
作者 Enrico Cipriani 《Journal of Philosophy Study》 2015年第8期421-430,共10页
In this paper, I will focus on the debate between descriptivism and anti-descriptivism theory about proper names. In the introduction, l will propose an historical reconstruction of the debate, and focus in particular... In this paper, I will focus on the debate between descriptivism and anti-descriptivism theory about proper names. In the introduction, l will propose an historical reconstruction of the debate, and focus in particular on Russell and Kripke's treatments of proper names. Strong criticisms will be advanced against Kripke's hypothesis of rigid-designator and, more deafly, against the consequent distinction between the epistemic and metaphysical level that Kripke proposes to explain identity assertions between proper names. Furthermore, I will argue, that, pace Kripke, Russellian treatment of proper names allows to capture all our semantic intuitions, and also those semantic interpretations which concern context-belief sentences. I will close the introduction by focusing on a criticism that Kripke rightly points out against an example that Russell proposes in his On Denoting. Section 2 will be devoted to Russellian solution: I will show that not only Russell's logical treatment of proper names allows to answer to Kripke's criticism to Russell's example, but also that such treatment can disambiguate and express all our semantic intuitions about Frege's puzzle sentence "Hesperus is Phosphorus." ! will then show that, contrarily, Quinian solution (discussed in section 3) and Kripkian one (see section 4) are not satisfactory to capture our semantic knowledge about Frege's sentence. Furthermore, in section 5, I will focus on Kripke's distinction between epistemic and metaphysical level to deal with identity assertions between proper names, and I will logically show that such distinction is not plausible. In section 5, then, I will show that Russellian solution allows to explain context-belief sentences, contrarily to what Kripke thinks. In Conclusions, I will summarize what 1 have argued in the text. 展开更多
关键词 rigid-designator epistemic-metaphysical levels syntax-semantics interface descriptivism vs.anti-descriptivism
下载PDF
语法、真值和逻辑
11
作者 W.V.奎因 潘道江 《世界哲学》 1985年第3期54-60,共7页
在理智的探索中,从一个语句的真来论证另一个语句的真是很普遍的做法。这种论证有些属于逻辑的范围,有些则不是。如果论证只考察语句的结构,而不涉及其内容,那么它们就属于逻辑。而语句的结构是由语法结构形成的。因此,语法、真值和逻... 在理智的探索中,从一个语句的真来论证另一个语句的真是很普遍的做法。这种论证有些属于逻辑的范围,有些则不是。如果论证只考察语句的结构,而不涉及其内容,那么它们就属于逻辑。而语句的结构是由语法结构形成的。因此,语法、真值和逻辑是密切相关的。逻辑研究那些全靠语法结构来决定的真值条件。依照上述思路。 展开更多
关键词 逻辑学家 语法结构 不合语法 语句逻辑 语法形式 逻辑真值 逻辑形式 谓词 逻辑有效 密切相关
原文传递
对政策与法律差异性的反思与重构 被引量:10
12
作者 陈历幸 《毛泽东邓小平理论研究》 CSSCI 北大核心 2010年第2期66-71,共6页
关于政策与法律在制定主体和程序、文件形式、调整和适用范围以及稳定性等方面存在差异性的观点均存在若干难以克服的缺陷。政策与法律都是由数量众多的语句所组成的,只有特定的规范性语句才能成为法律规范,政策中语句的语句类型则没有... 关于政策与法律在制定主体和程序、文件形式、调整和适用范围以及稳定性等方面存在差异性的观点均存在若干难以克服的缺陷。政策与法律都是由数量众多的语句所组成的,只有特定的规范性语句才能成为法律规范,政策中语句的语句类型则没有限制,从语句逻辑类型的角度,可以较为准确地表述政策与法律的差异性。 展开更多
关键词 政策 法律 政策与法律的差异性 语句逻辑类型
原文传递
新高考新考点(2)
13
作者 黄朝晖 《时代英语(高三版)》 2008年第9期8-8,共1页
今年四川卷高考第一次考查了语句逻辑副词。在行文过程中经常用到逻辑联系语和叙事性、议论性结构布局的语句逻辑副词或副词词组。常见的逻辑词有下面几类。
关键词 副词 语句逻辑 新高考 江西 四川 浙江 肯定句 结构布局 逻辑联系语 句尾
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部