您的位置: 专家智库 > >

国家自然科学基金(60563004)

作品数:12 被引量:23H指数:2
相关作者:叶新铭周建涛马俊陆海燕李秀华更多>>
相关机构:内蒙古大学吉林大学更多>>
发文基金:国家自然科学基金内蒙古自治区自然科学基金内蒙古自治区科技厅科技攻关项目更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 12篇期刊文章
  • 2篇会议论文

领域

  • 13篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇网格
  • 3篇电子商务
  • 3篇商务
  • 3篇工作流
  • 3篇工作流过程
  • 2篇油田远程监控...
  • 2篇语义验证
  • 2篇远程
  • 2篇远程监控
  • 2篇远程监控系统
  • 2篇数据库
  • 2篇协同工作
  • 2篇化简
  • 2篇计算机
  • 2篇计算机支持
  • 2篇计算机支持的...
  • 2篇监控系统
  • 2篇GPRS
  • 1篇调度
  • 1篇多属性决策

机构

  • 13篇内蒙古大学
  • 1篇吉林大学

作者

  • 10篇叶新铭
  • 6篇周建涛
  • 2篇马俊
  • 1篇谢辉
  • 1篇仪婷婷
  • 1篇王玉龙
  • 1篇郭怡静
  • 1篇陆海燕
  • 1篇白翔宇
  • 1篇图雅
  • 1篇李秀华
  • 1篇柳林
  • 1篇姜树明
  • 1篇李华
  • 1篇王谱新

传媒

  • 7篇内蒙古大学学...
  • 3篇计算机科学
  • 1篇中山大学学报...
  • 1篇吉林广播电视...

年份

  • 2篇2009
  • 5篇2008
  • 5篇2007
  • 2篇2006
12 条 记 录,以下是 1-10
排序方式:
基于GPRS和数据库的油田远程监控系统的设计与实现被引量:11
2007年
油田远程监控系统可以实时采集油井的各项专业数据并分析显示抽油机井的工作状态.该系统的硬件部分负责采集油井的各项实时数据并将这些信息经无线网络发送给具有固定IP地址的监控中心,监控中心的服务器端软件将采集回来的数据解析到数据库,同时分析油井所处的各种状态.监控系统的客户端软件将服务器端分析出的数据以用户需要的方式组合并显示.该系统是一种集传感器应用技术、计算机数据采集处理技术、GPRS通信技术于一体的高新技术产品.
马俊叶新铭
关键词:数据库
网格时代的协同工作被引量:1
2007年
20多年前,计算机支持的协同工作作为一门学科发展起来,然而,至今仍有一些问题在该领域的应用中尚未得到很好地解决.首先分析了这些问题,然后提出在新的计算环境网格中探讨解决方式的思路.最后以企业信息化建设为例,说明了基于网格的协同工作的实现途径和作用.
周建涛叶新铭唐旭文
关键词:网格协同学计算机支持的协同工作企业信息化
Security Verification of 802.11i 4-way Handshake Protocol
Key management is a significant part of secure wireless communication.In IEEE 802.11i standard,4-way handshake...
Jing Liu 1
网格环境中基于SOA的工作流系统架构研究
1介绍计算机和网络技术在近几十年对科学、技术乃至整个社会的发展都起到了巨大作用。各行各业、不同规模的企业都希望引入信息化以代替"有纸"办公、减轻繁琐的人力劳动,并最终通过信息化建设改
周建涛叶新铭李平
关键词:WORKFLOWGRID
文献传递
网格工作流及其关键技术研究综述被引量:7
2008年
网格技术意在驱动互联网上所有资源的全面共享与协同工作.网格工作流技术是近年来兴起的又一研究热点.简述了网格发展,提出网格系统层次模型,并分析总结其中的关键技术.接着,分析网格工作流的起因,概述其概念,并提出其区别于传统工作流的特点.最后,综述网格工作流的研究现状,分析并提出其中的关键技术及发展方向,力图为网格工作流在描述、实现和应用方面的技术创新提供基础和依据.
周建涛叶新铭
关键词:网格工作流网格工作流工作流过程网格服务
软件测试中的窗口测试
2007年
当前图形界面用户窗口(GUI)在软件开发中大规模地使用,对软件测试提出了挑战。如何能够对软件的窗口进行正确的功能测试,是软件测试面临的一个重要问题。本文提出了窗口控件交互执行因果图(CICE)法。使窗口测试能够按照一定的规则进行。并且给出测试用例的生成算法,自动生成测试用例。
叶新铭姜树明图雅
关键词:测试用例
基于组件级化简的语义验证方法在电子商务过程中的应用被引量:1
2006年
工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实际的工作流系统中,如何使用基于组件级化简的语义验证方法,对一个电子商务过程订货购买过程的三维工作流网表示进行语义验证.证明了该语义验证方法的有效性.
周建涛叶新铭
关键词:工作流过程语义验证化简电子商务
工作流过程的语义验证方法应用
2006年
工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性.
周建涛唐旭文
关键词:工作流过程语义验证化简电子商务
基于UML状态图的C/S模式软件系统的一致性测试例生成
2009年
C/S模式的软件系统具有多层次结构、采用面向对象编程技术等特点,为其生成一致性测试变得十分困难。使用UML状态图,为一个C/S模式的软件系统建模,将建立好的模型转换为扩展的有限状态机,并在该有限状态机上使用UIO序列与中国邮递员算法相结合的方法进行测试例的生成,最后应用数据流分析技术对生成的测试例进行分析,排除了其中不可执行的测试例。该方法利用了UML状态图易于建模的优点,降低了测试生成的难度,缩短了测试例的长度并节省了软件开发的成本。
叶新铭王谱新白翔宇谢辉
关键词:C/S模式UML状态图有限状态机UIO
基于VC开发环境下的油田远程监控系统的设计与实现被引量:1
2008年
油田远程监控系统可以实时采集油井的各项专业数据并分析显示抽油机井的工作状态.该系统的硬件部分负责采集油井的各项实时数据并将这些信息经无线网络发送给具有固定IP地址的监控中心,监控中心的服务器端软件将采集回来的数据解析到数据库,同时分析油井所处的各种状态.监控系统的客户端软件将服务器端分析出的数据以用户需要的方式组合并显示.本文给出基于VC开发环境下的油田远程监控系统的设计与实现.
马俊叶新铭
关键词:油田远程监控系统GPRS数据库
共2页<12>
聚类工具0