检索结果-南通市图书馆

计算机工程与应用 2009年第23期45卷 78-81页

作者：闫铁钟诚赵艳广西大学计算机与电子信息学院南宁530004

从类的源代码中抽象出类的所有状态来减少系统状态及其行为,根据抽象后的类状态,设置JPF搜索环境,裁剪类方法测试序列生成时的搜索分支,提出了一种类测试用例生成方法。实验结果表明,该方法能够有效地减少类测试用例生成时间。

关键词：抽象技术模型检测类测试测试用例生成

在线全文

学校读者我要写书评

暂无评论

论抽象技术与抽象技术主体

河南师范大学学报（哲学社会科学版） 2008年第3期35卷 58-61页

作者：朱忠孝中国人民大学马克思主义学院北京100872

抽象技术不是具体的技术实体,但是它有助于从哲学层面深入探讨技术问题。抽象技术主体虽然不是社会生活中存在的具体的人,但是它是技术发明过程和技术应用过程中具体技术主体转化的桥梁。抽象技术主体概念对于驳斥技术决定论、逐步形成... 详细信息

抽象技术不是具体的技术实体,但是它有助于从哲学层面深入探讨技术问题。抽象技术主体虽然不是社会生活中存在的具体的人,但是它是技术发明过程和技术应用过程中具体技术主体转化的桥梁。抽象技术主体概念对于驳斥技术决定论、逐步形成人类技术共同体,从而最终从根本上消除技术异化具有十分重要的意义。

关键词：抽象技术抽象技术主体技术异化技术共同体

在线全文

学校读者我要写书评

暂无评论

模型未知的离散事件系统故障诊断方法

计算机应用研究 2024年第4期41卷 1008-1014页

作者：张志恒王德光贵州大学电气工程学院贵阳550025

针对离散事件系统模型难以建立的大型实际系统,无法对其进行有效故障诊断的问题,提出一种基于主动学习的故障诊断方法。首先,为获取到的系统事件日志添加正常/故障标签,并将日志集划分为训练集和测试集,提出一种基于抽象技术的迭代算法... 详细信息

针对离散事件系统模型难以建立的大型实际系统,无法对其进行有效故障诊断的问题,提出一种基于主动学习的故障诊断方法。首先,为获取到的系统事件日志添加正常/故障标签,并将日志集划分为训练集和测试集,提出一种基于抽象技术的迭代算法提取训练集中日志的故障特征样本。然后,通过故障特征样本构造初始故障识别器,并利用测试集中的日志检验识别器的准确性。仿真结果表明,该故障诊断算法使得模型未知下诊断精度更高。最后,实例说明系统模型未知下故障诊断算法的应用。与现有研究相比,提出的方法可以在系统模型未知下进行故障诊断且算法复杂度为多项式,诊断精度更高,应用范围更加广泛。

关键词：离散事件系统故障诊断主动学习抽象技术故障特征

在线全文

学校读者我要写书评

暂无评论

基于参数估计的层次诊断模型研究及应用

系统仿真学报 2006年第4期18卷 1078-1080页

作者：安若铭姜兴渭哈尔滨工业大学航天工程系黑龙江哈尔滨150001

针对大型系统多故障诊断的复杂性,提出利用抽象技术建立的简化层次模型进行诊断。把抽象技术分为结构抽象和行为抽象,结构抽象建立在系统的描述方法之上,采用的行为抽象技术为Box-Jenkins建模方法(B-J法)的参数模型。介绍了层次模型的... 详细信息

针对大型系统多故障诊断的复杂性,提出利用抽象技术建立的简化层次模型进行诊断。把抽象技术分为结构抽象和行为抽象,结构抽象建立在系统的描述方法之上,采用的行为抽象技术为Box-Jenkins建模方法(B-J法)的参数模型。介绍了层次模型的一种形式化方式-抽象树的建立方法。利用不同层次的参数模型参数值序列之间的变化关系并采用由上至下的分层诊断策略进行故障诊断。仿真实例的结果表明减少了计算量,提高了诊断效率。

关键词：参数估计故障诊断抽象技术层次模型 B-J模型电源系统

在线全文

学校读者我要写书评

暂无评论

论我国合同法的规范编纂技术

人大法律评论 2010年第1期 27-54页

作者：耿林清华大学法学院

规范编纂技术是指一部法律或者法典在其语言风格、条文表达以及体系安排等表现形式方面所采用的方法。规范编纂技术在我国法中的应用研究,目前尚未充分展开。本文主要从结构上的一般抽象、一般条款、"具体"规则的提取和辅助性抽象技术... 详细信息

规范编纂技术是指一部法律或者法典在其语言风格、条文表达以及体系安排等表现形式方面所采用的方法。规范编纂技术在我国法中的应用研究,目前尚未充分展开。本文主要从结构上的一般抽象、一般条款、"具体"规则的提取和辅助性抽象技术规范四个方面,对我国合同法规范的编纂技术特点加以初步研究。我国合同法在规范编纂技术方面普遍采用了抽象编纂技术,并使用了多种抽象技术方法。但是,我国的抽象技术使用尚不成熟,主要表现在宏观上抽象有余而微观上抽象不足、抽象不彻底、辅助性抽象技术使用尚不娴熟等。希望未来制定民法典时,能更加注重编纂技术,对法律规范做出更加符合逻辑的抽象化提炼与整理。

关键词：法律规范编纂技术抽象技术一般条款辅助性抽象技术

在线全文

学校读者我要写书评

暂无评论

民法典的规范表达研究

清华法学 2014年第6期8卷 64-80页

作者：耿林清华大学法学院

民法典的规范表达,即民法典的规范编纂技术,是指一部法律或者法典在条文形成过程中关于法律规范的语言风格、条文表达以及体系安排等方面所采用的技术方法。规范编纂技术在我国法中的应用研究,目前尚未充分展开。本文主要以《合同法》为... 详细信息

民法典的规范表达,即民法典的规范编纂技术,是指一部法律或者法典在条文形成过程中关于法律规范的语言风格、条文表达以及体系安排等方面所采用的技术方法。规范编纂技术在我国法中的应用研究,目前尚未充分展开。本文主要以《合同法》为例,从结构上的一般抽象、一般条款、"具体"规则的提取以及辅助性抽象技术等方面,对我国合同法规范的编纂技术特点加以初步研究,指出其中的特点及不足,以期对我国未来编纂民法典能有所借鉴。本文认为,我国《合同法》在规范编纂技术方面的特点,首先是普遍接受了法律规范的抽象编纂技术,为此,我国采用了多种规范抽象技术。但是,我国的抽象编纂技术使用尚不成熟,主要表现是:在宏观上抽象有余而微观上抽象不足、抽象不彻底、辅助性抽象技术适用尚不娴熟等。这既有编纂技术上的原因、观念上的原因,也有实体法本身研究不足的原因。希望未来制订民法典时,更加注重法律规范的编纂技术,在概念使用、文风选择、条文表达,以及结构安排等方面,对法律规范做出更加符合逻辑的抽象化提炼与整理。

关键词：法律规范编纂技术抽象技术一般条款辅助性抽象技术

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件模型检测中的抽象

计算机科学 2006年第7期33卷 276-279页

作者：袁志斌徐正权王能超华中科技大学计算机科学与技术学院武汉430074

软件模型检测对保证软件的正确性和可靠性具有十分重要的意义,而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术,介绍了该领域的进展及研究方向。

关键词：软件模型检测抽象技术状态爆炸

在线全文

学校读者我要写书评

暂无评论

模型检测在软件方面的应用

模型检测在软件方面的应用

作者：黎吾平吉林大学

学位级别：硕士

模型检测技术是一种自动化的检测技术,该技术广泛应用于时序电路设计和通信协议设计,并取得了很大的成绩。真正将模型检测技术引入到软件的验证只有短短的几年历史,该技术目前正处于研究阶段。本文在实验室研究成果的基础上,首先探讨了... 详细信息

模型检测技术是一种自动化的检测技术,该技术广泛应用于时序电路设计和通信协议设计,并取得了很大的成绩。真正将模型检测技术引入到软件的验证只有短短的几年历史,该技术目前正处于研究阶段。本文在实验室研究成果的基础上,首先探讨了模型检测的主要思想、发展变革及最新的研究热点,重点阐述了软件模型检测的特点。最后给出对于软件源代码进行建模的过程和算法,详细阐述了几个属性检测的手段,这其中包括源代码的预处理,源代码转换为公式模型的具体方法,并设计实现一个原型系统。本文最后还给出了几个具体程序例子的验证过程。结果表明,该系统能够应用模型检测技术自动的进行一些软件的验证,为将来更广泛和深入地研究打下了坚实的基础。

关键词：模型检测软件验证时序逻辑抽象技术

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

民法典的规范表达研究

民商法学 2015年第2期 64-80页

作者：耿林

民法典的规范表达，即民法典的规范编纂技术，是指一部法律或者法典在条文形成过程中关于法律规范的语言风格、条文表达以及体系安排等方面所采用的技术方法。规范编纂技术在我国法中的应用研究，目前尚未充分展开。本文主要以《合同法... 详细信息

民法典的规范表达，即民法典的规范编纂技术，是指一部法律或者法典在条文形成过程中关于法律规范的语言风格、条文表达以及体系安排等方面所采用的技术方法。规范编纂技术在我国法中的应用研究，目前尚未充分展开。本文主要以《合同法》为例，从结构上的一般抽象、一般条款、“具体”规则的提取以及辅助性抽象技术等方面，对我国合同法规范的编纂技术特点加以初步研究，指出其中的特点及不足，以期对我国未来编纂民法典能有所借鉴。本文认为，我国《合同法》在规范编纂技术方面的特点，首先是普遍接受了法律规范的抽象编纂技术，为此，我国采用了多种规范抽象技术。但是，我国的抽象编纂技术使用尚不成熟，主要表现是：在宏观上抽象有余而微观上抽象不足、抽象不彻底、辅助性抽象技术适用尚不娴熟等。这既有编纂技术上的原因、观念上的原因，也有实体法本身研究不足的原因。希望未来制订民法典时，更加注重法律规范的编纂技术，在概念使用、文风选择、条文表达以及结构安排等方面，对法律规范做出更加符合逻辑的抽象化提炼与整理。

关键词：法律规范编纂技术抽象技术一般条款辅助性抽象技术

来源：人大复印报刊资料评论

在线全文

人大复印报刊资料

学校读者我要写书评

暂无评论

模型检测中虚假反例检测方法

计算机与现代化 2017年第9期 29-32,44页

作者：刘林武张弛南京航空航天大学计算机科学与技术学院江苏南京210016

抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例。因此,需要根据反例对抽象模型进行精化。如何判定一个反例是虚假反例还是真实反例,在... 详细信息

抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例。因此,需要根据反例对抽象模型进行精化。如何判定一个反例是虚假反例还是真实反例,在抽象精化过程中相当重要。本文根据状态的前驱和后继定义失效状态,给出虚假反例的定义,并基于此提出检测虚假反例的并行算法。

关键词：模型检测抽象精化虚假反例失效状态抽象技术