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(2107)]  [View PDF(2288)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(2275)]  [View PDF(2500)389.79 K]
  • THE BEHAVIOR LEARNING OF TURING MACHINES
  • Deng Jing and Bai Shuo
  • 1996,7(zk):16-24 [Abstract(1823)]  [View PDF(2381)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(1990)]  [View PDF(2052)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(2297)]  [View PDF(2004)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(2079)]  [View PDF(1945)463.19 K]
  • AN OBJECT—ORIENTED MULTIMEDIA CoNCEPTUAL MoDEL
  • Zhang Xia,Liu Jiren and Li Huatian
  • 1996,7(zk):45-56 [Abstract(2212)]  [View PDF(2281)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(2572)]  [View PDF(2726)485.74 K]
  • AN OBJECT—ORIENTED COMPUTER GRAPHICS SYSTEM
  • Li Wenhui,Pang Yunjie and Quan Bingzhe
  • 1996,7(zk):64-72 [Abstract(2541)]  [View PDF(2312)599.99 K]
  • A DRPC MODEL FOR OPEN DISTRIBUTED PROCESSING
  • Ji Hua,Xie Li and Sun Zhongxiu
  • 1996,7(zk):73-77 [Abstract(2116)]  [View PDF(2100)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(2125)]  [View PDF(2006)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(1987)]  [View PDF(1995)380.23 K]
  • STATE oF THE ART oF DISTRIBUTED GRAPHICS PRoCESSING
  • Pan Zhigeng and Shi Jiaoying
  • 1996,7(zk):91-99 [Abstract(1821)]  [View PDF(2197)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(2159)]  [View PDF(1884)1007.03 K]
  • FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS
  • Qing Sihan
  • 1996,7(zk):107-114 [Abstract(1912)]  [View PDF(2008)476.34 K]
  • RESEARCH ON THE PRODUCT DATA REPRESENTATION AND EXCHANGE USING STEP
  • Zhao Zhige and Zhao Rongliang
  • 1996,7(zk):115-119 [Abstract(1804)]  [View PDF(2395)350.84 K]
  • REALISTIC SPATIAL SOUND RENDERING IN VIRTUAL ENVIRONMENT
  • Zhang Aidong,Shi Jiaoying and Pan Zhigeng
  • 1996,7(zk):120-126 [Abstract(2343)]  [View PDF(2403)443.95 K]
  • “CLoUD EFFECTIVE”ALGORITHMS FOR TASK ASSIGNMENT OF WAREHOUSE SYSTEM
  • Chen Fangze and Zhang Bo
  • 1996,7(zk):127-133 [Abstract(2188)]  [View PDF(1990)449.76 K]
  • OVERLAPPING RULES AND AMBIGUITIES
  • Lu Chaojun,Sun Yongqiang and Lin Kai
  • 1996,7(zk):134-139 [Abstract(2111)]  [View PDF(1968)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(1987)]  [View PDF(2262)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(1944)]  [View PDF(1814)676.70 K]
  • MARKED MODAL RESOLUTION
  • Sun Jigui and Liu Xuhua
  • 1996,7(zk):156-162 [Abstract(2000)]  [View PDF(2002)429.91 K]
  • FORMAL SEMANTICS OF RECURSIVE QUERIES IN COMPLEX OBJECT DATABASES
  • chen Rui
  • 1996,7(zk):163-169 [Abstract(2044)]  [View PDF(2091)435.80 K]
  • AN INTERACTIVE GRAPHIC TOOL TO TRANSFORM A PRoGRAM INTO A STRUCTURED FORM
  • Gong Jie
  • 1996,7(zk):170-177 [Abstract(2189)]  [View PDF(1888)406.25 K]
  • U-CYCLICALTERM AND EASY TERM
  • Huang Qieyuan,Jiang Ying,Zhao Xishun and Wang Ju
  • 1996,7(zk):178-183 [Abstract(2114)]  [View PDF(1973)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(2149)]  [View PDF(2356)436.57 K]
  • A NEW METHOD FOR SHORTEST PATHS COMPUTATION BY NEURAL NETWORKS
  • Zhu Darning and Ma Shaoban
  • 1996,7(zk):191-198 [Abstract(1970)]  [View PDF(2484)466.34 K]
  • A METHOD OF AUTOMATIC GENERATING FRONT—END COMPILER
  • Sun Shuling and Zheng Qiloug
  • 1996,7(zk):199-204 [Abstract(2386)]  [View PDF(2437)364.07 K]
  • LOCK RESOLUTION IN BOOLEAN OPERATOR FUZZY LOGIC
  • Deng Ansheng and Liu Xuhua
  • 1996,7(zk):205-209 [Abstract(2213)]  [View PDF(1877)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(2109)]  [View PDF(2123)395.85 K]
  • THE SPECIALIZATION OF EVIDENCE FUNCTIONS
  • Liu Dayou,Li Yuefeng and Tang Haiying
  • 1996,7(zk):216-223 [Abstract(1943)]  [View PDF(2421)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(2363)]  [View PDF(2162)374.65 K]
  • ITERATION FUNCTIONS AND THEIR COMPUTABILITY
  • Yan Zhixin and Huang Shengping
  • 1996,7(zk):232-238 [Abstract(1908)]  [View PDF(1913)427.74 K]
  • FUNCTION PROGRAMMING WITH ITERATION OPERATOR
  • Yan Zhixin
  • 1996,7(zk):239-248 [Abstract(2212)]  [View PDF(2268)541.39 K]
  • PARALLEL QUICKSORT WITHOUT MEMORY CONFLICTS
  • Guan Li
  • 1996,7(zk):249-253 [Abstract(2499)]  [View PDF(2161)279.94 K]
  • A DATA COLLECTION ORIENTED DBMS WITH HIGH PERFORMANCE
  • Yao Qingda,Xiao Yongqiao and Chen Xiaoheng
  • 1996,7(zk):254-260 [Abstract(1973)]  [View PDF(2030)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(2104)]  [View PDF(1958)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(2516)]  [View PDF(2007)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(2287)]  [View PDF(1947)427.21 K]
  • A METHOD FOR CONSTRUCTING ONE—WAY HASH FUNCTIONS
  • Wang Xiaoyun and Zhou Dashui
  • 1996,7(zk):279-283 [Abstract(2434)]  [View PDF(2547)293.66 K]
  • IDENTITY—BASED DYNAMIC PASSWORD AUTHENTICATION
  • Dai Yiqi and Zhang Li
  • 1996,7(zk):284-289 [Abstract(1911)]  [View PDF(1978)376.46 K]
  • A STRlCT WEAK HYBRID COHERENCE MODEL
  • Li Rong,Wang Dingxing and Shen Meiming
  • 1996,7(zk):290-296 [Abstract(2056)]  [View PDF(1964)475.97 K]
  • A RELATIONAL DATA MODEL WITH INHERITANCE DEPENDENCIES
  • Liu Weiyi and LU Yuan
  • 1996,7(zk):297-303 [Abstract(2168)]  [View PDF(2030)375.33 K]
  • JDAUTO/0:An OBJECT-ORIENTED SOFTWARE AUTOMATION SYSTEM
  • Jin Chunshao and Quan Bingzhe
  • 1996,7(zk):304-310 [Abstract(2089)]  [View PDF(1983)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(2151)]  [View PDF(2716)263.48 K]
  • A MODEL FOR AUTOMATIC PREDICTION OF CHINESE PHRASE BOUNDARY LOCATION
  • Zhou Qiang
  • 1996,7(zk):315-322 [Abstract(2798)]  [View PDF(2130)493.51 K]
  • OPERATIONAL PROFILES DEVELOPMENT IN SOFTWARE RELIABILITY ENGINEERlNG
  • Dang Qimin and Yang Xinfa
  • 1996,7(zk):323-328 [Abstract(2624)]  [View PDF(2431)394.37 K]
  • PARALLEL—OUTERMOST PATTERN MATCHING
  • Shen Li,Lin Kai and Sun Yongqiang
  • 1996,7(zk):329-337 [Abstract(2129)]  [View PDF(2217)588.82 K]
  • THE COMPUTABILITY OF ITERATION PROGRAMS IN STATE LOGIC LANGUAGE
  • Yan Zhixin
  • 1996,7(zk):338-347 [Abstract(2258)]  [View PDF(1974)623.80 K]
  • TRANSFORMATION SEMANTICS OF OPERATOR LANGUAGE TO PROCEDURB LANGUAGE
  • Yan Zhixin and Huang Dongquan
  • 1996,7(zk):348-357 [Abstract(2166)]  [View PDF(2380)539.19 K]
  • FAIR TRANSITIoN SYSTEM SPECIFICATION AND ITS APPLICATIONS
  • Jia Guoping and Zheng Guoliang
  • 1996,7(zk):358-366 [Abstract(1925)]  [View PDF(2008)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(2196)]  [View PDF(1855)437.50 K]
  • A MODELLING METHOD BASED ON FORM FEATURE
  • Han Ling,Dong Jinxiang and Li Hailong
  • 1996,7(zk):375-380 [Abstract(1889)]  [View PDF(1945)375.29 K]
  • THE SECOND FIXED—PoINT THEoREMS IN λ—CALCULUS
  • Song Fangmin
  • 1996,7(zk):381-384 [Abstract(2434)]  [View PDF(2010)244.74 K]
  • A FORMAL SOFTWARE DEVELOPMENT METHOD DD-VDM
  • La Jian and Zhang Jianying
  • 1996,7(zk):385-393 [Abstract(2057)]  [View PDF(1996)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(2276)]  [View PDF(2250)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(1992)]  [View PDF(2212)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(2174)]  [View PDF(1812)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(1983)]  [View PDF(2014)1.27 M]
  • THE SET oF c^)一REGULAR LANGUAGES
  • Zhuang Lei,Meng Qingyuan and Su Jinxiang
  • 1996,7(zk):421-424 [Abstract(2321)]  [View PDF(1780)237.13 K]
  • GENERALIZED INVERSE ASSOCIATIVE MEMORY WITH NONLINEAR MAPPING CHARACTERISTICS
  • Chen Songcan,Gao Hang and Yang Guoqing
  • 1996,7(zk):425-430 [Abstract(1850)]  [View PDF(1781)318.21 K]
  • SOFTWARE PROJECT ESTIMATION
  • Wang Liqiang
  • 1996,7(zk):431-435 [Abstract(2022)]  [View PDF(1922)292.26 K]
  • A NOTATION FOR SET IN FUNCTIONAL LANGUAGrES AND ITS IMPLEMENTATION
  • Song Kai and Liao Husheng
  • 1996,7(zk):436-440 [Abstract(1937)]  [View PDF(2314)283.86 K]
  • AN ACCESS METHoD FOR MAIN MEMORY DATABASES
  • Liu Yunsheng and Hu Guoling
  • 1996,7(zk):441-446 [Abstract(1959)]  [View PDF(2342)782.94 K]
  • PARTITION EXTENSIONS OF PROPOSlTIONAL TEMPORAL LOGIC
  • Shen Enshao
  • 1996,7(zk):447-454 [Abstract(1859)]  [View PDF(2056)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(1839)]  [View PDF(2164)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(1842)]  [View PDF(2259)503.98 K]
  • CASE—BASED COMBlNATORIAL FORECAST
  • Gong Changping,Lu Yuchang and Zhou Yuanhui
  • 1996,7(zk):469-473 [Abstract(2354)]  [View PDF(2056)333.82 K]
  • A FRAMEWORK OF MARKET ANALYSIS
  • Mao Jun,Lu Yuchang and Chang Yun
  • 1996,7(zk):474-479 [Abstract(2302)]  [View PDF(1907)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(2490)]  [View PDF(1999)345.71 K]
  • A METHOD FOR MARKET ANALYSIS BASED ON RULES
  • Ma Shaoping,Zheng Tong and Lu Yuchang
  • 1996,7(zk):485-490 [Abstract(1749)]  [View PDF(2182)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(1977)]  [View PDF(2330)440.58 K]
  • MEDIA SYNCHRONIZATION TECHNOLOGY
  • Xiao Bolei,Li Xinyou,Wang Cheng,Lu Yuchang and Gui Tao
  • 1996,7(zk):497-502 [Abstract(1918)]  [View PDF(2245)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(1804)]  [View PDF(2479)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(1872)]  [View PDF(2144)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(2019)]  [View PDF(1930)311.69 K]
  • TESTING STRATEGY AND TESTING TOOLS OF MODERN SOFTWARE
  • Zhou Zhiying and Qian Ling
  • 1996,7(zk):519-524 [Abstract(2138)]  [View PDF(1803)446.86 K]
  • A MULTI—AGENT COMPUTATIONAL MARKET MODEL
  • Hu Jun,Wang Kehong,Kang Xiaoqiang and Shi Chunyi
  • 1996,7(zk):525-530 [Abstract(2176)]  [View PDF(1984)400.91 K]
  • A SOFTWARE TOOL FOR PARALLEL PROGRAMMING
  • Xu Hong,Chen Delai and Zhang Defu
  • 1996,7(zk):531-536 [Abstract(1836)]  [View PDF(2270)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(1816)]  [View PDF(2071)492.08 K]
  • KBASE—P:A KNOWLEDGE—BASE PROGRAMMING LANGUAGE
  • Shi Baile,Zhu Yangyong and Guo Depei
  • 1996,7(zk):544-550 [Abstract(2062)]  [View PDF(1975)458.93 K]
  • STRATEGIES IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Long Quan
  • 1996,7(zk):551-557 [Abstract(1986)]  [View PDF(2086)452.31 K]
  • CLAUSE SIMPLIFY STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Cheng Xueqi
  • 1996,7(zk):558-564 [Abstract(2216)]  [View PDF(2060)714.24 K]
  • TERM REWRITING STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Han Bo
  • 1996,7(zk):565-571 [Abstract(2221)]  [View PDF(2265)394.03 K]