A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a pr...A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.展开更多
Heterogeneous wireless access technologies will coexist in next generation wireless networks.These technologies form integrated networks,and these networks support multiple services with high quality level.Various acc...Heterogeneous wireless access technologies will coexist in next generation wireless networks.These technologies form integrated networks,and these networks support multiple services with high quality level.Various access technologies allow users to select the best available access network to meet the requirements of each type of communication service.Being always best connected anytime and anywhere is a major concern in a heterogeneous wireless networks environment.Always best connected enables network selection mechanisms to keep mobile users always connected to the best network.We present an overview of the network selection and prediction problems and challenges.In addition,we discuss a comprehensive classification of related theoretic approaches,and also study the integration between these methods,finding the best solution of network selection and prediction problems.The optimal solution can fulfill the requirements of the next generation wireless networks.展开更多
This paper presents new existence results for singular discrete boundary value problems. In particular our nonlinearity may be singular in its dependent variable and is allowed to change sign.
The existence of solutions for singular nonlinear two point boundary value problems subject to Sturm Liouville boundary conditions with p Laplacian operators is studied by the method of upper and lower solution...The existence of solutions for singular nonlinear two point boundary value problems subject to Sturm Liouville boundary conditions with p Laplacian operators is studied by the method of upper and lower solutions. The proof is based on an application of Schauder’s fixed point theorem to a modified problem whose solutions are that of the original one. At the same time, Arzela Ascoli theorem is used to prove that the defined operator N is a compact map.展开更多
The heat How generated from the infinite rock mass surrounding the underground tunnels is a major cause for the increasing cooling demands in deep mine tunnels.Insulation layers with lower thermal conductivities on tu...The heat How generated from the infinite rock mass surrounding the underground tunnels is a major cause for the increasing cooling demands in deep mine tunnels.Insulation layers with lower thermal conductivities on tunnel walls and roof ceilings are believed to supply a thermo-barrier for heat abatement.However,it is found that no systematic theoretical investigations were made to predict and confirm the effectiveness of underground thermal insulation.Specifically,investigations on the underground insulation problems involving heat flows through the semi-infinite hot rock mass and insulation layer were not sufficient.Thus,in this paper,the thermal characteristics,accompanied with heat flow through the semi-infinite rock mass and the insulation layer,were modeled by both analytical and numerical methods with focus on underground mine tunnels.The close agreements between models have indicated that the thermal insulation applied on tunnel surfaces is able to provide promising heat abatement effects.展开更多
The underground water quality model with non-linear inversion problem is ill-posed, and boils down to solving the minimum of nonlinear function. Genetic algorithms are adopted in a number of individuals of groups by i...The underground water quality model with non-linear inversion problem is ill-posed, and boils down to solving the minimum of nonlinear function. Genetic algorithms are adopted in a number of individuals of groups by iterative search to find the optimal solution of the problem, the encoding strings as its operational objective, and achieving the iterative calculations by the genetic operators. It is an effective method of inverse problems of groundwater, with incomparable advantages and practical significances.展开更多
In order to solve the problem of depth classification of the underwater target in a very low frequency acoustic field, the active component of cross spectra of particle pressure and horizontal velocity （ACCSPPHV） is...In order to solve the problem of depth classification of the underwater target in a very low frequency acoustic field, the active component of cross spectra of particle pressure and horizontal velocity （ACCSPPHV） is adopted to distinguish the surface vessel and the underwater target. According to the effective depth of a Pekeris waveguide, the placing depth forecasting equations of passive vertical double vector hydrophones are proposed. Numerical examples show that when the sum of depths of two hydro- phones is the effective depth, the sign distribution of ACCSPPHV has nothing to do with horizontal distance; in addition, the sum of the first critical surface and the second critical surface is equal to the effective depth. By setting the first critical surface less than the difference between the effective water depth and the actual water depth, that is, the second critical surface is greater than the actual depth, the three positive and negative regions of the whole ocean volume are equivalent to two positive and negative regions and therefore the depth classification of the underwater target is obtained. Besides, when the 20 m water depth is taken as the first critical surface in the simulation of underwater targets （40 Hz, 50 Hz, and 60 Hz respectively）, the effectiveness of the algorithm and the cor- reemess of relevant conclusions are verified, and the analysis of the corresponding forecasting performance is conducted.展开更多
This paper furthers the understanding of capital budgeting （CB） processes. It emphasizes the assumed disposition of the forecast cash benefits from projects. The two reasons for CB are discussed. First, which projec...This paper furthers the understanding of capital budgeting （CB） processes. It emphasizes the assumed disposition of the forecast cash benefits from projects. The two reasons for CB are discussed. First, which projects are and are not acceptable from a financial prospective？ Second, of financially acceptable projects, CB methods can rank or order projects relative to desirability. Under conditions of certainty, the paper describes and contrasts three primary methods： pay back （PB）, net present value （NPV）, and internal rate of return （IRR） and three secondary methods： profitability index （PI）, terminal value （TV）, and modified internal rate of return （MIRR）. The presentation lists the strengths and weaknesses of each method in order to direct attention to some of the many aspects of CB decisions that firm managers should consider. Next, approaches for taking risk into consideration are discussed. The discussion raises the important issues of what to do with the net cash benefits from various projects when and if they are received. Finally, the paper provides flexible tools and example problems for teaching CB in a variety of contexts, such as professional corporate training or academic coursework.展开更多
Making use of upper and lower solutions and analytical method, the author studies theexistence of positive solution for the singular equation x + f(t, z) = 0 satisfying nonlinear boundary conditions: x (0) = 0, h(x (1...Making use of upper and lower solutions and analytical method, the author studies theexistence of positive solution for the singular equation x + f(t, z) = 0 satisfying nonlinear boundary conditions: x (0) = 0, h(x (1), x’ (1)) = 0, g (z (0), x’(0)) = 0, and x (1) = 0,which extends the result of J. V. Baxley.展开更多
The concept of word classes （parts of speech） has always generated controversy among linguists. The earlier Prescriptive and Descriptive Schools might have set the pace for this controversy but the present dilemma i...The concept of word classes （parts of speech） has always generated controversy among linguists. The earlier Prescriptive and Descriptive Schools might have set the pace for this controversy but the present dilemma is much deeper. Learners and even teachers are sometimes at quandary as to how to proof that a particular word belongs to a particular class. This is because a word may sometimes belong to several classes, in context as in the word ＂watch＂ which can belong to different classes. This paper therefore tries to provide answers to the problem of word class classification by using a morphological and syntactical evidence to prove that English words follow a particular range of inflections and belong to strictly ordered particular categories and do not change their class arbitrarily. This is in line with the natural perfect order of homogeneity in creation which precludes a specie from merging effectively with another specie without having to undergo some fundamental changes. Other variables were also looked into and it was concluded that teachers and learners as well, can rely on this sub-categorization approach as a reliable paradigm for their assumptions concerning word classes.展开更多
Underground storage systems are currently being used worldwide for the geological storage of natural gas （CH4）, the geological disposal of CO2, in geothermal energy, or radioactive waste disposal. We introduce a com...Underground storage systems are currently being used worldwide for the geological storage of natural gas （CH4）, the geological disposal of CO2, in geothermal energy, or radioactive waste disposal. We introduce a complex approach to the risks posed by induced bedrock instabilities in deep geological underground storage sites. Bedrock instability owing to underground openings has been studied and discussed for many years. The Bohemian Massif in the Czech Republic （Central Europe） is geologically and tectonically complex. However, this setting is ideal for leaming about the instability state of rock masses. Longterm geological and mining studies, natural and induced seismicity, radon emanations, and granite properties as potential storage sites for disposal of radioactive waste in the Czech Republic have provided useful information. In addition, the Czech Republic, with an average concentration radon of 140 Bq m-3, has the highest average radon concentrations in the world. Bedrock instabilities might emerge from microscale features, such as grain size and mineral orientation, and microfracturing. Any underground storage facility construction has to consider the stored substance and the geological settings. In the Czech Republic, granites and granitoids are the best underground storage sites. Microcrack networks and migration properties are rock specific and vary considerably. Moreover, the matrix porosity also affects the mechanical properties of the rocks. Any underground storage site has to be selected carefully. The authors suggest to study the complex set of parameters from micro to macroscale for a particular place and type of rock to ensure that the storage remains safe and stable during construction, operation, and after closure.展开更多
A survey of major chicken meat hatcheries in Australia was undertaken in 2008 to identify how hatchery waste is currently managed. A weekly average of 10.4 tonnes of waste is produced by chicken meat hatcheries. The c...A survey of major chicken meat hatcheries in Australia was undertaken in 2008 to identify how hatchery waste is currently managed. A weekly average of 10.4 tonnes of waste is produced by chicken meat hatcheries. The cost of disposal （average $127/tonne） and availability of disposal sites is an emerging issue. The majority of hatchery waste is sent to land fill or for composting, with some rendered for use as pet food. Hatchery wastewater is mostly used for irrigation or disposed directly into the sewer. Most of the hatcheries have no environmental issues with hatchery waste on site but some report odour problems. Some hatcheries would like to treat the waste on site so that it could be sold as a commodity or to use methods to separate liquid from solid waste and recycle water.展开更多
The paper discusses about anthropogenic pressure classification system on landscape oasises. As a result, based on designed criteria rates a thematic map titled ＂Anthropogenic pressure and its consequences on landsca...The paper discusses about anthropogenic pressure classification system on landscape oasises. As a result, based on designed criteria rates a thematic map titled ＂Anthropogenic pressure and its consequences on landscapes oasises of mid and lower part of Zarafshan River Basin＂ was developed. The thematic map depicts realthionship between ecological conditions and population diseases along various landscape oasises of the Zarafshan river valley.展开更多
Abstract： In this paper, we study the existence of a solution for fifth-order boundary value problem{u（5）（t）＋f（t,u（t）,u＂（t）=0,0〈t〈1）/u（0）=u＇（0）=u＇（1）=u＂（1）=u（4）（0）=0 Where f ∈ C（[0,1] &...Abstract： In this paper, we study the existence of a solution for fifth-order boundary value problem{u（5）（t）＋f（t,u（t）,u＂（t）=0,0〈t〈1）/u（0）=u＇（0）=u＇（1）=u＂（1）=u（4）（0）=0 Where f ∈ C（[0,1] × R2, R）. By placing certain restrictions on the nonlinear term f, we prove the existence of at least one solution to the boundary value problem with the use of the lower and upper solution method and Schauder fixed-point theorem. The construction of lower or upper solution is also present.ed. Boundary value problems of very similar type are also considered.展开更多
基金The National Outstanding Young Scientist Foundation by NSFC(No.60703086,60503020)
文摘A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees＇ influence on callers when analyzing call statements. Phase 2 captures the callees＇ dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph（SDG）-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.
基金funded by the University of Malaya, under Grant No.RG208-11AFR
文摘Heterogeneous wireless access technologies will coexist in next generation wireless networks.These technologies form integrated networks,and these networks support multiple services with high quality level.Various access technologies allow users to select the best available access network to meet the requirements of each type of communication service.Being always best connected anytime and anywhere is a major concern in a heterogeneous wireless networks environment.Always best connected enables network selection mechanisms to keep mobile users always connected to the best network.We present an overview of the network selection and prediction problems and challenges.In addition,we discuss a comprehensive classification of related theoretic approaches,and also study the integration between these methods,finding the best solution of network selection and prediction problems.The optimal solution can fulfill the requirements of the next generation wireless networks.
文摘This paper presents new existence results for singular discrete boundary value problems. In particular our nonlinearity may be singular in its dependent variable and is allowed to change sign.
文摘The existence of solutions for singular nonlinear two point boundary value problems subject to Sturm Liouville boundary conditions with p Laplacian operators is studied by the method of upper and lower solutions. The proof is based on an application of Schauder’s fixed point theorem to a modified problem whose solutions are that of the original one. At the same time, Arzela Ascoli theorem is used to prove that the defined operator N is a compact map.
基金The financial support from an Engage Grant in the Natural Sciences and Engineering Research Council(NSERC),Canada,is gratefully acknowledged
文摘The heat How generated from the infinite rock mass surrounding the underground tunnels is a major cause for the increasing cooling demands in deep mine tunnels.Insulation layers with lower thermal conductivities on tunnel walls and roof ceilings are believed to supply a thermo-barrier for heat abatement.However,it is found that no systematic theoretical investigations were made to predict and confirm the effectiveness of underground thermal insulation.Specifically,investigations on the underground insulation problems involving heat flows through the semi-infinite hot rock mass and insulation layer were not sufficient.Thus,in this paper,the thermal characteristics,accompanied with heat flow through the semi-infinite rock mass and the insulation layer,were modeled by both analytical and numerical methods with focus on underground mine tunnels.The close agreements between models have indicated that the thermal insulation applied on tunnel surfaces is able to provide promising heat abatement effects.
文摘The underground water quality model with non-linear inversion problem is ill-posed, and boils down to solving the minimum of nonlinear function. Genetic algorithms are adopted in a number of individuals of groups by iterative search to find the optimal solution of the problem, the encoding strings as its operational objective, and achieving the iterative calculations by the genetic operators. It is an effective method of inverse problems of groundwater, with incomparable advantages and practical significances.
基金supported by Public Science and Technology Research Funds Projects of Ocean(201405036-4)the National Natural Science Foundation of China(Grant Nos.11404406,51179034,41072176 and 11204109)+1 种基金Defense Technology Research(JSJC2013604C012)Postdoctoral Science Foundation of China(Grant No.2013 M531015)
文摘In order to solve the problem of depth classification of the underwater target in a very low frequency acoustic field, the active component of cross spectra of particle pressure and horizontal velocity （ACCSPPHV） is adopted to distinguish the surface vessel and the underwater target. According to the effective depth of a Pekeris waveguide, the placing depth forecasting equations of passive vertical double vector hydrophones are proposed. Numerical examples show that when the sum of depths of two hydro- phones is the effective depth, the sign distribution of ACCSPPHV has nothing to do with horizontal distance; in addition, the sum of the first critical surface and the second critical surface is equal to the effective depth. By setting the first critical surface less than the difference between the effective water depth and the actual water depth, that is, the second critical surface is greater than the actual depth, the three positive and negative regions of the whole ocean volume are equivalent to two positive and negative regions and therefore the depth classification of the underwater target is obtained. Besides, when the 20 m water depth is taken as the first critical surface in the simulation of underwater targets （40 Hz, 50 Hz, and 60 Hz respectively）, the effectiveness of the algorithm and the cor- reemess of relevant conclusions are verified, and the analysis of the corresponding forecasting performance is conducted.
文摘This paper furthers the understanding of capital budgeting （CB） processes. It emphasizes the assumed disposition of the forecast cash benefits from projects. The two reasons for CB are discussed. First, which projects are and are not acceptable from a financial prospective？ Second, of financially acceptable projects, CB methods can rank or order projects relative to desirability. Under conditions of certainty, the paper describes and contrasts three primary methods： pay back （PB）, net present value （NPV）, and internal rate of return （IRR） and three secondary methods： profitability index （PI）, terminal value （TV）, and modified internal rate of return （MIRR）. The presentation lists the strengths and weaknesses of each method in order to direct attention to some of the many aspects of CB decisions that firm managers should consider. Next, approaches for taking risk into consideration are discussed. The discussion raises the important issues of what to do with the net cash benefits from various projects when and if they are received. Finally, the paper provides flexible tools and example problems for teaching CB in a variety of contexts, such as professional corporate training or academic coursework.
文摘Making use of upper and lower solutions and analytical method, the author studies theexistence of positive solution for the singular equation x + f(t, z) = 0 satisfying nonlinear boundary conditions: x (0) = 0, h(x (1), x’ (1)) = 0, g (z (0), x’(0)) = 0, and x (1) = 0,which extends the result of J. V. Baxley.
文摘The concept of word classes （parts of speech） has always generated controversy among linguists. The earlier Prescriptive and Descriptive Schools might have set the pace for this controversy but the present dilemma is much deeper. Learners and even teachers are sometimes at quandary as to how to proof that a particular word belongs to a particular class. This is because a word may sometimes belong to several classes, in context as in the word ＂watch＂ which can belong to different classes. This paper therefore tries to provide answers to the problem of word class classification by using a morphological and syntactical evidence to prove that English words follow a particular range of inflections and belong to strictly ordered particular categories and do not change their class arbitrarily. This is in line with the natural perfect order of homogeneity in creation which precludes a specie from merging effectively with another specie without having to undergo some fundamental changes. Other variables were also looked into and it was concluded that teachers and learners as well, can rely on this sub-categorization approach as a reliable paradigm for their assumptions concerning word classes.
基金supported by the long-term conceptual development research organization RVO grant 67985891the Ministry of Industry and Trade of the Czech Republic (FR-TI1/367)
文摘Underground storage systems are currently being used worldwide for the geological storage of natural gas （CH4）, the geological disposal of CO2, in geothermal energy, or radioactive waste disposal. We introduce a complex approach to the risks posed by induced bedrock instabilities in deep geological underground storage sites. Bedrock instability owing to underground openings has been studied and discussed for many years. The Bohemian Massif in the Czech Republic （Central Europe） is geologically and tectonically complex. However, this setting is ideal for leaming about the instability state of rock masses. Longterm geological and mining studies, natural and induced seismicity, radon emanations, and granite properties as potential storage sites for disposal of radioactive waste in the Czech Republic have provided useful information. In addition, the Czech Republic, with an average concentration radon of 140 Bq m-3, has the highest average radon concentrations in the world. Bedrock instabilities might emerge from microscale features, such as grain size and mineral orientation, and microfracturing. Any underground storage facility construction has to consider the stored substance and the geological settings. In the Czech Republic, granites and granitoids are the best underground storage sites. Microcrack networks and migration properties are rock specific and vary considerably. Moreover, the matrix porosity also affects the mechanical properties of the rocks. Any underground storage site has to be selected carefully. The authors suggest to study the complex set of parameters from micro to macroscale for a particular place and type of rock to ensure that the storage remains safe and stable during construction, operation, and after closure.
文摘A survey of major chicken meat hatcheries in Australia was undertaken in 2008 to identify how hatchery waste is currently managed. A weekly average of 10.4 tonnes of waste is produced by chicken meat hatcheries. The cost of disposal （average $127/tonne） and availability of disposal sites is an emerging issue. The majority of hatchery waste is sent to land fill or for composting, with some rendered for use as pet food. Hatchery wastewater is mostly used for irrigation or disposed directly into the sewer. Most of the hatcheries have no environmental issues with hatchery waste on site but some report odour problems. Some hatcheries would like to treat the waste on site so that it could be sold as a commodity or to use methods to separate liquid from solid waste and recycle water.
文摘The paper discusses about anthropogenic pressure classification system on landscape oasises. As a result, based on designed criteria rates a thematic map titled ＂Anthropogenic pressure and its consequences on landscapes oasises of mid and lower part of Zarafshan River Basin＂ was developed. The thematic map depicts realthionship between ecological conditions and population diseases along various landscape oasises of the Zarafshan river valley.
文摘Abstract： In this paper, we study the existence of a solution for fifth-order boundary value problem{u（5）（t）＋f（t,u（t）,u＂（t）=0,0〈t〈1）/u（0）=u＇（0）=u＇（1）=u＂（1）=u（4）（0）=0 Where f ∈ C（[0,1] × R2, R）. By placing certain restrictions on the nonlinear term f, we prove the existence of at least one solution to the boundary value problem with the use of the lower and upper solution method and Schauder fixed-point theorem. The construction of lower or upper solution is also present.ed. Boundary value problems of very similar type are also considered.
