多媒体课件中教学流程和教学呈现的表示方法

引入了通用转换网络对多媒体课件的教学流程作了形式化描述,并在此基础上讨论了教学流程及教学呈现在多媒体课件写作系统中的内部表示方法.该方法将课件中的教学流程描述和教学呈现的表示相分离,使课件写作系统更加灵活;其次,引入呈现描述来表示教学呈现内容,实现了教学内容的并发呈现.本文同时给出了相应表示方法实现的内部结构.     

管理软件生成器系统CDBAG—4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。     

面向对象CAPP系统开发工具的设计方法

采用面向对象的系统分析方法，分析了工艺规程设计问题域，并抽取了其中的对象及结构，然后，描述了通过建立对象类库来实现语言型ＣＡＰＰ开发工具的方法，这种开发工具兼有外壳型开发工具的特点。     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成,研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口,有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口,将不同工具的数据集成抽象成统一的公共接口,从而采用统一的数据接口和规范实现不同工具的数据集成,有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例,以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体,基于工厂模式设计并实现了符合OSLC规范的数据集成系统,实现了不同工具间的数据集成,提供了一种通用的、可扩展的数据集成方式.     

可复用的需求建模方法

提出了一种特征驱动的可复用需求建模方法(RRM,Reusable RequirementMethod),此方法定义了一个可复用的需求建模过程(RRMP,Reusable Requirement Modeling Process),在领域工程和应用工程两个层面上都提出了相对完整的需求建模方法并将两个阶段有机地融合在一起.将主要研究方向着眼于领域模型的正确建立、合理剪裁和对象化过程,从而得到针对于具体应用的需求模型.在RRMP的过程指导下还将设计一个需求定制与应用开发平台(RAP,Requirement customing Application developing Platform).RAP平台立足于需求获取阶段,以用户易理解的图形化方式灵活直观地与用户进行需求交互,根据用户定制的需求自动生成具体应用的标准需求开发文档和开发过程中所产生的统一建模语言(UML,Unified Modeling Language),并最终开发出用户所需的领域内特定应用的原型系统.RAP平台主要包含3个部分:图形化需求定制工具,需求开发文档生成工具和目标应用开发工具.     

对机器的怕与爱——小议科幻电影中的未来

中国古人说：工欲善其事，必先利其器。人类文明的演进正表现为工具的发展。在库布里克的科幻电影《2001太空漫游》中，有一个经典镜头：原始人类的一根骨头被扔上天空，落下来的时候已经变成一架航天飞机。不同时期的工具，构成了人类文明史的一个个台阶。     

组合Web服务建模工具的设计与实现

通过分析IBM提出的Web服务流程描述语言(WSFL),设计并实现了一个基于WSFL的组合Web服务建模工具(CWSMT).该工具还可与Web服务运行环境相结合,将图形化的建模结果转换为可部署、可运行的组合Web服务,实现组合Web服务的建模、部署与运行监控过程的一体化.      

空间科学实验机器人辅助遥操作系统

建立了一个面向空间舱内晶体生长科学实验的地面模拟机器人遥操作系统。该系统通过基于虚拟现实的预测仿真来克服通讯时延的影响，并通过仿真图形和实际视频图像的叠加来对虚似仿真环境进行校准，以提高预测仿真的保真性。操作员利用空间鼠标等人机交互工具实时控制仿真机器人系统的运动，通过遥控与自主相结合的方式，并借助全局和局部视觉信息，完成了在空间晶体生长科学实验中更换晶体炉料棒的作业任务。     

异步电动机直接转矩控制系统的 MATLAB仿真

介绍了一种基于MATLAB的异步电动机直接转矩控制系统的仿真方法.在分析了直接转矩控制系统的结构和工作特点之后,结合MATLAB提供的仿真环境和各种工具箱设计了一个能分析整个系统性能的仿真系统.包括利用功率系统工具箱实现功率部分的仿真;通过编写自定义的S-FUNCTION实现各种复杂的控制算法;以及在SIMULINK环境下结合已有的各种工具箱实现系统的建模.最后给出了一个利用MATLAB对异步电动机直接转矩控制系统进行仿真的实例,为追求整体性能的提高提供了一个好的工具.     

用面向对象技术实现相关分离的双语言描述

介绍了一种新的形式化描述思想,即"相关分离"的思想,并分析了基于此思想的双语言方法,与传统的单一语言的描述技术相比,"相关分离"的思想和双语言方法更适合于分布式多媒体的描述.结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析,本文提出了一种以LOTOS/QTL或Esterel/QL为基础,融合面向对象技术的形式化描述方案,该方案可用于建立分布式多媒体系统的时间模型和同步模型.     

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.     

一种基于指数积公式的空间机械臂自标定方法

为了克服发射过程和在轨极端温度环境对空间机械臂末端位姿精度的影响,提出了一种基于指数积（POE）公式的空间机械臂运动学在轨自标定方法。该方法使用空间机械臂末端双目空间相机和棋盘式标定板测量空间机械臂末端位姿实际值。根据关节旋量理论值和实际值之间的伴随变换关系建立了空间机械臂实际运动学模型,对运动学模型取微分建立了线性化的运动学误差模型,给出了基于最小二乘法的运动学标定模型。进行了7自由度空间机械臂运动学自标定仿真,仿真结果表明运动学标定过程能快速收敛到稳定值,标定后空间机械臂末端位姿精度有明显提高。      

MPEG音频标准技术与发展

MPEG(Moving Pictures Experts Group)系列标准由ISO/IEC制订,是计算机多媒体应用最广泛的国际标准之一.MPEG音频作为标准的重要内容,其发展经历了内容表示、内容描述以及互操作应用框架等阶段.然而,作为支撑技术,更高效的编码方法和更精确的描述手段仍然是当前研究工作的重点.综合分析了MPEG系列标准中音频技术的现状,并提出和讨论了进一步研究中需要解决的若干技术问题.      

生物智能型算法在信道分配策略中的应用

由于同步轨道卫星通信的传输时延较长,因此该类卫星对动态信道分配算法的延时性能非常敏感。针对宽带多媒体通信卫星的动态信道分配问题建立数学模型,并且使用生物智能型算法进行求解。仿真结果表明,与传统的分支定界法相比,采用生物智能型算法求解动态信道分配问题,其延时性能提高47%,并能得到更为高效的信道分配方案。     

基于H.323协议的分布式网守研究

基于H.323协议的视讯会议系统的可扩展性与网守(GK,Gatekeeper)结构密切相关.提出了一种多区域分 布式网守架构, 提供了多媒体视讯会议系统在大规模网络部署的方案.这种分布式结构不仅 克服了集中式和分层式模型的缺点,还很好地解决了网守之间的负载平衡问题.终端之间的 跨区域通信通过基于别名规则的信令消息路由方法来实现,网守通过扩散和逆向学习法自动 生成信令消息散列表.考虑到网守之间的负载平衡问题,本架构在区域内采用集中式管理模 型,并提出了基于负载因子最小平衡算法(BLFA,Balancing Load Factor Algorithm)的网守负载平衡解决方案.      

超高速流动模拟及热化学反应模型对比研究

超高速流动是飞行器再入大气层时所面临的高速高温流动环境,膨胀管是少数几种能模拟超高速流动的地面设备之一。采用数值模拟方法对超高速试验进行辅助分析诊断,流动模拟时热化学反应模型的选择对流场特性影响较大,分别选择5组分、11组分热平衡及5组分热非平衡模型,对比研究3种不同热化学反应模型对双楔试验模型数值模拟结果的影响,以进一步评估超高速流动模拟时热化学反应模型的适用范围。结果表明,试验气流条件下5组分化学模型即可满足要求,加速气流条件则必须采取11组分化学模型,而对于流动中热非平衡效应显著时,热化学非平衡模型更为适用。     

分布式多媒体系统模型与传输控制算法的研究

作为分布式多媒体系统通信与表现控制研究的基础,提出分布式多媒体系统整体模型DMISIM(Distributed Multimedia Information System Integrated Model),将分布式多媒体系统抽象为3元组——多媒体同步时间单元SIU(Synchronization Interval Unit)、通信信道以及信道与SIU序列之间的一一映射关系．模型描述多媒体信息和通信网络的静态属性,反映系统通信传输的动态过程．基于DMISIM,对分布式多媒体通信传输控制机制进行研究,提出最小偏差调度算法MDSA(Minimum Deviation Scheduling Algorithm)作为古典列表调度算法CLSH(Classic List Scheduling Heuristic)的改进．理论分析和逻辑推导证明,在不增加算法时间复杂度,不降低多媒体同步表现质量的同时,算法提高了系统目的端缓冲区利用率,降低了缓冲区需求及多媒体数据溢出的可能性．算法与底层通信传输机制无关,可以广泛应用于分布式多媒体系统的通信传输过程中．