Contents

RAPID PROTOTYPING AND ITS SUPPORTING TOOLS IN THE XYZ SYSTEM Tang Zhisong and Wang Shan 1996,7(zk):1-9 [Abstract(3235)]  [View PDF(4344)544.22 K]

RESEARCH AND IMPLEMENTATIoN oF THE DATASTRUCTURE FOR NEW GENERATION GEOMETRICMoDELING SYSTEM Chen Yujian,Yang Changgui,Tian Lüzhu and Sun Jiaguang 1996,7(zk):10-15 [Abstract(3589)]  [View PDF(4625)389.79 K]

THE BEHAVIOR LEARNING OF TURING MACHINES Deng Jing and Bai Shuo 1996,7(zk):16-24 [Abstract(2959)]  [View PDF(4481)499.25 K]

SELF-ORGANIZATION OF CONSTRAINTS BETWEEN DIMENSIoNS AND DRAWINGS FOR MULTI—DIRECTIoN DRIVE AND AUTOMATIC MATCHING Zhang Shuyou,Peng Qunsheng and Tan Jianrong 1996,7(zk):25-29 [Abstract(3343)]  [View PDF(4036)328.86 K]

A DEDUCTIVE QUERY LANGUAGE oF THE oBJECT ORIENTED DATABASE Zhang Chemghong,Shi Baile and Hu Yunfa 1996,7(zk):30-37 [Abstract(3513)]  [View PDF(4087)502.37 K]

THE IMPLEMENTATIoN OF THE DEDUCTIVE QUERY OF AN OBJECT ORIENTED DATABASE Zhang Chenghong,Shi Baile and Hu Yunfa 1996,7(zk):38-44 [Abstract(3249)]  [View PDF(4039)463.19 K]

AN OBJECT—ORIENTED MULTIMEDIA CoNCEPTUAL MoDEL Zhang Xia,Liu Jiren and Li Huatian 1996,7(zk):45-56 [Abstract(3410)]  [View PDF(4193)752.74 K]

THE DESIGN AND ANALYSIS OF PARALLEL FFT ALGoRITHM ON THREE PARALLEL CoMPUTATIONAL MODELS Chen Guoliang,Li Xiaofeng and Huang Weimin 1996,7(zk):57-63 [Abstract(3953)]  [View PDF(4834)485.74 K]

AN OBJECT—ORIENTED COMPUTER GRAPHICS SYSTEM Li Wenhui,Pang Yunjie and Quan Bingzhe 1996,7(zk):64-72 [Abstract(3806)]  [View PDF(4480)599.99 K]

A DRPC MODEL FOR OPEN DISTRIBUTED PROCESSING Ji Hua,Xie Li and Sun Zhongxiu 1996,7(zk):73-77 [Abstract(3354)]  [View PDF(4130)342.59 K]

THE DESIGN AND IMPLEMENTATION oF HIGH—PERFORMANCE SYNCHRONOUS COMMUNlCATION BOARD：TH—X25 Zhu Weiguo,Yang Jiahai and Wu Jianping 1996,7(zk):78-84 [Abstract(3399)]  [View PDF(3918)490.21 K]

THE METHoD AND APPLICATIoN oF COLOR CLUSTERING IN CoMPUTERIZED EMBRoIDERY PUNCHING SYSTEM Chen Zhaoqian,Xie Junyuan,Qian Haichuan and Chen Shifu 1996,7(zk):85-90 [Abstract(3330)]  [View PDF(4164)380.23 K]

STATE oF THE ART oF DISTRIBUTED GRAPHICS PRoCESSING Pan Zhigeng and Shi Jiaoying 1996,7(zk):91-99 [Abstract(3124)]  [View PDF(4234)637.75 K]

C++PROGRAM UNDERSTANDING SYSTEM BASED ON STRUCTURE ANALYSIS TECHNIQUE Wu Qiong,Jin Chengbai and Jin Chunahao 1996,7(zk):100-106 [Abstract(3442)]  [View PDF(3874)1007.03 K]

FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS Qing Sihan 1996,7(zk):107-114 [Abstract(3109)]  [View PDF(4094)476.34 K]

RESEARCH ON THE PRODUCT DATA REPRESENTATION AND EXCHANGE USING STEP Zhao Zhige and Zhao Rongliang 1996,7(zk):115-119 [Abstract(2963)]  [View PDF(4487)350.84 K]

REALISTIC SPATIAL SOUND RENDERING IN VIRTUAL ENVIRONMENT Zhang Aidong,Shi Jiaoying and Pan Zhigeng 1996,7(zk):120-126 [Abstract(3584)]  [View PDF(4508)443.95 K]

“CLoUD EFFECTIVE”ALGORITHMS FOR TASK ASSIGNMENT OF WAREHOUSE SYSTEM Chen Fangze and Zhang Bo 1996,7(zk):127-133 [Abstract(3429)]  [View PDF(4068)449.76 K]

OVERLAPPING RULES AND AMBIGUITIES Lu Chaojun,Sun Yongqiang and Lin Kai 1996,7(zk):134-139 [Abstract(3234)]  [View PDF(4012)358.87 K]

QUERY PROCESSING TECHNIQUES IN THE POLYBASE SYSTEM Wang Guoren,Yu Ge,Shan Jidi and Zheng Huaiyuan 1996,7(zk):140-146 [Abstract(3269)]  [View PDF(4340)491.38 K]

AN OBJECT-ORIENTED MODEL FOR MANAGEMENT OF MULTIMEDIA WORKS Zhu Haibiu,Wang Pu and Hu Sbouren 1996,7(zk):147-155 [Abstract(3302)]  [View PDF(3825)676.70 K]

MARKED MODAL RESOLUTION Sun Jigui and Liu Xuhua 1996,7(zk):156-162 [Abstract(3263)]  [View PDF(4085)429.91 K]

FORMAL SEMANTICS OF RECURSIVE QUERIES IN COMPLEX OBJECT DATABASES chen Rui 1996,7(zk):163-169 [Abstract(3194)]  [View PDF(4098)435.80 K]

AN INTERACTIVE GRAPHIC TOOL TO TRANSFORM A PRoGRAM INTO A STRUCTURED FORM Gong Jie 1996,7(zk):170-177 [Abstract(3373)]  [View PDF(3940)406.25 K]

U-CYCLICALTERM AND EASY TERM Huang Qieyuan,Jiang Ying,Zhao Xishun and Wang Ju 1996,7(zk):178-183 [Abstract(3281)]  [View PDF(3843)325.15 K]

THE DESIGN AND IMPLEMENTATION OF DATABASE ENCRYPTION MANAGEMENT TOOL Dai Yiqi,Su Zhongmin,Chen Wei and Shang Jie 1996,7(zk):184-190 [Abstract(3414)]  [View PDF(4499)436.57 K]

A NEW METHOD FOR SHORTEST PATHS COMPUTATION BY NEURAL NETWORKS Zhu Darning and Ma Shaoban 1996,7(zk):191-198 [Abstract(3447)]  [View PDF(4702)466.34 K]

A METHOD OF AUTOMATIC GENERATING FRONT—END COMPILER Sun Shuling and Zheng Qiloug 1996,7(zk):199-204 [Abstract(3673)]  [View PDF(4540)364.07 K]

LOCK RESOLUTION IN BOOLEAN OPERATOR FUZZY LOGIC Deng Ansheng and Liu Xuhua 1996,7(zk):205-209 [Abstract(3641)]  [View PDF(3899)318.30 K]

THE GROWTH PROCEDURE AND THEIR ALGORITHMS IN TEMPORAL MULTIMEDIA DATABASES Tang Changjie,Yang Wenchuan and Luo Yunjiaug 1996,7(zk):210-215 [Abstract(3379)]  [View PDF(4136)395.85 K]

THE SPECIALIZATION OF EVIDENCE FUNCTIONS Liu Dayou,Li Yuefeng and Tang Haiying 1996,7(zk):216-223 [Abstract(3296)]  [View PDF(4544)459.96 K]

THE SYNTAX，PRAGMATICS AND SEMANTICS OF LOGICAL FRAMEWoRKS——(I)THE SYNTAX AND PRAGMATICS OF A NEW LoGlCAL FRAMEWORKS Fu Yuxi,Song Zhexuan and Sun Yongqiang 1996,7(zk):224-231 [Abstract(3734)]  [View PDF(4221)374.65 K]

ITERATION FUNCTIONS AND THEIR COMPUTABILITY Yan Zhixin and Huang Shengping 1996,7(zk):232-238 [Abstract(3145)]  [View PDF(3988)427.74 K]

FUNCTION PROGRAMMING WITH ITERATION OPERATOR Yan Zhixin 1996,7(zk):239-248 [Abstract(3355)]  [View PDF(4307)541.39 K]

PARALLEL QUICKSORT WITHOUT MEMORY CONFLICTS Guan Li 1996,7(zk):249-253 [Abstract(3736)]  [View PDF(4238)279.94 K]

A DATA COLLECTION ORIENTED DBMS WITH HIGH PERFORMANCE Yao Qingda,Xiao Yongqiao and Chen Xiaoheng 1996,7(zk):254-260 [Abstract(3277)]  [View PDF(4048)455.44 K]

PIPELINING——AN EFFECTIVE METHOD TO REDUCE BROADCASTING DELAY OF MPP SYSTEMS Liu Hongwei,Li Xiaoming and Cui Guangzuo 1996,7(zk):261-266 [Abstract(3316)]  [View PDF(4008)404.97 K]

TWO LEARNING ALGORITHMS OF HOPFIELD ASSOCIATIVE MEMORY BASED ON MINIMAX CRITERION Liang Xuehin and Wu Lide 1996,7(zk):267-272 [Abstract(3797)]  [View PDF(4048)349.03 K]

A PETRI—NET BASED METHOD FOR SOFTWARE SPECIFICATION CONSTRUCTION He Zhijun,Ying Jing,Wu Zhaohui and Gao ji 1996,7(zk):273-278 [Abstract(3668)]  [View PDF(3924)427.21 K]

A METHOD FOR CONSTRUCTING ONE—WAY HASH FUNCTIONS Wang Xiaoyun and Zhou Dashui 1996,7(zk):279-283 [Abstract(3619)]  [View PDF(4672)293.66 K]

IDENTITY—BASED DYNAMIC PASSWORD AUTHENTICATION Dai Yiqi and Zhang Li 1996,7(zk):284-289 [Abstract(3343)]  [View PDF(4035)376.46 K]

A STRlCT WEAK HYBRID COHERENCE MODEL Li Rong,Wang Dingxing and Shen Meiming 1996,7(zk):290-296 [Abstract(3291)]  [View PDF(3971)475.97 K]

A RELATIONAL DATA MODEL WITH INHERITANCE DEPENDENCIES Liu Weiyi and LU Yuan 1996,7(zk):297-303 [Abstract(3484)]  [View PDF(4090)375.33 K]

JDAUTO/0：An OBJECT-ORIENTED SOFTWARE AUTOMATION SYSTEM Jin Chunshao and Quan Bingzhe 1996,7(zk):304-310 [Abstract(3479)]  [View PDF(4117)503.39 K]

A FAST CONVERGENT GENETIC ALGORITHM Zhou Chunguang,Zhou Guoqin,Li B0,Cheng Yanfeng and Liang Yanehun 1996,7(zk):311-314 [Abstract(3451)]  [View PDF(4853)263.48 K]

A MODEL FOR AUTOMATIC PREDICTION OF CHINESE PHRASE BOUNDARY LOCATION Zhou Qiang 1996,7(zk):315-322 [Abstract(4011)]  [View PDF(4217)493.51 K]

OPERATIONAL PROFILES DEVELOPMENT IN SOFTWARE RELIABILITY ENGINEERlNG Dang Qimin and Yang Xinfa 1996,7(zk):323-328 [Abstract(3889)]  [View PDF(4442)394.37 K]

PARALLEL—OUTERMOST PATTERN MATCHING Shen Li,Lin Kai and Sun Yongqiang 1996,7(zk):329-337 [Abstract(3404)]  [View PDF(4239)588.82 K]

THE COMPUTABILITY OF ITERATION PROGRAMS IN STATE LOGIC LANGUAGE Yan Zhixin 1996,7(zk):338-347 [Abstract(3371)]  [View PDF(3995)623.80 K]

TRANSFORMATION SEMANTICS OF OPERATOR LANGUAGE TO PROCEDURB LANGUAGE Yan Zhixin and Huang Dongquan 1996,7(zk):348-357 [Abstract(3455)]  [View PDF(4389)539.19 K]

FAIR TRANSITIoN SYSTEM SPECIFICATION AND ITS APPLICATIONS Jia Guoping and Zheng Guoliang 1996,7(zk):358-366 [Abstract(3121)]  [View PDF(4048)575.65 K]

FINDING AN OPTIMAL COVER OF THE NODE'S FUNCTIONS Ye Yizheng,Zeng Xianjun and Yu Mingyan 1996,7(zk):367-374 [Abstract(3414)]  [View PDF(3902)437.50 K]

A MODELLING METHOD BASED ON FORM FEATURE Han Ling,Dong Jinxiang and Li Hailong 1996,7(zk):375-380 [Abstract(3186)]  [View PDF(3942)375.29 K]

THE SECOND FIXED—PoINT THEoREMS IN λ—CALCULUS Song Fangmin 1996,7(zk):381-384 [Abstract(3529)]  [View PDF(4023)244.74 K]

A FORMAL SOFTWARE DEVELOPMENT METHOD DD-VDM La Jian and Zhang Jianying 1996,7(zk):385-393 [Abstract(3279)]  [View PDF(4010)534.23 K]

A STUDY ON THE REPLlCATED DATA ALGORITHM FOR SOLVING THE SINGLE SOURCE SHORTEST PATH PROBLEM Yang Jing'an 1996,7(zk):394-399 [Abstract(3530)]  [View PDF(4289)375.63 K]

SEMANTIC CAPTURE AND SCHEMA TRANSFORMATION FROM RELATIONAL DATABASES INTO OBJECT—ORIENTED SEMANTIC DATABASES Wang Guoren,Yu Ge,Shi Jing,Shan Jidi and Zheng Huaiyuan 1996,7(zk):400-409 [Abstract(3348)]  [View PDF(4272)582.25 K]

AN ALGORITHM FOR OUTLINE RLSOLUTlON ON 2D COMPLICATED PCB CIRCUIT AND IRREGULAR PATTERN Xu Bo Zhou and Mingtian 1996,7(zk):410-414 [Abstract(3430)]  [View PDF(3873)313.46 K]

THE SEGMENTATION OF BIOTICAL BLOOD VESSEL NETWORK BY AN AUTOMATED ALGORITHM Li Xilin,xu Gongwen and Fan Zhihua 1996,7(zk):415-420 [Abstract(3260)]  [View PDF(4099)1.27 M]

THE SET oF c^)一REGULAR LANGUAGES Zhuang Lei,Meng Qingyuan and Su Jinxiang 1996,7(zk):421-424 [Abstract(3632)]  [View PDF(3701)237.13 K]

GENERALIZED INVERSE ASSOCIATIVE MEMORY WITH NONLINEAR MAPPING CHARACTERISTICS Chen Songcan,Gao Hang and Yang Guoqing 1996,7(zk):425-430 [Abstract(3188)]  [View PDF(3786)318.21 K]

SOFTWARE PROJECT ESTIMATION Wang Liqiang 1996,7(zk):431-435 [Abstract(3191)]  [View PDF(3911)292.26 K]

A NOTATION FOR SET IN FUNCTIONAL LANGUAGrES AND ITS IMPLEMENTATION Song Kai and Liao Husheng 1996,7(zk):436-440 [Abstract(3135)]  [View PDF(4352)283.86 K]

AN ACCESS METHoD FOR MAIN MEMORY DATABASES Liu Yunsheng and Hu Guoling 1996,7(zk):441-446 [Abstract(3088)]  [View PDF(4412)782.94 K]

PARTITION EXTENSIONS OF PROPOSlTIONAL TEMPORAL LOGIC Shen Enshao 1996,7(zk):447-454 [Abstract(2924)]  [View PDF(3987)500.21 K]

ROUGH NUMBER BASED ON ROUGH SETS AND LOGIC VALUES OF λOPERATORS Liu Qing and Wang Qianying 1996,7(zk):455-461 [Abstract(3065)]  [View PDF(4252)421.63 K]

A MULTIMEDIA INTELLIGENT DATABASE SYSTEM FoR MARKET ANALYSIS AND FORECAST Zhou Lizhu,Shi Chunyi,Lu Yuchang,Liu Weidong and Zhu Dian 1996,7(zk):462-468 [Abstract(3275)]  [View PDF(4329)503.98 K]

CASE—BASED COMBlNATORIAL FORECAST Gong Changping,Lu Yuchang and Zhou Yuanhui 1996,7(zk):469-473 [Abstract(3512)]  [View PDF(3994)333.82 K]

A FRAMEWORK OF MARKET ANALYSIS Mao Jun,Lu Yuchang and Chang Yun 1996,7(zk):474-479 [Abstract(3514)]  [View PDF(4130)368.28 K]

A TEXT REPORT GENERATION METHOD AND ITS IMPLEMENTATION FOR MARKET ANALYSIS AND FORECAST SYSTEM Zheng Tong,Ma Shaoping and Lu Yuchang 1996,7(zk):480-484 [Abstract(4009)]  [View PDF(4158)345.71 K]

A METHOD FOR MARKET ANALYSIS BASED ON RULES Ma Shaoping,Zheng Tong and Lu Yuchang 1996,7(zk):485-490 [Abstract(2828)]  [View PDF(4242)821.62 K]

THE APPLICATION AND RESEARCH ON MARKET ANALYSIS AND FORECAST—ORIENTED DATA WAREHOUSE TECHNOLOGY Liu Weidong,Feng Jianhua,Wang Lingehi and Zheng Tong 1996,7(zk):491-496 [Abstract(3289)]  [View PDF(4412)440.58 K]

MEDIA SYNCHRONIZATION TECHNOLOGY Xiao Bolei,Li Xinyou,Wang Cheng,Lu Yuchang and Gui Tao 1996,7(zk):497-502 [Abstract(3325)]  [View PDF(4197)343.36 K]

THE RESEARCH AND IMPLEMENTATlON OF REAL TIME DISPLAY OF 3D COMPLEX MODEL Zhou Jiayu,Chen Mao,Tang Zesheng and Sun Zheng 1996,7(zk):503-509 [Abstract(3013)]  [View PDF(4525)872.24 K]

THE RESEARCH AND IMPLEMENTATION OF THE MANAGEMENT lNFORMATION VISUALIZATION TECHNOLoGY Zhang Weiqiang,Zhou Jiayu,Tang Zesheng and Zhu Dian 1996,7(zk):510-513 [Abstract(3212)]  [View PDF(4238)877.87 K]

RESEARCH OF PROSODY MARKUP METHOD IN CHINESE TTS Cai Lianhong,Luo Heng,Wang Yong,Tan Hui and Tu Xianghua 1996,7(zk):514-518 [Abstract(3330)]  [View PDF(4079)311.69 K]

TESTING STRATEGY AND TESTING TOOLS OF MODERN SOFTWARE Zhou Zhiying and Qian Ling 1996,7(zk):519-524 [Abstract(3264)]  [View PDF(3830)446.86 K]

A MULTI—AGENT COMPUTATIONAL MARKET MODEL Hu Jun,Wang Kehong,Kang Xiaoqiang and Shi Chunyi 1996,7(zk):525-530 [Abstract(3379)]  [View PDF(4024)400.91 K]

A SOFTWARE TOOL FOR PARALLEL PROGRAMMING Xu Hong,Chen Delai and Zhang Defu 1996,7(zk):531-536 [Abstract(2927)]  [View PDF(4277)407.94 K]

A COMPOUND ARCHITECTURE FOR AGENT IN REAL WORLD Wang Tao,Shi Zhongzhi,Tian Qijia and Wang Wenjie 1996,7(zk):537-543 [Abstract(3092)]  [View PDF(4233)492.08 K]

KBASE—P：A KNOWLEDGE—BASE PROGRAMMING LANGUAGE Shi Baile,Zhu Yangyong and Guo Depei 1996,7(zk):544-550 [Abstract(3436)]  [View PDF(4020)458.93 K]

STRATEGIES IN INDUCTION INFERENCE Li Weihua,Zhang Qian and Long Quan 1996,7(zk):551-557 [Abstract(3239)]  [View PDF(4176)452.31 K]

CLAUSE SIMPLIFY STRATEGY IN INDUCTION INFERENCE Li Weihua,Zhang Qian and Cheng Xueqi 1996,7(zk):558-564 [Abstract(3530)]  [View PDF(4147)714.24 K]

TERM REWRITING STRATEGY IN INDUCTION INFERENCE Li Weihua,Zhang Qian and Han Bo 1996,7(zk):565-571 [Abstract(3524)]  [View PDF(4295)394.03 K]