京都大学 / 新制・課程博士 / 博士(工学) / 甲第25260号 / 工博第5219号 / 京都大学大学院工学研究科都市社会工学専攻 / (主査)教授 角 哲也, 教授 山上 路生, 教授 中谷 加奈 / 学位規則第4条第1項該当 / Doctor of Philosophy (Engineering) / Kyoto University / DGAM

This paper explores the importance of the doctrine of the eternal generation of the Son in Basil of Caesarea's Trinitarian writings. In order to judge the importance of the doctrine for Basil, its impact on all of his exegetical and dogmatic writings on the Trinity were surveyed and evaluated. In his writings, Basil repeatedly addresses his belief that the Father and the Son is the one, eternal God. He considered this possible due to the Son's eternal generation from the substance of the Father. Basil considered the eternal generation of the Son to be both a scripturally warranted and philosophically coherent doctrine that explains how the Father and Son are indelibly same in substance and truly distinct persons. This study concludes that the doctrine of the eternal generation of the Son is essential to Basil's Trinitarian theology throughout his life. / Philosophy, Practical and Systematic Theology / M. Th. (Systematic Theology)

This paper explores the importance of the doctrine of the eternal generation of the Son in Basil of Caesarea's Trinitarian writings. In order to judge the importance of the doctrine for Basil, its impact on all of his exegetical and dogmatic writings on the Trinity were surveyed and evaluated. In his writings, Basil repeatedly addresses his belief that the Father and the Son is the one, eternal God. He considered this possible due to the Son's eternal generation from the substance of the Father. Basil considered the eternal generation of the Son to be both a scripturally warranted and philosophically coherent doctrine that explains how the Father and Son are indelibly same in substance and truly distinct persons. This study concludes that the doctrine of the eternal generation of the Son is essential to Basil's Trinitarian theology throughout his life. / Philosophy, Practical and Systematic Theology / M. Th. (Systematic Theology)

A number of emerging vector-borne diseases have the potential to be transmitted in the UK by native mosquitoes. Human infection by some of these diseases requires the presence of communities of multiple vector mosquito species. Mitigating the risk posed by these diseases requires an understanding of the spatial distributions of the UK mosquito fauna. Little empirical data is available from which to determine the distributions of mosquito species in the UK. Identifying areas at risk from mosquito-borne disease therefore requires statistical modelling to investigate and predict mosquito distributions. This thesis investigates the distributions of potential vector mosquitoes in the UK at landscape to national scales. A number of new methodological approaches for species distri- bution modelling are developed. These methods are then used to map and understand the distributions of mosquito communities with the potential to transmit diseases to humans. Chapter 2 reports the establishment of substantial populations of the West Nile virus (WNV) vector mosquito Culex modestus in wetlands in southern England. This represents a drastic shift in the species’ known range and an increase in the risk of WNV transmission where Cx. modestus is present. Chapter 3 develops and applies a new species interaction distribution model which identifies fish and ditch shrimp of the genus Palaemonetes as predators which may restrict the distribution of the potential WNV vector community in these wetlands. Chapter 4 develops a number of methods to make robust predictions of the probability of presence of a species from presence-only data, by eliciting and applying estimates of the species’ prevalence. Chapter 5 introduces a new Bayesian species distribution modelling approach which outperforms existing methods and has number of useful features for dealing with poor- quality data. Chapter 6 applies methods developed in the previous two chapters to produce the first high-resolution distribution maps of potential vector mosquitoes in the UK. These maps identify several wetland areas where vector communities exist which could maintain WNV transmission in birds and transmit it to humans. This thesis makes significant contributions to our understanding of the distributions of UK mosquito species. It also provides methods for species distribution modelling which could be widely applied in ecology and epidemiology.

La pollution atmosphérique est omniprésente du fait de nombreuses sources émettrices de composés chimiques. Dans ce contexte, les Hydrocarbures Aromatiques Polycycliques (HAP) sont largement diffusés dans l’air et ont déjà montré des effets délétères sur la santé.Ce travail a consisté en l’évaluation de la neurotoxicité du fluorène, composé choisi comme molécule représentative de la pollution liée aux HAP, chez le rat adulte exposé par voie i.p., par voie orale ou par inhalation. Le modèle d’exposition par inhalation a ensuite été appliqué à l’étude des effets du polluant sur le développement sensori-moteur et l’activité comportementale de l’animal exposé in utero ou au cours de la lactation.Ces études ont montré que le fluorène était susceptible d’affecter le niveau d’anxiété et l’activité locomotrice du rat adulte exposé directement et indirectement au polluant, et n’avait aucun effet sur les capacités d’apprentissage. En revanche, aucune atteinte majeure de la maturation des fonctions sensori-motrices n’a été mise en évidence. L’analyse de la présence du composé et de trois de ses métabolites a par ailleurs montré que le polluant était capable de traverser la barrière hémato-encéphalique et d’être métabolisé au niveau du cerveau. Les réponses physiologiques et comportementales étant variables entre les études, les effets induits par le fluorène dépendent donc de la voie d’entrée, du niveau de contamination et du moment d’exposition.Ces résultats ont ainsi révélé chez l’animal la toxicité comportementale du fluorène à des niveaux de contamination réalistes, confirmant ainsi le risque sanitaire de l’exposition aux HAP tout au long de la vie des individus / Actually air pollution is ubiquitous due to the emission of chemical compound from many sources. In this context, Polycyclic Aromaric Hydrocarbons (PAH)related compounds are widely distributed in the air and have shown deleterious health effects.Fluorene was chosen as a representative compound of PAHs pollution. This work consisted in the evaluation of its neurotoxic effects in adult animals, exposed i.p., orally or by exposure nose-only. The inhalation model of exposure was then applied to the study of its effects on sensorimotor development and on behavioral activity of animals exposed in utero or during lactation.The results showed that fluorene is able to induce behavioral changes in adult animals exposed directly or indirectly on the level of anxiety and the locomotor activity, whereas no effect on learning and memory abilities has been observed. However, no defect on the development of motor and sensory functions was demonstrated. Furthermore, the analysis of the presence of the compound and three of its metabolites showed that the pollutant was able to cross the blood brain barrier and can be metabolized in the brain. Moreover, variations have been observed concerning behavioral and physiological responses between studies, showing that effects induced by fluorene are dependent on the way of administration, the level of contamination and the time of exposure.In conclusion, these results demonstrate in animals the behavioral toxicity of fluorene at levels of contamination corresponding to human cases of exposure, confirming so the risk of PAH exposure throughout life

Ces dernières décennies, de nouvelles méthodes numériques connues sous le nom de « méthodes sans maillage » ont été développées. Contrairement à la MEF, ces méthodes n'utilisent qu'un ensemble de noeuds répartis dans le domaine sans demander un maillage de celui-ci. Jusqu'à présent, aucune de ces méthodes n'est parvenue à satisfaire les utilisateurs de la MEF. Dans cette thèse, nous proposons une méthode sans maillage, utilisant les approximations de Taylor. Cette méthode a l'avantage de n'utiliser que des points sur la frontière. En effet, l'EDP est résolue sous sa forme forte dans le domaine et les conditions aux limites sont appliquées par la méthode des moindres carrés. Cette méthode a été introduite, il y a 3 ans par S. Zeze dans sa thèse. Les tests académiques effectués en linéaire ont montré que cette méthode est très précise et que la convergence est améliorée en augmentant le degré, comme dans la p-version des EF. Nos travaux de thèse sont une suite des travaux de S. Zeze et ils visent à rendre plus robuste la méthode et aussi à élargir son champ d'application. Dans un premier temps, nous faisons une analyse mathématique de la méthode. Cette analyse passe par l'analyse des séries calculées. Le but de cette analyse est d'évaluer le domaine de convergence de la solution. Les résultats obtenus ont montré que pour certains problèmes, il faut subdiviser le domaine en quelques sous domaines et faire une résolution par sous domaine. La suite de nos travaux a donc été d'établir une technique de raccordement qui permettra d'assurer les conditions de transmission aux interfaces, dans le cas d'une résolution par sous domaine. En dernière partie, nous étendons l'application de la méthode aux problèmes non linéaires, en la couplant à une méthode de linéarisation / In these last decades, new numerical methods known as « meshless methods » have been developped. Contrary to the FEM, these methods uses only a set of nodes in the domain, without need of any mesh. Until now, any of these methods has convinced users of FEM. In this paper, we present a new meshless method using Taylor series expansion. In this method, the PDE is solved quasi exactly in the domain and the boundary conditions are applied by using a least square method. Then only the boundary discretisation is needed so the proposed method is a « true boundary meshless method ». This technique has been proposed for the first time by S. Zeze in his PhD thesis. The study of some linear problems has shown that this technique leads to a very good accuracy and that the convergence can be improved by increasing approximation degree. Our work is a continuation of S. Zeze work, and it consists to make the proposed method more robust and to extend its range of application. For that, we first make an analysis of the series computed by the method. The aim of this analysis was to evaluate the domain of validity of these series. This analysis showed that, for some problems, an accuracy cannot be obtained without splitting the domain in subdomains and making a resolution by subdomains. Therefore the second part of our work was to define a technique which will ensure the continuity at the interface between subdomains, in the case of a resolution by subdomains. The last part of our work was dedicated to non-linear problems. We establish an algorithm to show how the proposed method can deal with nonlinear-problems

Apresenta uma nova técnica de identificação estocástica para estruturas sujeitas a excitação ambiente utilizando um método não recursivo, a análise estatística e a transformada wavelet. A análise estatística contribui para a seleção da melhor ordem para o sistema e automação dos procedimentos computacionais. Em geral há dificuldade para a identificação de baixas freqüências. A transformada wavelet é uma ferramenta fundamental para a compressão de dados e torna possível a identificação completa incluindo baixas freqüências e modos acoplados, além de melhorar significativamente a eficiência computacional do método. É apresentado o estudo de três sistemas simulados e os resultados obtidos são comparados aos parâmetros modais teóricos. / A new form to carry out stochastic identification of structures in operational conditions using a non recursive method, the statistic analysis and the wavelet transform, is presented. The statistic analysis contributed to select the best system order and to automation of computational procedures. In general the identification of low frequencies is a difficult task. The wavelet transform is an essential tool for compression of data making possible the complete identification including low frequencies. In addition it improves the computational efficiency. The study of three simulated system is presented and the results are compared with the analytical modal parameters.

This master thesis investigates the possibility to create a machine vision solution for the automation of earth-moving machines. This research was done as without some type of vision system it will not be possible to create a fully autonomous earth moving machine that can safely be used around humans or other machines. Cameras were used as the primary sensors as they are cheap, provide high resolution and is the type of sensor that most closely mimic the human vision system. The purpose of this master thesis was to use existing real time object detectors together with transfer learning and examine if they can successfully be used to extract information in environments such as construction, forestry and mining. The amount of data needed to successfully train a real time object detector was also investigated. Furthermore, the thesis examines if there are specifically difficult situations for the defined object detector, how reliable the object detector is and finally how to use service-oriented architecture principles can be used to create deep learning systems. To investigate the questions formulated above, three data sets were created where different properties were varied. These properties were light conditions, ground material and dump truck orientation. The data sets were created using a toy dump truck together with a similarly sized wheel loader with a camera mounted on the roof of its cab. The first data set contained only indoor images where the dump truck was placed in different orientations but neither the light nor the ground material changed. The second data set contained images were the light source was kept constant, but the dump truck orientation and ground materials changed. The last data set contained images where all property were varied. The real time object detector YOLOv3 was used to examine how a real time object detector would perform depending on which one of the three data sets it was trained using. No matter the data set, it was possible to train a model to perform real time object detection. Using a Nvidia 980 TI the inference time of the model was around 22 ms, which is more than enough to be able to classify videos running at 30 fps. All three data sets converged to a training loss of around 0.10. The data set which contained more varied data, such as the data set where all properties were changed, performed considerably better reaching a validation loss of 0.164 compared to the indoor data set, containing the least varied data, only reached a validation loss of 0.257. The size of the data set was also a factor in the performance, however it was not as important as having varied data. The result also showed that all three data sets could reach a mAP score of around 0.98 using transfer learning.

Apresenta uma nova técnica de identificação estocástica para estruturas sujeitas a excitação ambiente utilizando um método não recursivo, a análise estatística e a transformada wavelet. A análise estatística contribui para a seleção da melhor ordem para o sistema e automação dos procedimentos computacionais. Em geral há dificuldade para a identificação de baixas freqüências. A transformada wavelet é uma ferramenta fundamental para a compressão de dados e torna possível a identificação completa incluindo baixas freqüências e modos acoplados, além de melhorar significativamente a eficiência computacional do método. É apresentado o estudo de três sistemas simulados e os resultados obtidos são comparados aos parâmetros modais teóricos. / A new form to carry out stochastic identification of structures in operational conditions using a non recursive method, the statistic analysis and the wavelet transform, is presented. The statistic analysis contributed to select the best system order and to automation of computational procedures. In general the identification of low frequencies is a difficult task. The wavelet transform is an essential tool for compression of data making possible the complete identification including low frequencies. In addition it improves the computational efficiency. The study of three simulated system is presented and the results are compared with the analytical modal parameters.

為因應市場變動性及解決租約僵固性，不動產租賃契約中多存在變動條款，以提供承出租雙方彈性管理使用。租金調整係不動產租賃契約中常見的選擇權條款，惟在契約自由原則下，不論歐、美國家租金僅向上調整方式，或國內以一固定比例向上調整租金方式，均造成租金下固性之情形，明顯獨厚出租人，導致承租人過度負擔市場變動風險，進而產生租約價值偏離理論價值之缺失。由於傳統評定租約價值之現金流量法無法評價租約中選擇權價值，近年來國外學者廣泛應用各種選擇權評價方法，期能求得理論上之租約價值，同時改善承出租雙方間權益不公之現象。 　　本研究基於租金僅向上調整隱含選擇權價值之觀點，應用二項式選擇權評價方法，建構不動產租賃契約評價模式。經由個案模擬，探討不同租金調整方式下租約價值之差異；同時運用敏感度分析，瞭解各變數變動對於選擇權價值將產生何種影響。最後藉由分析結果，對於承出租雙方在租金調整決策上提出建議。 / To manage more flexible and reduce transaction costs for both landlords and tenants, most clauses of real estate lease implicit option value. Rent review is a common option-like term. Leases with upward-only rent review clauses not only existed in USA and UK, but also in Taiwan. The rent will be merely adjusted upwards. Because of traditional discounted cash flow method can not deal with the option nature in leases, many scholars applied option pricing approaches to evaluate lease contract value in recent years. 　　This research assumes that upward-only rent review clause is embedded option value and uses binomial option pricing approach to develop the lease pricing model for real estate. Firstly, the author compares different rent review types and their value by case study. Moreover, this study uses sensitive analysis to probe how important variable affect option value. Finally, I provide suggestions to landlords and tenants in rent review policy decision.