According to the data from the national standard classification and investigation of tourism resources(GB/T 18972-2003) in Hami region,the abundance,quality and dimensional distribution of the tourism resources in Ham...According to the data from the national standard classification and investigation of tourism resources(GB/T 18972-2003) in Hami region,the abundance,quality and dimensional distribution of the tourism resources in Hami region were evaluated based on GIS mapping technology.The evaluation results on the tourism resources in Hami region are described as follows:there are rich tourism resources categories;the quality of tourism resources is ordinary;the resources distribute equably;the number of the historical resources is much more than the natural resources,but the 1atter still has great potential for developing.All the results of the evaluation can provide important references for strategic decision making of Hami region.展开更多
With the rapid advancement of digital and information technology,global positioning system(GPS)technology has seen increasing utilization in surveying and mapping engineering,extending its application across land,ocea...With the rapid advancement of digital and information technology,global positioning system(GPS)technology has seen increasing utilization in surveying and mapping engineering,extending its application across land,ocean,and various other domains.By analyzing the technical means of GPS in surveying and mapping engineering,understanding the characteristics and key technologies in different application environments,and exploring the application process and key technical means,accurate control can be effectively realized.Based on this,this paper mainly analyzes the specific application of GPS technology in surveying and mapping engineering technology for reference.展开更多
Register transfer level mapping (RTLM) algorithm for technology mapping at RT level is presented,which supports current design methodologies using high level design and design reuse.The mapping rules implement a sou...Register transfer level mapping (RTLM) algorithm for technology mapping at RT level is presented,which supports current design methodologies using high level design and design reuse.The mapping rules implement a source ALU using target ALU.The source ALUs and the target ALUs are all represented by the general ALUs and the mapping rules are applied in the algorithm.The mapping rules are described in a table fashion.The graph clustering algorithm is a branch and bound algorithm based on the graph formulation of the mapping algorithm.The mapping algorithm suits well mapping of regularly structured data path.Comparisons are made between the experimental results generated by 1 greedy algorithm and graphclustering algorithm,showing the feasibility of presented algorithm.展开更多
To implement the previously formulated principles of sustainable economic development, all solutions of the linear system of equations and inequalities, which are satisfied by the vector of real consumption, are compl...To implement the previously formulated principles of sustainable economic development, all solutions of the linear system of equations and inequalities, which are satisfied by the vector of real consumption, are completely described. It is established that the vector of real consumption with the minimum level of excess supply is determined by the solution of some quadratic programming problem. The necessary and sufficient conditions are established under which the economic system, described by the “input-output” production model, functions in the mode of sustainable development. A complete description of the equilibrium states for which markets are partially cleared in the economy model of production “input-output” is given, on the basis that all solutions of system of linear equations and inequalities are completely described. The existence of a family of taxation vectors in the “input-output” model of production, under which the economic system is able to function in the mode of sustainable development, is proved. Restrictions were found for the vector of taxation in the economic system, under which the economic system is able to function in the mode of sustainable development.展开更多
Photodissociation dynamics of dichlorodifluoromethane (CF2Cl2) around 235 nm has been studied using the time-sliced velocity map imaging technology in combination with the resonance enhanced multi-photon ionization te...Photodissociation dynamics of dichlorodifluoromethane (CF2Cl2) around 235 nm has been studied using the time-sliced velocity map imaging technology in combination with the resonance enhanced multi-photon ionization technology. By measuring the raw images of chlorine atoms which are formed via one-photon dissociation of CF2Cl2, the speed and angular distributions can be directly obtained. The speed distribution of excited-state chlorine atoms consists of high translation energy (ET) and low ET components, which are related to direct dissociation on 3Q0 state and predissociation on the ground state induced by internal conversion, respectively. The speed distribution of ground-state chlorine atoms also consists of high ET and low ET components which are related to predissociation between 3Q0 and 1Q1 states and predissociation on the ground state induced by internal conversion, respectively. Radical dissociation channel is confirmed, nevertheless, secondary dissociation and three-body dissociation channels are excluded.展开更多
The principles of sustainable economic development are formulated on the basis of the developed concept of description of economic systems. Mathematical algorithms for finding equilibrium states were built and the con...The principles of sustainable economic development are formulated on the basis of the developed concept of description of economic systems. Mathematical algorithms for finding equilibrium states were built and the conditions for complete clearing of the markets were found. The definition of the phenomenon of recession is given and theorems are established that formulate the conditions for the existence of a recession in the economic system. The recession depth parameter is introduced. For the input-output production model, the necessary and sufficient conditions under which the economic system functions in a profitable mode have been established. The conditions for supply vectors of firms for special technological mappings and consumers demand under which complete clearing of markets takes place are found.展开更多
The structure of technological mappings is studied and it is shown that for an important class of technological mappings there exists a continuous strategy of the behavior of firms as arbitrarily close in terms of pro...The structure of technological mappings is studied and it is shown that for an important class of technological mappings there exists a continuous strategy of the behavior of firms as arbitrarily close in terms of profit. The latter is important for building the theory of economic equilibrium, which is an important tool for building the theory of sustainable economic development. Theorems of the existence of economic equilibrium under conditions of uncertainty and under general assumptions about the structure of supply and demand have been proved.展开更多
DAG-MAP is an FPGA technology mapping algorithm for delay optimization and the labeling phase is the algorithm’s kernel. This paper studied the labeling phase and presented an improved labeling method. It is shown th...DAG-MAP is an FPGA technology mapping algorithm for delay optimization and the labeling phase is the algorithm’s kernel. This paper studied the labeling phase and presented an improved labeling method. It is shown through the experimental results on MCNC benchmarks that the improved method is more effective than the original method while the computation time is almost the same.展开更多
The paper presents the results of a comprehensive monitoring of the polygon: "Odessa Region, north-western part of the Black Sea" for the period 2009-2011. It is shown that most of the copper and nickel is brought ...The paper presents the results of a comprehensive monitoring of the polygon: "Odessa Region, north-western part of the Black Sea" for the period 2009-2011. It is shown that most of the copper and nickel is brought into the sea from the catchment area, and zinc and cadmium are mainly of the autochthonous origin. It is found that in 2010, after heavy rains, the area of bottom sediments contaminated by copper and nickel was increased. The main source of copper in the sea is vast vineyards.展开更多
Packaging is one of the most important methods of keeping the quality of food products for storage, transportation and end-use. The price of materials employed for packaging food has traditionally been high and used t...Packaging is one of the most important methods of keeping the quality of food products for storage, transportation and end-use. The price of materials employed for packaging food has traditionally been high and used to be more expensive than the food itself. Technological innovations made possible to produce packaging materials cheaply. One of these processes is known as co-extrusion. This technique makes a film with two or more layers with different plastics not laminating the layers together with an adhesive, eliminating the use of solvents and producing a film in just one step instead multiple steps. In this background, our paper relates to the evolution on packaging for foods by using patenting documents. A search for patent documents was performed on free patent databases using keywords and International Patent Classification (IPC) codes related to this technology. As results: (a) 17% of the 21,472 documents found are focused on multilayer packaging for food; (b) 12 countries hold more than 90% of patents (38% Japan; 23% The United States of America; 7% Canada and 6% Germany); and, (c) two peaks were perceived in the period of 1992-1994 and 2003, and matches, respectively, the Persian Gulf (1990-1991) and Iraq Wars (2003-invasion of Iraq), so the historical tendency is confirmed: "wars also generate scientific and technological innovations".展开更多
This paper describes a VHDL high-level synthesis system HLS/BIT with emphasis on its register-transfer level (RTL) binding and technology mapping subsystem. In more detail, the component instantiation mechanism and th...This paper describes a VHDL high-level synthesis system HLS/BIT with emphasis on its register-transfer level (RTL) binding and technology mapping subsystem. In more detail, the component instantiation mechanism and the knowledge-driven approach to RTL technology mapping are also presented.展开更多
The hot deformation characteristics of GH738 superalloy over the temperature range of 1000 °C to 1 200 °C and strain range of 0.01 s^-1 to 10.0 s^-1 under a strain of 1.0 s^-1 were investigated through hot c...The hot deformation characteristics of GH738 superalloy over the temperature range of 1000 °C to 1 200 °C and strain range of 0.01 s^-1 to 10.0 s^-1 under a strain of 1.0 s^-1 were investigated through hot compression tests with a Gleeble-1500 simulation machine. The flow stress reached peak value before flow softening occurred. The average apparent activation energy(Q) of GH738 was calculated to be 430 k J/mol, and the stress index(n) is approximately 4.08. The processing map was developed based on flow stress data and dynamic materials model(DMM). The map shows a dynamic recrystallization(DRX) domain in 1 050 °C to 1150 °C and 0.01 s^-1 to 1.0 s^-1 strain rate range with a peak efficiency of 45%, which is considered to be the optimum region for hot working. Moreover, the materials undergo flow instability in the temperature range of 1000 °C to 1050 °C and strain range of 1.0 s^-1 to 10.0 s^-1, and adiabatic shear bands can be observed in this domain.展开更多
With the popularity and commercialization of cloud computing platforms, the security of virtualization technology must be guaranteed. The paper studies the protection of memory privacy under virtual platform to enhanc...With the popularity and commercialization of cloud computing platforms, the security of virtualization technology must be guaranteed. The paper studies the protection of memory privacy under virtual platform to enhance system security. Based on the monitoring of foreign mapping for Dom0, a memory privacy protection scheme is designed and implemented to prevent process memory pages in DomU being mapped illegally which might result in the leakage of secret data.展开更多
基金supported by "211" Key Discipline Construction Project of Shihezi University
文摘According to the data from the national standard classification and investigation of tourism resources(GB/T 18972-2003) in Hami region,the abundance,quality and dimensional distribution of the tourism resources in Hami region were evaluated based on GIS mapping technology.The evaluation results on the tourism resources in Hami region are described as follows:there are rich tourism resources categories;the quality of tourism resources is ordinary;the resources distribute equably;the number of the historical resources is much more than the natural resources,but the 1atter still has great potential for developing.All the results of the evaluation can provide important references for strategic decision making of Hami region.
文摘With the rapid advancement of digital and information technology,global positioning system(GPS)technology has seen increasing utilization in surveying and mapping engineering,extending its application across land,ocean,and various other domains.By analyzing the technical means of GPS in surveying and mapping engineering,understanding the characteristics and key technologies in different application environments,and exploring the application process and key technical means,accurate control can be effectively realized.Based on this,this paper mainly analyzes the specific application of GPS technology in surveying and mapping engineering technology for reference.
文摘Register transfer level mapping (RTLM) algorithm for technology mapping at RT level is presented,which supports current design methodologies using high level design and design reuse.The mapping rules implement a source ALU using target ALU.The source ALUs and the target ALUs are all represented by the general ALUs and the mapping rules are applied in the algorithm.The mapping rules are described in a table fashion.The graph clustering algorithm is a branch and bound algorithm based on the graph formulation of the mapping algorithm.The mapping algorithm suits well mapping of regularly structured data path.Comparisons are made between the experimental results generated by 1 greedy algorithm and graphclustering algorithm,showing the feasibility of presented algorithm.
文摘To implement the previously formulated principles of sustainable economic development, all solutions of the linear system of equations and inequalities, which are satisfied by the vector of real consumption, are completely described. It is established that the vector of real consumption with the minimum level of excess supply is determined by the solution of some quadratic programming problem. The necessary and sufficient conditions are established under which the economic system, described by the “input-output” production model, functions in the mode of sustainable development. A complete description of the equilibrium states for which markets are partially cleared in the economy model of production “input-output” is given, on the basis that all solutions of system of linear equations and inequalities are completely described. The existence of a family of taxation vectors in the “input-output” model of production, under which the economic system is able to function in the mode of sustainable development, is proved. Restrictions were found for the vector of taxation in the economic system, under which the economic system is able to function in the mode of sustainable development.
基金supported by the Natural Science Foundation of the Jiangsu Higher Education Institutions of China (No.17KJB150005 and No.17KJD510001)the Natural Science Foundation of Changzhou Institute of Technology (No.YN1507 and No.YN1611)+1 种基金Undergraduate Training Program for Innovation of Changzhou Institute of Technology (No.2017276Y)the National Natural Science Foundation of China (No.21273212)
文摘Photodissociation dynamics of dichlorodifluoromethane (CF2Cl2) around 235 nm has been studied using the time-sliced velocity map imaging technology in combination with the resonance enhanced multi-photon ionization technology. By measuring the raw images of chlorine atoms which are formed via one-photon dissociation of CF2Cl2, the speed and angular distributions can be directly obtained. The speed distribution of excited-state chlorine atoms consists of high translation energy (ET) and low ET components, which are related to direct dissociation on 3Q0 state and predissociation on the ground state induced by internal conversion, respectively. The speed distribution of ground-state chlorine atoms also consists of high ET and low ET components which are related to predissociation between 3Q0 and 1Q1 states and predissociation on the ground state induced by internal conversion, respectively. Radical dissociation channel is confirmed, nevertheless, secondary dissociation and three-body dissociation channels are excluded.
文摘The principles of sustainable economic development are formulated on the basis of the developed concept of description of economic systems. Mathematical algorithms for finding equilibrium states were built and the conditions for complete clearing of the markets were found. The definition of the phenomenon of recession is given and theorems are established that formulate the conditions for the existence of a recession in the economic system. The recession depth parameter is introduced. For the input-output production model, the necessary and sufficient conditions under which the economic system functions in a profitable mode have been established. The conditions for supply vectors of firms for special technological mappings and consumers demand under which complete clearing of markets takes place are found.
文摘The structure of technological mappings is studied and it is shown that for an important class of technological mappings there exists a continuous strategy of the behavior of firms as arbitrarily close in terms of profit. The latter is important for building the theory of economic equilibrium, which is an important tool for building the theory of sustainable economic development. Theorems of the existence of economic equilibrium under conditions of uncertainty and under general assumptions about the structure of supply and demand have been proved.
文摘DAG-MAP is an FPGA technology mapping algorithm for delay optimization and the labeling phase is the algorithm’s kernel. This paper studied the labeling phase and presented an improved labeling method. It is shown through the experimental results on MCNC benchmarks that the improved method is more effective than the original method while the computation time is almost the same.
文摘The paper presents the results of a comprehensive monitoring of the polygon: "Odessa Region, north-western part of the Black Sea" for the period 2009-2011. It is shown that most of the copper and nickel is brought into the sea from the catchment area, and zinc and cadmium are mainly of the autochthonous origin. It is found that in 2010, after heavy rains, the area of bottom sediments contaminated by copper and nickel was increased. The main source of copper in the sea is vast vineyards.
文摘Packaging is one of the most important methods of keeping the quality of food products for storage, transportation and end-use. The price of materials employed for packaging food has traditionally been high and used to be more expensive than the food itself. Technological innovations made possible to produce packaging materials cheaply. One of these processes is known as co-extrusion. This technique makes a film with two or more layers with different plastics not laminating the layers together with an adhesive, eliminating the use of solvents and producing a film in just one step instead multiple steps. In this background, our paper relates to the evolution on packaging for foods by using patenting documents. A search for patent documents was performed on free patent databases using keywords and International Patent Classification (IPC) codes related to this technology. As results: (a) 17% of the 21,472 documents found are focused on multilayer packaging for food; (b) 12 countries hold more than 90% of patents (38% Japan; 23% The United States of America; 7% Canada and 6% Germany); and, (c) two peaks were perceived in the period of 1992-1994 and 2003, and matches, respectively, the Persian Gulf (1990-1991) and Iraq Wars (2003-invasion of Iraq), so the historical tendency is confirmed: "wars also generate scientific and technological innovations".
文摘This paper describes a VHDL high-level synthesis system HLS/BIT with emphasis on its register-transfer level (RTL) binding and technology mapping subsystem. In more detail, the component instantiation mechanism and the knowledge-driven approach to RTL technology mapping are also presented.
基金Item Sponsored by National High Technology Research and Development Program(863 Program)of China(2012AA03A502)
文摘The hot deformation characteristics of GH738 superalloy over the temperature range of 1000 °C to 1 200 °C and strain range of 0.01 s^-1 to 10.0 s^-1 under a strain of 1.0 s^-1 were investigated through hot compression tests with a Gleeble-1500 simulation machine. The flow stress reached peak value before flow softening occurred. The average apparent activation energy(Q) of GH738 was calculated to be 430 k J/mol, and the stress index(n) is approximately 4.08. The processing map was developed based on flow stress data and dynamic materials model(DMM). The map shows a dynamic recrystallization(DRX) domain in 1 050 °C to 1150 °C and 0.01 s^-1 to 1.0 s^-1 strain rate range with a peak efficiency of 45%, which is considered to be the optimum region for hot working. Moreover, the materials undergo flow instability in the temperature range of 1000 °C to 1050 °C and strain range of 1.0 s^-1 to 10.0 s^-1, and adiabatic shear bands can be observed in this domain.
基金Supported by the National Natural Science Foundation of China(61373169)the National High Technology Research and Development Program of China(863 Program)(2015AA016004)the Foundation of Science and Technology on Information Assure Laboratory(KJ-14-110,KJ-14-101)
文摘With the popularity and commercialization of cloud computing platforms, the security of virtualization technology must be guaranteed. The paper studies the protection of memory privacy under virtual platform to enhance system security. Based on the monitoring of foreign mapping for Dom0, a memory privacy protection scheme is designed and implemented to prevent process memory pages in DomU being mapped illegally which might result in the leakage of secret data.