- 行业: 全部
项目简介 本发明提出了一种基于微分代数时序动态逻辑的CPS属性验证方法，用于对CPS进行系统建模、属... [详细]
项目简介 本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，... [详细]
项目简介 本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，主要用于解决形式化... [详细]
项目简介 本专利提出一种动态交互网络环境下网构软件主体系统信任协商构建方法，软件主体根据自己的信任信... [详细]
项目简介 本专利提出一种网络结构化多主体系统中任务执行的资源缓存方法，每当主体执行任务调用所需资源时... [详细]
项目简介 7-乙基-10-羟基喜树碱是一种来自于植物的半合成抗肿瘤药物，抗肿瘤活性是喜树碱的100倍... [详细]
项目简介 该分选设备具有自动上料、磁芯外观质量检测、自动分选、自动下料排料与故障报警等功能。在磁芯外... [详细]