排序方式： 共有2条查询结果，搜索用时 0 毫秒
1
1.
对于ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法，作为示例，文中最后对汇总程序的核心部分给出了部分正确性验证过程。 相似文献
2.
排队系统的计算机模拟 总被引：1，自引：0，他引：1
邢玉国 《青岛大学学报(自然科学版)》1995,8(2):88-92
排队系统的计算机模拟邢玉国（青岛大学计算机系，青岛２６６０７１）关键词：排队系统；计算机模拟引它工业企业和日常生活中许多问题都可以用排队系统来模拟．如电话局的占线问题，车站码头等交通枢纽车船堵塞和疏导，故障车机的停机检修，银行服务的计算机系统的性能分... 相似文献
1