基本信息
views: 34
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
研究方向:
理论研究:
关键词包括需求工程,知识工程,形式化方法,信息物理融合系统,安全攸关系统,AI,具体来说,包括:
(1)基于环境建模的需求工程方法:一种面向信息物理系统(CPS)的基于环境知识的方法,系统的工作详见网站http://re4cps.org
(2)将形式化方法应用于需求工程领域,构建时间需求,并将其应用到轨道交通等安全攸关领域,
(3)基于UML的需求工程方法,
(4)基于仿真、测试、形式化验证的需求(系统)确认和验证技术,
(5)基于人类行为分析的信息物理社会系统(HCPS/CPSS)的研究,
(6)基于AI的动画自动生成技术研究。
理论研究:
关键词包括需求工程,知识工程,形式化方法,信息物理融合系统,安全攸关系统,AI,具体来说,包括:
(1)基于环境建模的需求工程方法:一种面向信息物理系统(CPS)的基于环境知识的方法,系统的工作详见网站http://re4cps.org
(2)将形式化方法应用于需求工程领域,构建时间需求,并将其应用到轨道交通等安全攸关领域,
(3)基于UML的需求工程方法,
(4)基于仿真、测试、形式化验证的需求(系统)确认和验证技术,
(5)基于人类行为分析的信息物理社会系统(HCPS/CPSS)的研究,
(6)基于AI的动画自动生成技术研究。
Research Interests
Papers共 114 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Zhiyi Xue, Liangguo Li, Senyue Tian,Xiaohong Chen, Pingping Li,Liangyu Chen, Tingting Jiang,Min Zhang
International Conference on Software Engineeringpp.314-315, (2024)
IEEE Transactions on Intelligent Transportation Systemsno. 99 (2024): 1-12
CoRR (2024)
Cited0Views0EIBibtex
0
0
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMSno. 12 (2023): 5127-5140
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW)pp.170-177, (2023)
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMSno. 11 (2023): 3545-3558
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systemsno. 11 (2023): 3545-3558
2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REWpp.170-177, (2023)
2023 9th International Symposium on System Security, Safety, and Reliability (ISSSR)pp.156-167, (2023)
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn