排序方式: 共有11条查询结果,搜索用时 15 毫秒
1.
模态(Mode)表示的是软件可操作配置的状态,在一个或多个模态内可对资源和属性进行重新配置,即重构。目前,在对VxWorks系统下C程序的AADL架构进行模态的提取和蓝图制定过程中,还没有现成的工具。因而,设计一个基于AADL架构的软件重构工具将给软件架构的重构提供更大的帮助。为了搭建起基于AADL架构的软件重构可扩展工具平台,在Eclipse开源开发环境下,设计了SRM2( Software Reconfiguration Middlcware based on Mode)插件工具。SRM2工具主要完成对C程序的AADL架构的扫描进而描述程序架构的静态蓝图信息,以及结合代码(探针设计和植入)在VxWorks系统下的运行信息生成动态蓝图,从而指导软件的重构。 相似文献
2.
3.
4.
5.
基于模态的嵌入式软件动态重构技术研究 总被引:1,自引:0,他引:1
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。 相似文献
6.
7.
为了加强足球机器人仿真5V5比赛前场的进攻,文章以增强进攻队员之间的动态协作配合为出发点,设计了"3+1"的前场进攻队形及其控制算法.该队形以当前小球位置为核心,根据小球位置计算出当前机器人应该抢占的卡位点;通过对每个机器人进行角色分配,进而使机器人在适当时机做出相应的进攻动作.仿真结果表明,加入"3+1"进攻队形控制后的策略在射门成功率、前场截球能力及防守能力上都有了较大改善. 相似文献
8.
飞行试验实时监控软件平台的运行效率直接影响着飞行试验过程管理的高效性。在实时数据解算服务器的基础上,配置站点服务器及DNS服务器,构建站点式飞行试验实时监控软件平台,利用交互式页面设计及网络数据库管理技术,提高实时监控软件平台的管理及维护效率,改善监控软件的用户交互模式。实现了监控组件在站点式软件平台下“访问部署、链接监控”的目的,从而简化了飞行试验监控工作环节,有助于缩短型号科目试飞周期。 相似文献
10.
针对试飞数据分析结果进行可视化输出可以提高试飞科目的评判效率。将试飞数据分析结果进行结构化存储,采用列模式内存对齐方式,提高单个参数的检索查询及图形输出操作效率;对C+ builder标准组件类属性及方法进行扩充,实现对常规和特殊定制结果曲线图的绘制导出;利用进程调用方式,融合Matlab平台GUI应用程序和算法库,扩展软件交互功能。以实现对试飞数据分析结果的可视化输出。 相似文献