The design procedure of a dense gap-graded friction course(DGGFC) with coarse aggregate void filling method is presented. Testing results show that a DGGFC mixture possesses a dense stone-matrix structure, good stab...The design procedure of a dense gap-graded friction course(DGGFC) with coarse aggregate void filling method is presented. Testing results show that a DGGFC mixture possesses a dense stone-matrix structure, good stability and almost the same texture depth as stone matrix asphalt (SMA). It also has a coarse and even surface after paving and has no separation during construction. It is durable and impermeable. It balances and improves the inherent inconsistency of asphalt mixture between the large texture depth for skid resistance and the impermeability for durability. The actual application in the Nanning-Liuzhou Expressway also shows that the performance of the DGGFC is as excellent as that of SMA, while the DGGFC mixture is cheaper than SMA. The DGGFC mixture is good for wearing course of pavement. Further research on DGGFC can be helpful for improving the surface skid resistance, prolonging the life-span period and reducing the construction costs of asphalt pavement.展开更多
In this paper, the specific solutions of orthotropic plane problems with body forces are derived. Then, based on the general solution in the case of distinct eigenvalues and the specific solution for density functiona...In this paper, the specific solutions of orthotropic plane problems with body forces are derived. Then, based on the general solution in the case of distinct eigenvalues and the specific solution for density functionally graded orthotropic media, a series of beam problem, including the problems of cantilever beam with body forces depending only on z or on x coordinate and expressed by z or x polynomial is solved by the principle of superposition and the trial-and-error method.展开更多
Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. There are, however, many features of the distributed softw...Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. There are, however, many features of the distributed software that make the developing methods of distributed software quite different from the traditional ways. Furthermore, the traditional centralized ways with fixed interfaces cannot adapt to the flexible requirements of distributed software. In this paper, the attributed grammar (AG) is extended to refine the characters of distributed software, and a distributed software architecture description language (DSADL) based on attributed grammar is introduced, and then a model of integrated environment for software architecture design is proposed. It can be demonstrated by the practice that DSADL can help the programmers to analyze and design distributed software effectively, so the efficiency of the development can be improved greatly.展开更多
Pt based materials are the most efficient electrocatalysts for the oxygen reduction reaction(ORR)and methanol oxidation reaction(MOR)in fuel cells.Maximizing the utilization of Pt based materials by modulating their m...Pt based materials are the most efficient electrocatalysts for the oxygen reduction reaction(ORR)and methanol oxidation reaction(MOR)in fuel cells.Maximizing the utilization of Pt based materials by modulating their morphologies to expose more active sites is a fundamental objective for the practical application of fuel cells.Herein,we report a new class of hierarchically skeletal Pt-Ni nanocrystals(HSNs)with a multi-layered structure,prepared by an inorganic acid-induced solvothermal method.The addition of H_(2)SO_(4)to the synthetic protocol provides a critical trigger for the successful growth of Pt-Ni nanocrystals with the desired structure.The Pt-Ni HSNs synthesized by this method exhibit enhanced mass activity of 1.25 A mgpt−1 at 0.9 V(versus the reversible hydrogen electrode)towards ORR in 0.1-M HClO_(4),which is superior to that of Pt-Ni multi-branched nanocrystals obtained by the same method in the absence of inorganic acid;it is additionally 8.9-fold higher than that of the commercial Pt/C catalyst.Meanwhile,it displays enhanced stability,with only 21.6%mass activity loss after 10,000 cycles(0.6–1.0 V)for ORR.Furthermore,the Pt-Ni HSNs show enhanced activity and anti-toxic ability in CO for MOR.The superb activity of the Pt-Ni HSNs for ORR and MOR is fully attributed to an extensively exposed electrochemical surface area and high intrinsic activity,induced by strain effects,provided by the unique hierarchically skeletal alloy structure.The novel open and hierarchical structure of Pt-Ni alloy provides a promising approach for significant improvements of the activity of Pt based alloy electrocatalysts.展开更多
The paper presents a framework for developing a variety of video transition effects. The framework is designed to deal with the problem of inefficiency for programmers to generate more and more diversified video trans...The paper presents a framework for developing a variety of video transition effects. The framework is designed to deal with the problem of inefficiency for programmers to generate more and more diversified video transition, which is caused by excessive coupling between the sub-modules of the system. So the framework is designed to be modular, flexible and extensible. Based on the analysis of common features of different effects, the implementation of video transition effect is divided into 4 sub-odules, each of which can be designed and developed independently. Furthermore, these sub-modules can be easily sub- stituted, modified and reused. We present a formal description of our framework, and give typical study cases to show the extensive utility of the framework.展开更多
In Malaysia, the Islamic commercial institutions were established under respective legislations which contain express term on their status as a body corporate. Examples of these institutions are Islamic banks, zakah i...In Malaysia, the Islamic commercial institutions were established under respective legislations which contain express term on their status as a body corporate. Examples of these institutions are Islamic banks, zakah institutions, Pilgrimage Board and Islamic insurance (takaful) companies. In 1998, Johor Corporation (JCorp) initiated a corporate waqf entity known as Waqaf An-Nur Corporation Berhad (WANCorp). In 2011, Majlis Agama Islam Wilayah Persekutuan (MAIWP) collaborated with Tabung Haji to develop a Class AWaqf building leased to Bank Islam Malaysia Berhad (BIMB). The developments in waqf involving corporate entities are worth to be analyzed in order to create a new framework of waqf practice. This paper deliberated the attributes of corporations under the Malaysian law and compares them with the principles of Islamic law (Shari'ah). For the purpose of discussion, this paper refers to WANCorp and Awqaf Holdings as examples ofwaqf corporations in Malaysia.展开更多
This paper deals with the integrability of a finite-dimensional Hamiltonian system linked with the generalized coupled KdV hierarchy. For this purpose the associated Lax representation is presented after an elementary...This paper deals with the integrability of a finite-dimensional Hamiltonian system linked with the generalized coupled KdV hierarchy. For this purpose the associated Lax representation is presented after an elementary calculation. It is shown that the Lax representation enjoys a dynamical r-matrix formula instead of a classical one in the Poisson bracket on R2N. Consequently the resulting system is proved to be completely integrable in view of its r-matrix structure.展开更多
Aimed at deficiencies in the development and implementation of Enterprise Service Architecture (ESA) software, an ESA software developing mode based on Model Driven Architecture (MDA) is put forward. This mode inc...Aimed at deficiencies in the development and implementation of Enterprise Service Architecture (ESA) software, an ESA software developing mode based on Model Driven Architecture (MDA) is put forward. This mode includes a calculation-independent model ( CIM ), a platform-independent model ( PIM ), a platform-specific model (PSM) and a code level. Based on this mode, the modeling architecture of CIM level is presented. CIM here includes a global model, a process model, an information model and an organization model. The modeling elements of global model, process recta-model, information recta-model and organization meta-model are defined in detail and the relationship between them is described. The reflecting relationship between these models is established as well.展开更多
Stress distribution of holed geotextile cross-section under uniaxial and double-axial tension is analyzed with the boundary element method (BEM). The calculation results indicate that stress distribution of holed geot...Stress distribution of holed geotextile cross-section under uniaxial and double-axial tension is analyzed with the boundary element method (BEM). The calculation results indicate that stress distribution of holed geotextile cross-section is greatly related to the dimension of the specimen, the size of the hole, the shape of the hole and the tensile condition, and the stress concentration area of holed geotextile from the side of the hole to 3-4 times of the hole diameter should be strengthened in order to improve quality of the projects. These results could provide guidance for engineering application of geotextiles.展开更多
The behaviors of infill wall in earthquakes show that infill masonry walls,which are used as nonstructural elements of concrete frames,are vulnerable when they are subjected to earthquake.In order to achieve an optima...The behaviors of infill wall in earthquakes show that infill masonry walls,which are used as nonstructural elements of concrete frames,are vulnerable when they are subjected to earthquake.In order to achieve an optimal antiseismic behavior,or even stability,two methods of connection are investigated.The shaking table tests,with 1:3 scale walls of two-storey model subjected to horizontal earthquake loads,were carried out to investigate the out-of-plane behaviors with different connections between walls and beams.The test results show that the connection methods employed between walls and beams have a significant effect on the out-of-plane stability of infill walls.The walls bound by bars with the beams perform better than those with inclined bricks without gaps.展开更多
Network virtualization is an enabling technology of running multiple virtual networks on a shared substrate network. It aims to deal with the ossification of current network architecture. As a crucial component of net...Network virtualization is an enabling technology of running multiple virtual networks on a shared substrate network. It aims to deal with the ossification of current network architecture. As a crucial component of network virtualization, virtual network embedding(VNE) can efficiently and effectively allocates the substrate resource to proposed virtual network requests. According to the optimization strategy, VNE approaches can be classified into three categories: exact, heuristic and meta-heuristic solution. The VNE exact solution is the foundation of its corresponding heuristic and meta-heuristic solutions. This paper presents a survey of existing typical VNE exact solutions, and open problems for the future research of VNE exact solutions are proposed.展开更多
In this paper, a fast half-pixel motion estimation algorithm and its corresponding hardware architecture is presented. Unlike three steps are needed in typical half-pixel motion estimation algorithm, the presented alg...In this paper, a fast half-pixel motion estimation algorithm and its corresponding hardware architecture is presented. Unlike three steps are needed in typical half-pixel motion estimation algorithm, the presented algorithm needs only two steps to obtain all the interpolated pixels of an entire 8x8 block. The proposed architecture works in a parallel way and is simulated by Modelsirn 6.5 SE, synthesized to the Xilinx Virtex4 XC4VLX15 FPGA device. The implementation results show that this architecture can achieve 190 MHz and 10 clock cycles are reduced to complete the entire interpolation process when compared with typical half-pixel interpolation, which meets the requirements of real-time application for very high defination videos.展开更多
Partial Reconfigurable FPGAs (Field Programmable Gate Array) allow tasks to be placed and removed dynamically at runtime. One of the challenging problems is the placement of modules on reconfigurable resources. Seve...Partial Reconfigurable FPGAs (Field Programmable Gate Array) allow tasks to be placed and removed dynamically at runtime. One of the challenging problems is the placement of modules on reconfigurable resources. Several modules placement techniques have been introduced in the literature to solve the temporal placement problem. This paper presents a temporal placement approach that manages the resources of a reconfigurable device. In fact, the authors' contribution focuses on introducing a new temporal placement algorithm that aims to minimize the communication cost between modules. Results show an important improvement in communication cost compared with other approaches.展开更多
Today,backbone networks deploy a large number of devices and links.This is mainly due to both redundancy purposes for network service reliability,and resource over-dimensioning for maintaining quality of service durin...Today,backbone networks deploy a large number of devices and links.This is mainly due to both redundancy purposes for network service reliability,and resource over-dimensioning for maintaining quality of service during rush hours.Unfortunately,current routers do not have power management primitives,and have constant energy consumption independent of their actual workloads.How to implement a low power and multi-stage switch forwarding for IP lookup is a challenge in high-performance green routers design.A forwarding information base multi-stage mapping routing lookup architecture is presented,and the dynamic routing table mapping algorithm is designed to determine the optimal strides for building tree bitmap tries which lead the worst-case power consumption of the IP lookup engine to be minimized.Experimental results show that the application of reallife routing tables demonstrates that the proposed method could reduce power consumption of routing lookup by 30%.展开更多
文摘The design procedure of a dense gap-graded friction course(DGGFC) with coarse aggregate void filling method is presented. Testing results show that a DGGFC mixture possesses a dense stone-matrix structure, good stability and almost the same texture depth as stone matrix asphalt (SMA). It also has a coarse and even surface after paving and has no separation during construction. It is durable and impermeable. It balances and improves the inherent inconsistency of asphalt mixture between the large texture depth for skid resistance and the impermeability for durability. The actual application in the Nanning-Liuzhou Expressway also shows that the performance of the DGGFC is as excellent as that of SMA, while the DGGFC mixture is cheaper than SMA. The DGGFC mixture is good for wearing course of pavement. Further research on DGGFC can be helpful for improving the surface skid resistance, prolonging the life-span period and reducing the construction costs of asphalt pavement.
基金Project (Nos. 10432030 and 10472102) supported by the NationalNatural Science Foundation of China
文摘In this paper, the specific solutions of orthotropic plane problems with body forces are derived. Then, based on the general solution in the case of distinct eigenvalues and the specific solution for density functionally graded orthotropic media, a series of beam problem, including the problems of cantilever beam with body forces depending only on z or on x coordinate and expressed by z or x polynomial is solved by the principle of superposition and the trial-and-error method.
基金Project (No. 2000K08-G12) supported by Shaanxi Provincial Science and Technology Development Plan, China
文摘Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. There are, however, many features of the distributed software that make the developing methods of distributed software quite different from the traditional ways. Furthermore, the traditional centralized ways with fixed interfaces cannot adapt to the flexible requirements of distributed software. In this paper, the attributed grammar (AG) is extended to refine the characters of distributed software, and a distributed software architecture description language (DSADL) based on attributed grammar is introduced, and then a model of integrated environment for software architecture design is proposed. It can be demonstrated by the practice that DSADL can help the programmers to analyze and design distributed software effectively, so the efficiency of the development can be improved greatly.
文摘Pt based materials are the most efficient electrocatalysts for the oxygen reduction reaction(ORR)and methanol oxidation reaction(MOR)in fuel cells.Maximizing the utilization of Pt based materials by modulating their morphologies to expose more active sites is a fundamental objective for the practical application of fuel cells.Herein,we report a new class of hierarchically skeletal Pt-Ni nanocrystals(HSNs)with a multi-layered structure,prepared by an inorganic acid-induced solvothermal method.The addition of H_(2)SO_(4)to the synthetic protocol provides a critical trigger for the successful growth of Pt-Ni nanocrystals with the desired structure.The Pt-Ni HSNs synthesized by this method exhibit enhanced mass activity of 1.25 A mgpt−1 at 0.9 V(versus the reversible hydrogen electrode)towards ORR in 0.1-M HClO_(4),which is superior to that of Pt-Ni multi-branched nanocrystals obtained by the same method in the absence of inorganic acid;it is additionally 8.9-fold higher than that of the commercial Pt/C catalyst.Meanwhile,it displays enhanced stability,with only 21.6%mass activity loss after 10,000 cycles(0.6–1.0 V)for ORR.Furthermore,the Pt-Ni HSNs show enhanced activity and anti-toxic ability in CO for MOR.The superb activity of the Pt-Ni HSNs for ORR and MOR is fully attributed to an extensively exposed electrochemical surface area and high intrinsic activity,induced by strain effects,provided by the unique hierarchically skeletal alloy structure.The novel open and hierarchical structure of Pt-Ni alloy provides a promising approach for significant improvements of the activity of Pt based alloy electrocatalysts.
文摘The paper presents a framework for developing a variety of video transition effects. The framework is designed to deal with the problem of inefficiency for programmers to generate more and more diversified video transition, which is caused by excessive coupling between the sub-modules of the system. So the framework is designed to be modular, flexible and extensible. Based on the analysis of common features of different effects, the implementation of video transition effect is divided into 4 sub-odules, each of which can be designed and developed independently. Furthermore, these sub-modules can be easily sub- stituted, modified and reused. We present a formal description of our framework, and give typical study cases to show the extensive utility of the framework.
文摘In Malaysia, the Islamic commercial institutions were established under respective legislations which contain express term on their status as a body corporate. Examples of these institutions are Islamic banks, zakah institutions, Pilgrimage Board and Islamic insurance (takaful) companies. In 1998, Johor Corporation (JCorp) initiated a corporate waqf entity known as Waqaf An-Nur Corporation Berhad (WANCorp). In 2011, Majlis Agama Islam Wilayah Persekutuan (MAIWP) collaborated with Tabung Haji to develop a Class AWaqf building leased to Bank Islam Malaysia Berhad (BIMB). The developments in waqf involving corporate entities are worth to be analyzed in order to create a new framework of waqf practice. This paper deliberated the attributes of corporations under the Malaysian law and compares them with the principles of Islamic law (Shari'ah). For the purpose of discussion, this paper refers to WANCorp and Awqaf Holdings as examples ofwaqf corporations in Malaysia.
文摘This paper deals with the integrability of a finite-dimensional Hamiltonian system linked with the generalized coupled KdV hierarchy. For this purpose the associated Lax representation is presented after an elementary calculation. It is shown that the Lax representation enjoys a dynamical r-matrix formula instead of a classical one in the Poisson bracket on R2N. Consequently the resulting system is proved to be completely integrable in view of its r-matrix structure.
基金Sponsored by the National High Technology Research & Development Program of China(Grant No.2006AA04Z165,2006AA01Z167)the National Key Technology Research & Development Program of China(Grant No.2006BAH02A09)
文摘Aimed at deficiencies in the development and implementation of Enterprise Service Architecture (ESA) software, an ESA software developing mode based on Model Driven Architecture (MDA) is put forward. This mode includes a calculation-independent model ( CIM ), a platform-independent model ( PIM ), a platform-specific model (PSM) and a code level. Based on this mode, the modeling architecture of CIM level is presented. CIM here includes a global model, a process model, an information model and an organization model. The modeling elements of global model, process recta-model, information recta-model and organization meta-model are defined in detail and the relationship between them is described. The reflecting relationship between these models is established as well.
文摘Stress distribution of holed geotextile cross-section under uniaxial and double-axial tension is analyzed with the boundary element method (BEM). The calculation results indicate that stress distribution of holed geotextile cross-section is greatly related to the dimension of the specimen, the size of the hole, the shape of the hole and the tensile condition, and the stress concentration area of holed geotextile from the side of the hole to 3-4 times of the hole diameter should be strengthened in order to improve quality of the projects. These results could provide guidance for engineering application of geotextiles.
基金Supported by National Key Technologies R&D Program of China during the 11th Five-Year Plan Period(No.2008BAJ08B11-03)Research and Development Project of Ministry of Housing and Urban-Rural Development (No.06-k6-17)
文摘The behaviors of infill wall in earthquakes show that infill masonry walls,which are used as nonstructural elements of concrete frames,are vulnerable when they are subjected to earthquake.In order to achieve an optimal antiseismic behavior,or even stability,two methods of connection are investigated.The shaking table tests,with 1:3 scale walls of two-storey model subjected to horizontal earthquake loads,were carried out to investigate the out-of-plane behaviors with different connections between walls and beams.The test results show that the connection methods employed between walls and beams have a significant effect on the out-of-plane stability of infill walls.The walls bound by bars with the beams perform better than those with inclined bricks without gaps.
基金supported by the National Basic Research Program of China(973 Program)under Grant 2013CB329104the National Natural Science Foundation of China under Grants 61372124 and 61427801the Key Projects of Natural Science Foundation of Jiangsu University under Grant 11KJA510001
文摘Network virtualization is an enabling technology of running multiple virtual networks on a shared substrate network. It aims to deal with the ossification of current network architecture. As a crucial component of network virtualization, virtual network embedding(VNE) can efficiently and effectively allocates the substrate resource to proposed virtual network requests. According to the optimization strategy, VNE approaches can be classified into three categories: exact, heuristic and meta-heuristic solution. The VNE exact solution is the foundation of its corresponding heuristic and meta-heuristic solutions. This paper presents a survey of existing typical VNE exact solutions, and open problems for the future research of VNE exact solutions are proposed.
文摘In this paper, a fast half-pixel motion estimation algorithm and its corresponding hardware architecture is presented. Unlike three steps are needed in typical half-pixel motion estimation algorithm, the presented algorithm needs only two steps to obtain all the interpolated pixels of an entire 8x8 block. The proposed architecture works in a parallel way and is simulated by Modelsirn 6.5 SE, synthesized to the Xilinx Virtex4 XC4VLX15 FPGA device. The implementation results show that this architecture can achieve 190 MHz and 10 clock cycles are reduced to complete the entire interpolation process when compared with typical half-pixel interpolation, which meets the requirements of real-time application for very high defination videos.
文摘Partial Reconfigurable FPGAs (Field Programmable Gate Array) allow tasks to be placed and removed dynamically at runtime. One of the challenging problems is the placement of modules on reconfigurable resources. Several modules placement techniques have been introduced in the literature to solve the temporal placement problem. This paper presents a temporal placement approach that manages the resources of a reconfigurable device. In fact, the authors' contribution focuses on introducing a new temporal placement algorithm that aims to minimize the communication cost between modules. Results show an important improvement in communication cost compared with other approaches.
基金Supported by the National High Technology Research and Development Programme of China(No.2008AA01A323,2009AA01A334)the National Basic Research Program of China(No.2007CB307102)
文摘Today,backbone networks deploy a large number of devices and links.This is mainly due to both redundancy purposes for network service reliability,and resource over-dimensioning for maintaining quality of service during rush hours.Unfortunately,current routers do not have power management primitives,and have constant energy consumption independent of their actual workloads.How to implement a low power and multi-stage switch forwarding for IP lookup is a challenge in high-performance green routers design.A forwarding information base multi-stage mapping routing lookup architecture is presented,and the dynamic routing table mapping algorithm is designed to determine the optimal strides for building tree bitmap tries which lead the worst-case power consumption of the IP lookup engine to be minimized.Experimental results show that the application of reallife routing tables demonstrates that the proposed method could reduce power consumption of routing lookup by 30%.