JaLCDOI 10.18926/15362
FullText URL Mem_Fac_Eng_OU_35_97.pdf
Author Yamasaki, Susumu| Kurose, Yoshinori|
Abstract 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.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 97
End Page 135
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307812
JaLCDOI 10.18926/15378
FullText URL Mem_Fac_Eng_OU_35_191.pdf
Author Yoshida Takanobu| Munesawa, Yoshiomi| Osaki, Hirokazu| Kajihara, Yasuhiro| Ohta Kazuharu|
Abstract 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.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 191
End Page 196
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307328
JaLCDOI 10.18926/15357
FullText URL Mem_Fac_Eng_OU_35_53.pdf
Author Kim Tae Yong| Kagawa, Yukio|
Abstract 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.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 53
End Page 61
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307849
JaLCDOI 10.18926/15382
FullText URL Mem_Fac_Eng_OU_35_207.pdf
Author Nakanishi, Toru| Fujiwara Toru|
Abstract In the group signature scheme with a trusted party, a verifier can determine whether or not a signature is made by a member of the group, but cannot identify the member who signed the signature. In case of dispute later on, the signer can be identified by the trusted party. However, for efficient group signature schemes proposed so far, removing a member from the group can be not efficiently performed. In this paper, a group signature scheme with an easy membership canceling is proposed. By sending a request to use a resource together with the group signature on it to the manager of the resource, the manager can control anonymous accesses to the resource. In such an application, the proposed group signature scheme is suitable for canceling of the access privilege.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 207
End Page 212
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307232
JaLCDOI 10.18926/15380
FullText URL Mem_Fac_Eng_OU_35_197.pdf
Author Nogami, Yasuyuki| Morikawa, Yoshitaka|
Abstract 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.
Keywords finite field minimal polynomial irreducible polynomial higher degree trace trace cryptography
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 197
End Page 205
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307992
JaLCDOI 10.18926/15164
FullText URL Mem_Fac_Eng_OU_35_41.pdf
Author Kuroboshi, Manabu| Tanaka, Muneaki| Kishimoto, Suguru| Goto, Kentaro| Tanaka, Hideo|
Abstract 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.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 41
End Page 46
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307948
JaLCDOI 10.18926/15352
FullText URL Mem_Fac_Eng_OU_35_35.pdf
Author Shimamura, Kaoru| Uchida, Tetsuya| Inoue, Tomohiro|
Abstract Rigid polymer, poly(p-phenylene benzobisthiazole), formed lamellar crystals where the molecular chains were oriented perpendicular to the lamellae. It was supposed that, because of wide distribution in the chain length, the lamellar surface bristled with the chain cilia among which many voids were included. Crystallographically, this region afforded us a transitional structure from full to deficient packings of chains. The structure was analyzed using the scanning probe microscope. In the course the method for imaging one molecular chain end was developed. From the images it was concluded that an isolated long cilius did not move so violently at room temperature.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 35
End Page 40
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307784
JaLCDOI 10.18926/15350
FullText URL Mem_Fac_Eng_OU_35_29.pdf
Author Shimamura, Kaoru| Munesawa Yuhji| Uchida, Tetsuya|
Abstract Poly (ethylene-block-vinyl alcohol), which consisted of both hydrophobic and hydrophilic blocks, was prepared by using polyethylene single crystals as starting material. Polyethylene single crystals reacted with fuming nitric acid resulting in long methylene chains with functional groups such as COOH and NO(2) at the ends (the chain length were almost same as the lamellar thickness of polyethylene single crystal). The functionalized methylene chains were allowed to react with 4-aminostyrene to give corresponding amides, i.e., methylene chains with vinyl groups at the ends (macromer). The macromers were extended by block-copolymerization with vinyl acetate, then saponified resulting in PE/PVA block co-polymer. The block copolymer was molded into sheets which were subsequently heat-treated in contact with hydrophilic or hydrophobic media. Depending on the media, the sheet surface changed at high temperature reversibly from hydrophilic to hydrophobic and vice versa. The surface property was fixed by quenching because both blocks were able to crystallize. Thus the surface of this material can be tailored for various purposes at high temperature, and then used in stable at room temperature.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 29
End Page 34
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307155
JaLCDOI 10.18926/15371
FullText URL Mem_Fac_Eng_OU_35_163.pdf
Author Uchiyama Hiromitsu| Miyazaki Satoshi| Osaki, Hirokazu| Kajihara, Yasuhiro| Munesawa, Yoshiomi| Matsuki Katsunori|
Abstract 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.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-03-27
Volume volume35
Issue issue1-2
Start Page 163
End Page 168
ISSN 0475-0071
language 英語
File Version publisher
NAID 120002307229
Author Faculty of Engineering, Okayama University|
Published Date 2001-12
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Volume volume36
Issue issue1
Content Type Others
Author Faculty of Engineering, Okayama University|
Published Date 2001-12
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Volume volume36
Issue issue1
Content Type Others
JaLCDOI 10.18926/46999
FullText URL mfe_36_1_041_049.pdf
Author Totsuji, Hiroo| Kishimoto, Tokunari| Totsuji, Chieko| Tsuruta, Kenji|
Abstract The ground state of spherical clusters of charged particles of one species confined by the three-dimensional parabolic potential is investigated by molecular dynamics simulations with the system size from N = 5000 to N = 1.2 × 10(5) . The cohesive energy per particle is compared between the shell-structured clusters and spherical finite bcc lattices with relaxed surfaces, the former and the latter being the ground states for small systems and for the large enough systems, respectively. It is shown that, when N > N(c)(N(c) > N), finite bcc lattices with relaxed surfaces (the shell structures) have stronger cohesion than the shell structures (finite bcc lattices with relaxed surfaces) and the critical value of the transition N(c) is estimated to be 10(4) < N(c) < 1.4 × 10(4) . The nucleation of the bcc lattice in the shell-structured cluster of 2 × 10(4) ions is observed.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 41
End Page 49
ISSN 0475-0071
language 英語
File Version publisher
NAID 80015112663
JaLCDOI 10.18926/47001
FullText URL mfe_36_1_059_077.pdf
Author Kanatani, Kenichi|
Abstract Contrasting "geometric fitting", for which the noise level is taken as the asymptotic variable, with "statistical inference", for which the number of observations is taken as the asymptotic variable, we give a new definition of the "geometric AIC" and the "geometric MDL" as the counterparts of Akaike's AIC and Rissanen's MDL. We discuss various theoretical and practical problems that emerge from our analysis. Finally, we show, doing experiments using synthetic and real images, that the geometric MDL does not necessarily outperform the geometric AIC and that the two criteria have very different characteristics.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 59
End Page 77
ISSN 0475-0071
language 英語
File Version publisher
NAID 80012855281
JaLCDOI 10.18926/47002
FullText URL mfe_36_1_079_090.pdf
Author Kanatani, Kenichi|
Abstract We first present an improvement of Kanatani's subspace separation [8] for motion segmentation by newly introducing the affine space constraint. We point out that this improvement does not always fare well due to the effective noise it introduces. In order to judge which solution to adopt if different segmentations are obtained, we present two criteria: one is the standard F test; the other is model selection using the geometric AIC of Kanatani [7] and the geometric MDL of Matsunaga and Kanatani [13]. We test these criteria doing real image experiments.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 79
End Page 90
ISSN 0475-0071
language 英語
File Version publisher
NAID 120003497028
JaLCDOI 10.18926/47003
FullText URL mfe_36_1_091_106.pdf
Author Kanatani, Kenichi| Ohta, Naoya|
Abstract We present a theoretically optimal linear algorithm for 3-D reconstruction from point correspondences over two views. We also present a similarly constructed optimal linear algorithm for 3-D reconstruction from optical flow. We then compare the performance of the two algorithms by simulation and real-image experiments using the same data. This is the first impartial comparison ever done in the sense that the two algorithms are both optimal, extracting the information contained in the data to a maximum possible degree. We observe that the finite motion solution is always superior to the optical flow solution and conclude that the finite motion algorithm should be used for 3-D reconstruction.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 91
End Page 106
ISSN 0475-0071
language 英語
File Version publisher
NAID 120003497029
JaLCDOI 10.18926/47004
FullText URL mfe_36_1_107_116.pdf
Author Kanatani, Kenichi| Ohta, Naoya|
Abstract We present a new method for automatically detecting circular objects in images: we detect an osculating circle to an elliptic arc using a Hough transform, iteratively deforming it into an ellipse, removing outlier pixels, and searching for a separate edge. The voting space is restricted to one and two dimensions for efficiency, and special weighting schemes are introduced to enhance the accuracy. We demonstrate the effectiveness of our method using real images. Finally, we apply our method to the calibration of a turntable for 3-D object shape reconstruction.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 107
End Page 116
ISSN 0475-0071
language 英語
File Version publisher
NAID 80012855284
JaLCDOI 10.18926/47005
FullText URL mfe_36_1_117_121.pdf
Author Shirosaki, Yuki| Tsuru, Kanji| Hayakawa, Satoshi| Osaka, Akiyoshi| Takashima, Seisuke|
Abstract γ-Methacryloxypropyltrimethoxysilane (γ-MPS) was grafted to silicone due to emulsion polymerization to induce Si-OH groups, in order to provide silicone with bioactivity spontaneous deposition of apatite in body fluid and to improve cytocompatibility. Apatite deposited on the grafted silicone within 7 days of soaking in 1.5 times as concentrated as the Kokubo solution. Osteoblastic cells (MC3T3-E1) were cultured on the specimens up to 7 days. After 5 days of culture, the number of MC3T3-E1 cells on the grafted specimen was much greater than that on the original specimen. These results indicated that the biocompatibility of silicone elastomer was improved by the grafting γ-MPS.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 117
End Page 121
ISSN 0475-0071
language 英語
File Version publisher
NAID 120003497031
JaLCDOI 10.18926/46995
FullText URL mfe_36_1_001_006.pdf
Author Kondou, Ryouji| Abe, Takeji| Tada, Naoya| Shimizu, Ichiro|
Abstract Change in crystal orientation and strain of individual grains during tensile plastic deformation are studied to clarify on the microscopic deformation behavior of polycrystalline copper. The orientation of grain is measured by electron backscatter diffraction (EBSD) technique in the scanning electron microscope. The principal strain of grain is also measured by obtaining the approximated ellipse of strain distribution. The deformation of grains dependent on their initial orientation and the rotation of the principal strain during uniaxial tension are clarified.
Keywords Polycrystalline Copper Plastic Deformation SEM EBSD Method Grain Orientation Crystal Orientation Map
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 1
End Page 6
ISSN 0475-0071
language 英語
File Version publisher
NAID 120003497021
JaLCDOI 10.18926/46998
FullText URL mfe_36_1_029_039.pdf
Author Imai, Jun| Wada, Kiyoshi|
Abstract A procedure for control-oriented modeling is proposed for large flexible structures with unknown modal parameters. Techniques on quantification of errors in modal truncated nominal models are developed for the case where a finite number of upper and lower bounds of the unknown modal parameters are given. A feasible set of systems matching the conditions is introduced, and then error bounds covering the feasible set are established in the frequency domain. The bounds are easily checked using linear programming for any user-specified frequency. The feasibility of the proposed scheme is illustrated by numerical study on an ideal flexible beam example.
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 29
End Page 39
ISSN 0475-0071
language 英語
File Version publisher
NAID 80012887118
JaLCDOI 10.18926/46996
FullText URL mfe_36_1_007_016.pdf
Author Li, Yan| Abe, Takeji| Tada, Naoya| Kanazawa, Masanori|
Abstract The change in the surface morphology of polycrystalline titanium during tensile plastic deformation is studied, using the scanning probe microscope as well as the laser scanning microscope. The observation shows that the slip occurs mainly near grain boundary at the strain range of ε < 0.05. The slip develops with the applied strain, and the slip on the second slip system or the crossing of slip lines appear. The surface roughness increases linearly with the applied strain. The height difference between the grain boundary area and the inner grain area also increases with the applied strain, though the increase rate becomes low after the applied strain of about 0.3. The nano-scale height difference of the surface step of slip lines increases with the applied strain, though it remains almost constant after the applied strain of 0.4. The averaged surface roughness measured with the scanning probe microscope is in good agreement with that measured with the laser scanning microscope.
Keywords Plasticity Polycrystalline Titanium Tensile Deformation Surface Morphology Slip Twin Probe Scanning Microscope Laser Scanning Microscope
Publication Title Memoirs of the Faculty of Engineering, Okayama University
Published Date 2001-12
Volume volume36
Issue issue1
Start Page 7
End Page 16
ISSN 0475-0071
language 英語
File Version publisher
NAID 80012831215