《计算机专题学术会议 1998.6》求取 ⇩

一 计算机语言、算法、基础理论1

To Unify Dynamic Semantics with Static Semantics in XYZ 唐稚松3

求解NP难问题的拟物拟人方法 黄文奇等12

A Note on the Addition of m k-Bit Numbers. Guenter Hotz et al16

关于计算科学中的形式方法 闵应骅21

演化计算的算法分析 童？24

Verifying Testable Arithmetic Circuits Using Semantics－Preserving Transformations of Nets Guenter Hotz et al28

采用混合演化算法实现微分方程组的自动建模 曹宏庆等37

容错技术在CIMS工程中的应用 吕志华等42

基于时态逻辑的扩充状态转换模型 张广全等46

二 容错计算、测试、诊断51

Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed System. J.Xu et al53

逻辑验证自身的特点及其利用 杨志娟等60

Impact of Distinct Testing Profile and Operational Profile on Software Operational Reliability. Yinong Chen63

Test Generation for Specification Modeled by Input/Output Automata Q.T.Tan et al69

一种高可用容错服务器的设计 袁由光等76

Partial Scan Design Using Circuit State Information. Dong Xiang81

Performance Comparison of Fault－Tolerant Multistage interconnection Networks Y.P.Deng92

一类网络的可靠性分析 何中市等99

跨地区中心数据库系统灾难防御 朱征宇102

一种手持式计算机中的容错技术 陈蜀宇108

A Diagnostic System for Digital Circuits Using First Principles and Heuristics 戎玫等110

三 多值逻辑、计算机网络、并行处理115

中介逻辑十五年 朱梧槚等117

多值逻辑中的Sheffer函数 罗铸楷124

CMOS与ECL电路的开关级设计 吴训威126

TMN的网元管理层及开发方法 王宽全等135

On Scheduling Dynamic Problems on Distributed Memory Machines Shi－xin Sun et al141

四 小波分析、神经网络145

Wavelet－Fractal-Based Approach to Feature Extraction in Pattern Recognition. Yuan Y.Tang147

Analogous Filters for Realizing Continuous Wavelet Transform Fengchun Tian et al153

小波分析在ICT中的应用 曾理等159

双核淋巴细胞的小波神经网络识别 易东等165

小波分析应用前景展望 李建平等170

基于包容原理的信息处理结构及其在神经网络中的应用 傅鹂175

径向基函数网络的分类机理及学习算法 吴开贵等178

作者索引184

Topological Properties of Typical Interconnection Networks： Fault Tolerance,Communication Delay and Connection Cost. Qingnan Li et al186