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(2201)]  [View PDF(2341)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(2402)]  [View PDF(2549)389.79 K]
  • THE BEHAVIOR LEARNING OF TURING MACHINES
  • Deng Jing and Bai Shuo
  • 1996,7(zk):16-24 [Abstract(1930)]  [View PDF(2470)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(2155)]  [View PDF(2113)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(2391)]  [View PDF(2068)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(2185)]  [View PDF(2007)463.19 K]
  • AN OBJECT—ORIENTED MULTIMEDIA CoNCEPTUAL MoDEL
  • Zhang Xia,Liu Jiren and Li Huatian
  • 1996,7(zk):45-56 [Abstract(2328)]  [View PDF(2342)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(2688)]  [View PDF(2787)485.74 K]
  • AN OBJECT—ORIENTED COMPUTER GRAPHICS SYSTEM
  • Li Wenhui,Pang Yunjie and Quan Bingzhe
  • 1996,7(zk):64-72 [Abstract(2680)]  [View PDF(2366)599.99 K]
  • A DRPC MODEL FOR OPEN DISTRIBUTED PROCESSING
  • Ji Hua,Xie Li and Sun Zhongxiu
  • 1996,7(zk):73-77 [Abstract(2244)]  [View PDF(2153)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(2238)]  [View PDF(2060)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(2100)]  [View PDF(2056)380.23 K]
  • STATE oF THE ART oF DISTRIBUTED GRAPHICS PRoCESSING
  • Pan Zhigeng and Shi Jiaoying
  • 1996,7(zk):91-99 [Abstract(1939)]  [View PDF(2257)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(2260)]  [View PDF(1945)1007.03 K]
  • FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS
  • Qing Sihan
  • 1996,7(zk):107-114 [Abstract(2025)]  [View PDF(2078)476.34 K]
  • RESEARCH ON THE PRODUCT DATA REPRESENTATION AND EXCHANGE USING STEP
  • Zhao Zhige and Zhao Rongliang
  • 1996,7(zk):115-119 [Abstract(1919)]  [View PDF(2459)350.84 K]
  • REALISTIC SPATIAL SOUND RENDERING IN VIRTUAL ENVIRONMENT
  • Zhang Aidong,Shi Jiaoying and Pan Zhigeng
  • 1996,7(zk):120-126 [Abstract(2469)]  [View PDF(2457)443.95 K]
  • “CLoUD EFFECTIVE”ALGORITHMS FOR TASK ASSIGNMENT OF WAREHOUSE SYSTEM
  • Chen Fangze and Zhang Bo
  • 1996,7(zk):127-133 [Abstract(2320)]  [View PDF(2065)449.76 K]
  • OVERLAPPING RULES AND AMBIGUITIES
  • Lu Chaojun,Sun Yongqiang and Lin Kai
  • 1996,7(zk):134-139 [Abstract(2199)]  [View PDF(2021)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(2114)]  [View PDF(2317)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(2070)]  [View PDF(1884)676.70 K]
  • MARKED MODAL RESOLUTION
  • Sun Jigui and Liu Xuhua
  • 1996,7(zk):156-162 [Abstract(2120)]  [View PDF(2061)429.91 K]
  • FORMAL SEMANTICS OF RECURSIVE QUERIES IN COMPLEX OBJECT DATABASES
  • chen Rui
  • 1996,7(zk):163-169 [Abstract(2164)]  [View PDF(2145)435.80 K]
  • AN INTERACTIVE GRAPHIC TOOL TO TRANSFORM A PRoGRAM INTO A STRUCTURED FORM
  • Gong Jie
  • 1996,7(zk):170-177 [Abstract(2274)]  [View PDF(1934)406.25 K]
  • U-CYCLICALTERM AND EASY TERM
  • Huang Qieyuan,Jiang Ying,Zhao Xishun and Wang Ju
  • 1996,7(zk):178-183 [Abstract(2231)]  [View PDF(2035)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(2263)]  [View PDF(2427)436.57 K]
  • A NEW METHOD FOR SHORTEST PATHS COMPUTATION BY NEURAL NETWORKS
  • Zhu Darning and Ma Shaoban
  • 1996,7(zk):191-198 [Abstract(2076)]  [View PDF(2575)466.34 K]
  • A METHOD OF AUTOMATIC GENERATING FRONT—END COMPILER
  • Sun Shuling and Zheng Qiloug
  • 1996,7(zk):199-204 [Abstract(2506)]  [View PDF(2492)364.07 K]
  • LOCK RESOLUTION IN BOOLEAN OPERATOR FUZZY LOGIC
  • Deng Ansheng and Liu Xuhua
  • 1996,7(zk):205-209 [Abstract(2347)]  [View PDF(1932)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(2244)]  [View PDF(2183)395.85 K]
  • THE SPECIALIZATION OF EVIDENCE FUNCTIONS
  • Liu Dayou,Li Yuefeng and Tang Haiying
  • 1996,7(zk):216-223 [Abstract(2083)]  [View PDF(2487)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(2492)]  [View PDF(2216)374.65 K]
  • ITERATION FUNCTIONS AND THEIR COMPUTABILITY
  • Yan Zhixin and Huang Shengping
  • 1996,7(zk):232-238 [Abstract(2011)]  [View PDF(1983)427.74 K]
  • FUNCTION PROGRAMMING WITH ITERATION OPERATOR
  • Yan Zhixin
  • 1996,7(zk):239-248 [Abstract(2326)]  [View PDF(2328)541.39 K]
  • PARALLEL QUICKSORT WITHOUT MEMORY CONFLICTS
  • Guan Li
  • 1996,7(zk):249-253 [Abstract(2632)]  [View PDF(2236)279.94 K]
  • A DATA COLLECTION ORIENTED DBMS WITH HIGH PERFORMANCE
  • Yao Qingda,Xiao Yongqiao and Chen Xiaoheng
  • 1996,7(zk):254-260 [Abstract(2085)]  [View PDF(2088)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(2221)]  [View PDF(2015)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(2640)]  [View PDF(2066)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(2403)]  [View PDF(2010)427.21 K]
  • A METHOD FOR CONSTRUCTING ONE—WAY HASH FUNCTIONS
  • Wang Xiaoyun and Zhou Dashui
  • 1996,7(zk):279-283 [Abstract(2554)]  [View PDF(2606)293.66 K]
  • IDENTITY—BASED DYNAMIC PASSWORD AUTHENTICATION
  • Dai Yiqi and Zhang Li
  • 1996,7(zk):284-289 [Abstract(2038)]  [View PDF(2056)376.46 K]
  • A STRlCT WEAK HYBRID COHERENCE MODEL
  • Li Rong,Wang Dingxing and Shen Meiming
  • 1996,7(zk):290-296 [Abstract(2178)]  [View PDF(2022)475.97 K]
  • A RELATIONAL DATA MODEL WITH INHERITANCE DEPENDENCIES
  • Liu Weiyi and LU Yuan
  • 1996,7(zk):297-303 [Abstract(2304)]  [View PDF(2099)375.33 K]
  • JDAUTO/0:An OBJECT-ORIENTED SOFTWARE AUTOMATION SYSTEM
  • Jin Chunshao and Quan Bingzhe
  • 1996,7(zk):304-310 [Abstract(2228)]  [View PDF(2045)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(2273)]  [View PDF(2777)263.48 K]
  • A MODEL FOR AUTOMATIC PREDICTION OF CHINESE PHRASE BOUNDARY LOCATION
  • Zhou Qiang
  • 1996,7(zk):315-322 [Abstract(2911)]  [View PDF(2186)493.51 K]
  • OPERATIONAL PROFILES DEVELOPMENT IN SOFTWARE RELIABILITY ENGINEERlNG
  • Dang Qimin and Yang Xinfa
  • 1996,7(zk):323-328 [Abstract(2742)]  [View PDF(2521)394.37 K]
  • PARALLEL—OUTERMOST PATTERN MATCHING
  • Shen Li,Lin Kai and Sun Yongqiang
  • 1996,7(zk):329-337 [Abstract(2272)]  [View PDF(2274)588.82 K]
  • THE COMPUTABILITY OF ITERATION PROGRAMS IN STATE LOGIC LANGUAGE
  • Yan Zhixin
  • 1996,7(zk):338-347 [Abstract(2351)]  [View PDF(2042)623.80 K]
  • TRANSFORMATION SEMANTICS OF OPERATOR LANGUAGE TO PROCEDURB LANGUAGE
  • Yan Zhixin and Huang Dongquan
  • 1996,7(zk):348-357 [Abstract(2299)]  [View PDF(2436)539.19 K]
  • FAIR TRANSITIoN SYSTEM SPECIFICATION AND ITS APPLICATIONS
  • Jia Guoping and Zheng Guoliang
  • 1996,7(zk):358-366 [Abstract(2021)]  [View PDF(2058)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(2302)]  [View PDF(1918)437.50 K]
  • A MODELLING METHOD BASED ON FORM FEATURE
  • Han Ling,Dong Jinxiang and Li Hailong
  • 1996,7(zk):375-380 [Abstract(2008)]  [View PDF(1997)375.29 K]
  • THE SECOND FIXED—PoINT THEoREMS IN λ—CALCULUS
  • Song Fangmin
  • 1996,7(zk):381-384 [Abstract(2521)]  [View PDF(2065)244.74 K]
  • A FORMAL SOFTWARE DEVELOPMENT METHOD DD-VDM
  • La Jian and Zhang Jianying
  • 1996,7(zk):385-393 [Abstract(2155)]  [View PDF(2036)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(2373)]  [View PDF(2310)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(2125)]  [View PDF(2272)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(2291)]  [View PDF(1863)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(2111)]  [View PDF(2071)1.27 M]
  • THE SET oF c^)一REGULAR LANGUAGES
  • Zhuang Lei,Meng Qingyuan and Su Jinxiang
  • 1996,7(zk):421-424 [Abstract(2420)]  [View PDF(1847)237.13 K]
  • GENERALIZED INVERSE ASSOCIATIVE MEMORY WITH NONLINEAR MAPPING CHARACTERISTICS
  • Chen Songcan,Gao Hang and Yang Guoqing
  • 1996,7(zk):425-430 [Abstract(1959)]  [View PDF(1833)318.21 K]
  • SOFTWARE PROJECT ESTIMATION
  • Wang Liqiang
  • 1996,7(zk):431-435 [Abstract(2109)]  [View PDF(1970)292.26 K]
  • A NOTATION FOR SET IN FUNCTIONAL LANGUAGrES AND ITS IMPLEMENTATION
  • Song Kai and Liao Husheng
  • 1996,7(zk):436-440 [Abstract(2039)]  [View PDF(2371)283.86 K]
  • AN ACCESS METHoD FOR MAIN MEMORY DATABASES
  • Liu Yunsheng and Hu Guoling
  • 1996,7(zk):441-446 [Abstract(2069)]  [View PDF(2409)782.94 K]
  • PARTITION EXTENSIONS OF PROPOSlTIONAL TEMPORAL LOGIC
  • Shen Enshao
  • 1996,7(zk):447-454 [Abstract(1979)]  [View PDF(2120)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(1959)]  [View PDF(2215)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(1964)]  [View PDF(2318)503.98 K]
  • CASE—BASED COMBlNATORIAL FORECAST
  • Gong Changping,Lu Yuchang and Zhou Yuanhui
  • 1996,7(zk):469-473 [Abstract(2476)]  [View PDF(2112)333.82 K]
  • A FRAMEWORK OF MARKET ANALYSIS
  • Mao Jun,Lu Yuchang and Chang Yun
  • 1996,7(zk):474-479 [Abstract(2438)]  [View PDF(1971)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(2758)]  [View PDF(2080)345.71 K]
  • A METHOD FOR MARKET ANALYSIS BASED ON RULES
  • Ma Shaoping,Zheng Tong and Lu Yuchang
  • 1996,7(zk):485-490 [Abstract(1850)]  [View PDF(2237)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(2110)]  [View PDF(2391)440.58 K]
  • MEDIA SYNCHRONIZATION TECHNOLOGY
  • Xiao Bolei,Li Xinyou,Wang Cheng,Lu Yuchang and Gui Tao
  • 1996,7(zk):497-502 [Abstract(2067)]  [View PDF(2308)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(1925)]  [View PDF(2524)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(1989)]  [View PDF(2215)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(2128)]  [View PDF(1991)311.69 K]
  • TESTING STRATEGY AND TESTING TOOLS OF MODERN SOFTWARE
  • Zhou Zhiying and Qian Ling
  • 1996,7(zk):519-524 [Abstract(2224)]  [View PDF(1856)446.86 K]
  • A MULTI—AGENT COMPUTATIONAL MARKET MODEL
  • Hu Jun,Wang Kehong,Kang Xiaoqiang and Shi Chunyi
  • 1996,7(zk):525-530 [Abstract(2291)]  [View PDF(2044)400.91 K]
  • A SOFTWARE TOOL FOR PARALLEL PROGRAMMING
  • Xu Hong,Chen Delai and Zhang Defu
  • 1996,7(zk):531-536 [Abstract(1916)]  [View PDF(2320)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(1952)]  [View PDF(2124)492.08 K]
  • KBASE—P:A KNOWLEDGE—BASE PROGRAMMING LANGUAGE
  • Shi Baile,Zhu Yangyong and Guo Depei
  • 1996,7(zk):544-550 [Abstract(2167)]  [View PDF(2021)458.93 K]
  • STRATEGIES IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Long Quan
  • 1996,7(zk):551-557 [Abstract(2109)]  [View PDF(2151)452.31 K]
  • CLAUSE SIMPLIFY STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Cheng Xueqi
  • 1996,7(zk):558-564 [Abstract(2328)]  [View PDF(2112)714.24 K]
  • TERM REWRITING STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Han Bo
  • 1996,7(zk):565-571 [Abstract(2341)]  [View PDF(2325)394.03 K]