博士(工学)

Some textbooks of formal languages and automata theory implicitly state the structural equality of the binary n-dimensional de Bruijn graph and the state diagram of minimum state deterministic finite automaton which accepts regular language (0+1)*1(0+1)^{n-1}. Although the isomorphism in binary case is relatively easy to prove, it is desirable to rigorously prove such an isomorphism in general k-ary case. To achieve this purpose, the author introduces a new computational model, called "colored finite automata (CFA)," and give a certain characterization of the general k-ary de Bruijn graphs by regular languages. The second purpose of this study is to investigate the potential of this automaton with multi-colored accepting states. By the way, when CFA is nondeterministic (NCFA), it is desirable that the colors of accepting states are unmixed (i.e., there are no inputs that are accepted with differently colored accepting states) in order to pursuit the accurate identification. Thus, the author proposes the three decision problems (Unmixedness Verification problem, Unmixedness Partitioning problem, and Unmixedness Extension problem) concerning unmixedness and show that UV, UP, and UE problems are shown to be NLOG-complete, P, and NP-complete, respectively. The author also illustrates the applications of colored finite automata, e.g. to existing regular expression engines and model checking tools for the purpose of improvement of their efficiency and conveniency. Next, the author introduces "colored pushdown automaton (CPDA)" which is an ordinary pushdown automaton with colored accepting states. It is shown that while the computational complexity of the above-mentioned UV, UP, and UE problems of CPDA are all undecidable, restriction of CPDA are all undecidable, restriction of CPDAs to unambiguous ones simplifies some problems of them to the permanently true problems. In this way, the concept of colored accepting states can be applied to a wide range of automata that have a set of accepting states and expected to be useful in a wide range of theoretical and practical field of automata applications in the future.

It is important to anticipate problems such as a large amount of spring water that occurs during shafts construction and maintenance problems such as concentration of lining cracks after shafts construction in advance, and to carry out construction in a rational manner. Crack tensor from the rock mass information (cracks, strength) obtained by the construction of the shafts of the Horonobe Underground Research Laboratory of the JAEA, aiming at the selection of support and the implementation of spring water countermeasures. Based on the theory, the research results were summarized with the aim of evaluating the water hydraulic conductivity of the rock mass during shafts construction and the deteriorated condition of the lining after shafts construction, and establishing a simple prediction method for these. Chapter 1 summarizes the current state of rock mass geological observation and lining maintenance in the shafts, the water permeability coefficient of the rock mass, and the past domestic and overseas studies on the deterioration state of the lining, and the hydraulic conductivity of the rock mass using the rock mass information. The purpose of this study was clarified with the task of evaluating the deterioration state of the lining and establishing these simple prediction methods. In Chapter 2, crack tensor theory and stereology (statistical geometry) are used using information (length, direction, opening width) of rock cracks during shafts construction. By applying the concept, the three-dimensional permeable tensor was estimated accurately. Then, when the hydraulic conductivity obtained from the three-dimensional hydraulic tensor and the hydraulic conductivity based on the result of the in-situ permeability test using the deep borehole near the shafts were compared, it was clarified that they were in good agreement. A high correlation was obtained between the crack frequency obtained by dividing the total length of the cracks obtained in the shafts construction by the evcavation surface area and the hydraulic conductivity obtained from the three-dimensional hydraulic tensor. Therefore, we proposed a method to easily predict the hydraulic conductivity of rock from the frequency of cracks. The obtained prediction formula targets the depth at which three cross sections orthogonal to each other can be obtained on the rock crack observation surface, but the prediction formula was also obtained at a depth where three cross sections orthogonal to each other cannot be obtained. Comparing the hydraulic conductivity of the rock mass and the hydraulic conductivity based on the in-situ permeability test results, it was clarified that they are in good agreement. In Chapter 3, the orientation dependence of the earth pressure is recognized in the underground environment of the Horonobe Underground Research Center, and it is the major principal stress direction in the shafts of the underground Laboratory. Cracks have occurred on the lining wall surface in the east-west direction. However, the lining cracks in the shafts at that point may depend not only on the orientation dependence of the ground pressure, but also on the rock cracks on the back surface of the lining, the ground cover and the rock strength. If a prediction formula for predicting lining deterioration can be created in consideration, it will be useful information for countermeasures during construction, and based on the crack tensor calculated based on the information on cracks, from the rock crack tensor and rock strength. I proposed a method to estimate the deterioration condition of the lining. The estimated value of the crack tensor regarding the deterioration of the lining using the obtained prediction formula and the measured value calculated from the information of the lining crack, assuming that the margin of error due to the relative error is 0.1, the estimated value and the measured value are well one. Im adei t clear that Ia md oing it. In Chapter 4, aiming at selection of rational support for shafts extension of underground Research Laboratory planned in the future and implementation of spring water countermeasures. Ip roposed ac onstruction management system that applies the crack tensor prediction method for rock hydraulic conductivity during shafts construction and deterioration of lining after shafts construction. In the future, in order to select more rational support and implement measures against spring water, the rock mass information (cracks and rock mass strength) acquired during shafts construction will be obtained using the prediction formulas established in Chapters 2 and 3. By predicting the hydraulic conductivity of the rock and the crack tensor related to the deterioration of the lining, and reflecting it in the measures against spring water in the rock mass and the measures against the deformation of the lining, it can be expected to contribute to the reduction of maintenance costs. Chapter 5 summarizes the research results in each chapter and raises future issues for conclusion.

This PhD thesis addressed current knowledge gaps regarding microplastic pollution as well as developed new insights into occurrences and fate of microplastics within marine and freshwater systems,prominent sources-to-sinks phenomena,and ecological risk assessments with global relevance.

Many infrastructures constructed in the period of high economic growth are currently deteriorated and need renewal / repair. Considering the future situation, new-build infrastructures should be more durable, so the use of high-strength materials capable of reducing maintenance and management costs is preferable. A suitable construction material for the future situation is an ultra-high-strength fiber-reinforced concrete (UFC). General UFCs are cured under high temperature (at 90℃ for 48 hours). Most UFC members are often made in precast-concrete factories with dedicated curing facilities. A UFC manufacturable at general ready-mixed concrete plants has been required for various constructions using cast-in-placed concrete. The study focused on the mixture design and the manufacturing method of UFC without heat-curing. The targeted strength of the UFC was 200 N/mm^2 at the concrete age of 28 days. To achieve the required performance for UFC, the experimental study was designed and conducted. The thesis consists of seven chapters, and the content of each chapter is as follows: Chapter 1 "Introduction" shows the social concern in Japan, such as the present conditions of infrastructures. In addition, the chapter summarizes the transition of high strength concrete and fiber-reinforced concrete. The research background and the purpose of this study are described in this chapter. Chapter 2 "Previous studies" shows the review of previous studies dealing with investigations on UFC. In addition, the chapter clarifies the problem of UFC manufacturing by referring to the previous studies. Chapter 3 "Mixture design", the materials and mixture proportions required for the UHPC manufacturable under ambient temperature conditions were investigated. Five types of cement and four types of powder materials were tested, as well as the fine aggregate needed to achieve proper fluidity, fiber dispersibility and strength. To achieve the appropriate flowability and adequate strength, the cement having low C_3A and high C_3S was suitable for the UHPC manufacturable at ambient temperatures. Furthermore, the mortar with W/B of 21% achieved 200 N/mm^2 at 28 days, so it can be designed as the maximum W/B for the UFC. The test result confirmed that allowable fine aggregate volume was lower than 600 kg/m^3 to obtain proper dispersion of steel fibers. Chapter 4 "Material properties and durability of hardened UFC", the hardening material properties and durability of the UFC designed in Chapter 2 were examined. The result confirmed that the UFC achieved 196 N/mm^2 at the age of 28 days. The UFC exhibited an excellent cracking strength and tensile strength which were almost equivalent strength of the conventional UFC. In addition, the UFC indicated excellent resistances to various degradation effects, such as neutralization, freezing and thawing, permeability of chloride ions, and sulfate attack. On the other hand, the UFC had low resistance to sulfuric acid and large autogenous shrinkage strain. The properties should be considered in the application of prestressed concrete owing to the loss of prestress. Chapter 5 "Manufacturing method in RMC plant" reports the manufacturing methods at the ready-mixed concrete (RMC) plant. The result confirmed that UFC can be manufactured at a general RMC plant, the equipment although mixing time varies owing to the mixer capacity. In addition, the mixing methods of steel fibers were compared. Owing to the high viscosity of the UFC, undischarged UFC from the truck was approximately 190 L, which was extremely higher than ordinary concrete (80 L). The compressive strength of UFC using several types of fine aggregate were examined. The result suggested that the evaluation of the properties of fine aggregates in the UFC is necessary for the practical use. Chapter 6 "Practical applications of UFC" verifies the applicability of UFC of at sites. The result confirmed that the mixing-load increased in proportion to the mixing volume, the maximum mixing volume was identified as 80% of the capacity of mixer. The results showed that the UFC made in a RMC plant indicated stable fresh and strength properties for a few months. Furthermore, the production of UFC with onboard mixers was tested. The result confirmed that the method reduced the material-loss during transportation. The surface-finish of UFC was also evaluated by comparing the results obtained from a soil hardness tester. Moreover, the heat curing conditions of UFC were investigated. The result confirmed that the highest temperature and the curing time for the heat curing were lower and shorter than the standard heat curing (at 90℃ for 48 hours), respectively. Chapter 7 "Conclusions" presents the remarkable conclusions in this study and further research for the practical application of the UFC.

Fiber-reinforced polymer (FRP) rods fabricated from unidirectional fibers and a polymer matrix strengthen effectively reinforced concrete (RC) members. The pultrusion is a production method of FRP rod. The FRP rods show various advantages, such as light and no-corrosion. Most FRP rods have higher tensile strength than standard steel bars. Therefore, the FRP rods can be used as an alternative reinforcement of steel bars in RC structures. In addition, FRP rods can be applied in near-surface mounted (NSM) systems for strengthening existing concrete structures. The tensile properties of FRP rods in adhesively bonded anchorages are expected to be studied in detail. Numerous experimental studies were conducted on FRP rods made of glass, carbon, aramid, or basalt fibers. The previous studies have reported that the tensile properties of FRP rods are affected by the shear-lag effect. However, these studies referred to the tensile failure, the shear-lag effect of FRP rods as a phenomenon without a mechanical explanation. Moreover, the effects of mechanical properties of fibers, matrix, fiber-matrix interface on FRP rod properties have not been investigated in detail. To quantify factors affecting the tensile properties of FRP rods, this study performed a numerical investigation on aramid FRP rods to assess the shear-lag effect, tensile load-capacity, and tensile strength. In addition, the effects of fiber, matrix, and fiber-matrix interface on the behavior of FRP material in three dimensions were demonstrated by micro-models. Firstly, two representative volume element (RVE) models of fibers and matrix were proposed to predict engineering constants and strengths of the FRP material in three dimensions. Based on the predicted strength, the criteria were designed. Then, the main simulation, including the FRP rod, the filling material, and the steel tube, was carried out to analyze FRP rods under the variation of interfacial conditions between materials, including full-bonding strength and partiallybonding strength models. In the partially-bonding strength model, the interfaces between materials were simulated as cohesive zone models with the variation of bond strengths and fracture energy release rate. A technique called submodeling was applied to enhance the simulation results. The submodel was cut from the main simulation model and only applied to simulate FRP rods with finer meshes. The study proposed a procedure for calculating the stress distribution in any cross-section of an FRP rod. The simulation results agreed well with the previous experimental study. The findings clearly indicated the position of the failure section in which the tensile stress distribution is unequal. The load-capacity, failure modes, shear-lag effect were predicted based on the maximum stress criterion. The results revealed that the FRP material strengths enforce the failure in two modes associated with the transverse and longitudinal directions of FRP rods. In addition, diameter is a significant factor that increases the shear-lag effect and reduces the tensile strength of the FRP rods. The numerical simulation provided a new method to predict the load-capacity of FRP rods. The study consists of 6 chapters. Outline of the chapter was presented as follows: Chapter 1 introduces about kinds of FRP rods and their application in civil engineering. The chapter shows the research objects, the gaps in composite studies, and the scopes of the present research. Chapter 2 summrizes the review of previous studies related to the theoretical studies of the composite materials. The chapter reveales the gap of theory. In addition, the study compares the advantages and disadvantages of previous studies and proposes methods and models for the present study. Chapter 3 presents the simulations of the representative volume element (RVE) models to determine the mechanical properties and strengths of composite materials. The study investigates the effects of the fiber properties and fiber-matrix interface on composite mechanical properties in detail. The RVE-1 model was employed to predict engineering constants of the FRP material. The RVE-2 was applied to predict the tensile and shear strengths in three dimensions. Chapter 4 shows the numerical simulations of the FRP rod tensile tests with various cases of the materials in Chapter 3. The models are built in two cases of the interface between the FRP rod and filling material: full-bonding and partially-bonding strengths. In the case of the full-bonding strength, three models are built with three hypotheses of FRP rod material. Three models, A, B, and C, were proposed to demonstrate the effect of fiber properties on FRP properties. Model A was built based on the hypothesis that the FRP rod is made of transversely isotropic fibers. Model B was made to simulate with an FRP rod of isotropic fibers. Model C assumes the FRP rod as an isotropic material. In the case of the partially-bonding strength, the study models various interface cases between the FRP rod and the filling materials to investigate the bonding effects. The proposed models were applied to simulate FRP rods from D3 to D8 to analyze the diameter effect. In Chapter 5, the difference between the proposed models was discussed to show the advantages and disadvantages of each model. Firstly, the study compared models (A, B, and C) to highlight the effect of fiber properties on FRP rods. Secondly, the study compared the partially-bonding strength and full-bonding strength models to investigate the bonding effects on the tensile properties of FRP rods. Moreover, the chapter illustrates the existence of the shear-lag effect and demonstrates the diameter effect on tensile strength in FRP rods. Chapter 6 summarizes the novel findings and research significance of the study. In addition, recommendations for future works were also presented.

With the deterioration of bridges as social infrastructure, appropriate maintenance and life extension are required. However, aging degradation of individual bridges is not the same. Since traffic volume and bridge environment are different for each bridge, the degree of deterioration of the bridge is also different. Therefore, it is necessary to identify and eliminate the cause of individual deterioration and to take appropriate measures. This paper focuses on weathering steel bridge that the formation of dense rust is greatly influenced by the environment. The purpose of this study is to clarify the effect of anticorrosion by the environmental improvement which covers the whole steel girder with the metal sandwich panel for weathering steel bridge. Since the space in the girder covered with the metal sandwich panel cannot be expected to have the effect of washing by rainwater or drying and wetting by the flow of wind, the adoption of the metal sandwich panel for weatherproof steel bridge has not been judged until now. In this thesis, the corrosion behavior of weathering steel and the effectiveness of corrosion protection are shown by exposure test, and the corrosion protection effect of environmental improvement by metal sandwich panel is clarified. In addition, this study examines the economical advantages by the metal sandwich panel installation by calculating the life cycle cost. This paper consists of six chapters. Chapter 1 describes the background and purpose of this research. Chapter 2 summarizes previous studies on corrosion protection methods used in steel bridges. In Chapter 3, exposure tests were conducted inside and outside the metal sandwich panel and the following finding were obtained. 1) In the girder covered with the metal sandwich panel, fluctuation range of temperature and humidity is small throughout the year, and it does not follow the sudden weather change of outside of the panel. Since the difference between the temperature and dew point in the panel is large, the wet time in the panel is suppressed to 1/5 or less of the wet time of outside the panel. 2) At the structure which has thin floor slab and low height girder, the temperature rise in the panel may be unavoidable depending on season. However, since the humidity in the panel is low and the wet time is also greatly reduced, the anticorrosive effect can be expected in the steel bridge including the weathering steel bridge. 3) Amount of air born salt into the panel after the metal sandwich panel installation was not detected. In Chapter 4, a small test specimen was placed in the inside space of the steel girder, and the transition of corrosion, anticorrosion effect by environmental improvement and inner surface painting were examined. 1) The untreated steel and the uncoated steel in the ingrown rust region evaluated by the ion permeation resistance method are kept almost same condition after five years. 2) It is also conceivable that the initial salinity of the steel material subjected to the substrate adjustment by blasting exists even after the substrate adjustment, and that the adhering salinity penetrates into the inside of the steel plate at the time of rust formation. However, the increase rate of rust thickness due to aging is slow, and a method of installing a metal sandwich panel after blasting is also effective. 3) Although the effect of environmental isolation from outside the girder was confirmed, it became clear that it was difficult to completely suppress the progress of rust. Chapter 5 examined the economic effects of installing metal sandwich panels on new girders from the beginning and installing them on overbridges 50 years after the star of service. 1) If repainting is required even 1 time during the during the design service period of 100 years, the anticorrosion method by environmental improvement of the metal sandwich panel is economically superior. 2) Accumulating the cost of close visual inspection (for 50 years) of the overbridge that has been in service for 50 years increases the maintenance cost. Chapter 6 summarizes this research and describes future issues.

The reduction of excessive discharge of phosphate into water bodies is a dominant theme to combat the critical eutrophication issue and requires the development of high-performance materials for effective phosphate treatment. In this study, rice straw was used as a raw material for the synthesis of biochar functionalized with layered double hydroxides (BC-LDHs) as efficacious phosphate adsorbents, and their successful synthesis was corroborated via characterization analysis. Experimental investigations, including pH, coexisting anion, reaction time, and initial phosphate concentration effects were systematically performed with selected BC-LDHs 6 and pure LDHs. An optimum pH of 3.0 was observed in both samples. Kinetic and isotherm studies indicated that phosphate adsorption on these samples was controlled by the pseudo-second-order model and the Freundlich model. Comparative kinetic tests also demonstrated that BC-LDHs 6 and pure LDHs reached the equilibrium within 24 h and 3 h, respectively. Nonetheless, the maximum adsorption capacity of the composite was 192 mg/g, which was higher than that of pure LDHs (166 mg/g). The coexistence of various anions negligibly affected the removal efficiency of the composite; however, fluoride was the most competitive anion for adsorption on pure LDHs. The adsorption mechanisms of the composite involved electrostatic interaction, inner-sphere complexation, pore diffusion, precipitation, and reconstruction. Furthermore, phosphate adsorbed on both materials could be easily recovered by 0.1 M NaOH solution owing to the displacement reaction between phosphate and hydroxyl ions. Additional evidence from reusability experiments exhibited that the composite could maintain its good adsorption performance even after three adsorption-desorption cycles. The transformation of BC-LDHs 6 after its usage in phosphate treatment (P-BC-LDHs 6) into a fertilizer was further explored by using seed germination and early growth assays of lettuce through a comparison with phosphate-loaded LDHs (P-LDHs). Lettuce seeds germinated in all P-BC-LDH 6 treatments showed undesirable growth characteristics compared with the controls, while total germination failure was observed under high concentrations of P-LDHs. In the latter experiments, the optimal application rates for plant growth were 2.5% for P-BC-LDHs 6 and 1.0% for P-LDHs. The considerably greater biomass development and length of lettuce were visible in samples delivered from P-BC-LDHs 6 compared to those from P-LDHs. The results obtained suggest that BC-LDHs 6 is a promising adsorbent for phosphate treatment and post-adsorption BC-LDHs 6 has the application potential to serve as a fertilizer for horticultural crop production.