基于网络黑板的产品异地设计系统研究与实现

基于黑板模型的基本思想，在Internet上构造基于Web的可视化网络黑板结构，并采用Schema描述黑板结构中的信息与语义模型，实现异构数据源的信息交换。给出了基于多Agent的网络黑板控制机制，以及网络黑板系统各模块的实现结构及功能。构建了基于网络黑板的异地协同设计系统原型模型，对设计任务采用任务分解知识库和人工两种分解方式完成，实现产品异地网上协同设计。     

基于教育心理学的编译原理课程教学方法

针对编译原理课程的特点、课程目标定位及普遍存在的问题,提出采用人本主义教学理论和构建主义学习理论作为指导,通过问题导入和兴趣激发的教学方法,在提高学生的积极性、主动性和探究性,发挥学习潜能,学生学习能力和专业能力培养等方面提高教学效果。     

基于联邦机制的设计制造信息资源管理框架结构的研究

分析了现代企业信息资源的特点,给出基于联邦机制的企业含义,讨论了一种基于联邦机制的设计制造信息资源管理的框架结构,运用CORBA和JAVA技术实现系统的异构。为了实现语义上的数据交互和互操作,采用面向功能的代理和智能联邦代理,实现异地联邦企业的产品设计与制造。     

基于CORBA网络制造应用系统多线程机制研究

针对大规模分布式CORBA应用系统存在的服务请求响应的瓶颈问题，在分析系统级和中间级的多线程机制基础上，提出了应用级的动态优先多线程池机制，给出了从先来先服务单线程池到动态优先多线程池方式的处理多请求服务的分配算法，提高了基于Internet／Intranet的分布式应用系统的吞吐量与时间响应性能，并在基于CORBA的异地产品协同设计原型系统中，验证了动态优先多线程池机制的有效性。     

OSGi平台服务动态更新的发布/订阅策略

针对7×24小时运行的系统,不能停止系统运行进行更新或维护的问题,根据OSGi( Open Service Gateway Initiative)框架的特点,在分析已有的服务动态更新方法基础上,克服已有策略不能保证服务更新前后的相互一致性和服务状态的一致性,以及更新策略实现过程中的编程模型不佳问题,提出基于发布/订阅模型的服务动态更新策略.以静止状态理论为依据,利用Petri网形式化描述服务动态更新过程,从理论上验证该策略的有效性;同时,以Event Admin Service作为策略的实现工具,具有良好的编程模型,从而实现OSGi平台上的动态演化,实验结果表明该策略具有可行性.     

概率表示的二进制粒子群算法在组卷中的应用

在组卷优化问题的研究中,组卷受到多约束条件的限制。为提高在线考试系统中试卷的质量,提出采用概率表示的二进制粒子群优化算法(BPSO)的智能组卷策略,采用粒子群优化算法有效克服遗传算法的局部搜索能力差,以及导致"早熟"和收敛速度不理想等缺陷。在标准粒子群算法基础上,利用贝叶斯公式对粒子群算法进行改进,克服人为因素对算法收敛速度的影响,同时算法的时间性能和空间性能得到进一步提升。通过仿真证明改进算法是一种切实可行的组卷策略。     

任务流模型检验的研究

对任务流模型检验技术进行了讨论。任务流方法不关心状态数量、能否从一个指定状态到达另一指定状态及系统必须的状态是否存在,而是关心状态组合提供的功能是否存在及各状态组合之间是否存在指定的转换关系,从而避免了状态空间爆炸问题。模块搜索算法以模块为基础对任务流模型进行搜索来验证给定系统是否满足规范要求。     

基于本体驱动的法律信息检索模型

本文提出了基于本体驱动的法律信息检索模型，以解决当前Web信息检索中存在的问题。本文运用到了数据挖掘中的关联规则，并借鉴“七步法”来构建信息检索模型，构建步骤包括文档预处理、构建领域本体、过滤、构造人机接口等。向用户提供基于法律本体的概念查询、语义扩充查询、分类浏览等检索手段。该模型能够改善用户查准率和查全率，实现对该领域资源的智能化检索。     

基于RDF/RDFS的渔业GIS元数据描述与发现

在简要介绍了元数据和语义网的相关概念之后,着重探讨了渔业地理信息系统中渔业信息的异构问题以资源描述框架为基础建立了渔业地理信息系统中的元数据描述与发现模型,并通过具体实例验证了该模型。     

“数字图像处理”课程教学体系改革的探索

分析图像处理教学内容中的难点以及各知识点之间的相互关联,提出“数字图像处理”课程的分层教学体系。将案例驱动式教学方法引入教学过程,选择解决实际问题的数字图像处理系统作为主线串联起分层教学体系中的各个理论知识点。教学实践表明,“数字图像处理”课程的分层教学体系配合实用的教学案例能够有效地引导学生建立起完整的数字图像处理知识体系,极大地提高学生的学习兴趣、综合能力与创新能力。