您的位置: 专家智库 > >

杨世瀚

作品数:12 被引量:15H指数:2
供职机构:广西民族大学更多>>
发文基金:广西壮族自治区自然科学基金国家自然科学基金中国科学院西部之光基金更多>>
相关领域:自动化与计算机技术文化科学历史地理经济管理更多>>

文献类型

  • 10篇期刊文章
  • 2篇科技成果

领域

  • 8篇自动化与计算...
  • 2篇文化科学
  • 1篇经济管理
  • 1篇历史地理
  • 1篇自然科学总论

主题

  • 2篇形式化
  • 2篇形式化验证
  • 2篇知识库
  • 2篇描述逻辑
  • 2篇混杂系统
  • 1篇大学生
  • 1篇代数
  • 1篇电流
  • 1篇电流定律
  • 1篇电路
  • 1篇电商
  • 1篇动手能力培养
  • 1篇信息查询
  • 1篇信息分类
  • 1篇信息系统
  • 1篇形式化验证技...
  • 1篇虚假
  • 1篇学生动手能力
  • 1篇隐含语义分析
  • 1篇英文文本

机构

  • 11篇广西民族大学
  • 1篇国家科学图书...

作者

  • 12篇杨世瀚
  • 5篇吴尽昭
  • 2篇何安平
  • 2篇熊玲芳
  • 2篇卢道设
  • 2篇王晗
  • 1篇秦董洪
  • 1篇覃梦玲
  • 1篇王祖萍
  • 1篇韦丽娟
  • 1篇杨宁
  • 1篇章维亚
  • 1篇刘春江

传媒

  • 2篇广西民族大学...
  • 1篇信息系统工程
  • 1篇现代情报
  • 1篇计算机工程
  • 1篇计算机应用研...
  • 1篇计算机与数字...
  • 1篇青岛职业技术...
  • 1篇中国管理信息...
  • 1篇文物鉴定与鉴...

年份

  • 2篇2018
  • 1篇2017
  • 2篇2016
  • 3篇2015
  • 1篇2013
  • 2篇2012
  • 1篇2011
12 条 记 录,以下是 1-10
排序方式:
对高职院校中软件技术专业学生动手能力开发的思考
2012年
动手能力是影响高职院校软件技术专业毕业生就业质量的关键,但很多院校对这一能力的开发重视不够,也没有形成系统的方法。动手能力可以分为硬能力和软能力。考虑到高职教育的特点,以软件工程为中心的启发式教育,是一种开发软件技术动手能力的重要方法。虽然其普遍性还有待验证,但已经体现出了针对性和实效性。
杨世瀚章维亚
关键词:高职教育教育方法软件技术专业动手能力培养
基于隐含语义分析的电商虚假评论识别
2018年
针对目前虚假评论识别都是通过评论者或评论文本的显式特征来进行的,但是没有考虑评论文本的语义信息,分析结果不够准确,因此提出基于隐含语义分析的电商虚假评论识别方法.该方法在基于用户行为特征分析的基础上增加了评论文本的语义分析信息,能在文本语义层次上识别虚假评论,提升了识别准确性.方法中给出了评论文本的可信度度量并针对有序的可信度度量提出了一种新的错位级别评估方法.
李存林杨世瀚王晗
关键词:隐含语义分析
基于word2vec的评论有用性研究被引量:1
2018年
建立一个评论有用性模型,该模型能够对在线商品评论进行有用性预测.基于精心建立的情感词典,联合基于神经网络构建的商品属性词典.设计了合理的匹配算法,采用随机森林算法和五折交叉验证对评论有用性不同特征进行准确率、召回值和F指标的预测.结果显示评论有用性方差值能够很好地反应评论的有用性.评论有用性模型能够对评论进行准确的预测,所预测的结果可以为消费者提供有效的参考.
王晗李存林杨世瀚
藏品信息分类及研究思路被引量:2
2017年
博物馆藏品是信息的载体。了解藏品信息的特点、分类,能完善藏品信息处理的工作程序,提高博物馆业务效能。本文分析了藏品信息的分类和特点,在研究思路上,提出"时代性"的概念,这是提升藏品活力的途径之一。
章维亚杨世瀚
关键词:博物馆藏品
混杂系统的近似形式化验证技术与应用
吴尽昭杨世瀚何安平
受国家自然科学基金的资助,项目对基于数值、符号与智能计算交叉融合的混杂计算理论与方法而建立起来的近似形式化验证方法和技术进行了系统的研究。建立确保混杂系统(一种既包含的离散子系统又包含连续子系统,而且这两类子系统又互相交...
关键词:
关键词:混杂系统
城市智能交通系统知识库的综合推理被引量:1
2013年
城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。
熊玲芳杨世瀚吴尽昭卢道设
关键词:描述逻辑TABLEAU算法信息查询
基于描述逻辑的组合知识库推理被引量:5
2012年
由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。
卢道设杨世瀚吴尽昭熊玲芳
关键词:描述逻辑知识库
模拟与混合信号电路的形式化验证被引量:1
2016年
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。
杨世瀚吴尽昭丁广泓秦董洪
关键词:形式化验证混杂系统基尔霍夫电流定律计算树逻辑
复杂并发系统验证和评估分析的代数符号化理论与方法
吴尽昭杨世瀚何安平
受国家自然科学基金的资助,该项目对基于数值、符号与智能计算交叉融合的混杂计算理论与方法而建立起来的近似形式化方法进行了系统的研究。建立确保复杂并发系统设计正确性和可靠性的高效实用的验证和评估方法是计算机科学技术领域的重点...
关键词:
基于大数据技术的大学生热点问题分析与预测被引量:1
2016年
越来越多的大学生在网络上发表言论,利用大数据技术对这些言论进行处理与分析,可以发现和预测大学生热点问题。以hadoop为基础,提出一个大学生热点问题分析与预测框架,建立了一个初步的数据处理模型。对全国大学生的言论数据分析和预测的实验结果表明,基于大数据技术的大学生热点问题分析与预测的方法是有效的。
杨世瀚韦丽娟
关键词:大数据HADOOP
共2页<12>
聚类工具0