Urban industrial water system parameter fluctuation producing uncertainty may not occur in a control input channel, can be applied mismatching uncertain system to describe. Based on Lyapunov direct method and linear matrix inequality, design the urban industrial water mismatching uncertain system feedback stabilization robust control scheme. Avoid the defects that the feedback stabilization con...

Current approaches to software model checking can be divided into over-approximation-driven (OD) and under-approximationdriven (UD). OD approaches maintain an abstraction of the transition relation of a program and use abstract reachability to build an inductive invariant (or find a counterexample). At the other extreme, UD approaches attempt to construct inductive invariants by generalizing fr...

the concepts of democracy have been around for centuries in different fields of human sciences. however, in most of these fields the idealistic and far-fetched features attributed to democracy have not been manipulated yet. it should be mentioned that there have been only a few serious attempts to find proper go-between elements, which could make such a concept as comprehensible and tangible as...

adverse lifestyle changes like rapid change in dietary habits coupled with decreased physical activity and increasing rates of alcohol and tobacco consumption can increase coronary artery disease risk factors and its mortality even higher than the rates predicted. to evaluate the role of adverse lifestyle changes factors in the causation of cad, a hospital based case-control study was conducted...

In this paper, we take the urban road network as the object, a further study on the method of traffic signal self organization under the condition of traffic state identification and local congestion. In the urban road traffic state identification study, according to the need of traffic signal control, respectively from qualitative and quantitative point of view, the urban road traffic state is...

a number of new concepts have emerged in the last two decades whose proponents claim that if achieved, they would deliver more sustainable urban environments. among them, new urbanism and urban village are the ones with the most theoretical support and practical application. both ideas, however, have been criticized in several grounds. but no study has been carried out to show the effectiveness...

the study of design and formation of urban space focuses on interaction of human and environment. this is an attractive subject that considers as interdisciplinary debates. thinkers of urban studies pay attention to this matter empirically and theoretically in order to provide a desirable space for human being. this research is based on the theories of urban studies and urban sociology and so o...

the aim of this research paper was to determine the role of urban space design on cities competitiveness in the process of globalization. in the era of globalization and with the rush of investors to find attractive places for investment, cities are becoming the focal points for investors and the urban managers, who need to present a variety of attractions to draw financial capital and be able ...

Computer advances in recent decades have contributed to the emergence of three dimensional (3D) urban simulation, which studies urban environments based on virtual models of physical reality. This article discusses methods of 3D urban simulation for urban planning and design in order to understand their potential, capabilities, limitations and concerns about the validity of simulation outcome. ...