随机半代数混杂系统形式化分析与验证理论研究

61902326
2019
F0201.计算机科学的基础理论
谢盈
青年科学基金项目
副教授
西南民族大学
25万元
性能评估;符号与数值混杂计算;随机混成系统;半代数系统;功能验证
2020-01-01到2022-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 A Lightweight Anonymous Authentication Protocol for Resource-Constrained Devices in Internet of Things 期刊论文 Xuyang Ding;Wang Xiaoxiang;Ying Xie;Fagen Li
2 一种用于工业控制系统网络流量的降维方法及电子设备 专利 谢盈;高星;李世鹏;刘政奇;丁旭阳
3 一种工业控制系统恶意威胁的检测和补偿方法及电子设备 专利 谢盈;曾竹;刘政奇;李世鹏;丁旭阳
4 Nondeterministic Evaluation Mechanism for User Recruitment in Mobile Crowd-Sensing 期刊论文 Ying Xie;Xiaohui Liu;Mohammad S. Oaidat;Xiong Li;Pandi Vijayakumar
5 一种适用于资源受限设备的轻量级匿名认证方法 专利 丁旭阳;谢盈;王筱翔;王骞;王志波;张小松
6 一种联邦学习毒化攻击检测方法 专利 谢盈;李世鹏;刘政奇;丁旭阳
7 一种基于梯度下降优化的模糊测试方法 专利 谢盈
8 Image Steganography Based on Artificial Immune in Mobile Edge Computing With Internet of Things 期刊论文 Xuyang Ding;Ying Xie;Pengxiao Li;Mengtian Cui;Jianying Chen
9 城市轨道交通快速施工与智能管理关键技术研究及应用 奖励 赵云飞;谢盈;薛彦军;宋晨;王英俊;赵炜;吴双;李杰;李新强;刘奇
10 A Feature Dimensionality Reduction Method with Lossless Accuracy in Vehicular Network Traffic Detection 会议论文 Ziwei Liu;Xuyang Ding;Ying Xie;Xu Yang
11 A fast anomaly network traffic detection method based on the constrained k-nearest neighbor 会议论文 Zhiguang Zhu;Ying Xie;Xu Yang;Wei Hu
12 ChainDetector: Identifying anonymous blockchain traffic 会议论文 Shipeng Li;Ying Xie;Xuyang Ding;Xu Yang
13 一种工业互联网下的区块链流量监检测方法 专利 谢盈;刘政奇;李世鹏;丁旭阳
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享