Document
检索banner
高级检索
全部字段 题名 作者 关键词 摘要

太原师范学院网络中心

  • 资源数量:7
  • 学科领域:自动化技术、计算机技术,无线电电子学、电信技术,科学、科学研究

语种

任何
中文

7

类型

任何
期刊

7

更多

年代

任何
2017

1

2016

1

2013

1

2012

2

2000-2009

2

更多

收录

任何
中文核心期刊(北大)

1

统计源期刊(中信所)

1

CSCD中国科学引文库(中科院...

1

更多

关键词

任何
模型检查

2

时间自动机

2

图像分割

1

校园网

1

势函数

1

站群系统

1

实时系统

1

二元分布

1

知识获取

1

机器可读词典

1

可达性分析

1

网络舆情

1

人工智能

1

自然语言处理

1

手机一卡通

1

语义

1

网站管理

1

教学考勤

1

文献聚类

1

更多

中图法分类

任何
工业技术

6

自动化技术、...

5

无线电电子学...

1

文化、科学、...

1

科学、科学研...

1

更多

教育部学科

任何
工学

6

计算机科学与技术

2

软件工程

2

电子科学与技术

1

控制科学与工程

1

...
管理学

1

图书情报与档案管理

1

...
更多

基金

任何
省市基金项目

1

山西省青年学者...

1

更多

合作单位

任何
山西大学

1

更多

来源刊物

任何
太原师范学院学报(自...

2

电脑与信息技术

1

电脑编程技巧与维护

1

科技创业月刊

1

中文信息学报

1

电脑知识与技术

1

更多

优秀人才

任何
更多
检索结果: 返回 7 结果。
排序:
  • 作者: 杨静 ( 太原师范学院网络中心 )
  • 出处:  353  2017 第25卷 第3期 P22-25,32
  • 关键词: DF_DBSCAN算法 图像分割 势函数 
  • 摘要: DF_DBSCAN算法(An Improved DBSCAN Clustering Algorithm Based on Data Field)是一种将数据场和密度聚类结合的算法。文章将该算法应用于图像分割,通过与其他图像分割算法进行实验对比,表明算法在图像分割上的适应性;通过对图像进行多种形式的预...
  • 作者: 曹振芳 ( 太原师范学院网络中心 )
  • 出处:  594  2016 第24期 P41-42
  • 关键词: 教学考勤 手机一卡通 
  • 摘要: 结合目前高校教育信息化发展趋势,针对高校教学考勤的必要性,给出了一种便捷高效的基于手机一卡通的教学签到系统。介绍了系统的架构、功能、与其他应用系统的对接要求等技术。该系统可以高效地完成学生上课签到和教师代课考勤,节省时间的同时避免代打卡假出勤。系统可以有效地统计出学生上课动态,有利于教务部门管理实施...
  • 点击量: 1

  • 作者: 闫志兵 ( 太原师范学院网络中心 )
  • 出处:  224  2013 第12卷 第2期 P95-99
  • 关键词: J2EE 网站管理 站群系统 校园网 
  • 摘要: 随着高校信息化建设的逐步深入,各种应用系统使用越来越丰富,而高校门户网站作为各个系统的综合体现,已成为数字化校园的重要组成.高校站群管理系统基于B/S架构设计,通过数据库统一进行数据存储,WEB应用服务器进行统一网站发布.网站制作通过站点的创建、站点样式设计、站点实施、栏目设置、信息发布等步骤能够快...
  • 被引量: 1

    点击量: 1

  • 作者: 岳香芬 ( 太原师范学院网络中心 )
  • 出处:  1217  2012 第6期 P149-151
  • 关键词: 网络舆情 文献聚类 k-means 
  • 摘要: 网络舆情的研究对维护当前的社会稳定、保证经济正常发展有着重要的作用。由于网络舆情研究的文献众多,理清其脉络、了解研究的热点和重点是网络舆情研究的基础。对中国知网中核心期刊内与网络舆情相关的论文进行了统计及聚类分析,将网络舆情的研究方向大致分类,并总结出统计规律,为今后的研究提供指引。
  • 被引量: 4

  • 作者: 岳香芬 ( 太原师范学院网络中心 )
  • 出处:  224  2012 第2期 P95-98
  • 关键词: 模型检查 时间自动机 可达性分析 MPI 
  • 摘要: 针对实时系统模型检查中的突出问题:状态组合爆炸,提出一种基于并行环境的实时系统模型检查技术,用邻接表存储时钟带,用C++和MPI设计并实现了一个并行实时系统模型检查器———PRAModelChecker,选择一个典型的实例对PRAModelChecker的性能进行分析.实验表明,随着系统复杂性的增加...
  • 点击量: 1

  • 作者: 岳香芬 ( 太原师范学院网络中心 )
  • 出处:  1508  2009 第30期 P8448-8452
  • 关键词: 时间自动机 实时系统 模型检查 
  • 摘要: 该文首先简介了时间自动机、时钟区域、区域等价、时钟带的概念,利用区域等价关系,可以将时间自动机的无穷状态空间转化为有穷。然后通过一个典型的实例完整地介绍了基于时间自动机的实时系统模型检查技术,并用Visual C++语言描述了实时特性验证中的数据结构,实现了实时特性验证算法,实验表明利用该算法可以进...
  • 被引量: 1

    点击量: 1

  • 作者: 郝秀兰,杨尔弘 ( 太原师范学院网络中心  山西太原0;山西大学计算机科学系  山西太原 )
  • 出处:  1339  2004 第18卷 第6期 P23-29
  • 关键词: 人工智能 自然语言处理 机器可读词典 二元分布 语义 知识获取 
  • 摘要: 本文提出了一种基于小规模语料库和机器可读词典 (MachineReadableDictionary ,MRD)的无指导的动词语义获取方法。该方法不需要使用有义项标注的语料库 ,而是使用从语料中获得的V +N搭配以及MRD中多义词定义的应用实例中获得的知识。使用两种方法解决数据稀疏问题 :首先 ,将词...
  • 被引量: 5

共7条记录 1/1 第一页 [1] 最后一页 到第
页脚