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(2146)]  [View PDF(2305)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(2322)]  [View PDF(2518)389.79 K]
  • THE BEHAVIOR LEARNING OF TURING MACHINES
  • Deng Jing and Bai Shuo
  • 1996,7(zk):16-24 [Abstract(1868)]  [View PDF(2406)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(2051)]  [View PDF(2077)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(2334)]  [View PDF(2024)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(2113)]  [View PDF(1966)463.19 K]
  • AN OBJECT—ORIENTED MULTIMEDIA CoNCEPTUAL MoDEL
  • Zhang Xia,Liu Jiren and Li Huatian
  • 1996,7(zk):45-56 [Abstract(2259)]  [View PDF(2304)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(2614)]  [View PDF(2745)485.74 K]
  • AN OBJECT—ORIENTED COMPUTER GRAPHICS SYSTEM
  • Li Wenhui,Pang Yunjie and Quan Bingzhe
  • 1996,7(zk):64-72 [Abstract(2593)]  [View PDF(2332)599.99 K]
  • A DRPC MODEL FOR OPEN DISTRIBUTED PROCESSING
  • Ji Hua,Xie Li and Sun Zhongxiu
  • 1996,7(zk):73-77 [Abstract(2163)]  [View PDF(2121)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(2173)]  [View PDF(2032)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(2033)]  [View PDF(2020)380.23 K]
  • STATE oF THE ART oF DISTRIBUTED GRAPHICS PRoCESSING
  • Pan Zhigeng and Shi Jiaoying
  • 1996,7(zk):91-99 [Abstract(1865)]  [View PDF(2220)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(2197)]  [View PDF(1906)1007.03 K]
  • FORMAL ANALYSIS OF AUTHENTICATION PROTOCOLS
  • Qing Sihan
  • 1996,7(zk):107-114 [Abstract(1956)]  [View PDF(2037)476.34 K]
  • RESEARCH ON THE PRODUCT DATA REPRESENTATION AND EXCHANGE USING STEP
  • Zhao Zhige and Zhao Rongliang
  • 1996,7(zk):115-119 [Abstract(1847)]  [View PDF(2421)350.84 K]
  • REALISTIC SPATIAL SOUND RENDERING IN VIRTUAL ENVIRONMENT
  • Zhang Aidong,Shi Jiaoying and Pan Zhigeng
  • 1996,7(zk):120-126 [Abstract(2398)]  [View PDF(2424)443.95 K]
  • “CLoUD EFFECTIVE”ALGORITHMS FOR TASK ASSIGNMENT OF WAREHOUSE SYSTEM
  • Chen Fangze and Zhang Bo
  • 1996,7(zk):127-133 [Abstract(2239)]  [View PDF(2023)449.76 K]
  • OVERLAPPING RULES AND AMBIGUITIES
  • Lu Chaojun,Sun Yongqiang and Lin Kai
  • 1996,7(zk):134-139 [Abstract(2147)]  [View PDF(1990)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(2034)]  [View PDF(2285)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(1985)]  [View PDF(1843)676.70 K]
  • MARKED MODAL RESOLUTION
  • Sun Jigui and Liu Xuhua
  • 1996,7(zk):156-162 [Abstract(2043)]  [View PDF(2022)429.91 K]
  • FORMAL SEMANTICS OF RECURSIVE QUERIES IN COMPLEX OBJECT DATABASES
  • chen Rui
  • 1996,7(zk):163-169 [Abstract(2096)]  [View PDF(2117)435.80 K]
  • AN INTERACTIVE GRAPHIC TOOL TO TRANSFORM A PRoGRAM INTO A STRUCTURED FORM
  • Gong Jie
  • 1996,7(zk):170-177 [Abstract(2219)]  [View PDF(1903)406.25 K]
  • U-CYCLICALTERM AND EASY TERM
  • Huang Qieyuan,Jiang Ying,Zhao Xishun and Wang Ju
  • 1996,7(zk):178-183 [Abstract(2158)]  [View PDF(1997)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(2183)]  [View PDF(2383)436.57 K]
  • A NEW METHOD FOR SHORTEST PATHS COMPUTATION BY NEURAL NETWORKS
  • Zhu Darning and Ma Shaoban
  • 1996,7(zk):191-198 [Abstract(2005)]  [View PDF(2521)466.34 K]
  • A METHOD OF AUTOMATIC GENERATING FRONT—END COMPILER
  • Sun Shuling and Zheng Qiloug
  • 1996,7(zk):199-204 [Abstract(2430)]  [View PDF(2456)364.07 K]
  • LOCK RESOLUTION IN BOOLEAN OPERATOR FUZZY LOGIC
  • Deng Ansheng and Liu Xuhua
  • 1996,7(zk):205-209 [Abstract(2258)]  [View PDF(1901)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(2162)]  [View PDF(2142)395.85 K]
  • THE SPECIALIZATION OF EVIDENCE FUNCTIONS
  • Liu Dayou,Li Yuefeng and Tang Haiying
  • 1996,7(zk):216-223 [Abstract(1991)]  [View PDF(2445)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(2411)]  [View PDF(2187)374.65 K]
  • ITERATION FUNCTIONS AND THEIR COMPUTABILITY
  • Yan Zhixin and Huang Shengping
  • 1996,7(zk):232-238 [Abstract(1947)]  [View PDF(1943)427.74 K]
  • FUNCTION PROGRAMMING WITH ITERATION OPERATOR
  • Yan Zhixin
  • 1996,7(zk):239-248 [Abstract(2258)]  [View PDF(2291)541.39 K]
  • PARALLEL QUICKSORT WITHOUT MEMORY CONFLICTS
  • Guan Li
  • 1996,7(zk):249-253 [Abstract(2544)]  [View PDF(2191)279.94 K]
  • A DATA COLLECTION ORIENTED DBMS WITH HIGH PERFORMANCE
  • Yao Qingda,Xiao Yongqiao and Chen Xiaoheng
  • 1996,7(zk):254-260 [Abstract(2018)]  [View PDF(2050)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(2149)]  [View PDF(1977)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(2559)]  [View PDF(2029)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(2330)]  [View PDF(1973)427.21 K]
  • A METHOD FOR CONSTRUCTING ONE—WAY HASH FUNCTIONS
  • Wang Xiaoyun and Zhou Dashui
  • 1996,7(zk):279-283 [Abstract(2475)]  [View PDF(2572)293.66 K]
  • IDENTITY—BASED DYNAMIC PASSWORD AUTHENTICATION
  • Dai Yiqi and Zhang Li
  • 1996,7(zk):284-289 [Abstract(1952)]  [View PDF(2008)376.46 K]
  • A STRlCT WEAK HYBRID COHERENCE MODEL
  • Li Rong,Wang Dingxing and Shen Meiming
  • 1996,7(zk):290-296 [Abstract(2097)]  [View PDF(1985)475.97 K]
  • A RELATIONAL DATA MODEL WITH INHERITANCE DEPENDENCIES
  • Liu Weiyi and LU Yuan
  • 1996,7(zk):297-303 [Abstract(2223)]  [View PDF(2057)375.33 K]
  • JDAUTO/0:An OBJECT-ORIENTED SOFTWARE AUTOMATION SYSTEM
  • Jin Chunshao and Quan Bingzhe
  • 1996,7(zk):304-310 [Abstract(2146)]  [View PDF(2005)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(2201)]  [View PDF(2743)263.48 K]
  • A MODEL FOR AUTOMATIC PREDICTION OF CHINESE PHRASE BOUNDARY LOCATION
  • Zhou Qiang
  • 1996,7(zk):315-322 [Abstract(2842)]  [View PDF(2153)493.51 K]
  • OPERATIONAL PROFILES DEVELOPMENT IN SOFTWARE RELIABILITY ENGINEERlNG
  • Dang Qimin and Yang Xinfa
  • 1996,7(zk):323-328 [Abstract(2668)]  [View PDF(2453)394.37 K]
  • PARALLEL—OUTERMOST PATTERN MATCHING
  • Shen Li,Lin Kai and Sun Yongqiang
  • 1996,7(zk):329-337 [Abstract(2178)]  [View PDF(2240)588.82 K]
  • THE COMPUTABILITY OF ITERATION PROGRAMS IN STATE LOGIC LANGUAGE
  • Yan Zhixin
  • 1996,7(zk):338-347 [Abstract(2296)]  [View PDF(2004)623.80 K]
  • TRANSFORMATION SEMANTICS OF OPERATOR LANGUAGE TO PROCEDURB LANGUAGE
  • Yan Zhixin and Huang Dongquan
  • 1996,7(zk):348-357 [Abstract(2218)]  [View PDF(2398)539.19 K]
  • FAIR TRANSITIoN SYSTEM SPECIFICATION AND ITS APPLICATIONS
  • Jia Guoping and Zheng Guoliang
  • 1996,7(zk):358-366 [Abstract(1962)]  [View PDF(2030)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(2241)]  [View PDF(1877)437.50 K]
  • A MODELLING METHOD BASED ON FORM FEATURE
  • Han Ling,Dong Jinxiang and Li Hailong
  • 1996,7(zk):375-380 [Abstract(1933)]  [View PDF(1966)375.29 K]
  • THE SECOND FIXED—PoINT THEoREMS IN λ—CALCULUS
  • Song Fangmin
  • 1996,7(zk):381-384 [Abstract(2471)]  [View PDF(2032)244.74 K]
  • A FORMAL SOFTWARE DEVELOPMENT METHOD DD-VDM
  • La Jian and Zhang Jianying
  • 1996,7(zk):385-393 [Abstract(2094)]  [View PDF(2012)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(2312)]  [View PDF(2275)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(2040)]  [View PDF(2237)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(2221)]  [View PDF(1837)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(2031)]  [View PDF(2034)1.27 M]
  • THE SET oF c^)一REGULAR LANGUAGES
  • Zhuang Lei,Meng Qingyuan and Su Jinxiang
  • 1996,7(zk):421-424 [Abstract(2360)]  [View PDF(1806)237.13 K]
  • GENERALIZED INVERSE ASSOCIATIVE MEMORY WITH NONLINEAR MAPPING CHARACTERISTICS
  • Chen Songcan,Gao Hang and Yang Guoqing
  • 1996,7(zk):425-430 [Abstract(1887)]  [View PDF(1799)318.21 K]
  • SOFTWARE PROJECT ESTIMATION
  • Wang Liqiang
  • 1996,7(zk):431-435 [Abstract(2059)]  [View PDF(1941)292.26 K]
  • A NOTATION FOR SET IN FUNCTIONAL LANGUAGrES AND ITS IMPLEMENTATION
  • Song Kai and Liao Husheng
  • 1996,7(zk):436-440 [Abstract(1978)]  [View PDF(2338)283.86 K]
  • AN ACCESS METHoD FOR MAIN MEMORY DATABASES
  • Liu Yunsheng and Hu Guoling
  • 1996,7(zk):441-446 [Abstract(2008)]  [View PDF(2368)782.94 K]
  • PARTITION EXTENSIONS OF PROPOSlTIONAL TEMPORAL LOGIC
  • Shen Enshao
  • 1996,7(zk):447-454 [Abstract(1903)]  [View PDF(2082)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(1887)]  [View PDF(2184)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(1882)]  [View PDF(2279)503.98 K]
  • CASE—BASED COMBlNATORIAL FORECAST
  • Gong Changping,Lu Yuchang and Zhou Yuanhui
  • 1996,7(zk):469-473 [Abstract(2400)]  [View PDF(2075)333.82 K]
  • A FRAMEWORK OF MARKET ANALYSIS
  • Mao Jun,Lu Yuchang and Chang Yun
  • 1996,7(zk):474-479 [Abstract(2349)]  [View PDF(1934)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(2596)]  [View PDF(2032)345.71 K]
  • A METHOD FOR MARKET ANALYSIS BASED ON RULES
  • Ma Shaoping,Zheng Tong and Lu Yuchang
  • 1996,7(zk):485-490 [Abstract(1788)]  [View PDF(2201)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(2024)]  [View PDF(2354)440.58 K]
  • MEDIA SYNCHRONIZATION TECHNOLOGY
  • Xiao Bolei,Li Xinyou,Wang Cheng,Lu Yuchang and Gui Tao
  • 1996,7(zk):497-502 [Abstract(1976)]  [View PDF(2274)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(1845)]  [View PDF(2501)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(1918)]  [View PDF(2176)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(2064)]  [View PDF(1955)311.69 K]
  • TESTING STRATEGY AND TESTING TOOLS OF MODERN SOFTWARE
  • Zhou Zhiying and Qian Ling
  • 1996,7(zk):519-524 [Abstract(2167)]  [View PDF(1824)446.86 K]
  • A MULTI—AGENT COMPUTATIONAL MARKET MODEL
  • Hu Jun,Wang Kehong,Kang Xiaoqiang and Shi Chunyi
  • 1996,7(zk):525-530 [Abstract(2223)]  [View PDF(2007)400.91 K]
  • A SOFTWARE TOOL FOR PARALLEL PROGRAMMING
  • Xu Hong,Chen Delai and Zhang Defu
  • 1996,7(zk):531-536 [Abstract(1867)]  [View PDF(2293)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(1867)]  [View PDF(2092)492.08 K]
  • KBASE—P:A KNOWLEDGE—BASE PROGRAMMING LANGUAGE
  • Shi Baile,Zhu Yangyong and Guo Depei
  • 1996,7(zk):544-550 [Abstract(2098)]  [View PDF(1991)458.93 K]
  • STRATEGIES IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Long Quan
  • 1996,7(zk):551-557 [Abstract(2029)]  [View PDF(2112)452.31 K]
  • CLAUSE SIMPLIFY STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Cheng Xueqi
  • 1996,7(zk):558-564 [Abstract(2253)]  [View PDF(2079)714.24 K]
  • TERM REWRITING STRATEGY IN INDUCTION INFERENCE
  • Li Weihua,Zhang Qian and Han Bo
  • 1996,7(zk):565-571 [Abstract(2269)]  [View PDF(2287)394.03 K]