Volume 7,Issue zk,1996 Table of Contents

Other Issues:  
  
Contents

  • RAPID PROTOTYPING AND ITS SUPPORTING TOOLS IN THE XYZ SYSTEM
  • Tang Zhisong and Wang Shan
  • 1996,7(zk):1-9 [Abstract(2444)]  [View PDF(2498)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(2641)]  [View PDF(2698)389.79 K]
  • THE BEHAVIOR LEARNING OF TURING MACHINES
  • Deng Jing and Bai Shuo
  • 1996,7(zk):16-24 [Abstract(2158)]  [View PDF(2635)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(2462)]  [View PDF(2278)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(2671)]  [View PDF(2238)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(2481)]  [View PDF(2181)463.19 K]
  • AN OBJECT—ORIENTED MULTIMEDIA CoNCEPTUAL MoDEL
  • Zhang Xia,Liu Jiren and Li Huatian
  • 1996,7(zk):45-56 [Abstract(2601)]  [View PDF(2532)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(3007)]  [View PDF(2952)485.74 K]
  • AN OBJECT—ORIENTED COMPUTER GRAPHICS SYSTEM
  • Li Wenhui,Pang Yunjie and Quan Bingzhe
  • 1996,7(zk):64-72 [Abstract(3006)]  [View PDF(2568)599.99 K]
  • A DRPC MODEL FOR OPEN DISTRIBUTED PROCESSING
  • Ji Hua,Xie Li and Sun Zhongxiu
  • 1996,7(zk):73-77 [Abstract(2566)]  [View PDF(2334)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(2546)]  [View PDF(2210)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(2406)]  [View PDF(2208)380.23 K]
  • STATE oF THE ART oF DISTRIBUTED GRAPHICS PRoCESSING
  • Pan Zhigeng and Shi Jiaoying
  • 1996,7(zk):91-99 [Abstract(2293)]  [View PDF(2417)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(2555)]  [View PDF(2127)1007.03 K]
  • FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS
  • Qing Sihan
  • 1996,7(zk):107-114 [Abstract(2348)]  [View PDF(2226)476.34 K]
  • RESEARCH ON THE PRODUCT DATA REPRESENTATION AND EXCHANGE USING STEP
  • Zhao Zhige and Zhao Rongliang
  • 1996,7(zk):115-119 [Abstract(2238)]  [View PDF(2627)350.84 K]
  • REALISTIC SPATIAL SOUND RENDERING IN VIRTUAL ENVIRONMENT
  • Zhang Aidong,Shi Jiaoying and Pan Zhigeng
  • 1996,7(zk):120-126 [Abstract(2779)]  [View PDF(2615)443.95 K]
  • “CLoUD EFFECTIVE”ALGORITHMS FOR TASK ASSIGNMENT OF WAREHOUSE SYSTEM
  • Chen Fangze and Zhang Bo
  • 1996,7(zk):127-133 [Abstract(2633)]  [View PDF(2220)449.76 K]
  • OVERLAPPING RULES AND AMBIGUITIES
  • Lu Chaojun,Sun Yongqiang and Lin Kai
  • 1996,7(zk):134-139 [Abstract(2456)]  [View PDF(2180)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(2427)]  [View PDF(2488)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(2389)]  [View PDF(2035)676.70 K]
  • MARKED MODAL RESOLUTION
  • Sun Jigui and Liu Xuhua
  • 1996,7(zk):156-162 [Abstract(2443)]  [View PDF(2223)429.91 K]
  • FORMAL SEMANTICS OF RECURSIVE QUERIES IN COMPLEX OBJECT DATABASES
  • chen Rui
  • 1996,7(zk):163-169 [Abstract(2404)]  [View PDF(2287)435.80 K]
  • AN INTERACTIVE GRAPHIC TOOL TO TRANSFORM A PRoGRAM INTO A STRUCTURED FORM
  • Gong Jie
  • 1996,7(zk):170-177 [Abstract(2570)]  [View PDF(2089)406.25 K]
  • U-CYCLICALTERM AND EASY TERM
  • Huang Qieyuan,Jiang Ying,Zhao Xishun and Wang Ju
  • 1996,7(zk):178-183 [Abstract(2500)]  [View PDF(2186)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(2566)]  [View PDF(2589)436.57 K]
  • A NEW METHOD FOR SHORTEST PATHS COMPUTATION BY NEURAL NETWORKS
  • Zhu Darning and Ma Shaoban
  • 1996,7(zk):191-198 [Abstract(2388)]  [View PDF(2746)466.34 K]
  • A METHOD OF AUTOMATIC GENERATING FRONT—END COMPILER
  • Sun Shuling and Zheng Qiloug
  • 1996,7(zk):199-204 [Abstract(2812)]  [View PDF(2666)364.07 K]
  • LOCK RESOLUTION IN BOOLEAN OPERATOR FUZZY LOGIC
  • Deng Ansheng and Liu Xuhua
  • 1996,7(zk):205-209 [Abstract(2690)]  [View PDF(2106)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(2537)]  [View PDF(2334)395.85 K]
  • THE SPECIALIZATION OF EVIDENCE FUNCTIONS
  • Liu Dayou,Li Yuefeng and Tang Haiying
  • 1996,7(zk):216-223 [Abstract(2449)]  [View PDF(2686)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(2822)]  [View PDF(2377)374.65 K]
  • ITERATION FUNCTIONS AND THEIR COMPUTABILITY
  • Yan Zhixin and Huang Shengping
  • 1996,7(zk):232-238 [Abstract(2251)]  [View PDF(2152)427.74 K]
  • FUNCTION PROGRAMMING WITH ITERATION OPERATOR
  • Yan Zhixin
  • 1996,7(zk):239-248 [Abstract(2569)]  [View PDF(2497)541.39 K]
  • PARALLEL QUICKSORT WITHOUT MEMORY CONFLICTS
  • Guan Li
  • 1996,7(zk):249-253 [Abstract(2962)]  [View PDF(2390)279.94 K]
  • A DATA COLLECTION ORIENTED DBMS WITH HIGH PERFORMANCE
  • Yao Qingda,Xiao Yongqiao and Chen Xiaoheng
  • 1996,7(zk):254-260 [Abstract(2409)]  [View PDF(2252)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(2517)]  [View PDF(2183)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(2964)]  [View PDF(2235)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(2731)]  [View PDF(2166)427.21 K]
  • A METHOD FOR CONSTRUCTING ONE—WAY HASH FUNCTIONS
  • Wang Xiaoyun and Zhou Dashui
  • 1996,7(zk):279-283 [Abstract(2838)]  [View PDF(2773)293.66 K]
  • IDENTITY—BASED DYNAMIC PASSWORD AUTHENTICATION
  • Dai Yiqi and Zhang Li
  • 1996,7(zk):284-289 [Abstract(2386)]  [View PDF(2226)376.46 K]
  • A STRlCT WEAK HYBRID COHERENCE MODEL
  • Li Rong,Wang Dingxing and Shen Meiming
  • 1996,7(zk):290-296 [Abstract(2492)]  [View PDF(2177)475.97 K]
  • A RELATIONAL DATA MODEL WITH INHERITANCE DEPENDENCIES
  • Liu Weiyi and LU Yuan
  • 1996,7(zk):297-303 [Abstract(2610)]  [View PDF(2249)375.33 K]
  • JDAUTO/0:An OBJECT-ORIENTED SOFTWARE AUTOMATION SYSTEM
  • Jin Chunshao and Quan Bingzhe
  • 1996,7(zk):304-310 [Abstract(2521)]  [View PDF(2196)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(2603)]  [View PDF(2971)263.48 K]
  • A MODEL FOR AUTOMATIC PREDICTION OF CHINESE PHRASE BOUNDARY LOCATION
  • Zhou Qiang
  • 1996,7(zk):315-322 [Abstract(3223)]  [View PDF(2358)493.51 K]
  • OPERATIONAL PROFILES DEVELOPMENT IN SOFTWARE RELIABILITY ENGINEERlNG
  • Dang Qimin and Yang Xinfa
  • 1996,7(zk):323-328 [Abstract(3049)]  [View PDF(2720)394.37 K]
  • PARALLEL—OUTERMOST PATTERN MATCHING
  • Shen Li,Lin Kai and Sun Yongqiang
  • 1996,7(zk):329-337 [Abstract(2582)]  [View PDF(2444)588.82 K]
  • THE COMPUTABILITY OF ITERATION PROGRAMS IN STATE LOGIC LANGUAGE
  • Yan Zhixin
  • 1996,7(zk):338-347 [Abstract(2618)]  [View PDF(2189)623.80 K]
  • TRANSFORMATION SEMANTICS OF OPERATOR LANGUAGE TO PROCEDURB LANGUAGE
  • Yan Zhixin and Huang Dongquan
  • 1996,7(zk):348-357 [Abstract(2634)]  [View PDF(2595)539.19 K]
  • FAIR TRANSITIoN SYSTEM SPECIFICATION AND ITS APPLICATIONS
  • Jia Guoping and Zheng Guoliang
  • 1996,7(zk):358-366 [Abstract(2297)]  [View PDF(2225)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(2561)]  [View PDF(2082)437.50 K]
  • A MODELLING METHOD BASED ON FORM FEATURE
  • Han Ling,Dong Jinxiang and Li Hailong
  • 1996,7(zk):375-380 [Abstract(2281)]  [View PDF(2150)375.29 K]
  • THE SECOND FIXED—PoINT THEoREMS IN λ—CALCULUS
  • Song Fangmin
  • 1996,7(zk):381-384 [Abstract(2812)]  [View PDF(2223)244.74 K]
  • A FORMAL SOFTWARE DEVELOPMENT METHOD DD-VDM
  • La Jian and Zhang Jianying
  • 1996,7(zk):385-393 [Abstract(2436)]  [View PDF(2182)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(2666)]  [View PDF(2483)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(2482)]  [View PDF(2437)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(2563)]  [View PDF(2019)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(2454)]  [View PDF(2242)1.27 M]
  • THE SET oF c^)一REGULAR LANGUAGES
  • Zhuang Lei,Meng Qingyuan and Su Jinxiang
  • 1996,7(zk):421-424 [Abstract(2673)]  [View PDF(1993)237.13 K]
  • GENERALIZED INVERSE ASSOCIATIVE MEMORY WITH NONLINEAR MAPPING CHARACTERISTICS
  • Chen Songcan,Gao Hang and Yang Guoqing
  • 1996,7(zk):425-430 [Abstract(2280)]  [View PDF(1984)318.21 K]
  • SOFTWARE PROJECT ESTIMATION
  • Wang Liqiang
  • 1996,7(zk):431-435 [Abstract(2323)]  [View PDF(2118)292.26 K]
  • A NOTATION FOR SET IN FUNCTIONAL LANGUAGrES AND ITS IMPLEMENTATION
  • Song Kai and Liao Husheng
  • 1996,7(zk):436-440 [Abstract(2291)]  [View PDF(2531)283.86 K]
  • AN ACCESS METHoD FOR MAIN MEMORY DATABASES
  • Liu Yunsheng and Hu Guoling
  • 1996,7(zk):441-446 [Abstract(2349)]  [View PDF(2576)782.94 K]
  • PARTITION EXTENSIONS OF PROPOSlTIONAL TEMPORAL LOGIC
  • Shen Enshao
  • 1996,7(zk):447-454 [Abstract(2278)]  [View PDF(2264)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(2226)]  [View PDF(2373)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(2248)]  [View PDF(2481)503.98 K]
  • CASE—BASED COMBlNATORIAL FORECAST
  • Gong Changping,Lu Yuchang and Zhou Yuanhui
  • 1996,7(zk):469-473 [Abstract(2789)]  [View PDF(2268)333.82 K]
  • A FRAMEWORK OF MARKET ANALYSIS
  • Mao Jun,Lu Yuchang and Chang Yun
  • 1996,7(zk):474-479 [Abstract(2733)]  [View PDF(2151)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(3074)]  [View PDF(2300)345.71 K]
  • A METHOD FOR MARKET ANALYSIS BASED ON RULES
  • Ma Shaoping,Zheng Tong and Lu Yuchang
  • 1996,7(zk):485-490 [Abstract(2092)]  [View PDF(2394)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(2452)]  [View PDF(2561)440.58 K]
  • MEDIA SYNCHRONIZATION TECHNOLOGY
  • Xiao Bolei,Li Xinyou,Wang Cheng,Lu Yuchang and Gui Tao
  • 1996,7(zk):497-502 [Abstract(2338)]  [View PDF(2489)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(2180)]  [View PDF(2665)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(2308)]  [View PDF(2379)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(2428)]  [View PDF(2152)311.69 K]
  • TESTING STRATEGY AND TESTING TOOLS OF MODERN SOFTWARE
  • Zhou Zhiying and Qian Ling
  • 1996,7(zk):519-524 [Abstract(2478)]  [View PDF(2010)446.86 K]
  • A MULTI—AGENT COMPUTATIONAL MARKET MODEL
  • Hu Jun,Wang Kehong,Kang Xiaoqiang and Shi Chunyi
  • 1996,7(zk):525-530 [Abstract(2591)]  [View PDF(2198)400.91 K]
  • A SOFTWARE TOOL FOR PARALLEL PROGRAMMING
  • Xu Hong,Chen Delai and Zhang Defu
  • 1996,7(zk):531-536 [Abstract(2148)]  [View PDF(2478)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(2238)]  [View PDF(2296)492.08 K]
  • KBASE—P:A KNOWLEDGE—BASE PROGRAMMING LANGUAGE
  • Shi Baile,Zhu Yangyong and Guo Depei
  • 1996,7(zk):544-550 [Abstract(2457)]  [View PDF(2174)458.93 K]
  • STRATEGIES IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Long Quan
  • 1996,7(zk):551-557 [Abstract(2427)]  [View PDF(2331)452.31 K]
  • CLAUSE SIMPLIFY STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Cheng Xueqi
  • 1996,7(zk):558-564 [Abstract(2646)]  [View PDF(2298)714.24 K]
  • TERM REWRITING STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Han Bo
  • 1996,7(zk):565-571 [Abstract(2651)]  [View PDF(2488)394.03 K]