您的位置： 专家智库 > >

邢玉国

作品数：2 被引量：1H指数：1
供职机构：青岛大学信息工程学院计算机科学系更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇数据库
  • 1篇计算机
  • 1篇计算机模拟
  • 1篇FOXPRO
  • 1篇FOXPRO...

机构

  • 2篇青岛大学

作者

  • 2篇邢玉国
  • 1篇许曰滨

传媒

  • 2篇青岛大学学报...

年份

  • 1篇1996
  • 1篇1995
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一个描述FOXPRO汇总程序的形式化方法
1996年
对于用ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法．作为示例。
邢玉国许曰滨
关键词：FOXPRO语言数据库
排队系统的计算机模拟被引量：1
1995年
排队系统的计算机模拟邢玉国（青岛大学计算机系，青岛２６６０７１）关键词：排队系统；计算机模拟引它工业企业和日常生活中许多问题都可以用排队系统来模拟．如电话局的占线问题，车站码头等交通枢纽车船堵塞和疏导，故障车机的停机检修，银行服务的计算机系统的性能分...
邢玉国
关键词：计算机模拟
全选 清除 导出
共1页<1>
聚类工具0