Contents

RAPID PROTOTYPING AND ITS SUPPORTING TOOLS IN THE XYZ SYSTEM Tang Zhisong and Wang Shan 1996,7(zk):1-9 [Abstract(3193)]  [View PDF(4183)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(3536)]  [View PDF(4495)389.79 K]

THE BEHAVIOR LEARNING OF TURING MACHINES Deng Jing and Bai Shuo 1996,7(zk):16-24 [Abstract(2913)]  [View PDF(4365)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(3302)]  [View PDF(3916)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(3477)]  [View PDF(3975)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(3213)]  [View PDF(3925)463.19 K]

AN OBJECT—ORIENTED MULTIMEDIA CoNCEPTUAL MoDEL Zhang Xia,Liu Jiren and Li Huatian 1996,7(zk):45-56 [Abstract(3363)]  [View PDF(4084)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(3928)]  [View PDF(4714)485.74 K]

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

A DRPC MODEL FOR OPEN DISTRIBUTED PROCESSING Ji Hua,Xie Li and Sun Zhongxiu 1996,7(zk):73-77 [Abstract(3332)]  [View PDF(4007)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(3368)]  [View PDF(3799)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(3301)]  [View PDF(4038)380.23 K]

STATE oF THE ART oF DISTRIBUTED GRAPHICS PRoCESSING Pan Zhigeng and Shi Jiaoying 1996,7(zk):91-99 [Abstract(3085)]  [View PDF(4111)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(3405)]  [View PDF(3760)1007.03 K]

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

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

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

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

OVERLAPPING RULES AND AMBIGUITIES Lu Chaojun,Sun Yongqiang and Lin Kai 1996,7(zk):134-139 [Abstract(3203)]  [View PDF(3881)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(3237)]  [View PDF(4227)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(3265)]  [View PDF(3686)676.70 K]

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

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

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

U-CYCLICALTERM AND EASY TERM Huang Qieyuan,Jiang Ying,Zhao Xishun and Wang Ju 1996,7(zk):178-183 [Abstract(3256)]  [View PDF(3703)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(3380)]  [View PDF(4387)436.57 K]

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

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

LOCK RESOLUTION IN BOOLEAN OPERATOR FUZZY LOGIC Deng Ansheng and Liu Xuhua 1996,7(zk):205-209 [Abstract(3606)]  [View PDF(3774)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(3334)]  [View PDF(3990)395.85 K]

THE SPECIALIZATION OF EVIDENCE FUNCTIONS Liu Dayou,Li Yuefeng and Tang Haiying 1996,7(zk):216-223 [Abstract(3259)]  [View PDF(4421)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(3698)]  [View PDF(4099)374.65 K]

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

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

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

A DATA COLLECTION ORIENTED DBMS WITH HIGH PERFORMANCE Yao Qingda,Xiao Yongqiao and Chen Xiaoheng 1996,7(zk):254-260 [Abstract(3231)]  [View PDF(3930)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(3280)]  [View PDF(3855)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(3757)]  [View PDF(3905)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(3629)]  [View PDF(3803)427.21 K]

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

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

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

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

JDAUTO/0：An OBJECT-ORIENTED SOFTWARE AUTOMATION SYSTEM Jin Chunshao and Quan Bingzhe 1996,7(zk):304-310 [Abstract(3440)]  [View PDF(3982)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(3416)]  [View PDF(4715)263.48 K]

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

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

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

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

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

FAIR TRANSITIoN SYSTEM SPECIFICATION AND ITS APPLICATIONS Jia Guoping and Zheng Guoliang 1996,7(zk):358-366 [Abstract(3089)]  [View PDF(3918)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(3379)]  [View PDF(3777)437.50 K]

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

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

A FORMAL SOFTWARE DEVELOPMENT METHOD DD-VDM La Jian and Zhang Jianying 1996,7(zk):385-393 [Abstract(3242)]  [View PDF(3893)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(3492)]  [View PDF(4152)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(3298)]  [View PDF(4161)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(3390)]  [View PDF(3750)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(3227)]  [View PDF(3961)1.27 M]

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

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

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

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

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

PARTITION EXTENSIONS OF PROPOSlTIONAL TEMPORAL LOGIC Shen Enshao 1996,7(zk):447-454 [Abstract(2905)]  [View PDF(3861)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(3041)]  [View PDF(4103)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(3226)]  [View PDF(4229)503.98 K]

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

A FRAMEWORK OF MARKET ANALYSIS Mao Jun,Lu Yuchang and Chang Yun 1996,7(zk):474-479 [Abstract(3476)]  [View PDF(3996)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(3969)]  [View PDF(4054)345.71 K]

A METHOD FOR MARKET ANALYSIS BASED ON RULES Ma Shaoping,Zheng Tong and Lu Yuchang 1996,7(zk):485-490 [Abstract(2800)]  [View PDF(4138)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(3261)]  [View PDF(4282)440.58 K]

MEDIA SYNCHRONIZATION TECHNOLOGY Xiao Bolei,Li Xinyou,Wang Cheng,Lu Yuchang and Gui Tao 1996,7(zk):497-502 [Abstract(3279)]  [View PDF(4065)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(2987)]  [View PDF(4391)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(3185)]  [View PDF(4132)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(3292)]  [View PDF(3937)311.69 K]

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

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

A SOFTWARE TOOL FOR PARALLEL PROGRAMMING Xu Hong,Chen Delai and Zhang Defu 1996,7(zk):531-536 [Abstract(2902)]  [View PDF(4151)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(3051)]  [View PDF(4064)492.08 K]

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

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

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

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