基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

试论高级程序设计语言的设计与评价标准

高级程序设计语言的设计与评价标准是长期以来人们一直关心并争论的问题。我们在分析了数十种很有影响的高级语言的基础上,提出了有关程序设计语言设计与评价标准的十个主要指标。本文首先介绍了各个标准指标的选择依据,并对可靠性、可读性、可维护性、效率、可用性、灵活性、可移植性、自然性、一致性与简洁性进行了详细的讨论,最后给出了一些分析实例。     

持久性在面向对象语言中的扩充

持久性是传统程序设计语言所缺乏的,它是程序设计语言中值得重视的一个要素,面向对象语言是当前表达能力和建模能力最强的一种语言,持久性与面向对象语言的结合将能够提供一个计算建模和数据建模、数据处理和数据管理的一体化语言环境。本文介绍了持久性程序设计的发展及其相关的概念,包括持久性与数据类型的正交性;讨论了持久性与面向对象语言结合中的有关问题,如对象标识及对象指针持久性等问题;同时给出了一个在面向对象语言基础上扩充持久性的实现描述,重点在其组织结构、内外存映射及其工作过程。     

旋臂式模型旋翼机动飞行试验机转速控制系统研究

旋臂式模型旅翼机动飞行试验机转速控制系统采用了先进的集成电子技术、变频调速、单片机和计算机软硬件等技术，实现了对模型旋翼的转速、前飞速度进行精确控制。文中较为详细地介绍了控制系统设计，给出了实际调试结果和应用实例。     

基于XML的遥测数据管理

结合XML与关系数据库各自在数据管理上的优势,设计了基于XML的遥测数据管理系统。其中,对遥测数据的存储除了直接XML结构化存储外,还提出了“数据分段”的方法存储大数据量参数,在实际系统运行中表现出很高的数据检索效率。由于XML文档在Internet数据发布上具有先天的优势,系统可直接将未解析的XML文档输出到客户端,因此提高了遥测数据的发布能力。     

论现代汉语诗歌意象语言的前景化分布

意象语言以其奇特和丰富的特点自由穿行在诗歌语篇中。本文以现代汉语诗歌为语料,重新定义了意象语言;在应用语言学视角下,以诗歌意象语言的前景化为出发点,分析了现代汉语诗歌意象语言的分布特点,即重复分布、独立分布、串列分布和链列分布,并在此基础上阐述了不同的语篇功能。     

阅读推荐

阅读是一件多么好的事情,它带给我们持久的愉悦感。它让我们与美好的东西相遇。最终,它将引领我们遇见一个更好的自己。阅读,让我们一起。     

河南航空经济发展与省内高校外语人才培养的互动分析

以语言经济学理论为基础,从语言与经济关系的角度,分析了河南航空经济发展现状及其对外语人才的需求,探索和总结了河南航空经济发展与省内高校外语人才培养的良性互动模式:合理调整语种设置,培养开放型通用外语人才和专业外语人才;加强师资队伍建设等。河南省内高校及相关机构应积极搭建平台,以多元化人力市场需求和学生就业为导向,合理配置各种资源,更好地培养外语能力突出的开放型通用人才,充分体现和获得外语的经济价值和社会价值,从而推动河南经济的快速、和谐发展。     

以非专业素质的发展提升英语学习困难生英语语言素质的研究

在英语学习困难生出席的大学英语课堂上,将培养学生的大胆表达、团队合作精神、文化素养、自省、自我规划和调节、毅力等非专业素质与语言学习活动紧密结合,在提高学生非专业素质的同时,激发其语言学习的动机,并努力长期维持学习动力,从而从根本上提高其英语语言素质。     

导弹遥测数据实时处理软件设计与实现CSCD

针对导弹遥测数据高码速率和多参数的特点,提出了采用Qt开发包实现遥测数据实时处理的软件设计方案。介绍了软件的基本框架和关键技术,采用Qt核心机制、XML(e Xtensible Markup Language,可扩展标记语言)和Lua动态脚本,解决了参数动态配置问题,实现了一款通用遥测数据处理软件,满足多个型号的遥测任务需求。