陈铭松
教授
湖南红船科技有限公司
基本信息
- 姓名
- 陈铭松
- 单位
- 湖南红船科技有限公司
- 职称
- 教授
- 学科
- 省份
- 湖南省
- 性别
研究领域
- 研究方向
- 研究简介
- 主要从事信息物理融合系统、形式化方法与可信软件研究，聚焦于交通信号优化、列车控制系统安全验证、智能建筑能效调度等关键应用。方法上以时间自动机、统计模型检验等为工具，结合特征融合与鲁棒性提升技术，解决不确定环境下系统建模、评估与优化问题。同时关注云计算资源分配、多处理器任务调度及GUI测试等方向，强调理论与工程实践的融合。
- 荣誉标签
教育经历
学术成果
- 论文数量
- 6
- 专利数量
- 5
- 项目数量
- 11