设为首页
网站地图
帮助
手机版
登录
注册
搜索
地市：
行业：
返回首页
搜索结果
新产品
新技术
企业
合作（49）
公共服务
资讯
知识
安全关键软件测试与验证环境TesVESS
关键字：
安全关键软件
所属行业：
电子信息
发布时间：
2015-09-09
价格：
所在地区：
湖南 长沙
合作信息期限：
2016年4月
合作信息类型：
意向合作
机构类型：
高等院校
供求关系：
供应
合作信息简介：
成果名称：安全关键软件测试与验证环境TesVESS 成果简介 TesVESS是一个安全关键软件的测试与验证环境，能够从软件分析和设计阶段开始对软件的可靠性和可靠安全性进行保障。它以软件分析和设计模型为基础，有效地融合了安全关键性质的模型检验、针对安全关键性质的测试用例生成、安全关..
发布机构：
湖南长沙国防科技大学科研部
天翔信息栅格软件系统
关键字：
栅格软件系统
所属行业：
电子信息
发布时间：
2015-09-09
价格：
所在地区：
湖南 长沙
合作信息期限：
2016年3月
合作信息类型：
意向合作
机构类型：
高等院校
供求关系：
供应
合作信息简介：
成果名称：天翔信息栅格软件系统 成果简介 天翔信息栅格软件系统是拥有完全自主版权的网格系列软件，由通用数据管理系统GridDaen、通用数据库集成系统GridDaen-EDS和通用网格信息监控系统GridEye等三个子系统组成。 GridDaen是国内最早实现的通用数据网格原型系统。它能够统一管..
发布机构：
湖南长沙国防科技大学科研部
工业过程仿真支撑系统软件
关键字：
仿真支撑
系统软件
所属行业：
电子信息
发布时间：
2015-08-05
价格：
所在地区：
福建 厦门
合作信息期限：
2016年8月
合作信息类型：
意向合作
机构类型：
高等院校
供求关系：
供应
合作信息简介：
成果名称：工业过程仿真支撑系统软件 成果拥有单位：厦门大学 成果简介： 本软件是工业先进控制系统通用组态软件的仿真版本，采用独创的模型组合技术和算法组合技术设计，配以强大的模型库和算法库，解决了复杂公式模型输入和复杂系统生成的难题;全套软件由两大平台--课件组态平..
发布机构：
厦门大学
图像绘画风格化系统
关键字：
图像
绘画
风格化
软件
所属行业：
电子信息
发布时间：
2015-07-20
价格：
所在地区：
北京 海淀区
合作信息期限：
2016年12月
合作信息类型：
意向合作
机构类型：
高等院校
供求关系：
供应
合作信息简介：
成果名称：图像绘画风格化系统 成果简介： 图像绘画风格化系统借助计算机将图像转化为具有指定绘画艺术效果的图像，实现自然图像的艺术化绘制和呈现，满足大众对艺术等精神文化方面的需求。该系统不仅实现了多种类型的绘画风格化（如点化派、印象派等）的自动生成方法，而且能够根据用户对不同..
发布机构：
北京理工大学
实时嵌入式软件分析与测试工具——ATRES
关键字：
ATRES
所属行业：
电子信息
发布时间：
2015-07-20
价格：
所在地区：
福建 厦门
合作信息期限：
2015年12月
合作信息类型：
意向合作
机构类型：
高等院校
供求关系：
供应
合作信息简介：
成果名称：实时嵌入式软件分析与测试工具——ATRES 成果拥有单位：厦门大学 成果简介： 实时嵌入式系统是一个具有实时与并发特性的系统，其系统运行的不确定性给开发人员的调试与测试带来很大的障碍。针对这个问题，本项目旨在开发一套实时嵌入式软件的分析与测试工具(Analysis and Testing..
发布机构：
厦门大学
共
10
页 总数：
108
条
上一页
..
.
3
4
5
6
7
.
..
下一页
设为首页
|
关于我们
|
会员服务
|
友情链接
|
联系我们
中国·广西工业创新促进会 ©版权所有 桂ICP备14000625号-2