Source title:Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Abbreviated source title:Proc. IEEE Int. Conf. Bio-Inspired Comput.: Theor. Appl., BIC-TA
Monograph title:Proceedings 2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Conference name:2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010
Sponsor:IEEE Beijing Section; Hunan University; Liverpool Hope University; Peking University; National Natural Science Foundation of China
Publisher:IEEE Computer Society, 445 Hoes Lane - P.O.Box 1331, Piscataway, NJ 08855-1331, United States
Abstract:Biological sequential frequent pattern mining is one of the important research fields in biological sequential data mining. In order to overcome the shortcomings of traditional algorithms, we proposed a fast algorithm SSPM here. We used longer patterns and prefix tree of primary frequent patterns for mining which avoided plenty of irrelevant patterns. The experimental results show that our algorithm could not only improve the performance but also achieve effective mining results. © 2010 IEEE.
Uncontrolled terms:Biological sequences - Fast algorithms - Frequent pattern mining - Frequent patterns - Prefix trees - Research fields - Sequential data mining
Classification code:723 Computer Software, Data Handling and Applications - 921 Mathematics
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Title:On formal representation of procedure knowledge and its application to interactive electronic technology manual
Author affiliation:(1) Department of Computer Science, Yangzhou University, China College of Information Science and Technology, Beihang University, Yangzhou, China; (2) Department of Computer Science, Yangzhou University, Yangzhou, China; (3) State Key Lab of Novel Software Tech, Nanjing University, Nanjing, China
Abbreviated source title:J. Softw.
Abstract:The Interactive Electronic Technology Manual is a core element of the equipment support, and using informal means to express automatic reasoning and consistency checking of knowledge systems that can not be carried through by process knowledge. This paper, in cognizance of the high frequency of procedure description in IETM, taking troubleshooting process as an example, puts forward a procedural representation based on labeling transition system, and realizes the XML file storage in procedure description. As a result, the machine can read and operate these data. Meanwhile, this paper designs a quantitative calculating method of process semantic proximity to provide a candidate set of semantic proximity sorting as the result of procedural knowledge retrieval. Compared with existing methods, this method uses status to express the program node information, characterizes change of state by action, and comprehensively considers human-computer interactions. The XML-based procedural representation and storage facilitate interoperability between multiple systems. The formal representation of process knowledge well characterizes the fault diagnosis process in the project of Interactive Electronic Technology Manual.© 2010 ACADEMY PUBLISHER.
Controlled terms:Interoperability - Knowledge management - Quality assurance - Reliability - Semantics - Technology - XML
Uncontrolled terms:Automatic reasoning - Calculating methods - Consistency checking - Core elements - Electronic technologies - Existing method - Fault diagnosis - Formal representations - High frequency - Knowledge system - Multiple systems - Procedural knowledge - Procedure - Process knowledge - Process semantics - Program nodes - Transition system - Troubleshooting - XML files
Classification code:723 Computer Software, Data Handling and Applications - 901 Engineering Profession - 903.2 Information Dissemination - 903.3 Information Retrieval and Use - 913.3 Quality Assurance and Control
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20110813681547
Title:Essence of two-dimensional principal component analysis
Authors:Chen, Caikou (1); Yangzhou, Jingyu (2)
Author affiliation:(1) Information Engineering College, Yangzhou University, Yangzhou, China; (2) School of Computer Science and Technology, Nanjing University of Science and Technology, Nanjing, China
Corresponding author:Chen, C.(cck.yzu@gmail.com)
Source title:Proceedings - 2010 International Conference on Computational Intelligence and Security, CIS 2010
Abbreviated source title:Proc. - Int. Conf. Comput. Intell. Secur., CIS
Monograph title:Proceedings - 2010 International Conference on Computational Intelligence and Security, CIS 2010
Issue date:2010
Publication year:2010
Pages:280-282
Article number:5696280
Language:English
ISBN-13:9780769542973
Document type:Conference article (CA)
Conference name:2010 International Conference on Computational Intelligence and Security, CIS 2010
Conference date:December 11, 2010 - December 14, 2010
Conference location:Nanning, China
Conference code:83848
Sponsor:Xidian University; Beijing Normal University; CPS of IEEE
Publisher:IEEE Computer Society, 445 Hoes Lane - P.O.Box 1331, Piscataway, NJ 08855-1331, United States
Abstract:The technique of two-dimensional principal component analysis (2DPCA) is analyzed and its essence is revealed. The image total scatter matrix of 2DPCA is in nature equivalent to the sum of all total scatter matrices of m training subsets in which the kth subset is formed by the kth line of each of all training images, where m is the number of lines contained in an image. Based on this result, the true reason why 2DPCA outperforms PCA is uncovered, i.e., different from the traditional PCA using only global information of images, 2DPCA combines the local and global information of images simultaneously and alternative more transparent and understandable 2DPCA algorithm is developed. Finally, some relations to PCA and MPCA and 2DPCA are shown. © 2010 IEEE.
Number of references:6
Main heading:Principal component analysis
Controlled terms:Artificial intelligence - Feature extraction - Two dimensional
Uncontrolled terms:2DPCA algorithms - Global informations - Principal component analysis (PCA) - Scatter matrix - Total-scatter matrix - Training image - Training subsets - Two dimensional principal component analysis (2DPCA)
Classification code:716 Telecommunication; Radar, Radio and Television - 723.4 Artificial Intelligence - 723.5 Computer Applications - 922.2 Mathematical Statistics
DOI:10.1109/CIS.2010.67
Database:Compendex
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20113814355657
Title:Finite topological models of modal logic systems S4 and S5
Authors:Li, Gao-Lin (1); Xu, Luo-Shan (1)
Author affiliation:(1) Department of Mathematics, Yangzhou University, Yangzhou 225002, China; (2) Department of Mathematics, Yancheng Teachers College, Yancheng 224002, China
Corresponding author:Xu, L.-S.(luoshanxu@hotmail.com)
Source title:Advances in Intelligent and Soft Computing
Abbreviated source title:Adv. Intell. Soft Comput.
Volume:82
Monograph title:Quantitative Logic and Soft Computing 2010: Volume 2
Issue date:2010
Publication year:2010
Pages:311-319
Language:English
ISSN:18675662
ISBN-13:9783642156595
Document type:Conference article (CA)
Publisher:Springer Verlag, Tiergartenstrasse 17, Heidelberg, D-69121, Germany
Abstract:In modal logic systems S4 and S5, some semantics equivalent theorems on various classes of models are proved. Main results are: (1) A formula is S4 (S5)-theorem if and only if it is globally true in any finite models of S4 (S5); (2) A formula is S4-theorem if and only if it is globally true in all finite topological models; (3) As a corollary of (2), Question 9.1.66 in [4] is affirmatively answered; (4) A formula is S5-theorem if and only if it is globally true in the class FCOT of finite topological models with open sets being closed. © 2010 Springer-Verlag Berlin Heidelberg.
Number of references:7
Main heading:Topology
Controlled terms:Equivalence classes - Filtration - Formal logic - Models - Semantics - Soft computing
Uncontrolled terms:Finite model - globally true - Modal logic - Topological models
Classification code:721.1 Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory - 723 Computer Software, Data Handling and Applications - 802.3 Chemical Operations - 902.1 Engineering Graphics - 903.2 Information Dissemination - 921.4 Combinatorial Mathematics, Includes Graph Theory, Set Theory
DOI:10.1007/978-3-642-15660-1_29
Database:Compendex
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20110313601266
Title:Partition-based optimizing algorithm for dense matrix computation under multicore environment
Authors:Mao, Guoyong (1); Zhang, Xiaobin (3); Li, Yun (3); Li, Yujie (3); Wei, Laizhi (3)
Author affiliation:(1) Department of Electronic Information and Electric Engineering, Changzhou Institute of Technology, Changzhou 213002, China; (2) Changzhou Key Lab. for Research and Application of Software Technology, Changzhou 213002, China; (3) College of Information Engineering, Yangzhou University, Yangzhou 225009, China
Corresponding author:Zhang, X.(zxb0412@163.com)
Source title:Journal of Computational Information Systems
Abbreviated source title:J. Comput. Inf. Syst.
Volume:6
Issue:14
Issue date:December 2010
Publication year:2010
Pages:4923-4932
Language:English
ISSN:15539105
Document type:Journal article (JA)
Publisher:Binary Information Press, P.O. Box 162, Bethel, CT 06801-0162, United States
Abstract:With the development of multicore chips, it is of great need for people to study the optimization algorithm of matrix operation under multicore environment, so as to make full use of the CPU power; however, the existing parallel algorithm for matrix operation can hardly have the best of multicore chips. To make the traditional applications benefit from multicore processors, the traditional Gaussian Elimination algorithm is improved to enhance its parallel performance under multicore architecture by matrix partition. The stability of the original algorithm is guaranteed. The hit rate of cache is improved by adjusting the computation sequence, the experiment shows that the speedup can reach almost 3 under 4 core CPU environments when evaluating the inverse of dense matrix. © 2010 Binary Information Press.
Number of references:10
Main heading:Matrix algebra
Controlled terms:Optimization - Parallel algorithms - Software architecture
Uncontrolled terms:Cache - CPU power - Dense matrices - Gaussian elimination algorithm - Hit rate - Matrix operations - Matrix partitions - Multi core - Multi-core processor - Multicore architectures - Multicore chips - Multicore environments - Optimization algorithms - Optimizing algorithm - Original algorithms - Parallel performance - Partition
Classification code:723 Computer Software, Data Handling and Applications - 921 Mathematics
Database:Compendex
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20110213577531
Title:Ferromagnetism in the multiferroic Bi5FeTi3O15 ceramics arising from the magnetic coupling
Authors:Wang, Wei (1); Hu, Xing (1); Mao, Xiang-Yu (1); Chen, Xiao-Bing (1)
Author affiliation:(1) College of Physical Science and Technology, Yangzhou University, Yangzhou 225002, China
Corresponding author:Chen, X.-B.(xbchen@yzu.edu.cn)
Source title:Wuji Cailiao Xuebao/Journal of Inorganic Materials
Abbreviated source title:Wuji Cailiao Xuebao
Volume:25
Issue:12
Issue date:December 2010
Publication year:2010
Pages:1263-1267
Language:Chinese
ISSN:1000324X
CODEN:WCXUET
Document type:Journal article (JA)
Publisher:Science Press, 18,Shuangqing Street,Haidian, Beijing, 100085, China
Abstract:Multiferroic Bi5Fe1-xCox Ti3O15 (x=0~0.6) ceramics were prepared using solid state reaction method. XRD pattern confirmed the single phase in all prepared samples and Raman scattering technique was also used to study the crystal structure. The remanent magnetization (2Mr) is increased to a high value of 2.3 mA · m2/kg with the cobalt content of 0.5. This value is two orders of magnitude greater than that of non-doped one. The promising ferromagnetism is attributed to the coupling arising from local Fe O Co clusters as well as the influence of net magnetic moment of Fe O Co clusters on the magnetic behavior. The remanent polarization (2Pr) is increased by a small amount of cobalt of 0.1, then decreased with further doing of cobalt up to 0.4, after that, 2Pr is increased again up to a cobalt content of 0.6. The dependence of 2Pr on cobalt content is attributed to the joint effect of lattice distortion, charge compensation and the change of covalent bonding condition.
Number of references:26
Main heading:Cobalt
Controlled terms:Ceramic materials - Cobalt compounds - Crystal structure - Ferromagnetism - Magnetic couplings - Magnetic moments - Magnetization - Polarization - Solid state reactions
Uncontrolled terms:Charge compensation - Co clusters - Cobalt content - Covalent bonding - Joint effect - Lattice distortions - Magnetic behavior - Multiferroics - Non-doped - Orders of magnitude - Remanent magnetization - Remanent polarization - Scattering techniques - Single phase - Solid state reaction method - XRD patterns
Classification code:812.1 Ceramics - 804.1 Organic Compounds - 802.2 Chemical Reactions - 801.4 Physical Chemistry - 701.2 Magnetism: Basic Concepts and Phenomena - 701.1 Electricity: Basic Concepts and Phenomena - 549.3 Nonferrous Metals and Alloys excluding Alkali and Alkaline Earth Metals
DOI:10.3724/SP.J.1077.2010.01263
Database:Compendex
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20110313604502
Title:A survey on the fracture of the outer surface of extenal wall with outside lightweight thermal insulating layer
Authors:Li, Sheng-Cai (1); Zhou, Yan (1)
Author affiliation:(1) College of Architectural Science and Civil Engineering, Yangzhou University, Yangzhou, China
Corresponding author:Li, S.-C.(li_shcai@126.com)
Source title:2010 International Conference on E-Product E-Service and E-Entertainment, ICEEE2010
Abbreviated source title:Int. Conf. E-Prod. E-Serv. E-Entertain., ICEEE
Monograph title:2010 International Conference on E-Product E-Service and E-Entertainment, ICEEE2010
Issue date:2010
Publication year:2010
Article number:5660887
Language:English
ISBN-13:9781424471614
Document type:Conference article (CA)
Conference name:2010 International Conference on E-Product E-Service and E-Entertainment, ICEEE2010
Conference date:November 7, 2010 - November 9, 2010
Conference location:Henan, China
Conference code:83418
Sponsor:IEEE Consumer Electronics Society; Henan Polytechnic University; Huazhong Normal University
Publisher:IEEE Computer Society, 445 Hoes Lane - P.O.Box 1331, Piscataway, NJ 08855-1331, United States
Abstract:The outer surface of external wall with lightweight thermal insulating layer is easily destructed when a building is in service. In this paper, the basic destructive forms are sorted out, such as surface cracking, hollowing, shedding. And the correlating factors which cause different fractures have also been discussed. By the survey and analyses, the lack of mechanical design, improper application of materials and misuse construction can be inferred as the key factors which cause additional thermal stress and incongruous deformation overbreaking the permission limit state in the insulation system. The survey draws the conclusion that new thermal insulation material and construction technology well-balancing energy-saving benefit and economic benefit should be developed. ©2010 IEEE.
Number of references:13
Main heading:Thermal insulation
Controlled terms:Energy conservation - Fracture - Stresses - Surface defects - Surfaces - Surveys - Thermal insulating materials - Walls (structural partitions)
Uncontrolled terms:Balancing energy - Construction technologies - Economic benefits - Energy-saving buildings - External walls - Insulation system - Key factors - Limit state - Mechanical design - Outer surface - Surface cracking - Thermal insulation materials - Thermal-insulating
Classification code:951 Materials Science - 931 Classical Physics; Quantum Theory; Relativity - 525.2 Energy Conservation - 421 Strength of Building Materials; Mechanical Properties - 413.2 Heat Insulating Materials - 405.3 Surveying - 402 Buildings and Towers
DOI:10.1109/ICEEE.2010.5660887
Database:Compendex
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20110313592543
Title:Distributed sequence fuzzy concept lattice and its incremental construction
Authors:Li, Yun (1); Yuan, Yunhao (1); Sun, Lianglei (1); Yin, Jiang (1); Chen, Ling (1)
Author affiliation:(1) College of Information Engineering, Yangzhou University, Yangzhou, 225009, China
Corresponding author:Li, Y.(liyun@yzu.edu.cn)
Source title:Journal of Computational Information Systems
Abbreviated source title:J. Comput. Inf. Syst.
Volume:6
Issue:12
Issue date:December 2010
Publication year:2010
Pages:3967-3976
Language:English
ISSN:15539105
Document type:Journal article (JA)
Publisher:Binary Information Press, P.O. Box 162, Bethel, CT 06801-0162, United States
Abstract:In the distributed condition, this paper proposes a distributed sequence fuzzy concept lattice model and an algorithm DseqFuzCL(distributed sequence fuzzy concept lattice) for incremental construction of the distributed sequence fuzzy concept lattice. The algorithm first builds local sequence fuzzy concept lattices according to the local sequence fuzzy formal context in every single computer system, and then a global sequence fuzzy concept lattice is obtained by merging local sequence fuzzy concept lattices. The experimental results show that the algorithm DseqFuzCL owns excellent performance on the time-spatial complexity, and possesses better performance than algorithm SeqFuzCL. Simultaneously, the algorithm DseqFuzCL provides theoretical foundation for mining distributed sequence pattern. © 2010 Binary Information Press.
Number of references:8
Main heading:Algorithms
Controlled terms:Data mining
Uncontrolled terms:Distributed sequences - Excellent performance - Formal contexts - Fuzzy concept - Incremental construction - Local sequences - Single computer - Theoretical foundations - Time-spatial
Classification code:723 Computer Software, Data Handling and Applications - 921 Mathematics
Database:Compendex
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20110213560005
Title:A drive-transmission integrated linear electromechanical actuator
Authors:Chen, Wenjia (1); Zhang, Jiang (1); He, Yanzhong (1)
Author affiliation:(1) College of Mechanical Engineering, Yangzhou University, Yangzhou 225009, China
Corresponding author:Chen, W.(wjchen@yzu.edu.cn)
Source title:Applied Mechanics and Materials
Abbreviated source title:Appl. Mech. Mater.
Volume:37-38
Monograph title:Advances in Engineering Design and Optimization
Issue date:2010
Publication year:2010
Pages:5-8
Language:English
ISSN:16609336
ISBN-13:9780878492220
Document type:Conference article (CA)
Conference name:International Conference on Engineering Design and Optimization, ICEDO 2010
Conference date:October 28, 2010 - October 30, 2010
Conference location:Ningbo, China
Conference code:83261
Publisher:Trans Tech Publications, P.O. Box 1254, Clausthal-Zellerfeld, D-38670, Germany
Abstract:Based on the idea of integrated design, a drive-transmission integrated linear electromechanical actuator is developed. The actuator consists of a permanent magnet synchronous motor (PMSM), a ball-screw and shells. By using coaxial assemblage, the ball-screw is inserted into the hole of the hollow motor rotor and the nut of the ball-screw connects with the motor rotor. In order to restrict the ball-screw rotating relatively to the shell, splines machined respectively on ball-screw and the shell come into being a spline pair. A driver based on a DSP processor and IGBTs plus a position feedback resolver forms a precise servo system. © (2010) Trans Tech Publications.
Number of references:3
Main heading:Spheres
Controlled terms:AC motors - Actuators - Design - Electromechanical devices - Optimization - Permanent magnets - Screws - Splines - Synchronous motors
Uncontrolled terms:Ball-screw - DSP processor - Electro-mechanical actuator - Hollow motor - Integrated designs - Motor rotors - Permanent Magnet Synchronous Motor - PMSM - Position feedback - Servo system
Classification code:921.5 Optimization Techniques - 705.3.1 AC Motors - 704.1 Electric Components - 632 Hydraulics, Pneumatics and Related Equipment, and Fluidics - 631 Fluid Flow - 605 Small Tools and Hardware - 601.2 Machine Components - 601 Mechanical Design - 408 Structural Design
DOI:10.4028/www.scientific.net/AMM.37-38.5
Database:Compendex
Compilation and indexing terms, Copyright 2011 Elsevier Inc.
Accession number:20113914371486
Title:Numerical simulation and experimental study of a two-floor structure pumping system
Authors:Liu, Chao (1); Jin, Yan (1); Zhou, Jiren (1); Tang, Fangping (1)
Author affiliation:(1) College of Hydraulic Engineering, Yangzhou University, 131 Jiangyang Middle Road, Yangzhou 225009, China