自治分层规范系统模型研究     

蒋健明  胡斌 《科技通报》2012,(1):160-166

规范多agent系统通过规范控制agent个体行为实现系统宏观目标。在自然语言描述的抽象规范和操作语言描述的具体规范之间存在巨大的语义鸿沟,采用分层规范模型将高层抽象规范逐级转换成底层具体规范是解决这一问题的有效手段。但是目前的分层规范模型存在着层次过多,层间界线模糊的问题,同时规范细化和层间规范转换完全依赖手工完成,不仅降低了系统可靠性和动态适应性,同时提高了规范系统开发成本。本文提出并实现了一种自治分层规范框架模型,该模型将规范系统分成三个层次,并且在形式化规范层建立概念语义蕴涵关系和行为责任关系实现了规范的自动细化,建立行为-操作映射模型实现不同层次的形式规范间的自动转化,提高了规范系统自治性,降低了规范系统开发成本,提高了系统可靠性和动态适应性。  相似文献   

让现代信息教育技术尽快进入中学数学课堂   总被引：1，自引：0，他引：1  

蒋健明 《中学数学教学》2002,(4):5-7

以信息化带动教育现代化 ,利用现代信息教育技术 ,为学生创造一个“数学实验的环境” ,促使学生自主学习 ,充分发挥学生创新潜能 ,是当前教改一项重要举措。TI图形计算器是针对数学教学的掌上电脑 ,具有数学对象的多重表示 ,强化课堂交流、探索、创新 ,提高教学效率 ,综合理科教育 ,便携性等特点与价值。本文最后还列举了数例利用TI-92图形计算器在课堂教学中应用的实例  相似文献   

矢量可视化研究现状综述     

蒋健明  周迪斌  胡斌 《科技通报》2010,26(4):611-617

矢量可视化是科学可视化研究中非常重要的课题之一,本文介绍了矢量可视化的主要方法,如图标法,矢量线法和特征拓扑法,并指出了他们各自的优点及不足。结合目前可视化领域的发展趋势,分析了矢量可视化的一些新技术发展动向,未来的矢量可视化技术须建立在有效的可视化量化评估体系上,结合智能算法,数据挖掘,增强复杂矢量数据分析和理解。  相似文献   

目标与差距——反思我国土地储备制度     

蒋健明 《铜陵职业技术学院学报》2006,(4)

土地储备制度在我国是一项新生事物,建立时间较短,在实施过程中必然会有一些问题。本文具体阐述了我国土地储备制度建立的目的,以及实施以来存在的主要问题,并提出了解决问题的建议。  相似文献   

基于多GPU的千万级高维空间实时检索     

周迪斌  蒋健明  胡斌  张量 《科技通报》2013,(1):118-123

海量高维数据的近邻检索一直是多媒体信息领域的重要研究课题。本文提出一种基于多GPU的并行高维空间距离检索排序算法,通过并行优化空间距离计算及排序过程,并充分利用GPU硬件特性和众多的流处理器单元,算法能实现百万级的高维数据的实时检索。在此基础上,研究并利用多GPU架构,提升并行效率,拓展实时数据查询的数据规模。实验结果表明,本文算法可达到千万级别高维数据的实时精确检索,极大地拓展了高维检索的应用范围。  相似文献   

Delphi环境下Matlab和数据库之间的数据通讯   总被引：1，自引：0，他引：1  

李文炜  彭建辉  蒋健明 《科技通报》2005,21(6):718-722

本文从简单介绍Delphi访问数据库的原理开始,将Delphi灵活强大的数据库管理能力和Mat-lab卓越的科学计算能力相结合,从三个方面突出介绍了如何在Delphi环境下实现Matlab和数据库之间的数据通讯:如何设置Matlab环境参数;如何保存数据;Delphi环境下数据库和数据库文件之间的数据通讯。并且在相应的章节中给出了程序源代码。  相似文献