科研专业方向
研究领域：
基础软件
研究方向：
导航、制导与控制，可靠飞行控制，软件可靠性与测试，软件控制论
蔡教授
副教授
B类
北京北京市
科研重点分布
近年科研重点
2009
插桩 软件测试 飞行控制软件 实时性2010
飞行控制软件 覆盖测试 插桩科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用：12
数学：3
自动化技术：2
航空航天科学与工程：1
非线性科学与系统科学：1
总数:
19
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 北京空间飞行器总体设计部 | 2 |
| 北京工商大学人工智能学院 | 1 |
| 中南大学计算机学院 | 1 |
| 北京科技大学计算机与通信工程学院 | 1 |
| 南京大学计算机科学与技术系 | 1 |
| 浙江大学智能信息研究所 | 1 |
| 海军工程大学管理工程系 | 1 |
| 中国人民解放军68127部队 | 1 |
| 中国人民解放军防化指挥工程学院 | 1 |
| 南京大学 | 1 |
| 中国科学院数学与系统科学研究院 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 模糊集的严格δ-等式 | 国家自然科学基金资助项目 |
| Takagi-Sugeno模糊模型的可辨识性问题 | 国家自然科学基金资助项目 |
| 构件软件的测试问题综述 | 国家863高科技发展计划资助项目 |
| 网络服务可靠性与运行剖面变化率有关吗 | 国家自然科学基金重点项目 |
| 飞行控制软件测试中插桩技术的优化方法 | 国家自然科学基金资助项目 |
| 飞行控制软件测试中的插桩技术 | 国家自然科学基金资助项目 |
| 软件测试的控制论方法 | 国家杰出青年科学基金 |
| 软件测试的控制论方法 | 国家 863计划 |
| 软件测试的控制论方法 | 航空科学基金 |
| 软件可靠性分析、测试与评估工具——SRATE介绍 | 国家863高科技研究发展计划资助项目 |
| 基于构件软件的可靠性分析技术—FTA | 国家863高技术研究发展计划项目 |
| 基于构件软件的可靠性分析技术—FTA | 航空科学基金项目 |
| 基于Bayes网的软件失效预测模型 | 国家杰出青年科学基金 |
| 基于Bayes网的软件失效预测模型 | 国家攀登计划资助 |
| 构件软件系统的可靠性评估模型简介 | 国家八六三计划资助项目 |
| 构件软件系统的可靠性评估模型简介 | 航空基础科学基金资助项目 |
| 构件软件系统的可靠性评估模型简介 | 国家自然科学基金重点资助项目 |
| 软件关联缺陷的一种检测方法 | 国家自然科学基金 |
| 软件关联缺陷的一种检测方法 | 航空基础科学基金~~ |
展开全部
荣誉&成就
“蔡氏模型”
科研成果
- 期刊论文
- 技术成果
- 专利
面向复杂系统健康评估的若干思考
软件可靠性评估的控制论观点
飞行控制软件测试中插桩技术的优化方法
飞行控制软件测试中的插桩技术
网络服务可靠性与运行剖面变化率有关吗
数据流频繁闭集的在线挖掘
基于重要抽样法和神经网络的模糊鲁棒性分析
软件可靠性分析、测试与评估工具——SRATE介绍
软件关联缺陷的一种检测方法
混合H2/H∞参数辨识
模糊集的严格δ-等式
Takagi-Sugeno模糊模型的可辨识性问题
基于构件软件的可靠性分析技术—FTA
基于Bayes网的软件失效预测模型
构件软件系统的可靠性评估模型简介
一种新的模糊推理方法
构件软件的测试问题综述
软件测试的控制论方法
计算机集成制造系统中的可靠性
高可信嵌入式软件系统典型案例研究及试验验证环境设计
复杂系统可靠性若干理论与方法研究
复杂系统可靠性理论研究
一种基于相位相关和光流法的多旋翼速度测量方法
一种基于特征点匹配和光流法的多旋翼速度测量方法
一种视觉传感网络的快速通用标定方法
一种终端迭代学习对接控制方法
一种基于流函数的绕物流场建模方法
一种基于终端迭代学习控制的抗干扰自主对接控制方法
一种基于数据拟合的流场受力分析方法
一种抑制柔性拖拽系统末端摆动的控制方法
一种测量小型飞行器转动惯量与惯性积的方法
覆盖表约简的方法及系统
一种基于率模可靠性理论的航天器健康评估方法
基于率模可靠性理论的航天器健康评估中隶属度计算方法
一种移动式液态危险化学品分装装置及分装方法
软件动态聚类测试方法
软件关联缺陷检测方法
软件自适应测试方法
展开全部
数据信息来源于网络，若有侵权请联系客服