孙善武 作品数:27 被引量:57 H指数:4 供职机构: 吉林财经大学 更多>> 发文基金: 吉林省科技发展计划基金 国家自然科学基金 吉林省教育厅“十二五”科学技术研究项目 更多>> 相关领域: 自动化与计算机技术 文化科学 社会学 经济管理 更多>>
形式化智能世界的建模过程 被引量:1 2015年 各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性。基于Saitta和Zucker定义的知识重构与抽象模型,提出一种新的表示智能世界的方法。通过感知重构过程,根据构成实体之间的通信关系自动构建3个可区分的、相互关联的子模型,即物理世界、网络化世界和虚拟世界,3个子模型之间的关系构成了智能世界的一个集成化模型。着重介绍了感知重构过程的形式化表示和推理机制。实际搭建的智能世界设计诊断推理实验表明,与基于知识重构和抽象一般物理世界模型相比,基于提出的智能世界模型的推理过程可以将系统故障限制在一个子模型中,从而较大程度地缩小了诊断的搜索空间。 孙善武 王楠 欧阳丹彤关键词:物理世界 通用化和个性化在线学习新模式的研究与探讨 被引量:2 2016年 以学习者的学习特征为基础,探索将教育理论与计算机技术相结合建立一个可以自动转化的在线学习模式,推动了分散教育资源的整合进程,丰富了传统自主学习模式下的教育者角色,使自主学习者与教育者之间的间接互动成为可能。在某广播电视大学真实的远程教育平台上,基于所提出的新型在线学习模式改进传统自主学习的促学系统,降低了学习资源的冗余存储,提高了学习者的学习兴趣。 王楠 孙善武 王帅关键词:远程教育 资源整合 信息管理与信息系统专业程序设计类课程教学方法探索 被引量:5 2008年 信息管理与信息系统专业的特色是将信息管理的理论、方法与信息技术有机结合起来,为学生从事信息管理理论研究和实践打下广泛而坚实的基础。该专业课程设置的特点是3类主干学科并行开设,即管理学、经济学、计算机科学与技术,同时每类学科内的课程又自成体系、循序渐进。程序设计类课程是信息管理与信息系统专业为学生开设的专业主干课,如何使程序设计类课程与其他各类课程相联系,发挥其基础功能,是教师探索该类课程教学方法的关键所在。本文强调程序设计类课程应该与信息管理与信息系统专业的培养目标紧密结合,从课堂教学、实验课教学、课程设计3个不可互相替代的方面深入地探讨了信息管理与信息系统专业程序设计类课程的教学方法,提出了讨论式教学的课堂教学形式,对传统的实验课形式进行了扩展,并提出了通过增加课程设计短学期的方法,来提高学生解决实际问题的能力。 孙善武 王楠关键词:信息管理与信息系统专业 程序设计类课程 教学方法 广义KRA抽象模型 被引量:8 2009年 针对KRA抽象模型的表示框架进行扩展,将感知过程分解为初步感知过程和抽象感知过程两部分:初步感知过程将该模型提供的一个框架R表示世界W在初步感知系统P的作用下映射为P(W),该过程不改变W中具体对象的实体属性;抽象感知过程将P(W)在感知系统P*的作用下映射为P*(W),P*(W)中的对象称为抽象对象,抽象对象的类型根据感知者预先定义的抽象对象库Oa的不同而不同.这种建模过程的细化可生成W的不同抽象模型,使推理得到简化. 孙善武 王楠 欧阳丹彤基于本体的分层抽象模型 被引量:4 2011年 KRA表示模型给出了对物理世界W进行形式化建模的一般框架。在扩展后的广义KRA模型中引入本体概念,将抽象对象库扩展为本体类,在本体类中实现KRA模型框架中的感知层、语言层和理论层的知识共享和重用,简化了KRA模型的表示。分别定义了作用在物理世界W和本体类上的3种本体抽象算子(集):基本本体抽象算子、实体本体抽象算子集和连接本体抽象算子集,并给出了本体类之间的映射关系,通过这种映射关系能够实现模型抽象和模型还原。对本体类的抽象度进行形式化的定义,并给出了相关定理,指出在这样的框架中利用抽象映射可以自动构建物理世界W的抽象度不同的模型。 王楠 欧阳丹彤 孙善武基于目标的业务流程概念建模 被引量:4 2014年 人类的行为主要由目标驱动,企业的业务流程应该尽量多地包含那些为用户创造价值的行为,而行为则应该为业务流程目标服务。提出基于目标的业务流程概念模型框架,并以目标-行为的细化分层关系为基础,自底向上反向生成与各个子目标相匹配的流程片段,给出行为和业务流程片段对目标的支持度的评估分析,以为用户构建业务流程概念模型提供决策指导。 王楠 孙善武 欧阳丹彤基于G-KRA模型框架的工作流建模 被引量:3 2013年 基于广义知识重构与抽象(G-KRA)模型框架给出了工作流建模的一般过程,根据功能知识引入了功能感知的概念,自动构造工作流抽象对象库WfOa.构造基本行为感知和WfOa中的基于功能的工作流抽象对象之间的映射关系,实现基本行为感知与相应关系的替换操作.通过这些映射关系,生成了基于功能的工作流抽象模型以简化基本工作流模型的表示. 王楠 孙利 孙善武 李慧关键词:工作流模型 基于G-KRA模型框架的智能世界建模 2013年 统一的建模框架和形式化表示可以帮助实现自动推理。对由物联网技术发展带来的智能世界进行定义,对表示静态物理世界一般抽象模型的广义知识重构与抽象模型(G-KRA模型)进行扩展,使其能够刻画所定义的智能世界。定义迭代的初步感知过程,在一定的前提假设下根据智能世界构成实体的特征,得到智能世界构成实体的可区分的初步感知。在抽象感知过程中,建立3个子世界的可区分实体与连接库,并生成3个子世界的网络化连接。同时,通过统一构建抽象对象库或者为3个子世界分别构建抽象对象库来实现智能世界的抽象感知过程。扩展后的GKRA模型充分考虑了不同类型实体的行为和连接特征,每个子世界由具有相同行为类型的实体和相同类型的连接构成,可以将推理问题定位在某个(些)子世界的模型中,从而缩小推理空间。 王楠 欧阳丹彤 孙善武程序设计类课程教学方法新探 被引量:1 2006年 程序设计类课程的教学方法在目前的水平上还有很大的改进空间,可以采用课堂教学与网络教学相结合的方法,并将传统的实验课扩展为“小课题实验讨论课”,同时根据学生情况分级教学,并加大课程设计和课外实践的部分,为学生提供更多的解决实际问题的机会。 王楠 孙善武关键词:程序设计类课程 教学方法 网络教学 课程设计 一种改进的基于信号强度的WLAN定位方法 被引量:9 2014年 与室外定位技术相比(如GPS),基于无线局域网(Wireless Area Network)的定位更适用于室内环境。两种基于接收信号强度(RSSI,Received Signal Strength Indication)的定位方法即位置指纹法和信号传播模型法广泛用于室内定位的研究。使用边界盒算法和改进的二分范围搜索算法将两种室内定位方法相结合,提出了一种改进的基于RSSI的定位方法。提出的方法根据指纹数据库中样本的横纵坐标对其进行预处理,同时使用改进的线性二分范围搜索算法降低指纹数据库中的样本数,进而提高实时定位过程的效率。最大化位置指纹维度,并添加时间维,同时通过实验数据阐明所提出的方法可提高用户位置估算的精确度。 孙善武 王楠 陈坚关键词:无线局域网