赵晓非
- 作品数：6 被引量：30H指数：1
- 供职机构：天津工业大学计算机科学与软件学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于贝叶斯网络的创造性协作学习模式研究
- 2015年
- 创造力在各个领域中扮演着越来越重要的角色,我们的教学系统要作出相应的转变以发展学生的创造力。本文以团队创造力模式以及有助于发展创造力的基本因素为基础提出了计算机支持的创造性协作学习模式。具体地说,我们采用贝叶斯网络分类技术组建易于增强团队创造力的学习团队。结果表明,组建创造性协作学习团队,提供创造性情景学习环境能够提高学习者的创造力以及教学绩效。
- 赵晓非
- 关键词：贝叶斯网络创造力
- 面向异构语义映射的D3L转换算法及其性质研究被引量：1
- 2018年
- 桥规则为分布式动态描述逻辑(distributed dynamic description logics,D3L)提供了描述语义映射和知识传播的重要机制.现有的研究仅针对包含原子元素的同构桥规则.将研究扩展到了被包含端存在复合元素的异构桥规则的D3L推理问题.定义了分布式知识库的正则性.通过对桥规则进行形式变换并针对不同情形转换为已有的语言机制,提出了将动态描述逻辑DSROIQ作为局部本体语言的D3L知识库转换为单一DSROIQ知识库的算法,接着研究了该转换的性质,证明了该算法可以在多项式时间内终止、算法的目标知识库与原始知识库在可满足性上是等价的,进而证明了在上述桥规则存在的情况下正则D3L知识库的集中式推理具有与单一DSROIQ知识库推理相同的最坏时间复杂度.该算法使得D3L推理可以获得与现有的分布式推理方法相同的最坏时间复杂度并且解决了后者难以处理异构复合桥规则的问题.
- 赵晓非史忠植史忠植
- 关键词：正则性计算复杂度
- 元数据存储库系统中违背良格式约束潜在操作的推理
- 2016年
- 存储库系统的元数据组织方式呈现出分层、多级并且动态变化的复杂结构;存储库系统标准对确保良格式约束规定得并不充分,上述2个原因使得确保基于元对象设施(meta object facility,MOF)建立的元数据存储库系统的状态不违背良格式约束成为一个令人棘手的问题.提出了一种能够自动推断可能违背良格式约束的潜在操作的方法.首先定义了一组比MOF的构造活动更精确和灵活的MOF内部活动并建立了二者之间的对应关系;接着研究了如何推断可能违背约束条件的内部活动;最后通过比对与这些内部活动相对应的构造活动是否在操作规范中出现,研究了如何推断违背约束条件的潜在操作,该方法可以用于约束检测领域.由于可以剔除许多无关的检测,该方法可以有效地提高良格式约束检测的效率.此外该方法对约束设计领域也有一定的参考价值.
- 赵晓非高阳史颖欢史忠植
- 关键词：元对象设施
- 链式桥规则导致的D3L知识传播及推理被引量：1
- 2014年
- 作为分布式、模块化本体的逻辑基础,分布式动态描述逻辑(D3L)使得通过有向语义映射连接的多个动态描述逻辑本体之上的推理成为可能.文中针对复合桥规则的知识传播进行了研究.作者发现当桥规则构成合取链的情况下,D3L的原始语义不能保证本体元素的局部语义关系正确传播到目标本体.通过引入合取映射桥规则,作者对D3L进行了扩展.由于对合取映射对应的目标元素属性进行了约束,新的桥规则可以支持局部语义关系在分布式本体间的正确传播,并且不改变D3L的原始属性.最后提出了合取映射桥规则到传统桥规则的转换语义,并证明了基于该语义的Tableaux推理算法的正确性.扩展后的D3L更好地实现了在本体间导入和重用知识的思想,因此可以为语义Web提供较完备的逻辑基础.
- 赵晓非田东平史颖欢史忠植
- 关键词：知识传播
- 一种基于跨领域典型相关性分析的迁移学习方法被引量：28
- 2015年
- 作为迁移学习的一个重要研究方向,基于特征映射的方法学习各领域特有特征与领域共享特征之间的相关性,通过一些相关特征减少领域之间的差异,已经获得了广泛的关注和研究.典型相关性分析是一种用来分析两组随机变量之间相关性的统计分析工具.将典型相关性分析引入迁移学习,结合基于特征映射迁移学习的思路,提出了一种跨领域典型相关性分析算法.该算法在保持各领域特有特征与领域共享特征相关性的基础上,通过选择合适的基向量组合训练分类器,使降维后的相关特征在领域间具有相似的判别性.在20Newsgroups上864个分类问题以及多领域情感分析数据集上12个分类问题的实验结果表明,跨领域典型相关性分析算法可以有效地提高跨领域迁移分类准确率.
- 张博史忠植赵晓非张建华
- 关键词：领域自适应
- D3L(ccy)的属性及分布式Tableaux推理算法的研究被引量：1
- 2014年
- 分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础.
- 赵晓非田东平张文波史忠植
- 关键词：知识传播DISTRIBUTEDDYNAMICDESCRIPTIONLOGICS
