Search Results:　 1-20 of 3071

1

"Kakenhi" and Conducting Own Research [in Japanese]

Seiya KASAI , Takafumi NOGUCHI , Takeshi KISHINAMI

… Finally, a process of exploration of research subject, verification, and refinement are presented in terms of a long-term approach for conducting research and preparing the Kakenhi application. …

Research reports, Kushiro Technical College 45, 67-72, 2011-12-16

CiNii Fulltext PDF - Open Access CiNii Link1
2

Practical Severe Plastic Deformation Processes For Ultra Grain Refining with Grooved Rolling [in Japanese]

TAMAOKI Kenichiro , KAWANO Kazuya , IIKAWA Takuya , KOMIYAMA Ayumu , SUMI Naoki , NIWA Naotake , ICHINOSE Kanoo , KOBAYASHI Mitsuo , KUBOKI Isao , YUMOTO Atsushi

… The ultra-refinement of grain size is one of the most promising methods for improving mechanical properties of structural materials. … The ultra-refinement of grain size by severe plastic deformation has attracted attention for improving the mechanical properties of metallic materials; …

Research reports of the Kogakuin University (111), 1-6, 2011-10-30

CiNii Fulltext PDF - Open Access
3

Towards on an Interactive Refinement Mechanism for Coq Scripts [in Japanese]

Sosuke Moriguchi , Takuo Watanabe

証明支援系 Coq のプログラムに対する対話的修正機構を提案する.証明支援系はプログラムなどの正しさを証明するために利用されている.しかし,Coq による証明は対象となる体系の定義に密接に関連しているため,定義のわずかな修正に対して多くの不整合が発生する.このような不整合に対し,場所の確認を Coq からのエラーによって発見するという,退屈で,かつ誤りを組み込みやすい作業で行うことが一般的になって …

情報処理学会論文誌. プログラミング 4(4), 41, 2011-09-22

CiNii Link1
4

Proposal of Method for Quantifying Uranium Weight in the Interior of Gas Centrifuge, and Performance Evaluation of IF_7 Treatment Reaction Product Separation and Refinement [in Japanese]

EMA Akira , KADO Kazumi , SUZUKI Kazuhiko

日本原子力学会和文論文誌 = Transactions of the Atomic Energy Society of Japan 10(3), 205-215, 2011-09-01

References (5)
5

Crystal structure of Eu-doped magnetoplumbite-type lanthanum aluminum oxynitride with emission site splitting

Masubuchi Yuji , Hata Tomoyuki , Motohashi Teruki , Kikkawa Shinichi

… Structural refinement using neutron powder diffraction indicated that the lanthanum site occupied partially by Eu^[2+] splits into 2d and 6h sites in the aluminum oxynitride. …

Journal of Solid State Chemistry 184(9), 2533-2537, 2011-09

IR CrossRef
6

Managing latent requirements traceability among requirements, design documents and source codes

Yoshihisa Udagawa

情報システムは社会活動の安心と効率を実現するための基盤を成しており,情報システムの信頼性への要求が高まっている.情報システムの信頼性を向上するための一手法として,統一した開発プロセスによる開発プロセス全体に渡る成果物の管理がある.本文では,要件トレーサビリティの観点からウォーターフォールモデルを詳細化したモデルを提案する.次に,要求,設計,実装工程にまたがるトレーサビリティについて,Web アプリ …

IPSJ SIG Notes 2011-IS-117(9), 1-8, 2011-08-29

CiNii Link1
7

3-107 Enhancing Yumekobo Student Safety through Education and Facilities Refinement [in Japanese]

OTA Masatoshi , ASANO Yasuki , SAKAMOTO Takumi , TAKABA Masato , YOSIE Norio , SINBO Erika

工学・工業教育研究講演会講演論文集平成23年度(59), 46-47, 2011-08-22

CiNii Fulltext PDF - Limited
8

Refinement Check of Sequence Diagrams Using LTSA [in Japanese]

Kazuma Asada , Tomoyuki Yokogawa , Hisashi Miyazaki , Yoichiro Sato

本論文では,UML のシーケンス図で記述され,hMSC に基づいて統合されたソフトウェアの設計記述を対象として,詳細化関係の検証を行う手法を提案する.検証にはモデル検査ツールL TSA を用いる.本手法では,シーケンス図の振る舞いを LTSA の入力記法である FSP によって表現する.さらに,与えられた hMSC に基づいて複数のシーケンス図を合成し,FSP による表現を求める.また,本手法を例 …

IPSJ SIG Notes 2011-SE-173(1), 1-10, 2011-07-14

CiNii Link1
9

Multiscale plasma particle simulation toward development of interplanetary flight system [in Japanese]

USUI Hideyuki

應用物理 80(7), 602-605, 2011-07-10

References (12)
10

Software Reliability Method by Introduction of Refinement Concept to Model Checking [in Japanese]

Takeshi Homma , Akihiro Yamamoto

本研究の目標は,ソフトウェアとその検証過程をあわせた利用者への提示手法を提案することである. 提案手法を用いると,利用者がソフトウェアに対する信頼性を確認するために, 利用者自身が,開発者が検証したときと同じ過程で再現することが可能になる. 検証手法としては,形式的検証手法の 1 つであるモデル検査法を用いる. ソフトウェア検証におけるモデル検査法は, ソフトウェアの動作モデルが制約条件を満足す …

情報処理学会論文誌. プログラミング 4(3), 99, 2011-06-29

CiNii Link1
11

Recent Solidification Processing Researches based on Basic Solidification Theory : Rapid Prototyping of Al Alloys and Grain Refinement of Ni-Base and Fe-Base Alloys [in Japanese]

KAGAWA Akio

Journal of Japan Foundry Engineering Society 83(6), 353-357, 2011-06-25

References (16)
12

Incremental Route Refinement with GPS Enabled Cellular Phones for Human Behavior Support [in Japanese]

Naoharu Yamada , Yoshinori Isoda , Masateru Minami , Hiroyuki Morikawa

本論文では,GPS搭載携帯電話で得られた,測位間隔が長く,測位誤差が大きく,蓄積期間が短い位置情報の履歴から,ユーザが移動中に通過した経路(以降,移動経路と記載)を正確に推定する手法を示す.移動中に取得した連続する2つの位置を包含する最小矩形で移動経路を表現し,過去と同一の移動経路を通過したことを検知して,新たに取得した位置情報を用いて移動経路を逐次的に精錬することで,移動経路を正確に推定する.被 …

Transactions of Information Processing Society of Japan 52(6), 1951-1967, 2011-06-15

CiNii Link1
13

Frame Rate Up-Conversion using Global Motion Compensation Based on Helmert Motion Model [in Japanese]

TAKATA Tadayoshi , TAGAWA Yasuhiro , KATAGIRI Tadayoshi , NAKAO Masashi , MIYAMA Masayuki , MATSUDA Yoshio

本稿では,グローバル動き補償にHelmertモデルを用いた高フレームレート化アルゴリズムを提案する.動き推定にブロックマッチングを用いる場合,拡大縮小,回転のようなグローバル動きの推定が難しい.そこで,平行移動,拡大縮小,回転を表すことのできるHelmertモデルを用いて,グローバル動きを推定する.また,動き推定精度の向上のために,グローバル動き推定では除外マスク,ローカル動き推定では初期値付きダ …

IEICE technical report 111(78), 87-92, 2011-06-02

CiNii Fulltext PDF - Limited
14

High-resolution structure of the recombinant sweet-tasting protein thaumatin I.

Masuda Tetsuya , Ohta Keisuke , Mikami Bunzo , Kitabatake Naofumi

… A comparison of the diffraction data and refinement statistics for recombinant thaumatin I with those for plant thaumatin I revealed no significant differences in the diffraction data. …

Acta crystallographica. Section F, Structural biology and crystallization communications 67(Part 6), 652-658, 2011-06

IR CrossRef
15

Enhancement of Grain Refinement and Mechanical Properties of Cross-Roll Rolled Pure Copper

SONG Kuk Hyun , KIM Han Sol , KIM Won Yong

Materials Transactions 52(5), 1070-1073, 2011-05-25

References (12)
16

Refinement Factors of Mechanical Vibrations on Microstructure of Al-7 mass% Si Alloys

TAMURA Takuya , MATSUKI Toshiro , MIWA Kenji

Materials Transactions 52(5), 830-833, 2011-05-25

References (10)
17

Role-Based Access Control Model-Driven Design Method for Heterogeneous Distributed Environment [in Japanese]

Seiichi Kondo , Mizuho Iwaihara , Masatoshi Yoshikawa , Takashi Komiya , Masashi Torato

官庁,企業等の組織体における機密情報漏えい防止,コンプライアンス対応として,人,機密情報,システム等,組織体を構成する要素,およびそれらの関係で定義されるアクセス制御管理が重要視されている.企業で定められたアクセス制御ポリシを正しく実践するために,ロールベースアクセス制御(RBAC)モデルを用いて設計されたアイデンティティ・アクセス管理(IAM: Identity and Access Manag …

Transactions of Information Processing Society of Japan 52(5), 1882-1898, 2011-05-15

CiNii Link1
18

An Implicit Scheme for Ohmic Dissipation with Adaptive Mesh Refinement

MATSUMOTO Tomoaki

Publications of the Astronomical Society of Japan 63(2), 317-323, 2011-04-25

References (12)
19

Fabrication of Magnesium Based Composite Powders with High Hardness and Hard Magnetic Properties by Mechanical Alloying [in Japanese]

AOKI Sho , KUBOTA Masahiro

… Magnetization of the composite powders obeyed the amount of the barium ferrite powder, whereas coercive force of the MAed powders decreased due to the refinement of the barium ferrite powder.Mg-based composite powders with high hardness and hard magnetic properties were successfully produced by mechanical alloying. …

Journal of the Japan Society of Powder and Powder Metallurgy 58(4), 237-242, 2011-04-15

J-STAGE CrossRef References (22)
20

Development of Technology to Reduce Dysprosium Usage in Nd-Fe-B Magnets [in Japanese]

SUGIMOTO S.

Magnetics Japan 6(2), 81-88, 2011-04-01

References (42)

Search Results:　 1-20 of 3071

Related Authors

Related Journals

Search Results: 1-20 of 3071

Related Authors

Related Journals

Search Results:　 1-20 of 3071