Property disputes are frequent occurrences in rapidly urbanizing regions.Among the legal issues concerning building property rights,solar rights disputes are prevalent because text clauses on solar rights rely on dive...Property disputes are frequent occurrences in rapidly urbanizing regions.Among the legal issues concerning building property rights,solar rights disputes are prevalent because text clauses on solar rights rely on diverse measurements or calculations.Moreover,previous studies on measuring solar rights addressed only the sunlight duration and neglected the daylight factor(daylighting coefficient),which is an integral component of solar rights.Therefore,this study proposes a 3D spatiotemporal model for effectively measuring solar rights by taking both the sunlight duration and the daylight factor into consideration.This model would be technologically valuable in avoiding or settling legal disputes.Taking the specifications of the solar rights of building property in China as a case study,the proposed spatiotemporal model clarifies the complete solar rights of residential units and is implemented by integrating a geometric model from CityGML with a property model,namely,the Land Administration Domain Model(LADM).Three real typical cases are adopted to show the applicability and benefit of the 3D spatiotemporal model in resolving legal property disputes.展开更多
Kenya has amassed a wealth of paper based land information records collected over the duration of more than a century. The National Land Commission (NLC) having the mandate to develop a National Land Information Manag...Kenya has amassed a wealth of paper based land information records collected over the duration of more than a century. The National Land Commission (NLC) having the mandate to develop a National Land Information Management System (NLIMS) for Kenya partnered with the Dedan Kimathi University of Technology on a project to develop a pilot LIMS for Nyeri County. A pilot Land Administration System (LAS) has been developed in this work and utilizes an Africanized Land Administration Domain Model (A-LADM) fitted to the Kenyan context. Various processes involved in land administration that required to be automated were identified. Informed by the numbers of applications made for the change of User service, it was picked as the first workflow to be automated. The key outputs of this work were the A-LADM and pilot LAS. The pilot solution uses a webcentric solution, with the data stored and managed centrally from a PostGIS database backend, using the Python Django framework to implement the server side and client side frontend. This solution demonstrates the importance of automating processes and supporting standards based software development. Stakeholder participation is key when implementing systems and 2 workshops are held to capture requirements and validate the developed solution.展开更多
At present, many neuron models have been proposed, which can be divided into discrete neuron models and continuous neuron models. Discrete neuron models have the advantage of faster simulation speed and the ease of un...At present, many neuron models have been proposed, which can be divided into discrete neuron models and continuous neuron models. Discrete neuron models have the advantage of faster simulation speed and the ease of understanding complex dynamic phenomena. Due to the properties of memorability, nonvolatility, and local activity, locally active discrete memristors(LADMs) are also suitable for simulating synapses. In this paper, we use an LADM to mimic synapses and establish a Rulkov neural network model. It is found that the change of coupling strength and the initial state of the LADM leads to multiple firing patterns of the neural network. In addition, considering the influence of neural network parameters and the initial state of the LADM, numerical analysis methods such as phase diagram and timing diagram are used to study the phase synchronization. As the system parameters and the initial states of the LADM change, the LADM coupled Rulkov neural network exhibits synchronization transition and synchronization coexistence.展开更多
In this paper,we study a mathematical model of Hepatitis C Virus(HCV)infection.We present a compartmental mathematical model involving healthy hepatocytes,infected hepatocytes,non-activated dendritic cells,activated d...In this paper,we study a mathematical model of Hepatitis C Virus(HCV)infection.We present a compartmental mathematical model involving healthy hepatocytes,infected hepatocytes,non-activated dendritic cells,activated dendritic cells and cytotoxic T lymphocytes.The derivative used is of non-local fractional order and with non-singular kernel.The existence and uniqueness of the system is proven and its stability is analyzed.Then,by applying the Laplace Adomian decomposition method for the fractional derivative,we present the semi-analytical solution of the model.Finally,some numerical simulations are performed for concrete values of the parameters and several graphs are plotted to reveal the qualitative properties of the solutions.展开更多
基金supported by the National Natural Science Foundation of China(41871298).
文摘Property disputes are frequent occurrences in rapidly urbanizing regions.Among the legal issues concerning building property rights,solar rights disputes are prevalent because text clauses on solar rights rely on diverse measurements or calculations.Moreover,previous studies on measuring solar rights addressed only the sunlight duration and neglected the daylight factor(daylighting coefficient),which is an integral component of solar rights.Therefore,this study proposes a 3D spatiotemporal model for effectively measuring solar rights by taking both the sunlight duration and the daylight factor into consideration.This model would be technologically valuable in avoiding or settling legal disputes.Taking the specifications of the solar rights of building property in China as a case study,the proposed spatiotemporal model clarifies the complete solar rights of residential units and is implemented by integrating a geometric model from CityGML with a property model,namely,the Land Administration Domain Model(LADM).Three real typical cases are adopted to show the applicability and benefit of the 3D spatiotemporal model in resolving legal property disputes.
文摘Kenya has amassed a wealth of paper based land information records collected over the duration of more than a century. The National Land Commission (NLC) having the mandate to develop a National Land Information Management System (NLIMS) for Kenya partnered with the Dedan Kimathi University of Technology on a project to develop a pilot LIMS for Nyeri County. A pilot Land Administration System (LAS) has been developed in this work and utilizes an Africanized Land Administration Domain Model (A-LADM) fitted to the Kenyan context. Various processes involved in land administration that required to be automated were identified. Informed by the numbers of applications made for the change of User service, it was picked as the first workflow to be automated. The key outputs of this work were the A-LADM and pilot LAS. The pilot solution uses a webcentric solution, with the data stored and managed centrally from a PostGIS database backend, using the Python Django framework to implement the server side and client side frontend. This solution demonstrates the importance of automating processes and supporting standards based software development. Stakeholder participation is key when implementing systems and 2 workshops are held to capture requirements and validate the developed solution.
基金the Natural Science Foundation of Hunan Province, China (Grant Nos. 2022JJ30572, 2022JJ30160, and 2021JJ30671)the National Natural Science Foundations of China (Grant No. 62171401)the Key Project of Science and Technology of Shunde District (Grant No. 2130218002544)。
文摘At present, many neuron models have been proposed, which can be divided into discrete neuron models and continuous neuron models. Discrete neuron models have the advantage of faster simulation speed and the ease of understanding complex dynamic phenomena. Due to the properties of memorability, nonvolatility, and local activity, locally active discrete memristors(LADMs) are also suitable for simulating synapses. In this paper, we use an LADM to mimic synapses and establish a Rulkov neural network model. It is found that the change of coupling strength and the initial state of the LADM leads to multiple firing patterns of the neural network. In addition, considering the influence of neural network parameters and the initial state of the LADM, numerical analysis methods such as phase diagram and timing diagram are used to study the phase synchronization. As the system parameters and the initial states of the LADM change, the LADM coupled Rulkov neural network exhibits synchronization transition and synchronization coexistence.
基金supported by the Agencia Estatal de Investigacin(AEI)of Spain,co-financed by the European Fund for Regional Development(FEDER)corresponding to the 2014-2020 multiyear financial framework,project PID2020-113275GB-I00Instituto de Salud Carlos II,grant COV20/00617Xunta de Galicia under grant ED431C 2019/02.
文摘In this paper,we study a mathematical model of Hepatitis C Virus(HCV)infection.We present a compartmental mathematical model involving healthy hepatocytes,infected hepatocytes,non-activated dendritic cells,activated dendritic cells and cytotoxic T lymphocytes.The derivative used is of non-local fractional order and with non-singular kernel.The existence and uniqueness of the system is proven and its stability is analyzed.Then,by applying the Laplace Adomian decomposition method for the fractional derivative,we present the semi-analytical solution of the model.Finally,some numerical simulations are performed for concrete values of the parameters and several graphs are plotted to reveal the qualitative properties of the solutions.
