您的位置： 专家智库 > >

李新

作品数：18 被引量：17H指数：2
供职机构：华东师范大学更多>>
相关领域：文化科学自动化与计算机技术语言文字更多>>

合作作者

文献类型

  • 11篇专利
  • 5篇学位论文
  • 2篇期刊文章

领域

  • 6篇文化科学
  • 4篇自动化与计算...
  • 1篇语言文字

主题

  • 8篇自适
  • 8篇自适应
  • 4篇异构
  • 4篇软件功能
  • 4篇软件模型
  • 4篇软件体系结构
  • 4篇体系结构
  • 4篇自适应软件
  • 4篇教育
  • 4篇集中式
  • 4篇集中式控制
  • 4篇交互行为
  • 4篇层次化
  • 4篇多AGENT...
  • 3篇代码
  • 3篇形式化
  • 3篇形式化验证
  • 3篇形式化验证方...
  • 3篇源代码
  • 2篇等价

机构

  • 18篇华东师范大学

作者

  • 18篇李新
  • 8篇何积丰
  • 8篇黄滟鸿
  • 8篇史建琦
  • 8篇李昂
  • 4篇施健
  • 3篇郭建
  • 3篇张凯

传媒

  • 1篇教育信息技术
  • 1篇当代教育论坛...

年份

  • 1篇2022
  • 1篇2021
  • 2篇2020
  • 2篇2019
  • 1篇2018
  • 4篇2017
  • 1篇2016
  • 2篇2010
  • 1篇2007
  • 3篇2005
共 18 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种软件自适应决策验证方法
本发明涉及一种软件自适应决策验证方法，所述方法包括如下步骤：层次化MAS模型经过自适应决策策略作用演变成多种异构的层次化多agent系统模型；将所述层次化多agent系统模型转换成统一的中间模型；在中间模型上进行分析、验...
史建琦胡志成黄滟鸿方徽星李昂李新何积丰
文献传递
家校合作研究
家校合作,是一个恒谈恒新的问题。如何更好地加强学校和家庭的合作已被各国教育界所重视,并成为学校改革的重要内容,也是当今教育发展的一个趋势。笔者为了更深入的研究家校合作,选取上海市新虹桥小学为研究对象,对其家校合作展开了个...
李新
关键词：家校合作
文献传递
基于网络的学习活动设计及其案例研究
本研究试图从理论和实践相结合的角度,为从事网络教学的主讲教师和网络教育的设计组织者提供可操作性的原则和方法,以提高他们网络教学的质量.本文在研究了建构主义和多元智能等多种现代学习理论和以学习活动为中心的教学设计等理论的基...
李新
关键词：网络远程教育网络教学建构主义教学设计
文献传递
一种软件自适应决策验证系统
本发明涉及一种软件自适应决策验证系统，包括模型转换模块和模型验证模块。其中，所述的模型转换模块，用于将经过自适应决策策略作用演变的多种异构的层次化多agent系统模型由模型转换器转换成统一的中间模型，并将所述中间模型输出...
史建琦胡志成黄滟鸿方徽星李昂李新何积丰
文献传递
一种软件体系结构建模和仿真系统
本发明公开一种软件体系结构建模和仿真系统，包括：建模模块，用于将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；仿真模块，用于对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为...
黄滟鸿施健史建琦方徽星李昂李新何积丰
文献传递
一种软件体系结构建模与仿真方法
本发明公开一种软件体系结构建模和仿真方法，包括：将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为。本发明公开的基于层次化MA...
黄滟鸿施健史建琦方徽星李昂李新何积丰
文献传递
一种针对源代码的运行时形式化验证方法
本发明公开了一种针对源代码的运行时形式化验证方法，根据源程序所需满足的性质以及工具所需参数编写用于生成监视器与切面类的配置文件；根据编写的配置文件使用运行时验证工具自动化生成监视器以及切面类；根据生成的切面类将所涉及的变...
郭建李新张凯
文献传递
一种应用于针对源代码的运行时形式化验证方法中的验证系统
本发明公开了一种应用于针对源代码的运行时形式化验证方法中的验证系统，所述系统包括：切面类文件及监视器文件自动生成工具，用户可定义描述程序性质的LTL线性时态逻辑公式以及配置文件，通过该工具自动生成监测程序性质的切面类以及...
郭建李新张凯
文献传递
一种软件自适应决策验证方法
本发明涉及一种软件自适应决策验证方法，所述方法包括如下步骤：层次化MAS模型经过自适应决策策略作用演变成多种异构的层次化多agent系统模型；将所述层次化多agent系统模型转换成统一的中间模型；在中间模型上进行分析、验...
史建琦胡志成黄滟鸿方徽星李昂李新何积丰
文献传递
一种软件体系结构建模和仿真系统
本发明公开一种软件体系结构建模和仿真系统，包括：建模模块，用于将输入的软件需求输出为层次化MAS软件模型，该模型作为仿真模块的输入；仿真模块，用于对输入的层次化MAS软件模型进行仿真，从而展示各个agent之间的交互行为...
黄滟鸿施健史建琦方徽星李昂李新何积丰
文献传递
全选 清除 导出
共2页<12>
聚类工具0