Contents

SYMBOLIC BISIMULATION FOR VALUE—PASSING PROCESSES Lin Huimin 1995,6(zk):1-9 [Abstract(3481)]  [View PDF(4363)484.37 K]

THE INTERPROCEDUAL DATA—FLOW ANALYSIS WITH ARRAY REFERENCE Ji Xiaomei,Zhang Zhaoqing,Qiao Ruliang and Li Jie 1995,6(zk):10-17 [Abstract(3261)]  [View PDF(3994)422.41 K]

DDD——AN OBJECT—ORIENTED METHODOLOGY FOR MIS DEVELOPMENT Zhuge Hai 1995,6(zk):18-27 [Abstract(2694)]  [View PDF(4465)585.75 K]

KNOWLEDGE—BASED DATA AUTOMATIC DISTRIBUTION MODEL Yang Li,Ge Jianxin and He Zhijun 1995,6(zk):28-35 [Abstract(3140)]  [View PDF(4148)563.67 K]

LEAST SQUARE HIGH ORDER ASSOCIATIVE MEMORY Chen Songcan and Chen Dejian 1995,6(zk):36-39 [Abstract(2959)]  [View PDF(4151)247.79 K]

INCREMENTAL EXPLANATION—BASED LEARNING ALGORITHM EBG—PLUS Hao Jigang and Shi Chunyi 1995,6(zk):40-45 [Abstract(3181)]  [View PDF(3784)403.74 K]

ALLOCATION AND ITS MODEL Su Ming,Xue Hongxi and Hong Xianlong 1995,6(zk):46-51 [Abstract(3194)]  [View PDF(4175)384.48 K]

PROTOCOL CONFORMANCE TEST GENERATION BASED UPON MULTIPLE UIO SEQUENCES Liu Jiren and Du Jun 1995,6(zk):52-58 [Abstract(2884)]  [View PDF(4499)475.17 K]

HIERARCHICAL MODELING AND PERFORMANCE EVALUATIoN OF STOCHASTIC HIGH—LEVEL PETRE NETS Lin Chuang,Wu Jianping and Wang Dingxing 1995,6(zk):59-67 [Abstract(3186)]  [View PDF(3900)556.96 K]

AN EFFICIENT FEED—THROUGH ASSIGNMENT ALGORITHM FOR GATE ARRAY AND STANDARD CELL LAYOUT Hong Xianlong and Huang Jin 1995,6(zk):68-77 [Abstract(2941)]  [View PDF(4021)594.54 K]

THE LEXICAL SEMANTIC DRIVING ALGORITHM BASED ON THE COLLOCATION DICTlONARY Tang Hongying and Yao Tianshun 1995,6(zk):78-85 [Abstract(2898)]  [View PDF(4176)552.17 K]

RESEARCH AND IMPLEMENTATION OF OBJECT—ORIENTED TESTING TOOL FOR PROLOG PROGRAM Wang Lei and Hou Guangde 1995,6(zk):86-93 [Abstract(3020)]  [View PDF(4107)514.06 K]

THE RESEARCH AND IMPLEMENTATION oF AGENT COMMUNICATIVE PRIMITIVE BASE SYSTEM Zhou Li,Wu Quanyuan and Chen Huowang 1995,6(zk):94-99 [Abstract(3415)]  [View PDF(4193)415.09 K]

ON THE SECURITY OF THE MCELIECE'S PUBLIC KEY CRYPTOSYSTEM Long Yonghong 1995,6(zk):100-103 [Abstract(2995)]  [View PDF(3912)258.27 K]

MIDS P++LANGUAGE Che Dunren and Mai Zhongfan 1995,6(zk):104-111 [Abstract(2854)]  [View PDF(3914)486.27 K]

RAM ASSOCIATIVE MEMORY WITH THE NoNLINEAR MAPPING ABILITY Chen Songean 1995,6(zk):112-117 [Abstract(2897)]  [View PDF(4034)324.93 K]

A HIERARCHY—BASED HYPERMEDIA AUTHORING SYSTEM Yang Deshun and Wang Wenqing 1995,6(zk):118-123 [Abstract(3230)]  [View PDF(4189)409.30 K]

USING SUPERCOMPILING TECHNIQUES TO OPTIMIZE SEQUENTIAL PROGRAMS Zhang Zhaoqing and Qiao Ruliang 1995,6(zk):124-131 [Abstract(3223)]  [View PDF(4274)486.05 K]

ON TWO TYPES NEW ACCEPTANCE CONDITlON OF ω-FINITE STATE AUTOMATA Zhou Wenjun and Su Jinxiang 1995,6(zk):132-137 [Abstract(3120)]  [View PDF(3955)361.69 K]

DECOMPOSED SOFTWARE PIPELINING：A NEW APPROACH TO EXPLOIT INSTRUCTION LEVEL PARALLELISM FOR LOOP PROGRAMS Tang Zhizhong,Zhang Chihong and Wang Jian 1995,6(zk):138-147 [Abstract(2895)]  [View PDF(3963)600.66 K]

A NEW APPROACH OF INSTRUCTIoN—LEVEL OPTIMIZATION OF LOOPS WITH CONDITIONAL JUMPS Tang Zhizhong,Zhang Chihong and Wang Jian 1995,6(zk):148-156 [Abstract(2907)]  [View PDF(4274)561.11 K]

ω—POWER CONTEXT—FREE LANGUAGES AND THEIR CLOSURE PROPERTIES Guo Qingquan 1995,6(zk):157-161 [Abstract(3040)]  [View PDF(3575)288.44 K]

THE IMPLEMENTATION OF PERSISTENT OBJECT IN JB2 SYSTEM Liu Junfei,Shao Weizhong and Yang Fuqing 1995,6(zk):162-169 [Abstract(3081)]  [View PDF(3824)522.67 K]

A PRACTICAL GRAPH GRAMMAR MODEL FOR CONCURRENT OBJECT—ORIENTED SYSTEMS Xu Jianli and Zhou Longxiang 1995,6(zk):170-181 [Abstract(3152)]  [View PDF(4296)764.11 K]

THE STATIC ANALYSIS FOR CONCURRENT PROGRAMS BY FLOWCHART Ma Jun and Ma Shaohan 1995,6(zk):182-186 [Abstract(3511)]  [View PDF(5145)308.36 K]

GENERAL INHERITANCE AND ITS IMPLEMENTATION IN OBJECT—ORIENTED PROGRAMMING LANG UAGES Li Xuandong and Zheng Guoliang 1995,6(zk):187-193 [Abstract(2806)]  [View PDF(4211)471.59 K]

DESIGN SCHEME OF KNOWLEDGE—BASED COMPUTER—AIDED EXAM—PAPER FORMATION SYSTEM Lin Fuhua,Chen Guangzhong,Hong Chaoxing and Wang Guoqiang 1995,6(zk):194-201 [Abstract(3677)]  [View PDF(4191)521.04 K]

AN OBJECT—ORIENTED ARCHITECTURE MODEL FOR MANAGEMENT INFORMATION SYSTEM Wang Lifu,Yi Xiaoyong and Yang Fuqing 1995,6(zk):202-206 [Abstract(2856)]  [View PDF(4405)365.64 K]

A FORMAL SEMANTIC MODEL FOR OBJECT Huang Tao,Feng Yulin and Li Jing 1995,6(zk):207-212 [Abstract(3060)]  [View PDF(3848)425.73 K]

DATA MODEL AND DDL WITHIN A FRAM EWORK SYSTEM Pan Xuezeng,Shou Yucheng,Zhao Yuping and Ping Lingdi 1995,6(zk):213-218 [Abstract(3052)]  [View PDF(4050)378.80 K]

A METHOD AND ARCHITECTURE MODES FOR INFoRMATION SYSTEM DEVELOPMENT Zhong Cuihao,Cao Dongqi and Guo Heqing 1995,6(zk):219-225 [Abstract(3167)]  [View PDF(4416)509.38 K]

A GENERATION METHOD OF PROGRAM OF MIS Guo Heqing,Zhong Cuihao and Ma Jian 1995,6(zk):226-230 [Abstract(2837)]  [View PDF(3903)358.58 K]

OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlON Li Jing,Feng Yulin and Huang Tao 1995,6(zk):231-237 [Abstract(3185)]  [View PDF(3973)401.07 K]

THE DESIGN AND IMPLEMENTATION OF CHINESE PAGE DESCRIPTION LANGUAGE INTERPRETER CPDL LEVEL 2 Xu Fupei,Jin Yadong,Zhou Dong and Wu Zhao 1995,6(zk):238-245 [Abstract(3395)]  [View PDF(4255)557.26 K]

EXPANSION ALGORITHM AND SOLUTIONS oF PSEUDO—BILINEAR EQUATION SYSTEMS Sun Yongqiang and Yuan Huaqiang 1995,6(zk):246-252 [Abstract(2931)]  [View PDF(3979)426.87 K]

STREAMS MECHANISM AND IP IMPLEMENTATlON Hu Yanli and Ju Jiubin 1995,6(zk):253-257 [Abstract(3009)]  [View PDF(4152)364.46 K]

ON THE IMPLEMENTATION OF COMPILERS FOR FUNCTIONAL LANGUAGES Liao Husheng 1995,6(zk):258-265 [Abstract(3366)]  [View PDF(4284)488.23 K]

A FORMAL DEVELOPMENT MODEL FOR KNOWLEDGE BASED SYSTEMS Xu Dianxiang and Zheng Guoliang 1995,6(zk):266-273 [Abstract(2865)]  [View PDF(3953)503.45 K]

A RESPONSIBILITY—DRIVEN OBJECT—ORIENTED ANALYSIS AND DESIGN METHOD Tian Zhong,Qian Leqiu,Zhao wenyun and Qian Jiahua 1995,6(zk):274-280 [Abstract(2931)]  [View PDF(4182)509.40 K]

MULTISCALE STEREO VISlON BASED ON WAVELET TRANSFORM Zhong Sheng,Shi Qingyun and Cheng Minde 1995,6(zk):281-291 [Abstract(2916)]  [View PDF(3970)2.83 M]

SOFTWARE AUTOMATION FROM THE DEVELOPMENT OF SOFTWARE ENGINEERING Bai Guangye,Xu Chong,Fan Zhihua and Jiang Dongming 1995,6(zk):292-300 [Abstract(3463)]  [View PDF(4668)646.26 K]