Wyniki wyszukiwania - BazTech

1

Evaluation of socio-economiс variables for the constantine tramway line

Harkat Imane, Amar Nadra Nait, Benrachi Bouba, Gattuso Domenico

Transport Problems

|

2022

|

T. 17, z. 3

173--186

EN

The Constantine tramway line in Algeria has many variables that can be analysed to assess the impact of the line. These variables include social ones, such as the rational supply of transport between different modes of travel, the place of people with reduced mobility in the supply and interior and exterior design. Moreover, the economic variables that are the most dominant in relation to its importance in the development of the economy of the city are the reliability and comfort made to the regularity of the transport time in relation to time savings and intermodality at stopping points. To this end, this article examines these different variables during several commissioning periods in order to determine the impact of the introduction of the tramway line in the Constantine metropolitan area. Its approach is carried out through a field survey, interviews and on-site observations with a population made up of users of different travel modes. The results confirm that the tramway line linking the city of Constantine and the new town of Ali Mendjeli has a strong effect on ridership. On the other hand, its effects seem minimal in terms of rational supply and intermodality between different travel modes. Meanwhile, reliability and regularity are topics that deserve to be explored. The accessibility of people with reduced mobility is considered a primary objective of the tramway system.

2

On the use of data analysis and OR modelling in MCDM problems: a case analysis – a rejoinder to the paper by Sousa Ribeiro et al.

Owsiński Jan W.

Control and Cybernetics

|

2021

|

Vol. 50, No. 3

413--422

EN

Taking as an example the very interesting and moti vating paper by Sousa Ribeiro et al. (2021) an attempt is made of providing a couple of insights into the decision making process from the point of view of the potentially helpful aspects of data analysis and OR-related modelling. These are just hints and suggestions, meant primarily to emphasise the multifaceted character of the decision making situations and processes, especially when concerning more complex issues. While the course of the procedure proposed and exemplified in Sousa Ribeiro et al. (2021) is treated as fully correctly and successfully carried out to the end, we wish to show the potential use of information, constituting in a sense a “by-product” of such a procedure, or, actually, of any similar procedure, aimed at supporting decision making.

3

The Weighted Matching Approach to Maximum Cardinality Matching

Gabow H. N.

Fundamenta Informaticae

|

2017

|

Vol. 154, nr 1/4

109--130

EN

Several papers have achieved time O(√nm) for cardinality matching, starting from first principles. This results in a long derivation. We simplify the task by employing well-known concepts for maximum weight matching. We use Edmonds’ algorithm to derive the structure of shortest augmenting paths. We extend this to a complete algorithm for maximum cardinality matching in time O(√nm).

4

Depth Lower Bounds against Circuits with Sparse Orientation

Koroth S., Sarma J.

Fundamenta Informaticae

|

2017

|

Vol. 152, nr 2

123--144

EN

We study depth lower bounds against non-monotone circuits, parametrized by a new measure of non-monotonicity: the orientation of a function f is the characteristic vector of the minimum sized set of negated variables needed in any DeMorgan circuit (circuits where negations appear only at the leaves) computing f. We prove trade-off results between the depth and the weight/structure of the orientation vectors in any circuit C computing the CLIQUE function on an n vertex graph. We prove that if C is of depth d and each gate computes a Boolean function with orientation of weight at most w (in terms of the inputs to C), then d×ω must be Ω(n). In particular, if the weights are o(n/logk n), then C must be of depth ω(logk n). We prove a barrier for our general technique. However, using specific properties of the CLIQUE function (used in Amano Maruoka (2005)) and the Karchmer-Wigderson framework (KarchmerWigderson (1988)), we go beyond the limitations and obtain lower bounds when the weight restrictions are less stringent. We then study the depth lower bounds when the structure of the orientation vector is restricted. Asymptotic improvements to our results (in the restricted setting) separates NP from NC. As our main tool, we generalize Karchmer-Wigderson games (Karchmer Wigderson (1988)) for monotone functions to work for non-monotone circuits parametrized by the weight/structure of the orientation. We also prove structural results about orientation and prove connections between number of negations and weight of orientations required to compute a function.

5

Branching-Time Model Checking Gap-Order Constraint Systems

Mayr R., Totzke P.

Fundamenta Informaticae

|

2016

|

Vol. 143, nr 3/4

339--353

EN

We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS are nondeterministic infinitely branching processes described by evolutions of integer-valued variables, subject to Presburger constraints of the form x−y ≥ k, where x and y are variables or constants and k ∈ N is a non-negative constant. We show that EG model checking is undecidable for GCS, while EF is decidable. In particular, this implies the decidability of strong and weak bisimulation equivalence between GCS and finite-state systems.

6

Modelling of decision-making framework for selection technological adequacy system media facades

Tovarovic J. C., Sekularac J. I., Sekularac N.

Architecture Civil Engineering Environment

|

2016

|

Vol. 9, no. 3

55--70

EN

In recent years, media façades have become a new architectural theme and numerous potentials and limitations are observed in their design process and implementation. This paper identifies the most important challenges in the design of a media façade in order to define the basic criteria that influence decision making in the selection or the fulfillment of the most important principle – the adequacy of technological process of a media façade design. The main method used in the paper is mathematical modelling. The result of this study is operationalization, putting into operation the design knowledge and design principles and the construction of media façades, with the algorithm and software as the outcome that can become a tool in the process of media façade design taking account of specific variables and unchangeable parameters. The most important contribution of this paper is to present the practical application of software for checking the technological adequacy of media façades, of certain technical characteristics, taking into account a set of real urban and architectural conditions of the building and the location in design of new or reconstruction of old buildings.

PL

W ostatnich czasach fasady medialne stały się nowym tematem architektonicznym, w którym zauważa się wielki potencjał, ale także i wiele ograniczeń zarówno w fazie projektowania, jak i wykonawstwa. Niniejszy artykuł wskazuje najważniejsze wyzwania projektowania fasad medialnych w celu zdefiniowania podstawowych kryteriów wpływających na proces podejmowania decyzji w zakresie wyboru lub spełnia najważniejszej zasady – prawidłowości procesu technologicznego projektowania fasady medialnej. Główną metodą wykorzystaną w tym artykule jest modelowanie matematyczne. Rezultatem prowadzonej analizy jest operacjonalizacja – tzn. praktyczne wdrożenie wiedzy projektowej i zasad projektowania oraz konstruowania fasad medialnych poprzez opracowanie algorytmu i stowarzyszonego oprogramowania będących narzędziem w procesie projektowania fasad medialnych przy uwzględnieniu parametrów stałych i zmiennych. Najistotniejszym wkładem tego artykułu jest prezentacja praktycznego zastosowania oprogramowania do kontroli poprawności technologicznej fasad medialnych o zadanych charakterystyk technologicznych biorąc pod uwagę zbiór rzeczywistych warunków miejskich i architektonicznych budynku jak również lokalizacji nowo projektowanych bądź rekonstrukcji istniejących obiektów.

7

Application of the classical method of least squares in the analysis of factors influencing the lease prices of commercial premises on the real estate market as exemplified by Żoliborz district in Warsaw

Drouet M.

Challenges of Modern Technology

|

2015

|

Vol. 6, no. 2

35--47

EN

The aim of this article is to investigate whether easy access to green areas has got an influence on the value of the rental rate of commercial premises, and if so – then how to calculate the value of this factor? Determining the value of this factor affects not only the functioning of the commercial premises market, but it is also of high importance at the stage of designing urban solutions within areas designated for commercial purposes. The municipal commercial premises market in the district of Żoliborz was chosen to be the representative sample. The static econometric model was chosen to be the research method.

8

On E-continuity and E-minimality of multifunctions of two variables

Strońska E.

Demonstratio Mathematica

|

2009

|

Vol. 42, nr 1

47-52

EN

In this article we formulate and prove some sufficient conditions for the l-Ex xy-continuity and the Ex x y- minimality of multifunctions of two variables.

9

Czas jako czynnik wpływający na dobór zmiennych objaśniających

Szłapka M.

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska

|

2004

|

z. 20 cz. 1

181-204

PL

Artykuł dotyczy badania stabilności w czasie najlepszej kombinacji zmiennych objaśniających. Stabilność zostala zbadana w odniesieniu do długości okresu, dla jakiego zbierano dane oraz w sensie zróżnicowania najlepszych kombinacji dla kolejnych podokresów wyłonionych z próby. Wyciągnięte wnioski zostały oparte na wynikach otrzymanych dla trzech przykładowych serii danych.

EN

This article researches time stability of the best combination of variables examined about the results achieved to different lengths of periods for which the data was assembled and about the variability of the best combinations for following terms from gathered sample. Received results are commented and concluded.