基于CPS的海洋信息智能系统控制软件设计的一致性验证技术研究

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 基于胞外聚合物分泌-络合-转化过程的沼泽红假单胞菌改良盐碱稻田的生态机制研究（国自然，张雨，2025）
• 多因素耦合作用下韧性C/G-HFRP筋拉伸疲劳损伤演化机理（国自然，张雨，2025）
• 干热岩裸眼井壁亚临界裂隙扩展与时滞性失稳机理研究（国自然，张雨，2023）
• 自愈合水凝胶体内降解行为及其对骨再生促进机制的研究（国自然，张雨，2021）
• 贸易摩擦对全球产业链转移的影响及对策研究（国社科，张雨，2020）
• 抗病基因调控结瘤固氮植物免疫与共生的遗传演化机制研究（国自然，张雨，2020）
• 芸薹属植物抗病基因的进化及表观遗传调控（国自然，张雨，2017）
• 华裔美国文学中的中国文化流变研究（国社科，张雨，2017）

海南大学其他项目

• 流动性视角下候鸟老人地方认同建构与社会空间效应研究（国自然，刘海洋，2026）
• 新能源汽车焕新背景下企业数智软件运营决策研究（国自然，曹开颖，2026）
• 旅游企业回复OTA负面评论的隐喻语言效应：类型匹配、心理机制及边界条件（国自然，胥兴安，2026）
• 区域发展战略的资源环境效应研究——以海南自贸港建设为例（国自然，熊昌盛，2026）
• 虚实融合环境中的消费者决策机制：基于写实与增强示能性的双路径视角（国自然，徐嘉泓，2026）
• 非常规事件下旅游情境化信息需求预测分析及动态可适应性服务模式时空共轭演化研究（国自然，胡涛，2026）
• 旅游定向广告信息框架的次序效应：类型匹配、作用机制及边界条件（国自然，王立磊，2026）
• 集体经营性建设用地异地调整入市的福利差异及均衡发展研究（国自然，焦嫚，2026）

软件理论、软件工程与服务学科其他项目

• 融合业务过程和物联大数据的服务抽象与编程机制研究（国自然，韩燕波，2020）
• 回归缺陷链的恢复、分析与预测研究（国自然，肖冠平，2020）
• 智能化符号执行方法研究（国自然，张羽丰，2020）
• 基于持续度量的软件体系结构追踪与重构关键技术研究（国自然，莫然，2020）
• 数据驱动的软件持续演化方法和技术研究（国自然，余萍，2020）
• 多源数据驱动的不可重复构建问题定位与修复研究（国自然，任志磊，2020）
• 面向多模态监控数据的微服务无监督异常检测与定位（国自然，裴丹，2020）
• 基于蜕变关系的编译工具链缺陷检测技术研究（国自然，杨已彪，2020）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• Frontiers in Virtual Reality（IF 3.900，JCR Q2）
• Proceedings of the ACM on Programming Languages-PACMPL（IF 3.300，JCR Q2）
• Proceedings of the ACM on Computer Graphics and Interactive Techniques（IF 3.100，JCR Q2）