This paper describes the development of an expert system(ES) on earth retaining structures for the selection and design.The ES retaining is an interactive menudriven system and consists of two main parts—the selectio...This paper describes the development of an expert system(ES) on earth retaining structures for the selection and design.The ES retaining is an interactive menudriven system and consists of two main parts—the selection part,selectwall and the design part.Selectwall is developed using the knowledge base and it makes a choice of the most appropriate retaining structure.The design part is developed by three independent subprograms which perform detailed design including strength,deformation,stability of the retaining structure.The calculation results are illustrated by plotting the diagram.Using this program,the design procedure of the retaining structure can be performed automatically.展开更多
Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewri...Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.展开更多
This paper gives an overall introduction to the basic concept of LAC(location-aware computing) and its development status, puts forward an integrated location-aware computing architecture which is useful for designing...This paper gives an overall introduction to the basic concept of LAC(location-aware computing) and its development status, puts forward an integrated location-aware computing architecture which is useful for designing the reasonable logical model of LBS(location-based service). Finally, a brief introduction is conducted on a LAC experimental prototype, which acts as a mobile urban tourism assistant.展开更多
IP billing is not only a basic functionality to operate IP sen＇ices, but also it is fundamental to offer customers with a stable and QoS-enabled network environment. As IP-based network has been widely agreed to be t...IP billing is not only a basic functionality to operate IP sen＇ices, but also it is fundamental to offer customers with a stable and QoS-enabled network environment. As IP-based network has been widely agreed to be the core network of NGN, and existing IP billing system is too simple to fulfill the emerging requirements, the next generation IP billing has become an interesting topic in recent years. Policy-based management brings flexibility and scalability to systems by describing management logic and functions through policies, and thus reduces the complexity of the management of large-scale systems. Working on existing efforts, this paper proposed an improved IETF policy framework based upon which a policy-based billing management architecture for the next generation IP-based network was presented. Then a prototype with some basic functionalities was developed. The results of the experiment validated the expected improvements specified in this paper.展开更多
The Java-Sumatra upwelling is one of the most important upwelling systems in the Indian Ocean, with maximum upwelling intensity in July through August. To estimate the nitrate supplied by upwelling, we developed a thr...The Java-Sumatra upwelling is one of the most important upwelling systems in the Indian Ocean, with maximum upwelling intensity in July through August. To estimate the nitrate supplied by upwelling, we developed a three-dimensional hydrodynamic model to calculate the mean vertical speed and determine the depth of upwelling. We used in-situ vertical nitrate profiles to assess nitrate concentration in the upwelled waters, and calculated the nitrate supply as the product of nitrate concentration and vertical transport obtained from the numerical model. The calculated result represents potential new production generated in the upwelling region. We found that on the event time scale (monthly) of Java-Sumatra upwelling, water brought to the surface originated from locations 100-m deep, giving a nitrate supply of 93.77×10 3mol/s and potential new production of 1.02×10 14gC/a.展开更多
This article focuses on the study of stability of motion of the phase systems described by differential equations whose right-hand sides are periodic in the angular coordinate. The article deals with the mathematical ...This article focuses on the study of stability of motion of the phase systems described by differential equations whose right-hand sides are periodic in the angular coordinate. The article deals with the mathematical model which has been investigated for stability ＂in the large＂ using the second Lyapunov method. Based on the theoretical results obtained in the work,the computational experiments on concrete examples of electric power systems, which showedthe sufficient efficacy of the proposed method for the studied phase system, were conducted.展开更多
Geodesic forms constitute an important family of structural systems. They are efficient and appealing and are employed frequently for dome structures. Data generation for geodesic forms has always been a difficult tas...Geodesic forms constitute an important family of structural systems. They are efficient and appealing and are employed frequently for dome structures. Data generation for geodesic forms has always been a difficult task, from the days of hand data generation using tables of coefficients to today＇s specially written computer programs with many limitations and shortcomings. Formex algebra is a mathematical system which is ideally suited for data generation and configuration processing. The objective of the present paper is to introduce the concepts of formex algebra through which data generation for polyhedric and geodesic forms can be handled with ease and elegance.展开更多
Performance of the Adaptive Coding and Modulation(ACM) strongly depends on the retrieved Channel State Information(CSI),which can be obtained using the channel estimation techniques relying on pilot symbol transmissio...Performance of the Adaptive Coding and Modulation(ACM) strongly depends on the retrieved Channel State Information(CSI),which can be obtained using the channel estimation techniques relying on pilot symbol transmission.Earlier analysis of methods of pilot-aided channel estimation for ACM systems were relatively little.In this paper,we investigate the performance of CSI prediction using the Minimum Mean Square Error(MMSE)channel estimator for an ACM system.To solve the two problems of MMSE:high computational operations and oversimplified assumption,we then propose the Low-Complexity schemes(LC-MMSE and Recursion LC-MMSE(R-LC-MMSE)).Computational complexity and Mean Square Error(MSE) are presented to evaluate the efficiency of the proposed algorithm.Both analysis and numerical results show that LC-MMSE performs close to the wellknown MMSE estimator with much lower complexity and R-LC-MMSE improves the application of MMSE estimation to specific circumstances.展开更多
This paper analyzes advantages and disadvantages of the current several popular computer-aided English learning software. combined with modem English teaching philosophy, proposed learning system with synchronization,...This paper analyzes advantages and disadvantages of the current several popular computer-aided English learning software. combined with modem English teaching philosophy, proposed learning system with synchronization, interactivity, intelligence, and incentives in one of the English to students. System uses JavaEE framework to build, each module uses a low coupling between the way facilitate future extensions. The system can help students build confidence and motivate its progress.展开更多
The functional piezoelectric ceramic smart aggregate(SA) sensors and actuators,based on piezoelectric ceramic materials such as lead zirconium titanate(PZT),were embedded into the reinforced concrete beams with three-...The functional piezoelectric ceramic smart aggregate(SA) sensors and actuators,based on piezoelectric ceramic materials such as lead zirconium titanate(PZT),were embedded into the reinforced concrete beams with three-point bending under static loading for purposes of damage detection.The SA actuators generated the desired sine sweep excitation signals online and the SA sensors received and detected real-time signals before and after damage.The wavelet analysis and statistical characteristics about damage signals were used as a signal processing and analysis tool to extract the optimal damage information and establish a statistical damage detection algorithm.The damage index-based wavelet analysis and damage probability-based probability and statistics were proposed by PZT wavebased theory and active health monitoring technology.The results showed that the existence of cracks inside largely attenuated the amplitude of active monitoring signal after the damage of beam and the attenuation was related to the severity degree of damage.The innovative statistical algorithm of damage pattern detection based PZT-SA can effectively determine damage probability and damage degree,and provide a prediction for the critical damage location of reinforced concrete structures.The developed method can be utilized for the structural health comprehensive monitoring and damage detection on line of various large-scale concrete structures.展开更多
A parallel architecture for efficient hardware implementation of Rivest Shamir Adleman(RSA) cryptography is proposed.Residue number system(RNS) is introduced to realize high parallelism,thus all the elements under the...A parallel architecture for efficient hardware implementation of Rivest Shamir Adleman(RSA) cryptography is proposed.Residue number system(RNS) is introduced to realize high parallelism,thus all the elements under the same base are independent of each other and can be computed in parallel.Moreover,a simple and fast base transformation is used to achieve RNS Montgomery modular multiplication algorithm,which facilitates hardware implementation.Based on transport triggered architecture(TTA),the proposed architecture is designed to evaluate the performance and feasibility of the algorithm.With these optimizations,a decryption rate of 106 kbps can be achieved for 1 024-b RSA at the frequency of 100 MHz.展开更多
This paper systematically analyzes the structure and function of mobile office system in cloud platform, puts forward the method how to blend the advantages of cloud computing to organically integrate mobile office sc...This paper systematically analyzes the structure and function of mobile office system in cloud platform, puts forward the method how to blend the advantages of cloud computing to organically integrate mobile office scene. Firstly, this paper introduces the key technology of mobile OA platform based on cloud computing; secondly, this paper proposes the ideas of cloud computing middleware combination with original system, and on this basis, forming a mobile office architecture model based on cloud computing, gives the mobile office platform architecture scheme, combined with the actual development problems in some model specifications and solutions to build mobile office system based on cloud computing..展开更多
文摘This paper describes the development of an expert system(ES) on earth retaining structures for the selection and design.The ES retaining is an interactive menudriven system and consists of two main parts—the selection part,selectwall and the design part.Selectwall is developed using the knowledge base and it makes a choice of the most appropriate retaining structure.The design part is developed by three independent subprograms which perform detailed design including strength,deformation,stability of the retaining structure.The calculation results are illustrated by plotting the diagram.Using this program,the design procedure of the retaining structure can be performed automatically.
基金National Natural Science Foundation ofChina (No. 60173033) and 973 Project( No. 2002CB312002 ) of China, andGrand Project of the Science and Tech-nology Commission of Shanghai Munici-pality ( No. 03dz15027 and No.03dz15028)
文摘Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system.
文摘This paper gives an overall introduction to the basic concept of LAC(location-aware computing) and its development status, puts forward an integrated location-aware computing architecture which is useful for designing the reasonable logical model of LBS(location-based service). Finally, a brief introduction is conducted on a LAC experimental prototype, which acts as a mobile urban tourism assistant.
基金Supported by the High Technology Reseearch and Development Plogranune of China （No. 2002AA121062） and the National Natural Science Foundation of China （ No. 90204002 ）.
文摘IP billing is not only a basic functionality to operate IP sen＇ices, but also it is fundamental to offer customers with a stable and QoS-enabled network environment. As IP-based network has been widely agreed to be the core network of NGN, and existing IP billing system is too simple to fulfill the emerging requirements, the next generation IP billing has become an interesting topic in recent years. Policy-based management brings flexibility and scalability to systems by describing management logic and functions through policies, and thus reduces the complexity of the management of large-scale systems. Working on existing efforts, this paper proposed an improved IETF policy framework based upon which a policy-based billing management architecture for the next generation IP-based network was presented. Then a prototype with some basic functionalities was developed. The results of the experiment validated the expected improvements specified in this paper.
基金Supported by the Knowledge Innovation Program of Chinese Academy of Sciences (Nos. KZCX2-YW-Q11-02, LYQY200807)the National Natural Science Foundation of China (No. 40876093)
文摘The Java-Sumatra upwelling is one of the most important upwelling systems in the Indian Ocean, with maximum upwelling intensity in July through August. To estimate the nitrate supplied by upwelling, we developed a three-dimensional hydrodynamic model to calculate the mean vertical speed and determine the depth of upwelling. We used in-situ vertical nitrate profiles to assess nitrate concentration in the upwelled waters, and calculated the nitrate supply as the product of nitrate concentration and vertical transport obtained from the numerical model. The calculated result represents potential new production generated in the upwelling region. We found that on the event time scale (monthly) of Java-Sumatra upwelling, water brought to the surface originated from locations 100-m deep, giving a nitrate supply of 93.77×10 3mol/s and potential new production of 1.02×10 14gC/a.
文摘This article focuses on the study of stability of motion of the phase systems described by differential equations whose right-hand sides are periodic in the angular coordinate. The article deals with the mathematical model which has been investigated for stability ＂in the large＂ using the second Lyapunov method. Based on the theoretical results obtained in the work,the computational experiments on concrete examples of electric power systems, which showedthe sufficient efficacy of the proposed method for the studied phase system, were conducted.
文摘Geodesic forms constitute an important family of structural systems. They are efficient and appealing and are employed frequently for dome structures. Data generation for geodesic forms has always been a difficult task, from the days of hand data generation using tables of coefficients to today＇s specially written computer programs with many limitations and shortcomings. Formex algebra is a mathematical system which is ideally suited for data generation and configuration processing. The objective of the present paper is to introduce the concepts of formex algebra through which data generation for polyhedric and geodesic forms can be handled with ease and elegance.
基金supported by the 2011 China Aerospace Science and Technology Foundationthe Certain Ministry Foundation under Grant No.20212HK03010
文摘Performance of the Adaptive Coding and Modulation(ACM) strongly depends on the retrieved Channel State Information(CSI),which can be obtained using the channel estimation techniques relying on pilot symbol transmission.Earlier analysis of methods of pilot-aided channel estimation for ACM systems were relatively little.In this paper,we investigate the performance of CSI prediction using the Minimum Mean Square Error(MMSE)channel estimator for an ACM system.To solve the two problems of MMSE:high computational operations and oversimplified assumption,we then propose the Low-Complexity schemes(LC-MMSE and Recursion LC-MMSE(R-LC-MMSE)).Computational complexity and Mean Square Error(MSE) are presented to evaluate the efficiency of the proposed algorithm.Both analysis and numerical results show that LC-MMSE performs close to the wellknown MMSE estimator with much lower complexity and R-LC-MMSE improves the application of MMSE estimation to specific circumstances.
文摘This paper analyzes advantages and disadvantages of the current several popular computer-aided English learning software. combined with modem English teaching philosophy, proposed learning system with synchronization, interactivity, intelligence, and incentives in one of the English to students. System uses JavaEE framework to build, each module uses a low coupling between the way facilitate future extensions. The system can help students build confidence and motivate its progress.
基金Supported by Science and Technology Project of Ministry of Housing and Urban-Rural Development(No.2011k211)"11th Five-Year" Science and Technology Research Project of Education Department,Jilin Province(No.200925)Liaoning Structure Engineering Key Laboratory 2009 Open Fund(JG2009 2007-08)
文摘The functional piezoelectric ceramic smart aggregate(SA) sensors and actuators,based on piezoelectric ceramic materials such as lead zirconium titanate(PZT),were embedded into the reinforced concrete beams with three-point bending under static loading for purposes of damage detection.The SA actuators generated the desired sine sweep excitation signals online and the SA sensors received and detected real-time signals before and after damage.The wavelet analysis and statistical characteristics about damage signals were used as a signal processing and analysis tool to extract the optimal damage information and establish a statistical damage detection algorithm.The damage index-based wavelet analysis and damage probability-based probability and statistics were proposed by PZT wavebased theory and active health monitoring technology.The results showed that the existence of cracks inside largely attenuated the amplitude of active monitoring signal after the damage of beam and the attenuation was related to the severity degree of damage.The innovative statistical algorithm of damage pattern detection based PZT-SA can effectively determine damage probability and damage degree,and provide a prediction for the critical damage location of reinforced concrete structures.The developed method can be utilized for the structural health comprehensive monitoring and damage detection on line of various large-scale concrete structures.
基金Supported by the Natural Science Foundation of Tianjin (No. 11JCZDJC15800)the National Natural Science Foundation of China(No. 61003306)
文摘A parallel architecture for efficient hardware implementation of Rivest Shamir Adleman(RSA) cryptography is proposed.Residue number system(RNS) is introduced to realize high parallelism,thus all the elements under the same base are independent of each other and can be computed in parallel.Moreover,a simple and fast base transformation is used to achieve RNS Montgomery modular multiplication algorithm,which facilitates hardware implementation.Based on transport triggered architecture(TTA),the proposed architecture is designed to evaluate the performance and feasibility of the algorithm.With these optimizations,a decryption rate of 106 kbps can be achieved for 1 024-b RSA at the frequency of 100 MHz.
文摘This paper systematically analyzes the structure and function of mobile office system in cloud platform, puts forward the method how to blend the advantages of cloud computing to organically integrate mobile office scene. Firstly, this paper introduces the key technology of mobile OA platform based on cloud computing; secondly, this paper proposes the ideas of cloud computing middleware combination with original system, and on this basis, forming a mobile office architecture model based on cloud computing, gives the mobile office platform architecture scheme, combined with the actual development problems in some model specifications and solutions to build mobile office system based on cloud computing..
