当期目录

• 1992年, 第4期　刊出日期：1992-04-01 上一期    下一期
  本期栏目： 论文

论文

模糊关系无损连接分解的实现及检验

吴永辉

1992, 14(4): 1-9. doi:

摘要 ( 284 )   PDF (243KB) ( 254 )   　　

UNIX操作系统安全分析

周尚德

1992, 14(4): 10-17. doi:

摘要 ( 267 )   PDF (236KB) ( 385 )   　　

时态逻辑与程序验证

王戟 贲可荣

1992, 14(4): 18-28. doi:

摘要 ( 250 )   PDF (295KB) ( 706 )   　　

发展大规模并行巨型机势在必行

Rowe,J 陈慧清

1992, 14(4): 29-34. doi:

摘要 ( 281 )   PDF (198KB) ( 305 )   　　

巨型机转子机制的改进策略

邢二保 李仲民

1992, 14(4): 35-41. doi:

摘要 ( 302 )   PDF (144KB) ( 336 )   　　

传输线电阻边界的非线性对反射波跃变边沿的影响

彭心炯

1992, 14(4): 42-49. doi:

摘要 ( 301 )   PDF (166KB) ( 307 )   　　

最佳基数排序

陈怀谟 王卡佳

1992, 14(4): 50-54. doi:

摘要 ( 299 )   PDF (117KB) ( 332 )   　　

微分代数方程的一类并行算法

费景高

1992, 14(4): 55-68. doi:

摘要 ( 269 )   PDF (246KB) ( 363 )   　　

PPL：一种VLSI结构化设计方法

李钢

1992, 14(4): 69-73. doi:

摘要 ( 288 )   PDF (99KB) ( 343 )   　　

基于模拟的可编程收缩阵列的设计

Smith,R 唐跃功

1992, 14(4): 74-81. doi:

摘要 ( 295 )   PDF (244KB) ( 294 )