京都大学 / 0048 / 新制・課程博士 / 博士(医学) / 甲第20612号 / 医博第4261号 / 新制||医||1023(附属図書館) / 京都大学大学院医学研究科医学専攻 / (主査)教授 増永 慎一郎, 教授 溝脇 尚志, 教授 小泉 昭夫 / 学位規則第4条第1項該当 / Doctor of Medical Science / Kyoto University / DFAM

<p>  </p> <p>The last century has witnessed increased urban sprawl, motorization, and the attendant problems of congestion, safety, and emissions associated with current-day transportation systems. Contemporary literature suggests that emerging transportation technologies, including vehicle autonomy and connectivity, offer great promise in addressing these adversities. As such, highway agencies seek guidance on infrastructure preparations for connected and automated vehicle (CAV) operations. A key area of such preparations is the management of lanes to serve CAVs and human-driven vehicles (HDVs), including the deployment of dedicated lanes for CAVs. There is a need to address the demand and supply perspectives of CAV preparations. On the demand side, agencies need to model the trends and uncertainties of CAV market penetration and level of autonomy during the CAV transition period. On the supply side, agencies need to schedule the CAV-related roadway infrastructure in a way that progressively addresses the growing demand. </p> <p>In addressing these research questions, this dissertation first carries out an economics-based lane allocation for CAVs and HDVs in a highway corridor by determining the optimum number of CAVLs by minimizing road user cost. Next, the dissertation carries out such allocation considering the environment (community emissions cost). Third, the dissertation addresses elements of social and economic sustainability using a CAV-enabled tradable credit scheme that minimizes user travel time subject to social equity constraints. Further, this dissertation provides guidance on how CAV-dedicated lanes, in conjunction with market-based tradable travel credits, could enable the road agency to achieve maximum efficiency of the existing road infrastructure in the CAV transition period. The study framework can serve as a valuable decision-support tool for road agencies in their long-term planning and budgeting in anticipation of the CAV transition period. The key outcome of the framework is an optimal schedule for deploying CAV-dedicated lanes over a given analysis period of several decades in a manner commensurate with CAV demand projections and sustainability-related objectives and constraints.</p>

Connected Vehicle (CV) is a motorized vehicle that can communicate with its interior and exterior surroundings. Connected Vehicle focuses on localized vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) to support safety, mobility and environmental applications. In this work, a simulation framework is presented. The framework quantifies Connected Vehicle performance in a forward collision warning situation. The simulation framework evaluates the performance using a vehicular traffic simulator with data from an intersection in Toronto, ON Canada. Various communication methodologies are evaluated at different Connected Vehicle market penetration rates. While DSRC is an interference limited communication methodology and visible light communications is a line-of-sight communication, the combination of both is evaluated to quantify the vehicular network safety performance in terms of time to collision. The performance of DSRC in a vehicular network is quantified in an interference dominant environment and the VLC performance in the vehicular network is evaluated at different weather conditions. In a specific vehicular traffic situation namely for- ward collision warning, this research quantified the VLC performance improvement in vehicular network safety to be 11% in addition to DSRC.This work concludes with the simulation and prototyping of camera communications for vehicular applications. Specifically this thesis presents multiple input / multiple output camera communications link utilizing a luminary array as a transmitter and two orthogonal low cost rolling shutter cameras as a receiver with the purpose of increasing the achievable data rate with one camera. This work has demonstrated that there is at most a doubling in the data rate using two cameras over a single one. This data rate increase is achievable using a specific camera setup namely orthogonal cameras. / Thesis / Master of Applied Science (MASc)

No description available.

When students learn caring during clinical practice, the usual point of departure is thatcaring and learning coexist, as separate and parallel phenomena. There is, however, a needto study how caring and learning relate to one another, as well as when and how theyconverge. The aim of this dissertation is to describe how caring and learning converge inthe encounters between students and patients, in a dedicated educational unit withinpsychiatric care, as experienced by students, patients, and supervisors. Describing howsupervisory support can facilitate this is another aim. A reflective lifeworld approach basedon phenomenological philosophy has been applied. Data were collected through interviews,participant observations with follow-up interviews, and narrative diaries.The result shows that caring and learning converge in those encounters between studentsand patients which are characterized by reciprocity, wherein the patient’s narrative is thepoint of departure, complemented by the student’s listening and inquiring attitude. It ishere, that the desire for and pursuit of health and understanding, give the reciprocalinteraction power. The common desire of those involved to know, to become accustomedto the new and unfamiliar, as well as the presence of a feeling of responsibility for oneanother, create questions which in turn create opportunities wherein students and patientsare available to one another.The dissertation shows that learning in a caring context can be complex. Despite theirbeing prerequisites for one another, competition and conflicts can occur when the caringand learning perspectives are not equally attended to. When they are placed counter to oneanother, there is a risk that reciprocal interaction is hindered, which can cause loneliness forall involved. For convergence to occur most propitiously, those involved must exist in acaring and learning togetherness. Responsible and present supervisors are needed, whocreate possibilities for the perspectives to converge through maintenance and monitoring, sothat caring and learning receive equal space.A didactic concept has been developed based on the dissertation’s result, focusing on themeaning of creating forums where students’, patients’, and supervisors’ caringconsiderations and reflections can intertwine.

Allocation of products in a warehouse is done by various storage policies. These are broadly classified into three main categories: dedicated storage, randomized storage, and class-based storage. In dedicated storage policy a product is assigned a designated slot while in random storage policy incoming product is randomly assigned a storage location close to the input/output point. Finally, the class-based storage is a mixed policy where products are randomly assigned within their fixed class. Dedicated storage policy is most commonly used in practice. While designing large warehouse layout, the product information in terms of throughput and storage level is either uncertain or is not available to the warehouse designer. Hence it is not possible to locate products on the basis of the throughput to storage ratio method used in the above mentioned storage location policies. To take care of this uncertainty in product data we propose a fuzzy C-means clustering (FCM) approach. This research is mainly directed to improve the efficiency (distance or time traveled) by designing a fuzzy logic based warehouse with large number of products. The proposed approach looks for similarity in the product data to form clusters. The obtained clusters can be directly utilized to develop the warehouse layout. Further, it is investigated if the FCM approach can take into account other factors such as product size, similarity and/or characteristics to generate layouts which are not only efficient in terms of reducing distance traveled to store/retrieve products but are effective in terms of retrieval time, space utilization and/or better material control.

Biofuels, including ethanol and biodiesel, are important components of energy policy in the U.S. and abroad. There is a long history of ethanol production from corn (maize) in the United States and from sugarcane in Brazil. However, there has been a push for greater use of next-generation biofuels (including those derived from cellulosic feedstocks) to mitigate many of the environmental and potential food system impacts of large scale biofuel production. Farmer willingness to grow biomass crops and ensuring adequate feedstock supply are two important challenges impeding large scale commercialization of next-generation biofuels. The costs of transporting bulky, low density biomass will be substantial. Consequently, in the near term, the economic success of next-generation biofuels will hinge on the supply of locally available biomass. As such, agricultural contracts are expected to be an important tool in overcoming the feedstock acquisition challenge. The broad objective of this study is to understand the effect of contracting for non-food energy crops (cellulosic feedstocks) on the agricultural landscape via the displacement of commodity (food) crops on productive cropland. We develop an analytical framework for evaluating the design and use of two different contract structures for securing cellulosic feedstock in a representative supply chain with a biorefinery and farmer. We study the dynamics of scarce land and indirect competition from commodity market production on a biorefinery's equilibrium pricing strategy and the resultant supply of cellulosic biomass. And we consider its sensitivity to various production characteristics and market conditions. We develop a method for quantifying the biorefinery's tradeoff between profit margins and competing for land in order to secure the requisite feedstock for biofuel production. And we characterize the loss of efficiency in the decentralized system, relative to a vertically integrated system, that can be attributed to the need to compete for the farmer's scarce land resource versus that which results from the biorefinery's desire to make a profit. Then we extend our framework to consider multi-year contracts for biomass production and evaluate the importance of land quality, yield variability and contract structure on a farmer's willingness to accept a contract to produce cellulosic feedstock as well as the resulting impact on the agricultural landscape through the displacement of commodity crops. Using switchgrass production in Tennessee as a case study, we develop feedstock supply curves for each contract structure considered and evaluate the conditions and contract prices at which land devoted to various field crops would be displaced by switchgrass based on field trials of switchgrass production in Tennessee and recent USDA data on crop prices and production.

We present a generic proof methodology to automatically prove correctness of design transformations introduced at the Register-Transfer Level (RTL) to achieve lower power dissipation in hardware systems. We also introduce a new algorithm to reduce switching activity power dissipation in microprocessors. We further apply our technique in a completely different domain of dynamic power management of Systems-on-Chip (SoCs). We demonstrate our methodology on real-life circuits. In this thesis, we address the dual problem of transforming hardware systems at higher levels of abstraction to achieve lower power dissipation, and a reliable way to verify the correctness of the afore-mentioned transformations. The thesis is in three parts. The first part introduces Instruction-driven Slicing, a new algorithm to automatically introduce RTL/System level annotations in microprocessors to achieve lower switching power dissipation. The second part introduces Dedicated Rewriting, a rewriting based generic proof methodology to automatically prove correctness of such high-level transformations for lowering power dissipation. The third part implements dedicated rewriting in the context of dynamically managing power dissipation of mobile and hand-held devices. We first present instruction-driven slicing, a new technique for annotating microprocessor descriptions at the Register Transfer Level in order to achieve lower power dissipation. Our technique automatically annotates existing RTL code to optimize the circuit for lowering power dissipated by switching activity. Our technique can be applied at the architectural level as well, achieving similar power gains. We first demonstrate our technique on architectural and RTL models of a 32-bit OpenRISC pipelined processor (OR1200), showing power gains for the SPEC2000 benchmarks. These annotations achieve reduction in power dissipation by changing the logic of the design. We further extend our technique to an out-of-order superscalar core and demonstrate power gains for the same SPEC2000 benchmarks on architectural and RTL models of PUMA, a fixed point out-of-order PowerPC microprocessor. We next present dedicated rewriting, a novel technique to automatically prove the correctness of low power transformations in hardware systems described at the Register Transfer Level. We guarantee the correctness of any low power transformation by providing a functional equivalence proof of the hardware design before and after the transformation. Dedicated rewriting is a highly automated deductive verification technique specially honed for proving correctness of low power transformations. We provide a notion of equivalence and establish the equivalence proof within our dedicated rewriting system. We demonstrate our technique on a non-trivial case study. We show equivalence of a Verilog RTL implementation of a Viterbi decoder, a component of the DRM System-On-Chip (SoC), before and after the application of multiple low power transformations. We next apply dedicated rewriting to a broader context of holistic power management of SoCs. This in turn creates a self-checking system and will automatically flag conflicting constraints or rules. Our system will manage power constraint rules using dedicated rewriting specially honed for dynamic power management of SoC designs. Together, this provides a common platform and representation to seamlessly cooperate between hardware and software constraints to achieve maximum platform power optimization dynamically during execution. We demonstrate our technique in multiple contexts on an SoC design of the state-of-the-art next generation Intel smartphone platform. Finally, we give a proof of instruction-driven slicing. We first prove that the annotations automatically introduced in the OR1200 processor preserve the original functionality of the machine using the ACL2 theorem prover. Then we establish the same proof within our dedicated rewriting system, and discuss the merits of such a technique and a framework. In the context of today's shrinking hardware and mobile internet devices, lowering power dissipation is a key problem. Verifying the correctness of transformations which achieve that is usually a time-consuming affair. Automatic and reliable methods of verification that are easy to use are extremely important. In this thesis we have presented one such transformation, and a generic framework to prove correctness of that and similar transformations. Our methodology is constructed in a manner that easily and seamlessly fits into the design cycle of creating complicated hardware systems. Our technique is also general enough to be applied in a completely different context of dynamic power management of mobile and hand-held devices. / text

When students learn caring during clinical practice, the usual point of departure is thatcaring and learning coexist, as separate and parallel phenomena. There is, however, a needto study how caring and learning relate to one another, as well as when and how theyconverge. The aim of this dissertation is to describe how caring and learning converge inthe encounters between students and patients, in a dedicated educational unit withinpsychiatric care, as experienced by students, patients, and supervisors. Describing howsupervisory support can facilitate this is another aim. A reflective lifeworld approach basedon phenomenological philosophy has been applied. Data were collected through interviews,participant observations with follow-up interviews, and narrative diaries.The result shows that caring and learning converge in those encounters between studentsand patients which are characterized by reciprocity, wherein the patient’s narrative is thepoint of departure, complemented by the student’s listening and inquiring attitude. It ishere, that the desire for and pursuit of health and understanding, give the reciprocalinteraction power. The common desire of those involved to know, to become accustomedto the new and unfamiliar, as well as the presence of a feeling of responsibility for oneanother, create questions which in turn create opportunities wherein students and patientsare available to one another.The dissertation shows that learning in a caring context can be complex. Despite theirbeing prerequisites for one another, competition and conflicts can occur when the caringand learning perspectives are not equally attended to. When they are placed counter to oneanother, there is a risk that reciprocal interaction is hindered, which can cause loneliness forall involved. For convergence to occur most propitiously, those involved must exist in acaring and learning togetherness. Responsible and present supervisors are needed, whocreate possibilities for the perspectives to converge through maintenance and monitoring, sothat caring and learning receive equal space.A didactic concept has been developed based on the dissertation’s result, focusing on themeaning of creating forums where students’, patients’, and supervisors’ caringconsiderations and reflections can intertwine.

The decline of the world’s fisheries, and the inability of traditional management frameworks to maintain them, has led managers to adopt new, alternative management frameworks. Alternative management frameworks include marine protected areas (MPA) and dedicated access privileges (DAP). The use of such frameworks has often been shown to be quite unpopular, especially with commercial fishers. In this thesis, commercial fishers’ preference for alternative management frameworks is examined in the context of the unique multispecies fisheries of the Florida Keys. By surveying commercial fishers, it was found that the size of operation plays no role in affecting fisher perception of dedicated access privileges. Furthermore, fishers who are organized are less likely to support dedicated access privilege frameworks. Finally, the fishing industry does not support the implementation of dedicated access privileges in the Florida Keys. These findings can provide inputs for managers in developing effective management plans in the region.