段跃兴
作品数: 14被引量:36H指数:3
  • 所属机构:太原理工大学计算机科学与技术学院
  • 所在地区:山西省 太原市
  • 研究方向:自动化与计算机技术
  • 发文基金:山西省自然科学基金

相关作者

段之宇
作品数:3被引量:1H指数:1
供职机构:太原理工大学计算机科学与技术学院
研究主题:复杂网络 李雅普诺夫稳定性 稳定性分析 网络 酗酒
王华奎
作品数:174被引量:430H指数:10
供职机构:中国人民解放军91388部队
研究主题:无线传感器网络 盲均衡 超宽带 盲均衡算法 信道估计
刘鹏
作品数:1被引量:0H指数:0
供职机构:中国工商银行山西省分行
研究主题:编程模型 接口 组件 LEASING
赵清华
作品数:30被引量:144H指数:6
供职机构:太原理工大学信息工程学院
研究主题:无线传感器网络 机顶盒 数字电视 DV-HOP定位算法 节点定位算法
裴晓梅
作品数:1被引量:0H指数:0
供职机构:太原理工大学理学院
研究主题:编程模型 接口 组件 LEASING
多领域RDF数据集上的混合推理
2015年
资源描述框架(resource description framework,RDF)数据往往集中在单一领域进行前向推理,导致发现的知识单一有限且推理速度较慢,为此提出一种将多个领域的RDF数据关联起来进行混合推理的方法。采用网络本体语言(OWL)建立单个领域的RDF数据集,将各个单领域的数据集进行关联,通过加入混合规则,与jena推理机相结合进行知识的混合推理,获得丰富的语义信息。实验结果表明,该方法较传统的基于单一领域进行前向推理的方法能够推理出传统方法无法发现的隐含信息,提高了推理的速度。
薛晓莉段跃兴
关键词:关联数据RDF
基于马尔科夫模型的用户兴趣转移建模被引量:3
2018年
为解决在社交网络平台中的用户内容个性化推荐问题,提出一种微博用户兴趣转移模型。用户的不同兴趣在其生活以及社交网络平台中的内容所占比例趋于稳定,且在社交网络平台中用户下一时刻的内容受到用户当前内容的影响。提出基于LDA(潜在狄利克雷分布)主题模型推断用户主题分布、确定用户兴趣,在新浪微博系统上,基于马尔科夫模型的状态转移原理构造用户兴趣的转移模型,挖掘用户兴趣之间的转移概率,实现对用户微博内容进行预测。在真实数据集上验证了该模型的合理性和有效性,其推荐准确率达到78%。
郑磊王莉段跃兴
关键词:社交网络马尔科夫模型
在Jini中发现查找服务的方法与服务运行被引量:3
2004年
段跃兴
关键词:组件接口
计算思维下的大学计算机基础教育改革被引量:20
2012年
针对高校中非计算机专业学生是否有必要继续开设计算机基础课程的质疑,阐述计算思维对培养当今大学生自身素养、创新能力等方面的重要性,提出大学计算机基础教育应以培养学生的计算思维及计算能力为目标,采用"1+X"模式,对大学计算机基础课程的目标定位、教学内容、教学过程等教学环节做改革式探索,提高大学生计算思维能力。
段跃兴
关键词:计算思维计算机大学计算机基础大学计算机基础教育
Jini编程模型中Leasing组件的研究
2005年
首先介绍了Jini中编程组件Leasing,然后对Lease的授权运行机制及授权过程中涉及到的许多因素进行了深入研究。在租用的授权过程中,文章对租用的实现,租用授权者的职责以及租用与资源的关系,都做了详细的描述。明确了在租用首次被租或用户对租用提出续租时,都会涉及到租用策略对象,租用的实质就是对资源的占有。一个资源中可能有多个租用,也有可能在多个资源中都涉及到了某个或几个租用,这都需要对LeaseManager接口的实现。文章在最后指出:租用的授权者通过Landlord接口给出了在不同的情况下租用的续租与撤消的途径,并提出了一个新的解决方法。
刘鹏裴晓梅段跃兴
关键词:接口
ALC中的Tableau算法及其性质被引量:7
2010年
描述逻辑是一族知识表示的形式化语言,是一阶谓词逻辑的可判定子集,已成为语义Web的理论基础。描述逻辑中ALC是最小命题封闭的,是其它描述语言的基础,而可判定是描述逻辑的最重要的问题,在ALC中Tableau算法巧妙地解决了这一问题,掌握ALC中的Tableau算法是理解各种描述逻辑中可判定性的基础。对ALC中的Tableau算法进行详细阐述,并对其关键的几个性质:可终止性、完备性和判定性给出了证明,为研究SHOIN(D)中的Tableau算法及性质奠定了基础。
段跃兴
关键词:描述逻辑TABLEAU算法语义WEBALC
语义Web服务的形式化及其组合研究
描述逻辑是语义网的理论基础,文章首先对语义Web服务中的输入/输出参数进行了抽象描述,依据描述逻辑的观点得到了语义Web服务的形式化定义。同时把语义Web服务映射成描述逻辑描述下的某一领域中的概念,通过归纳的方法组合形成...
段跃兴
关键词:语义WEB服务描述逻辑TABLEAU算法
文献传递
计算机文化基础课程在高等教育中的影响
2003年
为探索高等教育中的课程设王如何更好地适应21世纪人才发展的要求,文章结合近年来教学的经验体会,从学生、教师、学校三方面分析了计算机文化基础课程在当前高等教育中的作用与影响。
段跃兴
关键词:计算机文化基础课程高等教育教育观念教学改革
语义Web服务的形式化及其组合研究被引量:1
2013年
描述逻辑是语义网的理论基础,文章首先对语义Web服务中的输入/输出参数进行了抽象描述,依据描述逻辑的观点得到了语义Web服务的形式化定义。同时把语义Web服务映射成描述逻辑描述下的某一领域中的概念,通过归纳的方法组合形成了新的语义Web服务,并将新组合形成的服务是否有意义这一问题转化为了描述逻辑中概念的满足性问题。引入Tableau算法后,文章证明了新语义Web服务是可终止的,并给出了判断语义Web服务满足性的可判定过程,这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础。
段跃兴
关键词:语义WEB服务描述逻辑TABLEAU算法
一类非线性波动方程解的存在惟一性
2004年
证明了一类非线性波动方程解的存在惟一性。首先利用Galerkin法构造了近似解序列,然后利用一致先验估计,证明解序列的收敛性,从而得到解的存在性,在此基础上证明了解的惟一性。
段跃兴
关键词:GALERKIN法