JaLCDOI 10.18926/15362
フルテキストURL Mem_Fac_Eng_OU_35_97.pdf
著者 山崎 進| 黒瀬 義則|
抄録 In this paper, we formulate a new integrity constraint in correlation with 3-valued stable models in an abduction framework based on general logic programs. Under the constraint, not every ground atom or its negation is a logical consequence of the theory and an expected abductive explanation, but some atom may be unspecified as a logical consequence by an adjustment. As a reflection of the integrity constraint with an adjustment, we augment an adjusting derivation to Eshghi and Kowalski abductive proof procedure, in which such an unspecified atom can be dealt with.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 97
終了ページ 135
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307812
JaLCDOI 10.18926/15357
フルテキストURL Mem_Fac_Eng_OU_35_53.pdf
著者 Kim Tae Yong| 加川 幸雄|
抄録 Fresnel zone plate lens (FZPL) has widely been used in electromagnetic antenna applications. Most analysis method based on the potential (scalar) wave approximation has been applied to a few very limited and simplified cases. The present paper analyzes the FZPL in more general form including the diffraction and transmission using the method of moments (MoM). The focusing gain characteristics in the oblique incidence as well as in the normal incidence are considered. The MoM solution using the three-dimensional vectorial formulation requires a large memory space for the FZPL as it is operated at a short wavelength. This is simply overcome by using an iterative conjugate gradient method for the numerical evaluation. The MoM solutions are compared with the other solutions.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 53
終了ページ 61
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307849
JaLCDOI 10.18926/15356
フルテキストURL Mem_Fac_Eng_OU_34_13.pdf
著者 榊原 精| Tanimoto, Tadashi| Matsushima, Takahisa| Hosokawa, Norio| Kanadani, Teruto|
抄録 Repeated tensile fatigue strength of the low temperature age-hardened Al-Zn alloys is investigated varying the specimen thickness. Fatigue strength of the age-hardened specimens decreases with the specimen thickness when the specimen is thinner than a certain thickness, whereas fatigue strength of non age-hardened specimens, i.e., pure aluminum and dilute Al-Zn alloy, does not depend the specimen thickness. The dependence of fatigue strength on the thickness of age-hardened specimen is considered to be caused by the decrease of the strength of specimen as a whole, as a result of increase in volume ratio of the soft surface layer formed after age-hardening with decreasing specimen thickness.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2000-03-27
34巻
1-2号
開始ページ 13
終了ページ 17
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307815
JaLCDOI 10.18926/15354
フルテキストURL Mem_Fac_Eng_OU_34_1.pdf
著者 Song Baoyin| 稲葉 英男| 堀部 明彦| Takahashi Takashi|
抄録 The experiment for investigating the falling snow melting characteristics of warm water flowing along sheet channels spread on a roof was performed in Tookamachi city, Nigata prefecture from February 6 to February 7, 1995. The sheet surface temperatures at 11 positions in 3 channels were measured. A physical model for a gas-water-snow system was constructed to compare the predicted results with the measured ones. A fully spread uniform water film in the sheet channel was observed in the experiments. The experimental results elucidated that it was feasible to use warm water flowing along sheet channels for melting falling snow on roofs. The temperature drop in the sheet channel mainly depended on the snowfall intensity, atmospheric temperature and wind speed. Under the influence of the roof edge, the temperature drop in the channel next to the side edge was much larger than that in middle channels. A water-snow two phase flow or a snow covered frozen water was experienced temporarily in the lower reaches of the water flowing channel. These suggest that a larger water flow rate is needed for the channel next to the roof edge, and a higher inlet temperature or a greater water flow rate is required for a severe weather condition. There was reasonably good agreement between the measured and predicted water temperatures.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2000-03-27
34巻
1-2号
開始ページ 1
終了ページ 12
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307686
JaLCDOI 10.18926/15346
フルテキストURL Mem_Fac_Eng_OU_35_9.pdf
著者 阿部 武治| 坪井 智昭|
抄録 The evaluation of microscopic inhomogeneity of polycrystalline aluminum is performed by measuring the hardness in respective grains. The recently developed ultra-micro hardness tester is used and the effects of the test pattern, the indentation load and the indenting velocity are examined. Then, the relationship between the increase in the hardness caused by the work hardening and the deformation of respective grains are statistically investigated. The hardness testing mode in which the initial load is applied before the onset of measurement gives more stable results than the testing mode without the initial load. The test condition with the indentation load of 9.8mN and the indentation velocity of 0.2 μm/sec seems to be optimum and gives the least dispersion of the measured values in grains. It is shown that the hardness values of respective grains in polycrystalline aluminum as well as their dispersion increase with the applied plastic strain. Discussion is made on the microscopic deformation behavior of polycrystalline aluminum.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 9
終了ページ 19
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307825
JaLCDOI 10.18926/15269
フルテキストURL Mem_Fac_Eng_OU_35_47.pdf
著者 堂前 行宏| 小西 正躬| 今井 純| Asada, Hideki| Kitamura, Akira|
抄録 In this paper, an identification method of motor parameters for the diagnosis of rotor bar defects in the squirrel cage induction motor is proposed. It is difficult to distinguish the degree of deterioration by a conventional diagnostic method such as Fourier analysis. To overcome the difficulty, a motor simulator is used to identify the degree of deterioration of rotors in the squirrel cage induction motor. Using this method, the deterioration of rotor bars in the motor can be estimated quantitatively.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 47
終了ページ 51
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307181
JaLCDOI 10.18926/15166
フルテキストURL Mem_Fac_Eng_OU_31_1_19.pdf
著者 東辻 浩夫| 岸本 篤也| 東辻 千枝子|
抄録 As a model of dusty plasmas in external fields, Yuka.wa system in a one-dimensional external field is analyzed by molecular dynamics simulations and theoretical approaches. It is shown that particles form clear thin layers (sheets) at low temperatures and the number of layers changes discretely with characteristic parameters of the system, accompanying the rearrangements of whole system from nearly equipartitioned layers to also nearly equipartitioned layers. The number, positions and populations of layers are obtained as functions of characteristic parameters. The shell (sheet) model which has been successful for confined one-component plasmas is extended to this system and results of numerical experiments are reproduced to a good accuracy. The effect of cohesive energy in each layer is of essential importance to reproduce discrete changes in the number of sheets.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1996-12-27
31巻
1号
開始ページ 19
終了ページ 33
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307616
JaLCDOI 10.18926/15164
フルテキストURL Mem_Fac_Eng_OU_35_41.pdf
著者 Kuroboshi, Manabu| Tanaka, Muneaki| Kishimoto, Suguru| Goto, Kentaro| Tanaka, Hideo|
抄録 In 360 females, Bone mineral density (BMD) in lumbar vertebrae (L2-L4) was assessed by quantitative computed tomography (QCT), and the values obtained were compared with the frequency of vertebral transformation or fracture as assessed by lateral scan image (scanogram) by X-ray CT. A correlation was observed between the frequency of vertebral transformation (or fracture) and lumbar BMD values : BMD under 125 mg/cm(3) was observed over 90% of women with vertebral transformation, and BMD under 70mg/cm(3) was found about 50% of them. These results suggest that decrease in BMD in lumbar vertebrae leads to vertebral transformation or fracture. Thus, measurement of BMD by QCT would be very useful in predicting vertebral transformation or fractures.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 41
終了ページ 46
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002307948
JaLCDOI 10.18926/14155
フルテキストURL Mem_Fac_Eng_39_1_63.pdf
著者 金谷 健一|
抄録 Geometric fitting is one of the most fundamental problems of computer vision. In [8], the author derived a theoretical accuracy bound (KCR lower bound) for geometric fitting in general and proved that maximum likelihood (ML) estimation is statistically optimal. Recently, Chernov and Lesort [3] proved a similar result, using a weaker assumption. In this paper, we compare their formulation with the author’s and describe the background of the problem. We also review recent topics including semiparametric models and discuss remaining issues.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2005-01
39巻
1号
開始ページ 63
終了ページ 70
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308366
JaLCDOI 10.18926/14153
フルテキストURL Mem_Fac_Eng_39_1_56.pdf
著者 菅谷 保之| 金谷 健一|
抄録 We present a new method for extracting objects moving independently of the background from a video sequence taken by a moving camera. We first extract and track feature points through the sequence and select the trajectories of background points by exploiting geometric constraints based on the affine camera model. Then, we generate a panoramic image of the background and compare it with the individual frames. We describe our image processing and thresholding techniques.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2005-01
39巻
1号
開始ページ 56
終了ページ 62
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308594
JaLCDOI 10.18926/14149
フルテキストURL Mem_Fac_Eng_39_1_40.pdf
著者 Al-Sehaim, Sulaiman| 小西 正躬| 能勢 和夫|
抄録 In this paper, two problems, plant allocation problem and that of transfer routing from plants to customers, are considered simultaneously. Especially, adaptation scheme for emergency cases are checked. To solve these problems, decentralized agent based optimization procedures are used. In our study, oil production and products transfer in Saudi Arabia are treated. Through numerical experiments, practicability of the proposed method is verified.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2005-01
39巻
1号
開始ページ 40
終了ページ 45
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308505
JaLCDOI 10.18926/14148
フルテキストURL Mem_Fac_Eng_39_1_28.pdf
著者 石丸 和史| 小西 正躬| 今井 純| 西 竜志|
抄録 In reactor furnace, due to high temperature and high pressure, data can be measured only near the furnace wall. In this paper, the way to estimate temperature distribution in a reactor furnace using measured data near the furnace walls and to control temperature distribution to the desired temperature distribution was studied. In the estimation, SQP method is employed using measured data near the furnace walls. As the result, the whole temperature distribution in a furnace could be obtained from such limited data. Furthermore, to control the temperature distribution in a reactor furnace, gas flow from multiple tuyeres and supplying material for controlling temperature distribution in a reactor furnace were determined by the SQP method. It was shown that temperature distribution in a furnace was regulated to achieve various desired distribution. Thus, it was verified that complicated temperature distribution in a reactor furnace could be controlled by combining furnace simulation and SQP method.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2005-01
39巻
1号
開始ページ 28
終了ページ 39
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308270
JaLCDOI 10.18926/14146
フルテキストURL Mem_Fac_Eng_39_1_21.pdf
著者 鳥越 崇史| 小西 正躬| 今井 純| 西 竜志|
抄録 In this paper, neuro based intelligent diagnosis methods for electro-mechanical control system are proposed. A self organizing map neural network (SOM) is used to classify measured data of the target system as a qualitative diagnostic method. Besides of the above procedure, it is expected to attain more efficient maintenance by a quantitative estimation of failure. For the purpose, new method is proposed using a hierarchical neural network (HNN). In the method, classified results by SOM are processed for the quantitative diagnosis. Hierarchical neural network can identify inner structure of the relations between failure causes and its results that enables a quantitative diagnosis.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2005-01
39巻
1号
開始ページ 21
終了ページ 27
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308342
JaLCDOI 10.18926/14124
フルテキストURL Mem_Fac_Eng_OU_40_1_64.pdf
著者 金谷 健一|
抄録 This article summarizes recent advancements of the theories and techniques for 3-D reconstruction from multiple images. We start with the description of the camera imaging geometry as perspective projection in terms of homogeneous coordinates and the definition of the intrinsic and extrinsic parameters of the camera. Next, we described the epipolar geometry for two, three, and four cameras, introducing such concepts as the fundamental matrix, epipolars, epipoles, the trifocal tensor, and the quadrifocal tensor. Then, we present the self-calibration technique based on the stratified reconstruction approach, using the absolute dual quadric constraint. Finally, we give the definition of the affine camera model and a procedure for 3-D reconstruction based on it.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2006-01
40巻
1号
開始ページ 64
終了ページ 77
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308332
JaLCDOI 10.18926/14123
フルテキストURL Mem_Fac_Eng_OU_40_1_53.pdf
著者 金谷 健一| 菅谷 保之| Hanno Ackermann|
抄録 In order to reconstruct 3-D Euclidean shape by the Tomasi-Kanade factorization, one needs to specify an affine camera model such as orthographic, weak perspective, and paraperspective. We present a new method that does not require any such specific models. We show that a minimal requirement for an affine camera to mimic perspective projection leads to a unique camera model, which we call a symmetric affine camera, which has two free functions. We determine their values from input images by linear computation and demonstrate by experiments that an appropriate camera model is automatically selected.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2006-01
40巻
1号
開始ページ 53
終了ページ 63
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308664
JaLCDOI 10.18926/14122
フルテキストURL Mem_Fac_Eng_OU_40_1_44.pdf
著者 菅谷 保之| 金谷 健一| 金沢 靖|
抄録 Dense point matches are generated over two images by rectifying the two images to align epipolar lines horizontally, and horizontally sliding a template. To overcome inherent limitations of 2-D search, we incorporate the “naturalness of the 3-D shape” implied by the resulting matches. After stating our rectification procedure, we introduce our multi-scale template matching scheme and our outlier removal technique using tentatively reconstructed 3-D shapes. Doing real image experiments, we discuss the performance of our method and remaining issues.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2006-01
40巻
1号
開始ページ 44
終了ページ 52
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308593
JaLCDOI 10.18926/14099
フルテキストURL Mem_Fac_Eng_OU_40_1_23.pdf
著者 菊池 純二| 小西 正躬| 西 竜志| 今井 純|
抄録 In steel works, iron ores are stored in ore yard and sent to various plants of down stream accoding to transfer requests. To attain stable operation, it is neccesary to keep a certain allowable stock level in ore tanks of all plants. To this purpose, ore transfer routing method has been developed based on decentralized agent method. In case of disaster such as a big earthquake or a big fire, damages in the facilities of industrial complex may be unavoidable. In this paper, decentralized optimization method is tested to cope with such emergencies. Decentralized agents corresponding to kind of ore make their own transfer route plan exchanging information with others. As the application of the proposed method, transfer scheduling in ore yard in steel works are made in case of destruction of transfer facilities.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2006-01
40巻
1号
開始ページ 23
終了ページ 30
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308160
JaLCDOI 10.18926/14098
フルテキストURL Mem_Fac_Eng_OU_40_1_16.pdf
著者 阿部 快洋| 小西 正躬| 西 竜志| 今井 純|
抄録 In this study, auto tuning of PID control gains in hot strip looper controller is made based on RNN model. Neuro emulator is employed to model the characteristics of looper dynamics. Combining neuro emulator and RNN model, auto tuning system of PID control gains is constructed. As the inputs to RNN, plural evaluation functions which reflect individual preference of human experts. Further, Self learning mechamism is embeded to RNN model which enables adaptation to the change in rolling chracteristics. Through numerical experiments, the effect of the proposed method is ascertained.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2006-01
40巻
1号
開始ページ 16
終了ページ 22
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308615
JaLCDOI 10.18926/14097
フルテキストURL Mem_Fac_Eng_OU_40_1_9.pdf
著者 貫名 高史| 小西 正躬| 西 竜志| 今井 純|
抄録 Controls of the temperature, pressure and flowing quantity are important for the stable operation of the product quality in the distillation tower. The usual measuring way of product quality estimation is made by the off-line analysis. In this paper, online estimation method of product quality is studied for improving the product quality. The estimation method based on stochastic analysis was developed for online estimation. In this paper, the data of temperature, pressure and flow volum in the distillation tower are treated. As the estimation models, RNN (Recurrent Neural Net Work) and PLS (Partial Least Square Regression Method) were adopted. The actual plant data were used in the analysis. Both PLS and RNN models could compensate each other to improve the accuracy in estimation.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2006-01
40巻
1号
開始ページ 9
終了ページ 15
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308095
JaLCDOI 10.18926/14087
フルテキストURL Mem_Fac_Eng_OU_41_1_73.pdf
著者 金谷 健一|
抄録 A rigorous accuracy analysis is given to various techniques for estimating parameters of geometric models from noisy data for computer vision applications. First, it is pointed out that parameter estimation for vision applications is very different in nature from traditional statistical analysis and hence a different mathematical framework is necessary in such a domain. After general theories on estimation and accuracy are given, typical existing techniques are selected, and their accuracy is evaluated up to higher order terms. This leads to a “hyperaccurate” method that outperforms existing methods.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2007-01
41巻
1号
開始ページ 73
終了ページ 92
ISSN 0475-0071
言語 English
論文のバージョン publisher
NAID 120002308410