This study used Corona KH-4A and Advanced Land Observing Satellite (ALOS) PRISM images to generate digital terrain models (DTMs) of the distal part of Imja Glacier,where a few supraglacial ponds (～0.07 km 2) expanded...This study used Corona KH-4A and Advanced Land Observing Satellite (ALOS) PRISM images to generate digital terrain models (DTMs) of the distal part of Imja Glacier,where a few supraglacial ponds (～0.07 km 2) expanded into the large Imja Glacier Lake (Imja Tsho,～0.91 km 2) between 1964 and 2006.DTMs and subsequently derived topographical maps with contour intervals of 1 m were created from the high-resolution images (Corona in 1964 and ALOS in 2006) in the Leica Photogrammetric Suite (LPS) platform.The DTMs and topographic maps provided excellent representation of the elevation and micro-topography of the glacier surface,such as its supra-glacial ponds/lake,surface depressions,and moraine ridges,with an error of about +/-4 m (maximum).The DTMs produced from the Corona and ALOS PRISM images are suitable for use in studies of the surface change of glaciers.The topographical maps produced from the Corona data (1964) showed that part of the dead ice in the down-glacier area was even higher than the top of the lateral moraine ridges,while the glacier surface in the up-glacier area was noticeably lower than the moraine crests.This suggests more extensive melting of glacier ice in the up-glacier area before 1964.The average lowering of the glacier surface from 1964 to 2006 was 16.9 m for the dead-ice area west of the lake and 47.4 m for the glacier surface east of the lake;between 1964 and 2002,the lake surface lowered by 82.3 m.These figures represent average lowering rates of 0.4,1.1,and 2.2 m/year for the respective areas.展开更多
Information technologies play an important role in many business areas. One of these areas is hotel information system. Many operations, such as check-in, check-out, and food and beverage, are performed owing to infor...Information technologies play an important role in many business areas. One of these areas is hotel information system. Many operations, such as check-in, check-out, and food and beverage, are performed owing to information technologies. Package programs are used for managing hotel operations. Software provides reporting, filtering, remote accessing, and cost control services which are important key parameters of decision-making processes of hotel managers. Cost control is one of the most important operations in hotel management. Cost control service of package programs assists managers in monitoring overall cost and computing each department＇s partial cost and serves information to the different departments of hotels using information technologies. Cost control is important in the departments which are profitable in a hotel. Food and beverage is one of these profitable departments, which is the second profitable department in hotels. It makes profit between mostly 20% and 40%. This research aims to understand effects of information technologies during decision-making processes. The sample of study is food and beverage managers in five-star hotels in Istanbul. Questionnaire was applied to 45 participants.展开更多
The strict avalanche criterion(SAC)is one of the most important cryptographic criteria for substitution boxes(S-boxes)used in many symmetric encryption systems.However,there are few constructive methods for S-boxes fu...The strict avalanche criterion(SAC)is one of the most important cryptographic criteria for substitution boxes(S-boxes)used in many symmetric encryption systems.However,there are few constructive methods for S-boxes fulfilling the SAC until now.In this paper,to construct S-boxes satisfying the SAC directly,we generalize the concatenation techniques of Boolean functions to S-boxes.Using the idea of concatenating small variable S-boxes,we present a simple yet effective construction method of S-boxes satisfying the SAC.Finally,a simple example on how to construct SAC S-boxes with large input variables by small variables SAC S-boxes is given.展开更多
Since Gibbs synthesized a general equilibrium statistical ensemble theory, many theorists have attempted to generalized the Gibbsian theory to non-equilibrium phenomena domain, however the status of the theory of non-...Since Gibbs synthesized a general equilibrium statistical ensemble theory, many theorists have attempted to generalized the Gibbsian theory to non-equilibrium phenomena domain, however the status of the theory of non-equilibrium phenomena can not be said as firm as well established as the Gibbsian ensemble theory. In this work, we present a framework for the non-equilibrium statistical ensemble formalism based on a subdynamic kinetic equation (SKE) rooted from the Brussels-Austin school and followed by some up-to-date works. The constructed key is to use a similarity transformation between Gibbsian ensembles formalism based on Liouville equation and the subdynamic ensemble formalism based on the SKE. Using this formalism, we study the spin-Boson system, as cases of weak coupling or strongly coupling, and obtain the reduced density operators for the Canonical ensembles easily.展开更多
Standard treatments of thermodynamic equilibrium are incomplete. They do not take account of all factors determining equilibrium, cannot explain why many systems do not reach equilibrium and do not discuss the questio...Standard treatments of thermodynamic equilibrium are incomplete. They do not take account of all factors determining equilibrium, cannot explain why many systems do not reach equilibrium and do not discuss the questions of reaching and maintaining equilibrium. The arguments presented here provide a single physical definition of thermodynamic equilibrium that accounts for all factors determining thermodynamic equilibrium for mixtures of combustible gases and air. Based on the standard delrmition of thermodynamic equilibrium, the MBD （Maxwell Boltzmann distribution） and a simple molecular model lead to three possible types of equilibrium. The regions of temperature pressure and composition for each type of equilibrium are defined by the measured values of ignition temperatures and the explosive and flammability limits. How this definition of thermodynamic equilibrium can be extended to all molecular systems is discussed in the following papers.展开更多
Boolean functions used in a cryptographic system should have high algebraic immunity to resist algebraic attacks. This paper presents a matrix method for constructing balanced Boolean functions achieving maximum algeb...Boolean functions used in a cryptographic system should have high algebraic immunity to resist algebraic attacks. This paper presents a matrix method for constructing balanced Boolean functions achieving maximum algebraic immunity.展开更多
This paper considers the multiple-outlier Weibull model, and derives some sui-ficlent conal- tions for the comparison of lifetimes of series systems with respect to dispersive order. In these models, order statistic i...This paper considers the multiple-outlier Weibull model, and derives some sui-ficlent conal- tions for the comparison of lifetimes of series systems with respect to dispersive order. In these models, order statistic is closed under minima, so convex transform, star and Lorenz orders are not investigated because they are scale variant. The results established here strengthen some of the results presented by Fang and Tang （2014）.展开更多
The competition of waves has remained a hot topic in physics over the past few decades,especially the area of pattern control.Because of improved understanding of various dynamic behaviors,many practical applications ...The competition of waves has remained a hot topic in physics over the past few decades,especially the area of pattern control.Because of improved understanding of various dynamic behaviors,many practical applications have sprung up recently.The prediction of wave competitions is also very important and quite useful in these fields.This paper considers the behaviors of wave competitions in simple,inhomogeneous media which is modeled by Brusselator equations.We present a simple rule to judge the results of wave competitions utilizing the dispersion relation curves and the waves coming from different wave sources.Moreover,this rule can also be used to predict the results of wave propagation.It provides methods of obtaining the desired waves with given frequencies in inhomogeneous media.All our results are concluded and verified by computer simulations.展开更多
基金the Japan Science Society (Sasagawa Research Fund)the Global Centre of Excellence (GCOE) programme by JSPS for partial funding
文摘This study used Corona KH-4A and Advanced Land Observing Satellite (ALOS) PRISM images to generate digital terrain models (DTMs) of the distal part of Imja Glacier,where a few supraglacial ponds (～0.07 km 2) expanded into the large Imja Glacier Lake (Imja Tsho,～0.91 km 2) between 1964 and 2006.DTMs and subsequently derived topographical maps with contour intervals of 1 m were created from the high-resolution images (Corona in 1964 and ALOS in 2006) in the Leica Photogrammetric Suite (LPS) platform.The DTMs and topographic maps provided excellent representation of the elevation and micro-topography of the glacier surface,such as its supra-glacial ponds/lake,surface depressions,and moraine ridges,with an error of about +/-4 m (maximum).The DTMs produced from the Corona and ALOS PRISM images are suitable for use in studies of the surface change of glaciers.The topographical maps produced from the Corona data (1964) showed that part of the dead ice in the down-glacier area was even higher than the top of the lateral moraine ridges,while the glacier surface in the up-glacier area was noticeably lower than the moraine crests.This suggests more extensive melting of glacier ice in the up-glacier area before 1964.The average lowering of the glacier surface from 1964 to 2006 was 16.9 m for the dead-ice area west of the lake and 47.4 m for the glacier surface east of the lake;between 1964 and 2002,the lake surface lowered by 82.3 m.These figures represent average lowering rates of 0.4,1.1,and 2.2 m/year for the respective areas.
文摘Information technologies play an important role in many business areas. One of these areas is hotel information system. Many operations, such as check-in, check-out, and food and beverage, are performed owing to information technologies. Package programs are used for managing hotel operations. Software provides reporting, filtering, remote accessing, and cost control services which are important key parameters of decision-making processes of hotel managers. Cost control is one of the most important operations in hotel management. Cost control service of package programs assists managers in monitoring overall cost and computing each department＇s partial cost and serves information to the different departments of hotels using information technologies. Cost control is important in the departments which are profitable in a hotel. Food and beverage is one of these profitable departments, which is the second profitable department in hotels. It makes profit between mostly 20% and 40%. This research aims to understand effects of information technologies during decision-making processes. The sample of study is food and beverage managers in five-star hotels in Istanbul. Questionnaire was applied to 45 participants.
基金Supported by the National Science Foundation of China(No.60773002,61072140)the 111 Project(No.B08038),the Doctoral Program Foundation of Institutions of Higher Education of China(No.20100203110003)+1 种基金the Fundamental Research Funds for the Central Universities(No.JY10000901034)the Anhui Provincial Natural Science Foundation(No.1208085QF119)
文摘The strict avalanche criterion(SAC)is one of the most important cryptographic criteria for substitution boxes(S-boxes)used in many symmetric encryption systems.However,there are few constructive methods for S-boxes fulfilling the SAC until now.In this paper,to construct S-boxes satisfying the SAC directly,we generalize the concatenation techniques of Boolean functions to S-boxes.Using the idea of concatenating small variable S-boxes,we present a simple yet effective construction method of S-boxes satisfying the SAC.Finally,a simple example on how to construct SAC S-boxes with large input variables by small variables SAC S-boxes is given.
基金Supported by the National Natural Science Foundation of China under Grant No. 60874087the Grants from Wuhan University of Technology,in Canada by NSERC, MITACS, CIPI, MMO, and CITO
文摘Since Gibbs synthesized a general equilibrium statistical ensemble theory, many theorists have attempted to generalized the Gibbsian theory to non-equilibrium phenomena domain, however the status of the theory of non-equilibrium phenomena can not be said as firm as well established as the Gibbsian ensemble theory. In this work, we present a framework for the non-equilibrium statistical ensemble formalism based on a subdynamic kinetic equation (SKE) rooted from the Brussels-Austin school and followed by some up-to-date works. The constructed key is to use a similarity transformation between Gibbsian ensembles formalism based on Liouville equation and the subdynamic ensemble formalism based on the SKE. Using this formalism, we study the spin-Boson system, as cases of weak coupling or strongly coupling, and obtain the reduced density operators for the Canonical ensembles easily.
文摘Standard treatments of thermodynamic equilibrium are incomplete. They do not take account of all factors determining equilibrium, cannot explain why many systems do not reach equilibrium and do not discuss the questions of reaching and maintaining equilibrium. The arguments presented here provide a single physical definition of thermodynamic equilibrium that accounts for all factors determining thermodynamic equilibrium for mixtures of combustible gases and air. Based on the standard delrmition of thermodynamic equilibrium, the MBD （Maxwell Boltzmann distribution） and a simple molecular model lead to three possible types of equilibrium. The regions of temperature pressure and composition for each type of equilibrium are defined by the measured values of ignition temperatures and the explosive and flammability limits. How this definition of thermodynamic equilibrium can be extended to all molecular systems is discussed in the following papers.
基金supported by the National Natural Science Foundation of China under Grant Nos.61070172 and 10990011the Strategic Priority Research Program of Chinese Academy of Sciences under Grant No. XDA06010702the State Key Laboratory of Information Security,Chinese Academy of Sciences
文摘Boolean functions used in a cryptographic system should have high algebraic immunity to resist algebraic attacks. This paper presents a matrix method for constructing balanced Boolean functions achieving maximum algebraic immunity.
基金supported by the Provincial Natural Science Research Project of Anhui Colleges under Grant No.KJ2016A263the National Natural Science Foundation of Anhui Province under Grant Nos.1408085MA07,1608085J07the Ph D Research Startup Foundation of Anhui Normal University under Grant No.2014bsqdjj34
文摘This paper considers the multiple-outlier Weibull model, and derives some sui-ficlent conal- tions for the comparison of lifetimes of series systems with respect to dispersive order. In these models, order statistic is closed under minima, so convex transform, star and Lorenz orders are not investigated because they are scale variant. The results established here strengthen some of the results presented by Fang and Tang （2014）.
基金Supported by National Natural Science Foundation of China under Grant Nos.11105051,11104071,11247272Fundamental Research Funds for Central Universities,Beijing Higher Education Elite Young Teacher ProjectYouth Scholars Program of Beijing Normal University
文摘The competition of waves has remained a hot topic in physics over the past few decades,especially the area of pattern control.Because of improved understanding of various dynamic behaviors,many practical applications have sprung up recently.The prediction of wave competitions is also very important and quite useful in these fields.This paper considers the behaviors of wave competitions in simple,inhomogeneous media which is modeled by Brusselator equations.We present a simple rule to judge the results of wave competitions utilizing the dispersion relation curves and the waves coming from different wave sources.Moreover,this rule can also be used to predict the results of wave propagation.It provides methods of obtaining the desired waves with given frequencies in inhomogeneous media.All our results are concluded and verified by computer simulations.
