Ada语言

摘要： Ada语言是欧洲铁路标准EN50128:2011强力推荐的开发语言之一.本文结合EN50128的相关要求,从强类型、指针的使用、编译方式、可靠性、易读性和易维护性等方面,阐述了与传统语言C/C++相比,Ada语言在铁路信号系统开发领域中的优势,并指出其存在的一些局限性.

摘要： 为指导软件开发与测试人员有效开展单元测试活动,提高软件测试效率,文章以Ada语言软件单元动态测试为例,重点阐述了如何利用VectorCAST测试工具进行Ada语言软件单元动态测试的技术与方法,主要包括Ada语言软件单元测试环境的构建、桩函数设置、测试用例的编制与执行、覆盖率统计以及回归测试方法等关键内容。从各项测试工作分配比例和千行代码测试工作耗时两方面的比较分析结果表明,采用本文测试方法进行千行代码测试,其测试时间可节省23 h,测试效率提高约22%。

摘要： 简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试.通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考.

摘要： Ada属于一种强类型通用程序设计语言，它比较适用于大型的复杂软件系统，尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限，为了实现更多的功能，提高卫星的使用率，对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要，通过对Ada语言重用性技术方法研究以及其实际应用介绍，能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。%Ada language is a kind of strong type language about program design. It applied to complicated software system ,espe-cially to real time and embedded system. It is applied to the satellite design more and more. Because of the capacity is limited in the satellite chip,the reusability of the code became to be very important. It’s necessary to research the reusability of Ada lan-guage. Then it would help the programmer to attain more functions with smaller codes.

摘要： 基于模型驱动架构MDA方法,对AADL进行了研究,提出了AADL模型元素同ada语言元素之间的映射规则,开发了AADL模型的ada代码自动生成器Generator-ada,最后以实例证明将AADL模型自动转换为可执行的ada代码的有效性.

摘要： Ali文件是Ada编译工具生成的文本文件.该文对M1750 Ada编译器所生成的Ali文件作了具体的分析,并介绍了用于Ali分析的工具和Ali的应用,旨在供从事Ada编译器研究和Ada语言编码的工作者参考.

摘要： Ada语言源代码经编译器编译后生成一个后缀名为Ali的文本文件.该Ali文件中包含了丰富的有关Ada源代码的信息.该文剖析了由M1750 Ada编译器编译生成的Ali文件内包含的具体信息内容,并介绍了基于Ali文件的分析并结合Lex词法分析工具来实现ADA语言静态分析器的过程.

摘要： Ali文件是Ada编译工具生成的文本文件。该文对M1750Ada编译器所生成的Ali文件作了具体的分析，并介绍了用于Ali分析的工具和Ali的应用，旨在供从事Ada编译器研究和Ada语言编码的工作者参考。

摘要： 本书描述了如何将事务集成到并行面向对象程序设计，以及如何将事务在程序语言级开放给程序员。作者描述了现存的各种事务模型，分析了它们对于先行编程语言的支持度，并且引入了“开放多线程事务”模型。此模型不仅提供了控制程序对象和线程的特性，而且和程序的错误处理集成在了一起，从而达到容错的目的。本书还介绍了实现多线程事务模型的面向对象框架，并列举了Ada语言的程序实例。

摘要： GCC（GNU Compiler Collection）是可以用来编译C、C＋＋、面向对象C、Fortran、Java和Ada语言的一组编译器的集合，属于GNU的原始计划之一。3月1日，GNU发布了GCC4．1．0版，该版本是GCC的一个重大升级版本，变化很大，主要的新特性包括针对过程间优化的底层架构，以及一组优化实现，原先基于Bison的C和Objective-C解析器被替换为一个新的手写递归下降解析器。

摘要： 该文Ada语言一软件工程及面向对象技术的关系，着重介绍了Ada语言的发展特点及其在实时指挥控制系统中的应用与经验。

摘要： 该文Ada语言一软件工程及面向对象技术的关系，着重介绍了Ada语言的发展特点及其在实时指挥控制系统中的应用与经验。

摘要： 该文Ada语言一软件工程及面向对象技术的关系，着重介绍了Ada语言的发展特点及其在实时指挥控制系统中的应用与经验。

摘要： 该文Ada语言一软件工程及面向对象技术的关系，着重介绍了Ada语言的发展特点及其在实时指挥控制系统中的应用与经验。

摘要： ADA语言是军用标准语言，具有很高的可靠性，但在工程应用中可能会感到使用不够灵活，尤其在使用系统功能调用方面更为不便，因而影响了ADA语言的推广应用。本文结合工程实际，探讨一种把软件工程理论与ADA语言紧密结合，使ADA语言和操作系统灵活接口的工程方法。

摘要： ADA语言是军用标准语言，具有很高的可靠性，但在工程应用中可能会感到使用不够灵活，尤其在使用系统功能调用方面更为不便，因而影响了ADA语言的推广应用。本文结合工程实际，探讨一种把软件工程理论与ADA语言紧密结合，使ADA语言和操作系统灵活接口的工程方法。

摘要： 实时嵌入式系统对电子设备进行控制要求满足一定的时间要求这个特殊性决定着它对编程语言有一定的选择。Ada语言，特别是Ada95能够很好地支持实时嵌入式系统的开发并且还满足软件工程的要求。它是实时嵌入式系统，特别是大型实时嵌入式系统开发的首选语言。该文针对实时嵌入式系统的特点来结合Ada语言的特征阐述Ada语言对实时嵌入式系统开发的支持。

摘要： 实时嵌入式系统对电子设备进行控制要求满足一定的时间要求这个特殊性决定着它对编程语言有一定的选择。Ada语言，特别是Ada95能够很好地支持实时嵌入式系统的开发并且还满足软件工程的要求。它是实时嵌入式系统，特别是大型实时嵌入式系统开发的首选语言。该文针对实时嵌入式系统的特点来结合Ada语言的特征阐述Ada语言对实时嵌入式系统开发的支持。

摘要： 本发明提供了一种Ada语言用卫星遥测下行调度参数动态在线装订方法及系统，涉及卫星测控技术领域，该方法包括：步骤1：设计Ada语言星载嵌入式加载程序；步骤2：设计星载嵌入式综合电子应用程序；步骤3：设计第一地面软件模块；步骤4：设计第二地面软件模块；步骤5：设计能够根据步骤4生成的信息，将生成信息处理成Intel Hex语法内存结构布局，并生成符合被步骤1加载的文本信息流文件模块；步骤6：设计第三地面软件模块；步骤7：实现遥测下行调度参数动态装订以及验证。本发明能够降低软件变更成本，实现在有限存储资源下，卫星星载嵌入式Ada语言程序高灵活度和高可靠度的参数适配的有益效果。

摘要： 本发明涉及一种Ada编程语言的子程序规格化定义及调用方法，其采用把子程序的多个相同或不同类型的形式参数统一转化为一个形式参数，这个形式参数的类型为地址数组的访问类型，该访问类型相当于指针，该方法使子程序的定义得到统一；在子程序调用时，由于所有子程序使用的是统一的规格化的子程序定义。本发明取得了子程序调用可灵活替换效果，且与具体软件运行平台无关，具有广泛的适用性。

摘要： 本申请公开了一种用于ADAS场景的目标检测模型微调方法及装置、电子设备及可读存储介质。该方法包括：采集ADAS场景下的原始数据集和增量数据集；在所述原始数据集中随机筛选出数据子集并与所述增量数据集混合，以作为微调数据集；将所述微调数据集输入预设目标检测模型进行训练，并根据预设学习率微调算法和预设损失函数输出目标检测模型微调结果。本申请解决了相关技术中用于ADAS场景的目标检测模型由于模型微调过程效率不高导致目标检测效率不高的技术问题。通过本申请，能够实现对ADAS场景下的增量数据进行快速迭代训练，提高模型微调效率，并在保持精度的情况下对增量数据特征进行有效学习，进而提高了目标检测模型的检测效率。

摘要： 本发明提供了一种Ada语言用卫星遥测下行调度参数动态在线装订方法及系统，涉及卫星测控技术领域，该方法包括：步骤1：设计Ada语言星载嵌入式加载程序；步骤2：设计星载嵌入式综合电子应用程序；步骤3：设计第一地面软件模块；步骤4：设计第二地面软件模块；步骤5：设计能够根据步骤4生成的信息，将生成信息处理成Intel Hex语法内存结构布局，并生成符合被步骤1加载的文本信息流文件模块；步骤6：设计第三地面软件模块；步骤7：实现遥测下行调度参数动态装订以及验证。本发明能够降低软件变更成本，实现在有限存储资源下，卫星星载嵌入式Ada语言程序高灵活度和高可靠度的参数适配的有益效果。

摘要： 本发明涉及一种Ada编程语言的子程序规格化定义及调用方法，其采用把子程序的多个相同或不同类型的形式参数统一转化为一个形式参数，这个形式参数的类型为地址数组的访问类型，该访问类型相当于指针，该方法使子程序的定义得到统一；在子程序调用时，由于所有子程序使用的是统一的规格化的子程序定义。本发明取得了子程序调用可灵活替换效果，且与具体软件运行平台无关，具有广泛的适用性。

摘要： 本申请公开了一种应用于ADAS产品的风险容错方法和装置。其中，该方法包括：获取商用车的状态，商用车为采用了高级驾驶辅助系统ADAS的车辆；从风险策略库中查找到与所述商用车的状态匹配的目标触发条件的情况下，执行与所述目标触发条件匹配的风险规避策略，可以解决相关技术中商用车存在安全隐患的技术问题。

摘要： 本发明涉及汽车技术领域，公开了一种ADAS(Advanced Driver Assistance Systems)测试软碰撞目标平台车的车轮缩回装置，该装置包括车架固结块、可伸缩摆臂和摇臂，所述可伸缩摆臂与车架固结块铰接，所述摇臂中部与车架铰接且两端分别与车轮和可伸缩摆臂铰接；通过该装置，能使车轮在目标平台假车受到碰撞时自动缩回车体内部，使得具有更大机械强度且表面平整的车体底板与地面接触，避免车轮子系统受损。

摘要： 本发明公开一种智能车载ADAS双目摄像头，包括摄像头主体、双面胶和挡板，摄像头主体上端通过双面胶与挡板进行连接，所述摄像头主体四周皆开设有第二弹簧槽，且第二弹簧槽皆内嵌有拉杆，所述拉杆表面皆套设有第一弹簧，且第一弹簧两侧分别抵接在拉杆表面和第二弹簧槽内壁上；通过拉杆在第二弹簧槽内移动，使拉杆通过连接板带动扣板插入卡槽内，从而对挡板进行加固，避免挡板长期使用后，双面胶不再对挡板和摄像头主体进行黏合，提高装置的稳定性，同时防护板通过套杆挤压第二弹簧，第二弹簧发生弹性形变，第二弹簧对受到的撞击力进行缓冲，从而对防护板对挡板前端进行保护，避免碎屑刮伤挡板，提高装置的安全性。

摘要： 一种汽车玻璃窗，设置用于接收红外辐射的入口(32)，以及一种汽车玻璃窗(40，50)，在玻璃窗一侧的红外照相机和玻璃窗另一侧的照相机视场之间限定针对红外辐射的开放路径。

摘要： 在一个实施例中，机械高级驾驶员辅助系统(ADAS)校准器系统包括目标夹具、多个轮支座和至少一个ADAS目标，该ADAS目标被配置为安装到目标夹具。ADAS校准器系统还包括铅锤和当所述多个轮支座中的至少一者安装到车辆的至少一个轮时可在目标夹具和铅锤之间延伸的卷尺。