A remark on "Study of a Leslie-Gower-type tritrophic population model" [Chaos, Solitons and Fractals 14 (2002) 1275-1293]

In [Aziz-Alaoui, 2002] a three species ODE model, based on a modified Leslie-Gower scheme is investigated. It is shown that under certain restrictions on the parameter space, the model has bounded solutions for all positive initial conditions, which eventually enter an invariant attracting set. We show that this is not true. To the contrary, solutions to the model can blow up in finite time, even under the restrictions derived in [Aziz-Alaoui, 2002], if the initial data is large enough. We also prove similar results for the spatially extended system. We validate all of our results via numerical simulations.Comment: 10 pages, 4 figure

Interval type‑2 fuzzy aggregation operator in decision making and its application

Type-2 fuzzy sets (T2FSs) can deal with higher modeling and uncertainties which exist in the real-world application, specifically in the control systems. Particularly the climate changes are always uncertain and thus, the type-2 fuzzy controller is an effective system to handle those situations. Polyhouse is a methodology used to cultivate the plants. It breaks the seasonal hurdle of the formulation and it is also suitable for the conflictive climate conditions. Controlling and directing internal parameters of the polyhouse play an essential role in the growth of the plant. Among those, humidity is an important element when one deals with the growth of the plant in polyhouse. It affects the weather, as well as the global change of the climate and hence, the inner climate of the polyhouse will be disturbed. In this paper, operational laws for triangular interval type-2 fuzzy numbers and derived triangular interval type-2 weighted geometric (TIT2WG) operator with their desired mathematical properties using Dombi triangular norms. Also, humidity control is analyzed using interval type-2 fuzzy controller (IT2FC) with the use of derived aggregation operator which is the aim of the paper. Further stability of the system has been analyzed by applying four different defuzzification methods and the method is recommended which gives a better response

Nanoscale magnetometry using a single spin system in diamond

We propose a protocol to estimate magnetic fields using a single nitrogen-vacancy (N-V) center in diamond, where the estimate precision scales inversely with time, ~1/T$, rather than the square-root of time. The method is based on converting the task of magnetometry into phase estimation, performing quantum phase estimation on a single N-V nuclear spin using either adaptive or nonadaptive feedback control, and the recently demonstrated capability to perform single-shot readout within the N-V [P. Neumann et. al., Science 329, 542 (2010)]. We present numerical simulations to show that our method provides an estimate whose precision scales close to ~1/T (T is the total estimation time), and moreover will give an unambiguous estimate of the static magnetic field experienced by the N-V. By combining this protocol with recent proposals for scanning magnetometry using an N-V, our protocol will provide a significant decrease in signal acquisition time while providing an unambiguous spatial map of the magnetic field.Comment: 8 pages and 5 figure

Analisis Hubungan antara Kemacetan dan Polusi Udara di Jalan Sultan Abdurahman Pontianak

Exhaust Emission vehicle is one of the causes of air pollution in an area that is the impact of the use of vehicles as a means of transportation, be it land, sea or air. Any motor vehicle that uses the engine and oil as the driving source is the cause of the air pollution that comes from combustion imperfect issued in the form of exhaust emissions kendaraan.Memberikan description of the relationship of traffic on the roads in a region, the problems it causes, namely air pollution such as vehicle exhaust emissions in comparison to other areas in the city of Pontianak. Examines several types of air pollution caused by vehicle exhaust emissions which occurred on Jalan Sultan Abdurahman Pontianak. In this study used the method of observation, by analyzing the high percentage of the amount of emissions that occur in Jalan Sultan Abudrahman and analysis of vehicle exhaust emissions as sources and types of air pollutants, according existing emission standard and set. In this study during peak hours occur significant air pollution is at 32.88 NO2, SO2 amounted to 37.65, O3 for 1931 and Dust of 632. The density of vehicles influence of air pollution on roads Sultan Abdurahman, while the degree of saturation at peak hours of 0.46 at 12:15 to 13:15. The more dense then the vehicle will be high air pollution ditimbulkan.Tingkat exhaust emissions on the road during hours of peak Sultan Abdurahman is enormous NO2 mg / m³ of 32.88 g / m³, SO2 amounted to 37.65 g / m³, O3 at 1931 mg / m³ and Dust by 632 mg / m³

A Decidable Confluence Test for Cognitive Models in ACT-R

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of RuleML+RR 2017". Springer LNC