基于SDL Multiterm的航空科技术语管理

航空科技术语具有高度的专业性、复杂性和规范性,而使用优秀的术语管理工具可确保航空科技术语得到有效管理,提高翻译的准确性和一致性。相比传统方法,目前基于翻译技术的现代术语管理方法更具效率且更为灵活。其中SDL Multiterm作为一款优秀的现代术语管理工具,在提升术语管理效率方面具有较为显著的效果。文章基于SDL Multiterm工具并结合实际操作案例探讨航空科技术语的管理,以期助力航空科技翻译工作,提高航空科技翻译的质量。

SDL安全开发流程在软件开发中的应用

无论是航天飞机、人造卫星等尖端科技,还是煤炭、电力、港口等传统行业都离不开软件开发的建设,软件安全问题也是广泛存在,并且造成的影响有时候不可估量。软件安全问题究其根本在于软件本身存在安全漏洞并面临外部安全威胁,为了应对严峻的软件安全问题,国内外一直在研究软件安全管理、全开发流程等。本文通过在传统的软件项目开发流程中,引入SDL安全开发流程,提高软件产品安全质量,降低软件安全隐患。

深度学习的概念、策略、效果及其启示——美国深度学习项目(SDL)的解读与分析

在信息技术飞速发展和国际竞争日益激烈的今天,学校到底应该培养什么样的人?21世纪究竟需要什么样的人才?美国威廉和弗洛拉·休利特基金会与美国研究院合作开展的深度学习项目(SDL)对以上问题给予了回答。在概述SDL研究背景和研究设计的基础上,从核心概念、促进深度学习的策略和途径、深度学习的效果三个维度进行了介绍与解读。SDL研究对我国深度学习研究具有以下五点启示:需要充分把握与理解深度学习的内涵和目标;加强促进深度学习的策略和途径研究;注重课堂教学层面的深度学习实践研究;强化一线教师深度学习理论培训以及国家层面在政策上给予支持等。

动画剧本描述语言SDL／A的设计与实现

本文介绍了基于时序逻辑的动画描述模型和基于此模型设计的动画剧本描述语言ＳＤＬ／Ａ．这种语言具有便于动画设计各个层次的描述、能够描述设计的逐步求精过程、能描述动画中的各种抽象对象以及角色间动作的同步等特点，并易于将这种基本的通用的剧本描述语言集成到一个功能强大的ＣＡＳＥ环境－ＸＹＺ系统之中．

基于SDL语言的通信协议系统设计方法

SDL语言是软件工程中的系统功能结构的描述语言方法。该文讨论了SDL语言的基本概念,特别是SDL对通信协议工作机制和过程的形式化分析及表示,分析了对电话语音查询系统的协议流程和工作机制的应用,为通信协议的设计和仿真、测试提供了一种有效的方法。

MPLS路由协议的SDL设计与实现

简要介绍了现有的OSPF协议,并提出了含有流量参数特性的改进OSPF协议,使其成为MPLS路由协议一种较好的选择。针对MPLS主干网络的特点简化了改进的OSPF协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果。

SDL程序与Win32平台的集成

分析了SDL与操作系统平台集成的原理,提出了SDL程序与Win32平台集成的一般处理方法,最后结合实例对SDL与Win32集成的实现细节和要点进行了阐述。

基于FFmpeg和SDL实现多路实时流变换及播放

针对现有不同采集设备的实时视频流采集、解码和播放,以及对大场景监视和多路多画面监视的需求,提出结合FFmpeg跨平台视频方案、SDL多媒体开发库、SDL_gfx扩展库以及多线程编程技术的整体解决方案,实现基于实时流传输协议(RTSP)的多路网络视频流实时播放,并可对各路视频进行旋转、放大、仿射变换等操作。由于采用了SDL多媒体开发包及扩展库、FFmpeg视频方案等技术,因此该软件的跨平台可移植性和兼容性较高,并且该软件使用RTSP协议,在监控方面能够达到实时效果。

SDL形式语义定义现状及其改进

SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。

基于子带SDL的宽带自适应波束形成

针对宽带波束形成通常需要大量阵元或延迟线所带来的硬件开销较大,波束形成效率相对较低的问题,提出一种基于子带阵元延迟线(SDL)的宽带自适应波束形成算法。该算法首先建立子带SDL模型,然后利用分析滤波器组将阵元接收的宽带信号分解为子带信号并进行相应的子带线性约束最小方差(LCMV)波束形成,最后通过综合滤波器组得到全带的波束形成。仿真结果表明,子带波束形成不仅具有比全带波束形成更高的效率,更好的频率不变性,更强的抗干扰能力及更快的收敛速度,而且可以大大降低硬件开销。

融入安全的软件开发方法SDL的研究

将SDL(Security Development Lifecycle)的开发过程的13个活动划分成了5个过程,并对5个过程中的各个活动作了详细描述,同时对每个过程的安全性作了分析。通过与传统的开发模式的对比,体现出SDL在软件开发方面更高的安全性,最后引入了微软在实践中成功应用SDL的案例来说明SDL较高的实际应用价值。

基于SDL的DSRC协议设计

专用短程通信(DSRC)技术是专用于智能交通系统(ITS)领域的短距离无线通信技术,DSRC协议的设计是DSRC技术中的核心内容。该文设计了DSRC协议的三层体系结构,提出了使用SDL语言进行协议设计的方法。协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。

基于UML和SDL的实时通信软件建模方法

1 引言 早期的实时通信软件使用结构化的方法来进行分析设计.由于采用结构化方法分析设计的软件系统在可重用性、可修改性等方面的局限,研究人员逐渐开始尝试着使用面向对象的方法来分析和设计实时通信软件.面向对象的分析方法使用直观的面向对象的概念(如类、继承、聚合、相联等)来描述现实世界中的对象,其优势是可以从总体上理解和把握问题,不用事先给出关于目标软件系统的完整、一致和无歧义的描述,目标软件系统的细节问题留到设计和实现阶段去解决.

SDL软件设计技术研究

研究了SDL语言及SDL系统的基本结构,分析了如何运用SDL进行协议软件的开发,给出了SDL与嵌入式操作系统VxWorks进行集成应用的方案。SDL语言是CCITT推荐的规格与描述性语言,描述实时、交互式和分布式系统的行为。研究结果对SDL在电信领域的应用有一定的参考价值。

基于SDL的H.264流媒体播放系统

针对目前广泛使用的H.264标准,设计了一种基于SDL和ffmpeg的流媒体播放系统.将经过RTP封装的流媒体信息解除封装处理后,利用ffmpeg良好的解码能力对数据进行解码,之后再利用SDL优异的视频性能进行实时显示,并同时将流媒体数据保存在本地以供随时调用.实验证明,该播放系统解码播放的实时性出色,画质良好,此外凭借ffmpeg和SDL的跨平台特性,系统具有良好的移植性和拓展性,适用于嵌入式设备和手机平台.

基于FFMPEG和SDL的遥测视频解析技术

在飞行试验中,视频数据是试飞测试数据中的重要组成部分。视频实时监控是保障试飞安全的重要环节。为解决机载多路遥测视频实时监控的问题,提出了基于FFMPEG和SDL的遥测视频实时解析方案。通过UDP组播协议接收PCM遥测视频数据包,经过解包,拼成完整的一帧视频图像,采用FFMPEG进行视频解码并利用SDL进行显示。首先介绍了遥测视频PCM帧格式,重点介绍视频数据包解析方法,然后论述了FFMPEG和SDL对视频流进行解码与显示的流程。软件采用模块化、多线程并发和多缓冲区设计思路,提高处理效率,保证视频监控的实时性和功能的可扩展性。目前该软件已成功应用于多个型号任务视频实时监控中,实际应用效果表明该软件工作稳定,实现了多路视频图像的解析与显示,能够满足型号试飞需求。

SDL在空间通信协议开发中的应用

针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。

SDL协议的研究与应用设计

针对 SDL协议中存在的问题 ,对其协议机制进行了研究和改进 ,增强了承载不同网络协议的通用性 ,提高了网络自身纠错能力 .研究了头部 CRC检错和纠错问题 ,以及 MPL S标签在SDL协议中的应用问题 ,给出了一种头部 CRC纠错及 MPL S标签在 SDL协议中的使用方法 .最后提出了一种能够识别 MPL S标签的

将UML模型转换成SDL模型的方法

提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。

SDL 的一阶谓词表示法及其应用

SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 SDL/PR.本文提出 SDL 的一阶谓词表示法,称之为 SDL/FOP.它可以用于 SDL/GR 输入后的内部表示形式.本文还给出一些例子,描述如何运用谓词演算构造处理 SDL/FOP 的工具.