一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法
技术简介： 一种基于MARTE建模语言和Theme方法的嵌入式系统建模方法，步骤10：根据嵌入式系统的需求说明书分析实体和采用的Theme；步骤11：确定最终的类和实体；步骤12：确定最终的Theme；步骤13：确定时间…… 查看详细 >
一种基于模型转换由QVT‑R语言生成midCore脚本的方法
技术简介： 本发明基于模型转换由QVT‑R代码生成midCore脚本的方法，步骤1对QVT‑R语言进行设计和裁剪；步骤2获取符合步骤1规则面向数据转换的QVT‑R代码；步骤3通过Xtext为QVT‑R语言建模，构建编辑器、解…… 查看详细 >
技术简介： 本发明公开了一种显式地进行计算环境描述的方法。本发明在运行时基于用户的动作组织环境数据作为上下文的方法，为此，首先部署能对环境要素进行感知和影响的基础设施，以及感知用户动作的服务，…… 查看详细 >
技术简介： 本发明的自动合成常用循环的摘要并生成程序规约的方法，包括步骤：1.生成待验证程序的抽象语法树；2.分析步骤1生成的抽象语法树来生成程序语句的摘要；3.对步骤2中生成的摘要进行分析生成程序语…… 查看详细 >
技术简介： 本发明是在虚拟机管理器中动态无侵的应用进程函数调用监控方法，包括函数调用触发器插入算法、触发器代码的构造。在需要监控的时候，从被监控的应用程序的函数的入口地址开始处根据函数调用触发…… 查看详细 >
技术简介： 本发明提供一种实时嵌入式系统的仿真方法，首先读取XMI文档并将其元素划分为类图元素集合和序列图元素集合。然后将类图元素集合转换为C++代码。在类图的C++代码的基础上，再将序列图元素集合转…… 查看详细 >
技术简介： 本发明提供了一种基于网络感知的虚拟机调度与再调度方法,包括虚拟机初次调度与再调度。初次调度首先获取当前数据中心的状态,判断有无初始通信矩阵，根据有无初始通信矩阵来选择是否进行初次进行…… 查看详细 >
技术简介： 本发明涉及一种可重构专用处理器核的周期精确的仿真模型，基于SystemC周期精确模型，包括控制模块，发出配置参数，用于控制与所述模型外部的交互以及模型内部的各模块的工作状态；传输模块，接…… 查看详细 >
技术简介： 本发明属于高性能地理计算领域，公开了基于OGR的shapefile文件主从式并行写方法。其步骤为：步骤1：输入命令行参数;步骤2：串行的方式创建shapefile目标数据源和图层文件，关闭目标数据源文件；…… 查看详细 >
技术简介： 本发明涉及一种基于软件主体的环境探知平台系统及其环境探知方法，该系统安装在每一个网络计算机节点，包括基础通讯模块、软件主体运行管理模块、环境信息分发模块和集成命令处理模块。其通过在…… 查看详细 >
技术简介： 本发明公开了一种基于抽象格结构的异步普适计算环境感知方法。在异步的普适计算环境中，传感器设备收集环境信息，并发送给信息处理基站，局部区域的信息处理基站将环境信息封装为局部状态，并发…… 查看详细 >
技术简介： 本发明涉及可重构专用处理器核的功能模拟器，包括：对外接口模块，模拟可重构专用处理器核内部寄存器组和内部SRAM的功能，接收需要模拟的配置指令，根据所述配置指令解析得到的任务信息，并将所…… 查看详细 >