关于我国航空运价水平影响因素的探讨

本文在对航空运价形成机制外在表现形式进行分析的基础上,将影响航空运价的内在因素归结为行业内因素和行业外因素,并分析了各个因素对航空运价水平的不同影响。实证分析表明,铁路竞争和航空运输成本是影响航空运价水平的两个重要因素,其中航空运输成本为主要影响因素。     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

水墨氤氲成幻化之境 虚实掩映造大山气象

刘浪涛作为中青年山水画家在全国早已崭露头角,自上个世纪90年代作品就不断入选全国性展览并获奖,代表作品《溪音》、《怀念战友》、《夜发清溪》、《暮山紫烟》《远山烟启》都给人留下了深刻的印象。早期毕业于四川美术学院中国画系的刘浪涛有着较强的抽象能力、构成能力、捕捉形象的＂存质＂能力以及较高的审美能力,     

对我国企业广告误区的分析

随着我国社会主义商品经济发展到以销定产的买方市场阶段，企业广告活动的数量、范围都在大幅度地增长。但在快速增长的同时，也存在着一系列的问题，作者对这些问题加以分析。     

众眼看宇宙——‘众目睽睽’猎户座

猎户座大星云：行星际的保护：X射线超闪有助于“太阳系”的形成；钱德拉对猎户座大星云的全景X射线图像；甚大望远镜对猎户座大星云的近景红外图像；哈勃对猎户座大星云拍摄的最锐利图像；猎户座大星云里的抽象艺术。     

CCSDS空间包在MOIMS领域中的应用

为了适应未来航天任务的发展,构建以服务为导向的、开放的、可重用的航天器任务操作系统,分析了CCSDS(Consultative Committee for Space Data Systems,空间数据系统咨询委员会)中MOIMS (Mission Operations and Information Management System,任务操作及信息管理系统)领域的任务操作服务框架的原理、层次结构及优点,对任务操作相关的通用服务、功能服务、COM(Common Object Model,通用对象模型)及MAL(Message Abstraction Layer,消息抽象层)对服务的抽象化描述方法进行了研究.MAL向任务操作相关的服务提供了通用的服务模型框架,所有服务均可用MAL消息格式进行规范化的描述,在此基础上建立了MAL消息格式与CCSDS空间包的映射关系,从而以CCSDS空间包为信息栽体实现了航天器与地面系统间的任务操作通信,可以作为以服务为导向的任务操作系统实际工程应用的参考.     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

混沌与纯净——读刘蓉莺的花鸟作品

刘蓉莺,1955年出生于台湾台南市,台湾师范大学设计研究所硕士毕业,现任教台南大学及长荣大学美术系、南华大学视觉艺术系,为台南市新象画会会长。她秉持着台湾师大美术系故林玉山、黄昌惠两位教授所传授的写生创作的表现形式,并不断地追求自我成长,曾举办个展及海内外联展多次,近年来先后受邀在韩国、马来西亚以及中国上海、福州、厦门、东莞、郑州等地展出其作品。前些时,《混沌与纯净—刘蓉莺个展》在上海举办,引起了不小的轰动。