出现网的抽象描述

引入抽象出现网的概念,文中证明了抽象出现网的定义中的4个条件是独立的;第2节给出由出现网(B;E;G)构造抽象出现网(B,h)的方法;第3节给出由抽象出现网(B,h)构造出现网(B;E;G)的方法.因此抽象出现网是出现网的一种抽象描述.

GUI抽象描述模型研究

图形用户界面(GUI)是各种计算机应用的一个重要组成部分。但是越来越多的编程语言和GUI工具包使得开发跨平台的GUI也变得越来越繁琐。同时,日趋庞大和复杂的数据,也迫使开发者在维护GUI相关数据方面付出更多的努力。本文从分析MVC设计模式入手,力图从更高的层次上对GUI及其相关数据的描述模型进行归纳和抽象,提出并形式化描述了一种GUI抽象描述模型,基于该模型的GUI数据建模算法和绑定模型。最后简单介绍了该描述模型基于XML的实现语言——GUI XML。

主动实时数据库中主动实时机制的抽象描述

从能显示地描述数据和事务的定时性和时间约束，准确地刻划事件、条件、活动及三者之间的关联性的角度出发。

中尺度对流系统概念模型抽象化描述原理和方法

针对华南西部中尺度对流系统2D概念模型,通过对华南西部中尺度对流系统2D概念模型直观化图象特征进行属性和行为特征分离,采用面向对象语言中类对象表达方式,构造图象各组成部分类对象,用类对象的行为和属性定量描述图象特征和变化,初步实现中尺度对流系统2D概念模型抽象化描述。并用实例检验了原理和方法的合理性,为中尺度对流系统2D概念模型图象应用自动化处理提供了理论和方法基础。

试论绘画艺术表现手段中的抽象性描述

“抽象性描述”是绘画艺术表现手段中的重要形式之一。绘画艺术在凝固的时间和具体的空间上,存在着一定的表现手段。考察这些表现手段中“抽象性描述”的表现形式,便可以从造型艺术质和量的规定性中,确定“抽象性描述”的应用范围和美学位置;考见“抽象性描述”在绘画创作中的存在价值和地位;明确“抽象性描述”在绘画艺术实践中的实际指导意义。

自省的动态软件体系结构描述与实现

软件系统的体系结构对于软件开发具有重要的意义 ,然而现有软件体系结构描述语言及其支撑系统在可追溯性和动态性两个方面尚有不足 .利用自省计算的原理和技术 ,提出一种将体系结构具体化为系统实现中可见可控的实体 ,并在其基础上构建系统的新途径 .这样 ,软件体系结构的抽象描述和具体实现都基于统一的模型 ,从而可以保证可追溯性 ;而通过自省设施亦可达成对软件体系结构动态行为的有效支持和控制 .遵循这个途径 ,给出了一种面向图的软件体系机构描述和实现的具体框架及其一种基于edNCE图文法形式模型 。

空间数据系统参考体系架构的通信视角

空间数据系统主要由空间段系统、地面段系统、通信链路等部分组成,航天器内部设备之间、航天器之间、航天器与地面系统之间通过通信链路实现互联,并通过地面网络进行扩展,实现空间数据采集、传输、存储、处理和利用,支持空间任务的实现。参考体系架构是一种基于模型的工程方法,该方法采用一组概念和规则,对系统的组成结构、语义行为及各要素之间的关系做出规定,用于在系统设计过程中对系统进行抽象描述。空间数据系统是由多个部分组成的复杂系统,难以从单一视角、采用单一架构对其进行全面描述。

思考型Agent的基本结构

描述了Agent基本特性 ,提出了三类Agent基本结构 ,指出思考型Agent结构是Agent研究的基础和重点 .在分析思考型Agent抽象结构的基础上 ,重点讨论了基于经典逻辑的Agent结构、基于决策理论的Agent结构和基于BDI框架的Agent结构 ,对其进行抽象的形式描述 ,分析其优缺点 。

采用ASN.1规则的MMS PDU编码系统研究

采用ASN.1基本编码规则,编写了ASN.1基本类型和复合类型数据的编码函数,以此构成编码函数库;通过主编码函数调用不同类型的解码函数,将利用抽象语法ASN.1描述的MMS PDU转换为比特流信息,再将结果传送给下层以太网。该方法采用面向对象的编码思想,克服了传统ASN.1编译器占用空间较大、运行效率不高及升级困难等缺点。

计算机专业编程语言类课程教学的思考

从计算机专业编程语言类课程教学实践中总结3方面的教学思考,首先讨论如何在教学过程中提高学生准确分析程序运行结果的能力,即结合图示分析运行时数据区以及区分编译时和运行时错误,其次提出对比不同编程语言关键特性的教学手段,最后阐述培养抽象描述和表达问题能力的重要性,并以相应教学案例和取得的效果加以说明。

论结构化方法与形式化方法的结合

The advantages and drawbacks of both structured method and formal method togetherwith techniques of integrating the two methods are described and analysed in this paper.Two typi-cal classes of techniques for the integration are presented as examples,they are the transformationbased and formal framework based techniques.Several problems about the integrated method aredisscused at last.

采用面向对象的ASN.1 BER编译器的研究

传统ASN.1编译器有占用空间较大、运行效率不高的矛盾以及升级困难等缺点.采用面向对象的C++语言实现的编解码系统,利用一种新的、更为简单有效的方式来标识变电站通信报文的信息内容以及类型特征,从而大大提高编解码效率和占用更小的空间.

边界网关协议安全性的模型检验方法研究

作为一种域间路由协议,边界网关协议在因特网上被广泛部署用来进行自治系统之间可达信息的交换.与一般的路由协议不同,它采用了策略来对路由信息的转发进行控制,从而保证链路的安全性.但是由于协议的复杂性,导致其中存在许多的安全漏洞.首先提出一种用来描述协议的抽象方法,然后使用这种方法对具体的网络进行简化,使其更易于分析.在简化后的抽象描述方法基础上,使用Promela建立协议的模型.之后提出了三种基本性质以及两种攻击方式,并且使用SPIN模型检测器对这些性质进行自动验证.通过分析无攻击和有攻击两种情况下的实验数据,我们发现这些攻击对路径的正确选择产生了影响.

浅析微信营销优势及策略

微信营销拥有真实可信的用户群体,是现代网络营销的最有效方式。要实现微信营销,企业需建立微信平台,将微信营销与社会事件、热点新闻融合,不断提高平台的知名度和关注度,多多吸引粉丝,并通过分享、互动、微信红包等方式将用户紧密地吸引在微信平台周围,以实现微信营销的效益最大化。

基于UML扩展机制的MDA协议建模语言研究

由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。

新时代新征程档案工作呼唤智慧档案战略--智慧档案顶层架构的设计方法与基本思路

架构是业务流程和信息化基础设施的沟通桥梁,是从全局角度对信息化建设的机构、职能、业务流程、信息系统、数据、网络部署等进行的抽象描述,它为信息化建设提供了一种易于理解、易使用、易分析、易管理的顶层设计方案和持续改进方法,能够优化决策过程,降低决策难度,提高投资效益。架构设计是信息化战略实施的关键步骤,是信息化战略从规划到实施的路线图和方法论。

基于思维流量的语文课堂模型群建构

本文先解释语文课堂模型、课堂模型群的概念,然后明确思维流量的所指,之后重点介绍这个模型群建构的思路和方法,即共同要素的提炼与组合,最后概说国际评估理论对语文课堂模型建构的指导意义。一、语文课堂模型与课堂模型群课堂模型,简称＂课型＂,用英语表达就是lessontype,其实就是课堂教学结构形态的抽象描述,是由赫尔巴特在《普通教育学》中首次提出的。所谓语文课堂模型,当然就是语文课堂教学结构形态的抽象描述。

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 。

对《对年度弹性生产计划的探讨》的探讨

读了《经营与管理》杂志1987年第五期《对年度弹性生产计划的探讨》一文（以下简称原文）,觉得在弹性计划的含义及与x1x2的关系、高低位盈亏平衡点下产量x1x1的确定等几个问题上有进一步探讨的必要。一、原文在关于“减小x1增火x2的途径”的论述中指出:“对于弹性计划来讲,希望x1越小越好x2越大越好,这样才能使弹性计划的变化幅度大。”我认为这一提法值得商椎。首先,何为弹性计划?计划是指在对企业内外客观环境充分认识的基础上,对未来一定时期经营成果的规定。因为计划一般是通过一定数学模型平衡计算的,而模型又是对客观系统的抽象描述,所以它既反映实际又高于实际。

面向业务研发的业务架构资产治理方法与实践

企业架构是对企业的业务流程和IT设施的抽象描述,它反映了企业的业务和IT状况。作为企业架构的一部分,业务架构承载企业战略,用于指导实现企业战略到业务需求到IT的顺利传导。业务架构构建的交付物即业务架构资产,将业务架构资产应用于业务研发全流程,可以有效实现业务架构对IT架构的指导,并保证业务架构的先进性。为长效发挥业务架构效用,提升研发质量与效率,实现企业价值创造,需通过建立架构治理(Architecture Governance)体系提升业务架构资产质量,促进业务创新的持续发展。