基于环境交互的软件近似正确性量化模型研究

61300048
2013
F0201.计算机科学的基础理论
马艳芳
青年科学基金项目
教授
淮北师范大学
23万元
交互;度量;进程代数;正确性;形式化
2014-01-01到2016-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Model checking Fuzzy Computation Tree Logic 期刊论文 Haiyu Pan|Yongming Li|Yongzhi Cao|Zhanyou Ma|
2 A high-order modifiedLevenberg-Marquardt method for systems of nonlinear equations with fourth-orderconvergence 期刊论文 Liang Chen|
3 A modified Levenberg-Marquardt method with line search for nonlinear equations 期刊论文 Liang Chen|
4 The higher-order Levenberg-Marquardt method with Armijo type line search for nonlinear equations 期刊论文 Liang Chen|Cuizhen Du|Yanfang Ma|
5 Quantitative Analysis of Lattice-valued Kripke Structures 期刊论文 Haiyu Pan|Min Zhang|HengyangWu|Yixiang Chen|
6 On the convergence of a modified Chebyshev-like's method for solving nonlinear equations 期刊论文 Lin Zheng|Ke Zhang|Liang Chen|
7 基于软件的环境量化模型 期刊论文 马艳芳|
8 Topological Constructions of Epsilon-bisimulation 会议论文 Yanfang Ma|Liang Chen|
9 安徽省第八届自然科学优秀学术论文三等奖 奖励 陈亮|
10 非线性方程的数值迭代法及其半局部收敛性 期刊论文 陈亮|顾传青|郑林|
11 Lattice-valued simulations for quantitative transitions systems 期刊论文 Haiyu Pan|Yongming Li|Yongzhi Cao|
12 语言型群决策中群体一致性赋权优化模型研究 期刊论文 石莉，黄克，孙刚，闻波|
13 基于环境的软件近似正确性 专著 马艳芳|
14 Newton-Kantorovich type theorem by using recurrence relations for a fifth-order method in Banach spaces 期刊论文 Liang Chen|
15 基于部分交互的软件近似量化模型 期刊论文 马艳芳|陈亮|
16 QuantitativeAnalysis of Software Approximate Correctness 期刊论文 Yanfang Ma|
17 The Infinite Evolution Mechanism of ε-Bisimilarity 期刊论文 Yanfang Ma|Min Zhang|
18 安徽省第八届自然科学优秀学术论文二等奖 奖励 马艳芳|张敏|
19 The Quantitative Analysis of Interaction Between Software and Environment 会议论文 Yanfang Ma|Liang Chen|
20 Teaching Method Research of Program Course Based on Case and Interest 会议论文 Baohua Wang|Danning Li|Yanfang Ma|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享