近似形式化方法—实微分多项式进程代数研究

工具

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

该负责人其他项目

• 半代数模型检测方法的误差分析与控制（国自然，吴尽昭，2017）
• 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
• 微分半代数程序模型的等价及等价谱系（国自然，吴尽昭，2009）
• 复杂并发系统验证和评估分析的代数符号化理论与方法（国自然，吴尽昭，2008）
• 混合性能模拟的层次化：理论与应用（国自然，吴尽昭，2003）

广西民族大学其他项目

• 不确定切换系统预设时间模态辨识与状态估计（国自然，张建成，2025）
• 异核铂-钯二聚体的合成、光物理性质研究及OLED应用（国自然，张玉贞，2025）
• 基于CRISPR/Cas12a基因编辑系统调控琥珀酸放线杆菌GXAS137高效合成丁二酸的研究（国自然，张红岩，2025）
• 种源安全目标下西部民族地区活态保育与韧性演进机制研究（国自然，方平，2025）
• 剩余格的结构分析及其应用（国自然，杨将，2025）
• 有背景的非拓扑完备的函数空间的拓扑分类（国自然，杨忠强，2025）
• 闭式硼烷阴离子功能化松香基光敏剂的构建及其乏氧肿瘤光动力治疗研究（国自然，沈云军，2025）
• 星际介质磁化性质的统计技术及应用（国自然，王如月，2025）

数理逻辑和与计算机相关的数学学科其他项目

• 集合论方法在递归论中的应用（国自然，喻良，2016）
• 复杂推理的序、代数和逻辑方法及其计量化模型（国自然，赵彬，2015）
• 半代数混杂系统形式化分析与验证的例证法研究（国自然，吴尽昭，2014）
• 不确定系统中的伪加权下推计算模型研究（国自然，金检华，2014）
• 混成系统验证与分析（国自然，佘志坤，2014）
• 可计算枚举度与d.c.e.度之间的结构性质交叉研究（国自然，王慎玲，2014）
• 控制系统形式化设计中逻辑特征应用的研究（国自然，张晋津，2014）
• 基于量子逻辑的不确定性计算模型及其应用研究（国自然，韩召伟，2014）