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
言語 英語
論文のバージョン publisher
NAID 120002307812
JaLCDOI 10.18926/15363
フルテキストURL Mem_Fac_Eng_OU_34_39.pdf
著者 早川 聡| 城崎 由紀| 籔田 武司| 都留 寛治| Ohtsuki Chikara| 尾坂 明義|
抄録 Silicone elastomer was chemically treated at 60℃ for 7 days with 30 wt% H(2)O(2) solutions with or without TaCl(5) and soaked for various periods in a simulated body fluid(Kokubo solution) up to 21 days. Apatite formation ability of the surface of the silicone elastomer specimens was investigated with thin-film X-ray diffraction and FT-IR reflection spectroscopy. These silicone specimens did not deposit apatite or calcium phosphates, irrespective of chemical treatment. Osteoblast-like cells (MC3T3-El) derived from mouse were cultured on the specimens at 36.5℃ under 5%C0(2) and 95% humidity. Similar degree of proliferation of cells was observed at 7 days among three specimens, while the no treatment specimen after incubation for 5 days showed a lower degree of proliferation than the silicone treated with 30 wt% H(2)O(2) solutions with or without TaCl(5). Alkaline phosphatase activity of the cells proliferated on the no treatment specimen was lower than those of the silicone treated with 30 wt% H(2)O(2) solutions with or without TaCl(5). These results indicate that the cytotoxicity of the silicone could be improved by the chemical treatment with 30 wt% H(2)O(2) solutions with or without TaCl(5).
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2000-03-27
34巻
1-2号
開始ページ 39
終了ページ 43
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002308019
JaLCDOI 10.18926/15364
フルテキストURL Mem_Fac_Eng_OU_35_137.pdf
著者 Sakiyama, Takaharu| Yoshimi, Tsuyoshi| Miyake, Akira| Umeoka, Midori| Tanaka, Atsushi| Ozaki, Sho| Nakanishi, Kazuhiro|
抄録 A monoacylglycerol lipase (MGL) was purified from Pseudomonas sp. LP7315 by ammonium sulfate precipitation, anion-exchange chromatography, and preparative electrophoresis. The purified enzyme was homogeneous on an SDS-polyacrylamide gel with a molecular mass of 59 kDa. Its hydrolytic activity was confirmed to be specific for monoglycerides: the enzyme did not hydrolyze diand triglycerides. MGL was found to be stable even after l-h incubation at 65℃. The hydrolytic activity depended not only on temperature and pH but also on the type of monoglyceride used. MGL also catalyzed monoglyceride synthesis at 65℃ in a solvent-free two-phase system, in which fatty acid droplets were dispersed in the glycerol phase with a low water content. The synthetic reaction proceeded at a constant rate for approximately 24 h and reached an equilibrium after 48 h of reaction. The initial rate of the synthetic reaction depended on several factors: the type of fatty acid used as the substrate, the amounts of fatty acid and glycerol, and the concentration of MGL in the glycerol phase. To analyze the effects of these factors, a kinetic model was developed based on the assumption that the adsorption equilibrium of MGL molecules at the interface between the two phases is the rate-determining factor for the synthetic reaction. The model was found to yield a good approximation of the initial synthetic rate under various reaction conditions. The analysis suggests that the adsorption behavior of MGL onto the interface had a large effect on the initial rate of the monoglyceride synthesis.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 137
終了ページ 146
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307705
JaLCDOI 10.18926/15365
フルテキストURL Mem_Fac_Eng_OU_30_1_1.pdf
著者 Dong Liu| 梶原 康博| 大崎 紘一| 宗澤 良臣|
抄録 A method for standardizing parts is proposed. This method aims to reduce the sort of parts for cutting the manufacturing cost and for improving specifications of parts. Two linear mathematical programming models are proposed for standardizing the parts. One model aims at cutting cost half without causing any degradation of mechanical specifications of parts. The other model aims at doubling mechanical specifications of parts below the acceptable manufacturing cost. These models are formulated in 0-1 integer programming forms. The integer programming model shows which part is common to other parts. An example is shown to demonstrate the use of the developed method.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 1
終了ページ 7
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307491
JaLCDOI 10.18926/15366
フルテキストURL Mem_Fac_Eng_OU_35_147.pdf
著者 山際 雅詩| 酒井 裕|
抄録 The Cry4A toxin is a dipteran-specific insecticidal protein produced by Bacillus thuringiensis subsp. israelensis as a protoxin of 130 kDa. Its active form is a heterodimer of 20- and 45-kDa fragments which is generated by an interhelical cleavage of a 60-kDa intermediate at the position of Gln236 between α5 and α6 helices in domain I. On the other hand, Cry1Aa, which is also produced as a 130-kDa protoxin but toxic to lepidopteran larvae, was processed into the active 60-kDa fragment with no additional cleavage. To investigate the role of the intramolecular cleavage of Cry4A for its insecticidal activity, the loop between α5 and α6 of Cry4A which includes the cleavage site was substituted for the corresponding region of Cry1Aa. The resulting mutant designated GST-60Loop was expressed as a GST-fusion protein. A difference of the processing profile was observed between GST-60 and GST-60Loop in the in vitro digestion assay by trypsin, and the insecticidal activity of GST-60Loop was two-fold lower than that of GST-60. These results suggested that the interhelical cleavage of Cry4A promoted the toxicity against C. pipiens larvae.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 147
終了ページ 154
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307324
JaLCDOI 10.18926/15367
フルテキストURL Mem_Fac_Eng_OU_30_1_9.pdf
著者 Ding Ronggui| 大崎 紘一|
抄録 Decision Support Systems (DSS) have been taken as hopeful support tools for decision making for more than 20 years. There are a lot of literatures on DSS, but most of them are not so practical as the designers expected. This paper points out the crux of this situation and argues that the research on DSS should pay some more attention to the decision making activities before the model using stage. A method named "Problem Situation Decomposing Graph (PSDG)" is presented in this paper for helping the decision maker(DM) elicit the decision making problems. A PSDG is an acycle AND/OR logical directed graph, and which includes all the factors affecting the problem situation based on the DM's knowledge. The logical nodes and parameter determining methods in PSDG can reflect the DM's decision making style. This paper introduces some basic concepts of PSDG, discusses some of its characteristics, and proposes a logical adjacency matrix for PSDG representation and analysis.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 9
終了ページ 17
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307826
JaLCDOI 10.18926/15368
フルテキストURL Mem_Fac_Eng_OU_35_155.pdf
著者 Takahashi Hiromitsu| 宗澤 良臣| 梶原 康博| 大崎 紘一| Wada Yatarou|
抄録 This paper proposes a concept of a mobile type maintenance robot (MMR in shortly) that is controlled by the tele-operation for assuring the safety and health improvement of work forces. The main components of this system are the industrial robot, an image processing unit, vehicle and computers for tele-operation. Our focus is paid on a method that determine a pathway to move every places where troubles would occur. This method makes it possible that the MMR could arrive any place in the factory with three times of turns at most. Additionally, turning radius of the vehicle is considered for correcting the pathway near the corners to make it possible that it arrives to the place accurately.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 155
終了ページ 161
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307844
JaLCDOI 10.18926/15369
フルテキストURL Mem_Fac_Eng_OU_30_1_19.pdf
著者 中村 隆夫| 山本 尚武|
抄録 This paper describes a new measurement method and principle of detection of biodynamics using bioelectrical impedance method based on four-electrode technique with sinusoidal constant current. This method uses a human body itself as a part of the sensor. First, we show a bioelectrical impedance measuring device and the change of bioelectrical resistance is measured in human movement. Second, we proposes a principle of detection of biodynamics based on correspondence of magnitude, form and stability of movement to impedance waveform. Hence we can use this method for the judgement of sports skill using the impedance characteristics.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 19
終了ページ 24
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307151
JaLCDOI 10.18926/15370
フルテキストURL Mem_Fac_Eng_OU_27_2_73.pdf
著者 Kroumov Valeri T.| 井上 昭| 増田 士朗|
抄録 This report deals with the problem of designing an adaptive observer for estimating unknown periodical disturbances. This is very practical problem because in the area of control of servomechanisms such disturbances are always encountered. When the disturbance cannot be directly measured or eliminated at the source it is necessary to perform a prediction. When a periodical disturbance is present the frequencies appear as unknown parameters and they have to be identified. In order to identify the unknown parameters, it is necessary to transform the composite system model, which contains the models of the controlled system and the disturbances, into observable canonical form. In addition, an inverse transformation is required to calculate the estimates of the present disturbances. In this report, firstly, a review of an adaptive observer for estimation of unknown periodical disturbances is presented. Later a calculation of the disturbance estimate is derived using the algebraic programming system REDUCE. The proposed method here allows to perform all the necessary transformations and to obtain the disturbance estimation without using the transformation matrix. The calculations of these transformations are complicated and, hitherto, there is no simple method to perform them. The results of disturbance estimation are illustrated by two examples.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1993-03-25
27巻
2号
開始ページ 73
終了ページ 85
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307731
JaLCDOI 10.18926/15371
フルテキストURL Mem_Fac_Eng_OU_35_163.pdf
著者 Uchiyama Hiromitsu| Miyazaki Satoshi| 大崎 紘一| 梶原 康博| 宗澤 良臣| Matsuki Katsunori|
抄録 We develop an assembly robot system for assembling the flexible belt-shaped subject. An image processing method is developed to recognize the belt-shaped subject. This method is able to determine the grasping point and grasping angle for piking up a subject by a multiple hands unit. CAD information is used to determine the grasping point. The multiple hands unit is developed, which is able to grasp all grasping points of a subject at a time. In addition, the image processing method is used to judge whether a subject is fastened accurately at right position or not during the assembly.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 163
終了ページ 168
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307229
JaLCDOI 10.18926/15372
フルテキストURL Mem_Fac_Eng_OU_30_1_25.pdf
著者 Sun Yonghao| 加川 幸雄|
抄録 Identification of unknown electric charges or sources distributed in space is made from the data observed over the field boundary using dual reciprocity boundary element models. The inhomogeneous term of the Poisson field can equivalently be expressed as the linear combination of the functions associated with the particular solutions to transform into Laplace equation. For the solution procedure, the variational formulation is employed, in which the regular boundary integral approach is incorporated to avoid the singularity. Numerical examples are presented to demonstrate the availability and the capability.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 25
終了ページ 33
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307314
JaLCDOI 10.18926/15373
フルテキストURL Mem_Fac_Eng_OU_35_169.pdf
著者 Ueda Kiyotaka| 大崎 紘一| 梶原 康博| 宗澤 良臣|
抄録 We propose an image processing method for part handling robot for picking up subjects piled in a container. Line laser light is projected on subjects, and its external shape is detected by many segments of a line laser, and pitch, roll, and yaw angles of subject are recognized precisely. A priority rule is settled to choose one subject that is taken out. This rule is determined by considering the grasping space, the position of a subject, the movement space of hand and so on.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 169
終了ページ 175
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307198
JaLCDOI 10.18926/15374
フルテキストURL Mem_Fac_Eng_OU_30_1_35.pdf
著者 Mahmood Zaheed| 加川 幸雄|
抄録 Divergence-free shape functions are proposed for the finite elements, with which inhomogeneously-loaded and arbitrarily-shaped waveguides are analysed. The method is based on vectorial finite element formulation employing edge elements. The shape functions used for the approximation of the fields are shown analytically to be divergence-free and as an evidence, the non-physical solutions that appeared in the longitudinal component finite element formulation have been shown to be absent. To show the validity of the elements, application is made for the analysis of rectangular waveguides loaded with dielectric slab and a waveguide with curved structure. The solutions obtained are compared with the analytical ones or the solutions reported elsewhere. The degree of accuracy has been found satisfactory.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 35
終了ページ 46
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307293
JaLCDOI 10.18926/15375
フルテキストURL Mem_Fac_Eng_OU_35_177.pdf
著者 Kanki Kunihiko| 大崎 紘一| 梶原 康博| 宗澤 良臣| Ohta Kazuharu|
抄録 The focus of this paper is on the analysis of delivery motion of human, development of an image processing method based on the motion analysis and development of the cooperative delivery robot using the image processing method. The proposed image processing method uses two cameras, and it uses a stereo reconstruction technique for measuring position and postures of hands. In addition, this image processing method recognize the number of fingers extending consciously, so the cooperative human beings could choose the kind of tool which he wants by holding out his hand in front of cameras.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 177
終了ページ 182
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307899
JaLCDOI 10.18926/15376
フルテキストURL Mem_Fac_Eng_OU_35_183.pdf
著者 Tabuchi Satoshi| 大崎 紘一| 梶原 康博| 宗澤 良臣|
抄録 This research proposes a strategy for reducing both electricity charge and environmental load by considering multi energy sources. The reduction of the contract electric demand is considered, and its differential cost is used for purchasing substitute power sources. Some variables, such as the amount of reduced contract demand, and amount of electricity are generated by each substitute power source. By using those variables, we formulate a simulation model that enables to minimize the energy cost and environmental cost.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 183
終了ページ 189
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307173
JaLCDOI 10.18926/15377
フルテキストURL Mem_Fac_Eng_OU_30_1_47.pdf
著者 加川 幸雄| Sun Yonghao| Mahmood Zaheed|
抄録 Regular boundary element method is employed for the variational formulation of Helmholtz equation that governs the waveguiding problems. Like in the Charge simulation method, in this method, the source points associated with the fundamental solutions are allocated outside the domain so that the singular integrals which occur in the standard boundary element procedure can be avoided. First, the formulation is developed for the two-dimensional scalar Helmholtz problem solving for the axial components of either electric or magnetic fields. The application of the formulation is shown for simple hollow rectangular waveguide and dielectric-slab-loaded rectangular waveguide. Then the formulation is extended for the analysis of dielectric waveguides of open type incorporating axial components of both electric and magnetic fields, for the solution of the propagating modes which are generally of hybrid types. To show the validity and quality of the formulation, it is applied to a circular step-index optical waveguide and a dielectric rectangular waveguide. Very close agreements have been found when the solutions are compared with the ones obtained by different methods. One distinct merit of the extended formulation is that it has been fixed to suppress the spurious solutions which are encountered while solved by the conventional boundary element method.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 47
終了ページ 62
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307187
JaLCDOI 10.18926/15378
フルテキストURL Mem_Fac_Eng_OU_35_191.pdf
著者 Yoshida Takanobu| 宗澤 良臣| 大崎 紘一| 梶原 康博| Ohta Kazuharu|
抄録 We developed the disassembly system that uses the impulsive load and disassembly tools to disassemble used appliances economically. The main components of this system are impulse hammer, a lift table and developed disassembly tools. Several types of disassembly tools are developed to punch out fastened portion on a part and cut off the shaft of screw or connection pin of IC-chip. A simulation model is proposed to explain and formulate how the fastening point of product is broken and cut. Three kinds of disassembly tools are designed. The actual disassembly system is developed by using proposed simulation models and disassembly tools.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 191
終了ページ 196
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307328
JaLCDOI 10.18926/15379
フルテキストURL Mem_Fac_Eng_OU_30_1_63.pdf
著者 Koshimoto Marcos| Mahmood Zaheed| 加川 幸雄|
抄録 Optical fibers or integrated optical waveguides have arbitrary cross-sectional index or refraction distribution. An efficient finite element method for analyzing the propagation characteristics of dielectric / optical waveguides with open boundary is presented. The propagation modes are hybrid, for which a variational expression is formulated in terms of the longitudinal electric and magnetic field components. Infinite elements are introduced to consider open boundary or to extend the region to infinity. Several specific examples are given and the results are compared with those obtained by other approximate methods. Very close agreements have been found.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 63
終了ページ 73
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307545
JaLCDOI 10.18926/15380
フルテキストURL Mem_Fac_Eng_OU_35_197.pdf
著者 Nogami, Yasuyuki| Morikawa, Yoshitaka|
抄録 Modern communication engineerings, such as elliptic curve cryptographies, often requires algebra on finite extension field defined by modulus arithmetic with an irreducible polynomial. This paper provides a new method to detemine the minimal (irreducible) polynomial of a given proper element in finite extension field. In the conventional determination method, as we have to solve the simultaneous equations, the computation is very involved. In this paper, the well known "trace" is extended to higher degree traces. Using the new traces, we yield the coefficient formula of the desired minimal polynomial. The new method becomes very simple without solving the simultaneous equations, and about twice faster than the conventional method in computation speed.
キーワード finite field minimal polynomial irreducible polynomial higher degree trace trace cryptography
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 2001-03-27
35巻
1-2号
開始ページ 197
終了ページ 205
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307992
JaLCDOI 10.18926/15381
フルテキストURL Mem_Fac_Eng_OU_30_1_75.pdf
著者 東辻 浩夫| 井上 嘉彦| 岸本 篤也| 東辻 千枝子| 奈良 重俊|
抄録 Molecular dynamics of the Yukawa system, the system of particles interacting via the Yukawa or the screened Coulomb potential, are formulated for various statistical ensembles and external conditions. The Yukawa potential smoothly interpolates the long-range Coulomb and the short-range interactions by adjusting a single parameter, the screening length. In order to reduce the effect of boundaries, the periodic boundary conditions are imposed and the deformations of the fundamental vectors of periodicity are taken into account. Ewald-type expressions for interaction energy, force, and kinematic pressure are given explicitly.
出版物タイトル Memoirs of the Faculty of Engineering, Okayama University
発行日 1995-12-28
30巻
1号
開始ページ 75
終了ページ 87
ISSN 0475-0071
言語 英語
論文のバージョン publisher
NAID 120002307479