登录    注册    忘记密码

北京科银京成技术有限公司 收藏

导出分析报告

研究主题:存储介质    操作系统    计算机    目标机    嵌入式系统    

研究学科:自动化类    电子信息类    航空航天类    经济学类    

被引量:56H指数:4EI: 1 北大核心: 7 CSCD: 8

-

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
排序方式:

156 条 记 录,以下是 1-10

代码自动插装技术的研究与实现 ( EI收录)
1
《电子科技大学学报》电子科技大学计算机科学与工程学院;北京科银京成技术有限公司成都研发中心 晏华 袁海东 尹立孟  出版年:2002
介绍了代码插装技术的应用背景比较了手工和自动两种代码插装方式重点分析和比较了代码自动插装在编译过程中各阶段实现的可行性和思路提出在编译预处理和编译阶段之间增加一个CPU无关的编译预处理文件且具有代码自动插装功能的语法词法...
关键词:覆盖测试  代码插装 软件工程 软件测试
基于UPPAAL的AADL模型可调度性验证
2
《计算机应用》西南交通大学信息科学与技术学院;北京科银京成技术有限公司成都研发中心;电子科技大学计算机科学与工程学院 刘倩 桂盛霖 李允 罗蕾  出版年:2009
国家自然科学基金重大研究计划项目(90718019);国家863计划项目(2007AA010304)
针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具...
关键词:体系结构分析设计语言  UPPAAL 可调度性 非抢占  
AADL模型的代码自动生成及集成技术
3
《计算机工程》电子科技大学计算机科学与工程学院;北京科银京成技术有限公司成都研发中心 陶勇 桂盛霖 马亮 尹立孟  出版年:2009
国家自然科学基金资助项目(90718019);国家“863”计划基金资助重点项目(2007AA010304)
体系结构分析设计语言(AADL)是一种基于模型驱动体系结构的建模语言,针对如何将AADL模型自动生成框架代码的问题,提出AADL模型元素同C语言元素间的转换规则,设计AADL模型转换为C语言框架代码的自动代码生成器Gen...
关键词:嵌入式软件 模型驱动体系结构 转换规则  代码自动生成
AADL模型代码自动生成技术研究
4
《计算机应用研究》电子科技大学软件学院;北京科银京成技术有限公司成都研发中心 刘雪琴 桂盛霖 罗蕾 罗惠琼  出版年:2008
国家自然科学基金资助项目(90718019);国家“863”计划资助项目(2007AA010304)
随着嵌入式系统在安全关键领域的广泛应用,必须采用现代软件工程的技术进一步提高其可信性,以保证人们的生命安全。基于模型驱动方法,对AADL(体系结构分析设计语言)模型的框架代码自动生成技术进行了研究,提出了从AADL模型元...
关键词:体系结构分析设计语言  建模工具  代码自动生成技术 映射规则
基于边缘检测的图像识别系统研究和实现
5
《电子世界》北京科银京成技术有限公司成都研发中心 刘林  出版年:2019
引言:计算机视觉(Computer Vision)是在数字图像处理的基础上发展起来的新兴学科;从信息处理的层面研究视觉信息的认知过程,研究视觉信息处理的计算理论和计算方法。它作为一门综合性的交叉学科,在航空航天、医学影像...
关键词:图像识别系统 边缘检测 视觉信息处理 数字图像处理 遥感信息处理 计算机视觉 新兴学科  认知过程  
CAN总线车载网络通讯组件的研究和实现
6
《微计算机信息》西南交通大学信息科学与技术学院;北京科银京成技术有限公司成都研发中心;电子科技大学计算机科学与工程学院 才红玉 李允 陈丽蓉  出版年:2010
本文提出了一种基于CAN总线的车载网络软件解决方案。该方案可将应用与网络协议分开,以便降低整车厂商对硬件供应商的依赖性,同时提高软件的复用性和可移植性。该方案主要包含两部分:一、静态配置编译器工具;二、网络组件。
关键词:车载网络 CAN总线 配置编译工具  网络组件
基于单调速率的可调度性判定改进算法
7
《计算机工程》西南交通大学信息科学与技术学院;北京科银京成技术有限公司成都研发中心;电子科技大学计算机科学与工程学院 徐建华 李允  出版年:2011
国家自然科学基金资助项目(90718019);国家"863"计划基金资助项目(2007AA010304)
在单调速率调度策略的基础上,提出一种改进的任务集可调度性判定算法。该算法通过设定时钟变量模拟调度过程中的系统时钟,在时钟变量值增长过程中,根据任务优先级从高到低的顺序,分析各个任务的截止时间限的满足情况,判定任务的可调度...
关键词:实时调度 单调速率  任务集  可调度性判定 时钟变量
指纹识别算法研究及实现
8
《计算机光盘软件与应用》中国海洋石油总公司科技发展部;北京科银京成技术有限公司 李宏中 叶强  出版年:2012
目前自动指纹识别技术已经进入到社会各个领域,图像的采取和指纹图像算法的研究和实现是指纹识别中的关键技术,指纹算法的研究推动了识别精度的提高。本文对指纹识别算法进行研究改进和实现。
关键词:指纹识别 图像采取  图像算法
基于工业总线采用IP实现统一建模的模块化网关技术
9
《科技创新导报》北京科银京成技术有限公司 郭建川 江启运  出版年:2018
工业现场层设备之间的信息互联互通是智能制造实施的重要前提,目前工业现场采用的测量和控制协议繁多,为用户工作造成了相当大的困难,也阻碍了工业互联网的推广进程。本文针对工业现场控制系统典型应用,在IEC 61987和IEC ...
关键词:工业网关  统一建模 IP化 协议转换
基于模型的嵌入式开发环境--LambdaMDE
10
《计算机应用》西南交通大学信息科学与技术学院;北京科银京成技术有限公司成都研发中心;电子科技大学计算机科学与工程学院 陆少鹏 桂盛霖 李允 罗蕾  出版年:2010
国家自然科学基金重大研究计划项目(90718019);国家863计划项目(2007AA010304)
面向嵌入式软件的开发工具目前正在从基于代码的传统开发环境向基于模型的开发环境发展。为此,研究了一个基于模型的嵌入式开发环境LambdaMDE,在LambdaPro的基础上集成OSATE和Simulink模型开发工具以及其...
关键词:模型方法  嵌入式软件 开发环境
已选条目 检索报告 聚类工具

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心