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

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

运用抽象技术和JPF生成类测试用例方法

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

开发动态Web应用系统的抽象化技术探讨

就构建Web应用系统时用抽象化技术把逻辑和实际的表示分开 ,尤其是对数据库访问抽象层分开的一些问题进行了深入地讨论 ,并举例说明 ;提出将逻辑放在对象和函数库中 ,HTML层和API层只是一些对象和函数调用 ,Web应用程序看上去很简炼 。

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

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

软件模型检测中的抽象

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

容错处理器阵列的重构抽象模型

为了加速容错处理器阵列的降阶重构过程,提出一种基于抽象技术的可重构处理器阵列抽象模型。通过抽象算法从处理器阵列中提取部分物理行,并在物理行之间添加表示通信关系的带权边,从而构成一个抽象阵列。仿真实验结果表明,在低故障率下,抽象阵列的规模与原始处理器阵列相比减少90%,降低了容错处理器阵列重构的复杂度。

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

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

基于约束程序的变迁约束可达问题判定研究

在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.

ZMTE法在休闲旅游类乡村景观要素识别中应用初探——以荣城烟墩角村为例

近年来伴随城市居民生活环境的恶化和国家政策的支持,休闲旅游类乡村的开发建设如正火如荼地展开。与此同时乡村景观均质化、无序化和特色缺失化现象严重。文章从景观表现形式的角度出发将乡村景观要素分为物质景观要素、精神景观要素和意境景观要素。运用ZMET隐喻抽象技术识别乡村景观要素,以期提升乡村景观风貌,突出特色,增加休闲旅游乡村的吸引力。并以烟墩角村为例,深入定性的识别其典型景观要素。

LTE系统中HARQ实体研究

根据LTE(3G长期演进)标准的MAC(Medium Access Control)层规范,提出了异构HARQ(混合自动重传请求)实体,此异构实体在于针对数据发送端和接收端的功能差异,两端实体各自保存自己需要的参数,且支持三种传统重传模式。以基站下行为例,对每个保存参数按需分配空间,达到了参数的高效使用和有效管理,并通过物理层抽象技术对提出的异构实体进行了功能仿真验证。

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

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

浅议我国民法典制定债法通则的必要性

债法是民法的重要内容,制定债法通则顺应了我国"制定民法典"的时代需求。提取债法的共同规则有利于对法条未尽事项拾遗补阙,同时亦能保持债法体系的开放性,促进民商法规范在债法中的融合。考虑到债法一般规则对债法具体制度的抽象技术和概括程度、"准合同"规则在债法中的安置以及民法典篇幅大小等因素,应以债法通则命名民法典中债法一般规则,并将该部分独立成编。若债法通则未能独立成编,将其内容规定于合同编中亦是可以接受的选择。

信号处理平台中可重构组件的设计与实现

针对不同通信设备之间的互连互通、软硬件升级困难等问题,为提高组件的可移植性和共享性等特点,根据新型异构平台结构,设计一种信号处理平台的可重构组件。借鉴GNU Radio平台中可重构组件的特性,并结合软件重构技术、文本引擎、抽象层技术和消息中间件的优点,提出一种基于异构信号处理平台的可重构组件设计方法。以包络平方谱估计算法为例,在GNU Radio和异构信号处理平台中编写信号处理组件搭建流程图。实验结果表明,该可重构组件得到的参数估计均方误差与Matlab工具中的数据吻合,并具有跨平台可移植性。

基于Jaumin的等参单元算法框架设计

针对等参有限元的计算特点和有限元软件多种单元的开发需求,基于高性能计算程序开发框架Jaumin,使用面向对象语言,采用抽象和多态技术以及工厂模式,为有限元软件PANDA设计等参单元算法框架.该框架具有良好的可复用性及可扩展性,开发过程清晰,有利于提高开发效率.给出等参单元算法框架中各个模块所对应的类以及类的接口.实例表明用PANDA中已实现的等参单元计算结果与ANSYS的计算结果一致.

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

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

Formalization of the Abstract Architecture of MAS Based on FIPA Specification

The FIPA specification of MAS (multi agent system)is accepted by most of the applications of MAS in the world, and has been used in many projects. This paper draws an Abstract architecture from the FIPA based MAS, and gives formalization about it.

Study on the Innovative Design of Graphic Design

With the advent of the informatian age, people are working to build a new knowledge network, knowledge of the past gradually pieced together again. The new knowledge network includes not only advanced science and technology, but also includes the historical and cultural value, emotion and sense of innovation. Graphic design is a spiritual and material reality and artistic, aesthetic and practical disciplines integrated with each other. Always take the old approach to their creative confined in a narrow space, and this will inevitably lead to failure. Graphic design must rely on the sense of innovation, combined with the image of abstract thinking; ideas can really create unique designs. Therefore, to enhance training in graphic design innovative design capabilities, innovation and the development of graphic design is an important issue. In this paper, graphic design requirements and the role of innovation capacity will be explared, and the method of application of proposed innovative thinking in graphic design process will be provided.