CiNii Search - Design method

1

Automatic Generation of Model Checking Scripts based on Environment Modeling

Yatake Kenro , Nishibata Hirokazu , Aoki Toshiaki

… リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment surrounding the system. … In this paper, we present a UML-based method to model the environment and to generate environment instances from the model. …

Research report IS-RR-2010-001, [1-8], 20100210

CiNii Link1 IR
2

Learn new design from microstructures of scales of butterfly wings [in Japanese]

田畑洋

Journal of Japan Society for Design Engineering 45(2), 59〜64, 2010/2
3

Design method of spherical reflector antennas with a correcting subreflector for spherical aberration [in Japanese]

浦崎修治

Bulletin of Hiroshima Institute of Technology. Research volume 44, 7〜12, 2010/2
4

Recycling and catalytic approaches for the development of a rare-metal-free synthetic method using hypervalent iodine reagent

Dohi Toshifumi

Chemical and pharmaceutical bulletin 58(2), 135〜142, 2010/2
5

Design Method of Digital Robust Controller with Bumpless Switching Function for PWM Power Amplifier [in Japanese]

HIGUCHI Kohji , OKAZAKI Ryosuke , NAKANO Kazushi , MATHUSHITA Koji , CHINO Fumiho

広範囲な負荷変動及び直流電源の電圧変動に対して過渡応答特性が劣化しないロバストなPWM電力増幅器が必要とされる.本論文では,PWM電力増幅器のバンプレス切換機能付ディジタルロバスト制御器の設計法を提案する.バンプレス切換機能は分割された容量負荷範囲に対応するロバスト制御器をバンプレスに切り換える機能であるが,各ロバスト制御器のパラメータ決定法を明確にする必要がある.この制御器の設計に際して,過渡応 …

The transactions of the Institute of Electronics, Information and Communication Engineers. C J93-C(1), 9-22, 20100101

CiNii PDF
6

Design process guide method for minimizing design loops and design conflicts [in Japanese]

古賀毅 , 青山和浩

Transactions of the Japan Society of Mechanical Engineers. C 76(761), 215〜224, 2010/1
7

Noise-adaptive system modeling procedure based on the heuristic method stimulated by comparison [in Japanese]

大塚雄市 , 野口博司

Transactions of the Japan Society of Mechanical Engineers. C 76(761), 207〜214, 2010/1
8

Topology optimization for coupled thermal and structural problems using the level set method [in Japanese]

伊賀淳郎 , 山田崇恭 , 西脇眞二 [他]

Transactions of the Japan Society of Mechanical Engineers. C 76(761), 36〜43, 2010/1
9

Burmester-curves method for synthesis of planar linkage [in Japanese]

田中道彦 , 小林光男

Journal of Japan Society for Design Engineering 45(1), 52〜57, 2010/1
10

Design method of common platform and option module based on proposition of a product family model [in Japanese]

古賀毅 , 青山和浩

Journal of Japan Society for Design Engineering 45(1), 30〜39, 2010/1
11

Design of low-loss connection between two optical waveguides using a genetic algorithm [in Japanese]

服部良太 , 左貝潤一

IEICE technical report 109(403), 89〜94, 2010/1/28・29
12

Design of low-loss connection between two optical waveguides using a genetic algorithm [in Japanese]

服部良太 , 左貝潤一

IEICE technical report 109(402), 89〜94, 2010/1/28・29
13

Design of low-loss connection between two optical waveguides using a genetic algorithm [in Japanese]

服部良太 , 左貝潤一

IEICE technical report 109(401), 89〜94, 2010/1/28・29
14

An estimation method of delay time variation by crosstalk in logic circuit level [in Japanese]

小林政幸 , 仙頭航 , 豊永昌彦 [他]

IEICE technical report 109(395), 161〜166, 2010/1/26・27
15

Evaluation of hardware/software partitioning method with consideration of software parallelization [in Japanese]

松永惇弥 , 村岡道明 , 荒木大

IEICE technical report 109(395), 13〜18, 2010/1/26・27
16

An estimation method of delay time variation by crosstalk in logic circuit level [in Japanese]

小林政幸 , 仙頭航 , 豊永昌彦 [他]

IEICE technical report 109(394), 161〜166, 2010/1/26・27
17

Evaluation of hardware/software partitioning method with consideration of software parallelization [in Japanese]

松永惇弥 , 村岡道明 , 荒木大

IEICE technical report 109(394), 13〜18, 2010/1/26・27
18

An estimation method of delay time variation by crosstalk in logic circuit level [in Japanese]

小林政幸 , 仙頭航 , 豊永昌彦 [他]

IEICE technical report 109(393), 161〜166, 2010/1/26・27
19

Evaluation of hardware/software partitioning method with consideration of software parallelization [in Japanese]

松永惇弥 , 村岡道明 , 荒木大

IEICE technical report 109(393), 13〜18, 2010/1/26・27
20

Band-division design method of uni-directional array-microphone [in Japanese]

荒井智子 , 西川清

IEICE technical report 109(389), 61〜66, 2010/1/25・26

Search Results: 1-20 of 38330

Related Authors

Related Journals