第16回回路とシステム(軽井沢)ワークショップ
プログラム

プログラム

このページのプログラムは，各論文にアブストラクトを付けています．
アブストラクト無しの短いプログラムはこちらです．

会場受付時間

2003年4月26日(土) 18:00～20:00

2003年4月27日(日) 8:00～

2003年4月28日(月) 8:00～

セッション表

各セッションの論文データ一覧にリンクしています．

2003年4月27日(日)

A	Ba	Bd	C	D
カオス1 9:20-10:10	[Ba/C分科会合同セッション] 高速伝送 9:00-10:15	実現技術I 9:00-10:15		システム設計 9:15-10:15
カオス2 10:40-11:55	サンプリングシステム 10:45-12:00	実現技術II 10:30-12:10	リコンフィギュラブル・コンピューティング 11:00-12:00	ユビキタス 10:45-11:45
非線形回路の数値解析 13:30-14:15	ユビキタス社会を支える高速アナログ回路とアンテナ技術 13:30-14:30	マスストレージ技術 13:30-14:30	ハードウェア設計 13:30-15:00	[An/D分科会合同特別セッション] ハイブリッドダイナミカルシステム(1) 13:00-14:45
非線形回路の数値解析 14:15-15:15	ユビキタス社会を支える高速アナログ回路とアンテナ技術 15:00-17:00	マスストレージ技術 14:45-15:45	レイアウト設計手法 15:30-17:00	[An/D分科会合同特別セッション] ハイブリッドダイナミカルシステム(2) 15:00-17:00
[特別セッション] シグナルインテグリティ 15:30-17:00		マスストレージ技術 16:00-17:00
奨励賞表彰式
特別招待講演: 「産学連携は今後どうあるべきか」白川功(大阪大学)
懇親会

2003年4月28日(月)

A	Ba	Bd	C	D
地球シミュレータ 9:00-10:15	MOS回路 9:00-10:15	信号処理応用 9:00-10:40	プロセッサ合成 9:00-10:30	離散事象システム 9:15-10:15
[An/Bd分科会合同特別セッション] 非線形ディジタル信号処理 10:40-12:10	電源回路 10:45-12:00		システムLSIの社会情報基盤への利用 -Digital Naming社会を目指して- 11:00-12:00	グリッド・コンピューティング 10:45-11:45
非線形振動 13:30-14:45		画像・映像処理技術I 13:20-15:00	[特別セッション] システムレベル検証/評価/見積り 13:30-15:00	グラフ・アルゴリズム 13:00-15:00
非線形ネットワーク 15:15-16:30		画像・映像処理技術II 15:15-16:30		ペトリネット 15:30-16:30
フェアウエル企画

論文一覧(「○」印は発表予定者を表す)

2003年4月27日(日)

セッション SA1-1 カオス1 (9:20-10:10)
座長: 長谷川晃朗 (通信総研)

題名	理想ダイオードを含む区分線形強制ダフィング-ファンデルポール発振器に見られるトーラスとカオス
著者	○関川宗久, 三好徹哉, 塚本和孝, 稲葉直彦(宇都宮大学工学部情報工学科)
ページ	pp. 1 - 6
keywords	トーラス, カオス
abstract	本論文では，ダイオードを含む区分線形強制ダフィング-ファンデルポール発振器の解析を行なっている．ダイオードを理想的なスイッチとみなす，ある種の特異摂動法を用いることにより拘束方程式を導出できる．この場合，ポアンカレ写像を一次元写像として厳密に導出できる．この写像を解析することにより，トーラスとカオスの発生領域の境界を数式として陽に得ることができた．また，2パラメータ分岐図を作成した．Arnold's tongue，intermittency\cite{gucken}，カオスなどの興味深い現象が発生しており，周期解からトーラスへの転移と周期解からカオスへの転移とが明確に識別可能となることを明らかにする．

題名	フローティングゲートMOSFETを用いた非線形抵抗回路による一次元写像回路
著者	○矢ヶ崎知海, 大久保政幸, 堀尾喜彦(東京電機大学工学部電子工学科), 合原一幸(東京大学工学部計数工学科)
ページ	pp. 7 - 12
keywords	一次元写像回路, 離散時間力学系, 非線形抵抗回路, フローティングゲートMOSFET
abstract	フローティングゲートMOSFETを用いた非線形抵抗回路の電圧-電流(V-I)特性を一次元離散時間力学系の非線形写像関数として用いた一次元写像回路を提案する．フローティングゲートMOSFETを用いた非線形抵抗回路によれば，多様なΛ字型およびV字型さらにはN 字型のV-I特性が実現でき，かつ，それらの特性が外部電圧により調整可能である．提案方法ではこの非線形抵抗回路を写像回路として用いるため，同一の回路でさまざまな一次元離散時間力学系が構築できる．そのため，カオスを含む多様なダイナミクスを容易に得ることが可能である．さらに，提案回路は標準的なCMOS半導体プロセスで集積化できるため，応用回路の小型化，高速化が可能となる．本論文では上に凸な単峰写像，下に凸な逆単峰写像，さらにN 字型の写像回路の具体例を示し，個別部品を用いた実験を通して，提案手法の有効性を確認する．

セッション SA1-2 カオス2 (10:40-11:55)
座長: 長谷川幹雄 (通信総研)

題名	インターミッテンシー・カオスのマルコフ・チェインによるモデリング
著者	○上手洋子, 西尾芳文, 牛田明夫(徳島大学工学部電気電子工学科)
ページ	pp. 13 - 18
keywords	インターミッテンシー, カオス, マルコフ・チェイン, ニューラルネットワーク, 組み合わせ最適化問題
abstract	本研究では，ロジスティックマップにより得られるインターミッテンシー・カオスのマルコフ・チェインによるモデリング方法を提案する．特に，インターミッテンシー・カオスの特徴であるラミナー部の持続時間長の分布に注目する．提案したモデルが，インターミッテンシー・カオスのよい性能を持つことを確認するためにインターミッテンシー・カオスとマルコフ・チェインをTSP より解くのが非常に難しいといわれている二次割り当て問題(QAP)を解くホップフィールド・ニューラル・ネットワークに適用したときの性能について評価する．コンピュータシミュレーションの結果，提案したモデルがインターミッテンシー・カオスの性能とよく似た良い結果を示すことが分かった．

題名	Chaos Neurons and Invariant Measures
著者	○Masahiro Nakagawa(Nagaoka University of Technology)
ページ	pp. 19 - 24
keywords	Chaos Neuron, Invariant Measure, Frobenius-Perron Equation
abstract	In this paper, the Frobenius-Perron equations for a few chaos neurons are solved by means of the Fourier expansion scheme in order to derive the invariant measure. To explore the importance of the symmetry of the invariant measure, i.e. chaos neuron dynamics previously proposed, the simultaneous linear characteristic equation for the expansion coefficients will be numerically evaluated. It is also concluded that the symmetry of the invariant measure, which is found to be different for each chaos neurons, may be closely related to the ability of the chaos neurons applied to the practical applications with the neural networks, e.g. associative memory and learning model etc.

題名	動的閾値法によってドライブされたベルヌーイ写像の一考察
著者	○矢野健治, 山田洋己, 田中清(信州大学工学部)
ページ	pp. 25 - 30
keywords	カオス力学系, ベルヌーイ写像, 動的閾値法
abstract	本稿では，カオス軌道を生成する1次元写像のひとつとして知られるベルヌーイ写像の不連続点を写像反復毎に動的に変化させる，動的閾値法(Dynamic Thresholding)によってドライブされたベルヌーイ写像を提案し，その統計的性質について検討している．不連続点の動的なドライブ方法として(i)ランダムドライブ法および(ii)カオス的ドライブ法について検討し，それぞれの場合における軌道のエルゴード性，混合性，リアプノフ数などのカオスを特徴付ける性質について実験的に考察する．

セッション SA1-3 非線形回路の数値解析 (13:30-14:15)
座長: 山村清隆 (中央大)

題名	(招待)SPICEシミュレータの理工学分野への応用
著者	○牛田明夫(徳島大学工学部)
ページ	pp. 31 - 36
keywords	SPICE, Circuit Simulation, CAD, Nonlinear Circuit
abstract	SPICE は誕生(1974年) から既に３０年を経過し[1]-[2]，電子回路の設計における中心的な役割を担っている．その基本的なツールは直流，交流，過渡解析から構成されているが，それを実行する解析アルゴリズムは演算効率，精度等を十分考慮したものとなっている．すなわち，線形代数方程式の求解にはスパース性を考慮したLU 分解法が用いられており，数値積分公式としては可変オーダ-可変ステップ・サイズ方式の後退差分公式(ギアー法の一種)[3] を採用している．一方，素子としてはバイポーラ・トランジスタ，MOSFET を始めとする各種の非線形素子が組み込まれており，パラメータ等を自由に選択できるようになっている．さらに，高機能アナログ・ビヘービアモデル[4] には指数関数，三角関数，べき級数等の組み込み関数が豊富に組み込まれており，これらを利用することによってFortran でプログラムを組むのと同じ方法で数学問題を解くことができる．一方，ネットリストによる入力，回路図入力，出力方法としてはデータ出力，出力波形，波形処理，FFT など汎用性の面でも完成されたものとなっている．そこで，本稿では，SPICE の機能を十分活用した直流解析，非線形代数方程式の求解法，常微分方程式の数値解析などの理工学問題へのアプローチの可能性について議論する．

セッション SA1-3 非線形回路の数値解析 (14:15-15:15)
座長: 丹野真哉 (三洋電機)

題名	An Interval Algorithm for Finding All Solutions of Nonlinear Resistive Circuits
著者	○Naoya Igarashi, Kiyotaka Yamamura(Chuo University)
ページ	pp. 37 - 42
keywords	非線形回路, 数値解析法, 区間解析, 直流解析, 全解探索
abstract	非線形回路（あるいは区分的線形回路）のすべての直流動作点を求める効率的なアルゴリズムを提案する。本手法は区間解析、双対単体法、縮小法に基づくものである。提案手法により、非線形回路に対しては、700変数の回路方程式の全解探索を初めて（数学的保証付きで）行うことに成功した（ちなみにこれまでの最高記録は200 変数）。また区分的線形回路に対しては、線形領域数1000^2000の超大規模問題の全解探索を初めて実用時間内で行うことに成功した（ちなみにこれまでの最高記録は線形領域数10^500）。

題名	An Initial Solution Approach for Globally Convergent Homotopy Methods Solving Transistor Circuits
著者	Yasuaki Inoue(Waseda University), Saeko Kusanobu(University of East Asia), ○Makoto Ando, Kiyotaka Yamamura(Chuo University)
ページ	pp. 43 - 48
keywords	nonlinear circuit, circuit analysis, homotopy method, initial solution, unique solution
abstract	To find DC operating points of transistor circuits, homotopy methods have been studied from various viewpoint. For efficiency of globally convergent homotopy methods, it is important to give an appropriate initial solution as a starting point. However, there are few studies concerning such initial solution algorithms. In this paper, initial solution problems in homotopy methods are discussed, and an effective initial solution algorithm is proposed for globally convergent homotopy methods, which finds DC operating points of transistor circuits efficiently. A new criterion on the initial solution necessary for guaranteeing the global convergence of homotopy methods is presented for a practical class of transistor circuits. Numerical examples show the effectiveness of the proposed algorithm.

セッション SA1-4 [特別セッション] シグナルインテグリティ (15:30-17:00)
座長: 遠矢弘和 (NEC)

題名	瞬時IRドロップの解析手法
著者	○林左千夫, 南文裕, 山田正昭(東芝セミコンダクター社)
ページ	pp. 49 - 54
keywords	瞬時IRドロップ, ダイナミック解析, 電源系ネットワーク
abstract	平均IRドロップの解析ツールは実用化されてきているが、瞬時IRドロップの解析ツールはまだ実用的なレベルには達しておらず、また、実測結果もほとんど存在しない。そのため、瞬時IRドロップの定量的な数値評価は、いまだ不十分な状況である。そこで、瞬時IRドロップの実用的な解析手法を構築し、いくつかのチップについて解析実験をして、分析・評価・考察を行った。その結果、瞬時IRドロップと平均IRドロップとでは1.5倍以上の違いがあり、遅延への影響としては 10%以上の差が生じることがわかった。

題名	電源・グランド間容量が同時切替ノイズに与える影響の解析
著者	○坂田和之, 佐藤高史, 横溝剛一(（株）日立製作所半導体グループ/設計技術開発部)
ページ	pp. 55 - 60
keywords	同時切替ノイズ, 回路シミュレーション, 電源ノイズ, 伝送線路
abstract	同時切替ノイズの発生原理を，LSI, 基板の試作・測定結果とシミュレーションとの比較により解析した。従来のモデルでは十分な精度が得られなかった駆動信号線から離れた位置の電源・グランド電圧の変動を，シミュレーションにより再現した。電流経路を分析することで，立ち上がり時の同時切替ノイズはオンチップ容量を介した高周波電流の回り込みであることがわかった。この結果から，同時切替えノイズのシミュレーションではチップ内 I/O 回路の電源・グランド間容量のモデル化が重要であることを明らかとし，ノイズ低減に効果があるオンチップ容量の大きさを定量的に示した。

題名	配線R(f)L(f)C抽出のための代表周波数決定手法
著者	○土谷亮, 橋本昌宜, 小野寺秀俊(京都大学情報学研究科通信情報システム専攻)
ページ	pp. 61 - 66
keywords	配線, 抽出, 周波数依存性
abstract	本稿では，配線の RLC 抽出に用いる周波数について議論する．従来，回路設計には周波数に依存しない回路モデルが利用されてきた．しかし，周波数が高くなると表皮効果などの影響により，配線特性は周波数依存性を持つ．周波数依存性のある配線特性を単一周波数でモデル化するためには，信号の伝搬特性に大きな影響を与える代表的な抽出周波数を適切に選ばなければならない．本稿では，配線長から抽出周波数を決定する手法を提案する．提案代表周波数を用いて配線をモデル化することで，様々な配線構造と入力パルスに対して精度の高い波形の解析が可能であることを実験的に確認した．

セッション SBa1-1 [Ba/C分科会合同セッション] 高速伝送 (9:00-10:15)
座長: 小林春夫 (群馬大)

題名	2.5V CMOS Fully Differential Low Power High Linearity Analog Line-Driver
著者	○Khayrollah Hadidi(Electrical Enginnering Department, Urmia University, Iran), 大島宗之, 佐々木昌浩, 松本隆(早稲田大学理工学部電気電子情報工学科／早稲田大学大学院理工学研究科)
ページ	pp. 67 - 72
keywords	Line-driver, CMOS, Op-amp, Analog integrated circuit, Low voltage
abstract	xDSLやfast-ethernet等で採用されているfull-duplex systemにおいて，重要な構成要素の一つにAnalog Line-driver(ALD)がある．ALDは低インピーダンスのメタリック・ケーブルを駆動し，アナログ信号を整流・伝送するための回路である． ALDに対する要求としては，伝送信号の線形性の維持，低消費電力化，高速化，小面積が挙げられる．しかし，近年のCMOSプロセスでは，微細化に伴う電源電圧の低下により，必要な出力電圧振幅を生み出すことが困難になってきており，その上で線形性を維持し，高速化を行うことは回路設計者にとって重要な課題となってきている．本論文では，従来のプッシュ・プルインバータバッファを改良することによって，電源電圧2.5V，抵抗負荷75Ωに対して10MHz，2V_p-pのアナログ信号を，高線形性を維持しつつ駆動可能な回路を提案する．また，シミュレーション結果より，消費電力124mW，全高調波歪THD -47.6dBを達成した．

題名	10Gbps高周波信号伝送向けプリント基板回路構造
著者	○豊田英弘, 西村信治(日立製作所中央研究所), 金井久亮(日立製作所生産技術研究所)
ページ	pp. 73 - 78
keywords	ブラインドVia, オープンスタブ
abstract	従来、10Gbps帯の電気伝送において、基板内層の信号線を使用し、かつ高密度に実装することは非常に困難と言われてきた。本研究ではプリント基板の材料と構造を検討することによって、上記信号を基板上に実装することを目指した。電磁界シミュレーションから求めた基板構造に基づき，伝搬損失、クロストーク、Via部オープンスタブによる反射影響評価のための試作基板を作成した。本試作基板は基板材料として低誘電率・低誘電正接材料を用い、通常の積層基板（プリント基板）とマルチワイヤ基板にて製造した。各線路の特性評価の結果、低誘電率・低誘電正接材料を用いることと、ブラインドViaとVia下層の信号層を使用することで、伝送距離を100mm（伝搬損失-3dB、10GHz時）まで使用可能となることが判った。以上により、10Gbpsの信号の電気伝送を基板内層を使用して実現できる事を示した。

題名	ラティラル・バイポーラ・トランジスタの駆動力を使った高速で低エネルギーなCMOSインバータ回路
著者	○秋濃俊郎(近畿大学生物理工学部電子システム情報工学科)
ページ	pp. 79 - 84
keywords	ラティラル・バイポーラ・トランジスタ, SOI, CMOSインバータ回路, 電流増幅率
abstract	回路の数値解析:回路/デバイス/配線/機能モデリング (大別分野記号:As)

セッション SBa1-2 サンプリングシステム (10:45-12:00)
座長: 劉洋 (アナログデバイセズ)

題名	複素バンドパスΔΣAD変調器用マルチビットDAC非線形性のノイズ・シェープ・アルゴリズム
著者	○傘昊, 小林春夫, 川上慎也, 黒岩伸幸(群馬大学工学部電気電子工学科)
ページ	pp. 85 - 90
keywords	複素ΔΣAD変調器, ノイズ・シェーピング, バンドパス・フィルタ, DA 変換器, エレメント・ローテーション
abstract	携帯電話や無線LAN 等の通信システムのRF受信回路に用いられる複素バンドパスΔΣADCを高精度化するための一手法を提案する。ΔΣAD変調器はオーバーサンプリングとノイズ・シェープ手法で高分解能を実現するが、マルチビットΔΣAD変調器を用いる場合、変調器内のDACの非線形性はノイズ・シェープされずADC全体の精度を劣化させてしまう。そこで高精度複素バンドパスΔΣADCを実現するために、わずかなデジタル回路を付加する事でマルチビットDACの非線形性をノイズ・シェープする新しいアルゴリズムを提案する。またその効果をMatlabによるシミュレーションで確認した。

題名	ΔΣA/D変換器用コンパレータに関する考察
著者	○井上直樹, 島健(神奈川大学大学院工学研究科)
ページ	pp. 91 - 95
keywords	ΔΣA/D変換器, コンパレータ, 有限利得
abstract	近年ΔΣA/D変換器が限られたアナログ・コンポーネントを用いるだけで、低域のアナログ信号に対して高精度なA/D変換が可能であることから、オーディオ機器などを中心に使われるようになった。ただしオーバーサンプリング・コンバータであるがゆえに信号帯域の数十倍のサンプリング周波数が必要となり、このことは各コンポーネントに対し性能に対する要求が厳しくなる。とりわけA/D変換の要となるコンパレータが要求する性能について議論することは重要である。今回の報告書では、コンパレータのもつ利得が低くとも、高精度な変換が行なえる可能性について述べる。

題名	Input-Dependent Sampling-Time Error Effects in MOS Sampling Circuits
著者	○Naoto Hayasaka, Haruo Kobayashi(Gunma Univ.)
ページ	pp. 97 - 102
keywords	Sampling, Jitter, Track/Hold, ADC, MOS Switch
abstract	This paper analyses the input-dependent sample-time error in MOS sampling circuits caused by the finite slope of the sampling clock, and clarifies the following: (i) Input-dependent sampling jitter causes phase modulation in the sampled data. (ii) The formulas for SNR due to such sampling errors are explicitly derived. (iii) NMOS sampling circuits generate even-order harmonics, which are greatly reduced by using a differential topology. (iv) CMOS sampling circuits without clock skew between V_{clk} and V_{clkb} generate odd-order harmonics which a differential topology cannot help cancel, whereas circuits with clock skew generate even-order as well as odd-order harmonics. (v) For single-ended sampling circuits, the SNR of CMOS circuits without clock skew is better than that of NMOS circuits. (vi) NMOS differential sampling circuits are relatively insensitive to input-dependent sampling jitter effects, which would be the best regarding to the input-dependent sampling jitter effects.

セッション SBa1-3 ユビキタス社会を支える高速アナログ回路とアンテナ技術 (13:30-14:30)
座長: 兵庫明 (東京理科大)

題名	(招待)ユビキタス社会を支える低電圧高周波アナログ回路 ---電流モードアナログ回路と高周波集積化フィルタ---
著者	○藤井信生(東京工業大学)
ページ	pp. 103 - 103
keywords
abstract

セッション SBa1-4 ユビキタス社会を支える高速アナログ回路とアンテナ技術 (15:00-17:00)
座長: 兵庫明 (東京理科大)

題名	(招待)快適な無線通信環境を実現するためのスマートアンテナ
著者	○庄木裕樹(東芝)
ページ	pp. 105 - 110
keywords	スマートアンテナ, アダプティブアンテナ, 適応制御, 無線通信
abstract	スマートアンテナは，無線機の使用環境に応じて最適なアンテナ性能（例えばビームパターンの最適成形など）を適応的に実現するアンテナの総称である。その起源は古いが，干渉波対策などの目的でレーダなど特殊な用途に限られていた。しかし，近年の無線通信に対する需要の増加に伴い，限られた電波資源（周波数帯域）を有効利用するなどの目的のために民生用の無線通信システムへスマートアンテナを適用するための研究開発が進められている。以上のような背景の中，筆者らの開発したローカル位相制御方式による低コスト化なスマート制御IC，およびこれを用いたスマートアンテナ試作機について紹介する。

題名	(招待)無線通信回路技術動向
著者	○小久保優, 田中聡(日立製作所中央研究所通信デバイス研究部)
ページ	pp. 111 - 116
keywords	transceiver, radio, direct conversion, low-IF, PLL
abstract	携帯電話や無線LAN, Bluetoothのような無線を利用した機器が広く普及し、いつでも利用できる環境が整い、ユーザの利便性が大きく向上した。このような携帯機器の進歩は、十数年来の高周波集積回路技術の進歩の賜物であり、今後も携帯機器の小型・低電力化をリードする重要な技術である。ここでは、集積化に着目した無線周波数帯の送受信回路(トランシーバ)技術の推移と最新の回路技術を紹介する。無線トランシーバの送受信方式として、ダイレクト変復調技術と間接変復調技術の利害得失を説明し、集積化する上での課題を述べる。また、最新の学会等からの報告をもとに、それぞれに適した回路技術を紹介する。

セッション SBd1-1 実現技術I (9:00-10:15)
座長: 西川清史 (都立大)

題名	ΔΣ変調による1ビットディジタル信号の乗算手法
著者	○折野裕一郎, 黒澤実(東京工業大学大学院総合理工学研究科), 片桐崇((有)プライムモーション)
ページ	pp. 117 - 122
keywords	ディジタル信号処理, ΔΣ変調, 1ビットディジタル信号処理, 乗算器, 移動平均フィルタ
abstract	高速，高精度なディジタル信号処理システムの低コスト化をめざし，1ビット信号を入出力する乗算器の新しい手法を提案する．実現方法を2通り示し，回路規模対精度の検討により，出力精度同一の条件では従来のマルチビット乗算器より小型に実現できる可能性を指摘する．また，周波数応答，ステップ応答を評価し，提案する1ビット乗算器の設計指針を各特性に基づいて示す．

題名	遺伝的アルゴリズムによる複数の定数乗算回路の最適合成手法
著者	天川昌充, ○佐々木孝雄, 豊嶋久道(神奈川大学工学部電気電子情報工学科豊嶋研究室)
ページ	pp. 123 - 128
keywords	複数の定数乗算回路, 遺伝的アルゴリズム, 加算器数, 加算段数, 最適化
abstract	複数の定数乗算回路は，フィルタ，線形変換などディジタル信号処理においてしばしば現われる回路であり，回路規模，消費電力の点から演算量を最小とする合成手法が望まれる．著者らは既にスタック型オペレータを遺伝子とした遺伝的アルゴリズムによる合成方法を提案しているが，合成する回路によっては探索範囲が膨大となり最適化が困難になるという問題点があった．そこで本研究では，加算される枝の組合せに順位付けをし，各加算における順位を並べたものを遺伝子とし，加算器数と加算段数を評価する方法を採用する．これにより遺伝子集団中の適応度が上がるため，最適化の効率を上げることができる．

題名	タブーサーチによるFIRディジタルフィルタの係数乗算ブロック最適化
著者	○松本有弘, 佐々木孝雄, 豊嶋久道(神奈川大学工学部電気電子情報工学科豊嶋研究室)
ページ	pp. 129 - 134
keywords	タブーサーチ, FIRディジタルフィルタ, 乗算ブロック, グラフ表現
abstract	FIRディジタルフィルタの設計では，フィルタ係数を演算回路のビット長に合わせて量子化する事により特性が劣化してしまう．一方で，FIRフィルタは回路中の複数の乗算部を乗算ブロックとして演算器を共有化させることにより回路の計算量の削減が可能である． FIRフィルタの設計では，この特性と回路規模の両面を考慮した設計が必要となる．本研究では，グラフ表現された係数乗算ブロックに対してタブーサーチ (Tabu Search,TS)を用いることで，回路の計算量を変化させずに係数を変化させ，量子化により劣化したフィルタ特性を向上させる方法を提案する．

セッション SBd1-2 実現技術II (10:30-12:10)
座長: 村松正吾 (新潟大)

題名	リフティング構成されたウェーブレットにおける乗算器係数感度の解析と応用
著者	○外村喜秀, 倉重宏之, 岩橋政宏(長岡技術科学大学電気系)
ページ	pp. 135 - 140
keywords	ウェーブレット
abstract	リフティング構成によるウェーブレット変換は、フィルタ処理後にラウンディング処理を行うことにより帯域信号を整数値で表せる。そのため、可逆・非可逆統合符号化の一手法として注目されている。このリフティング構成されたウェーブレットの乗算器係数値は一般に実数値で与えられ、この係数を近似することで演算負荷の軽減が可能となりリアルタイム・ソフトウェア・デコーダや機能メモリにおいて有効であると考えられる。そこで本報告では、近似誤差すなわち乗算器係数の有限語長化誤差がウェーブレット内部をどのように伝播するかを9/7フィルタを例に調べ、いくつかの仮定のもとで再生信号の劣化量を理論的に解析する。そして、帯域信号の自己相関、相互相関、誤差変動の微小性が有限語長化誤差の分散値にどのように影響するかを定量的に評価する。また、得られた結果を乗算器係数の語長配分などに応用する。

題名	整数DCTにおける乗算器係数感度の理論解析とその応用
著者	○中川光太郎, 杉森新, 岩橋政宏(長岡技術科学大学)
ページ	pp. 141 - 146
keywords	整数DCT, 有限語長化
abstract	可逆／非可逆・統合符号化の一手法として整数DCTが近年注目されており、これまでにいくつかの回路構成法は提案されているが、演算負荷の軽減を目的とした乗算器係数の短語長化についてはあまり報告されていない。西田らは短語長化の画質劣化への影響として画質係数感度を定義し、その値を実験的に求めて係数値の語長配分に応用した。しかし、係数感度の理論的な導出はなく、誤差発生のメカニズムは解明されていない。そこで本報告では、整数DCT内部における短語長化誤差の伝播経路を調べることで、いくつかの仮定の下で画質係数感度を理論的に導出し、感度の入力依存性、最大有効語長、最適語長配分について定量的に解析・評価する。

題名	ゼロ値予測に基づくDCT演算数削減手法の提案とその評価
著者	○西田敬宏(福岡大学大学院工学研究科電子工学専攻), 井上弘士(福岡大学工学部電子情報工学科), Vasily G. Moshnayaga(福岡大学工学部電子情報工学科)
ページ	pp. 147 - 152
keywords	低消費エネルギー, DCT, 量子化, 値予測
abstract	本稿では、ゼロ値予測を用いたDCTの演算数削減手法を提案する。通常、ブロックを構成する8×8画素の全てはDCT処理により周波数成分に変換され、その後、量子化される。そのため、1ブロック当りのDCT演算は乗算ならびに加算が共に1024回、量子化演算は乗算が64回必要となる。これに対し、提案手法ではゼロ値予測を行うことで演算量を削減する。一般に、DCT処理を行った結果、高周波成分は0値近傍に集中する。そして、これらは量子化によって0に近似される。そこで、DCT処理において、複数の連続した演算結果がゼロ値であった場合、それ以降、当該ブロック内の全てのDCT演算結果をゼロ値と予測する。ゼロ値予測されたDCT結果に関しては量子化処理も不必要となる。DCT演算数を最大29％、量子化演算数を最大59％削減できた。その時のPSNRは54.39dBであった。

題名	A Tuning Accuracy Improvement of 2-D Variable IIR Digital Filters Using the Quasi-Newton Method
著者	○Hyuk-Jae Jang, Masayuki Kawamata(Tohoku Univ.)
ページ	pp. 153 - 158
keywords	variable digital filter, 2-D IIR filter, reduced-dimensional decomposition form, quasi-Newton method
abstract	This paper proposes a realization method of 2-D variable IIR digital filters with improved tuning accuracy using the quasi-Newton method. In our approach, the reduced-dimensional decomposition form is used as the prototype filter of the 2-D variable digital filters to suppress the degradation of frequency tuning accuracy. Furthermore, the compensation coefficients are added to the variable circuit in order to minimize the frequency tuning error due to the linear approximation. The optimal compensation coefficients are estimated by using the quasi-Newton method. A numerical example is presented to demonstrate the effectiveness of the proposed design method.

セッション SBd1-3 マスストレージ技術 (13:30-14:30)
座長: 木村誠聡 (日本IBM)

題名	(招待)塗布型高密度磁気記録媒体の最近の技術
著者	荒木宏明(富士写真フィルム)
keywords
abstract

セッション SBd1-3 マスストレージ技術 (14:45-15:45)
座長: 尾保手茂樹 (茨城大)

題名	(招待)垂直磁気記録のための信号処理方式
著者	○大沢寿, 岡本好弘(愛媛大学)
ページ	pp. 159 - 164
keywords	垂直磁気記録, ＰＲＭＬ方式, ＡＲチャネルモデル, ポストプロセッサ
abstract	将来の超高密度記録用の記録方式として期待されている垂直磁気記録のための信号処理方式について述べている。まず、垂直磁気記録のための信号処理方式としてPR2ML方式の概要について述べている。次いで、自己回帰(AR)チャネルモデルを用いたPRML方式(PR2ML-AR方式)とその復号誤りをビット単位で訂正できるインターリーブドパリティ符号化及びポストプロセッサについて提案している。そして、PR2ML方式に比べてPR2ML-AR方式とポストプロセッサの組み合わせ方式は、10^-4のビット誤り率を達成するのに要する所要SN比において、最大で約4dBの改善が得られることを示している。

セッション SBd1-3 マスストレージ技術 (16:00-17:00)
座長: 木村誠聡 (日本IBM)

題名	(招待)超高速大容量のハードディスクを支える最新サーボ技術
著者	○仙波哲夫, 内田博, 各務直行(日立グローバルストレジテクノロジーズ)
ページ	pp. 165 - 170
keywords	コマンド・リオーダリング, シーク制御, 加速度フィードフォワード, モデル追従型制御, 加速度センサー
abstract	ハード・ディスク・ドライブの高性能化を達成する最新の３つの技術について解説する．ひとつはコマンド・リオーダリングで，ホストからのコマンドを全体のアクセス時間が最短になるように並び替える技術である．もうひとつは，最短時間で，かつ機構系の振動を励起しないようにして目標位置にヘッドを移動させるシーク制御技術である．さらに，ドライブに加わる振動をセンサーで検出し，振動があっても正確にトラックに追従させる加速度フィードフォワード技術である．これらの最新技術を用いて高速大容量のハード・ディスク・ドライブが実現されている．

セッション SC1-2 リコンフィギュラブル・コンピューティング (11:00-12:00)
座長: 木村晋二 (早稲田大)

題名	自己再構成可能論理デバイスにおける適応的負荷分散モデル
著者	多田一仁(京都大学工学部電気電子工学科), ○神山真一, 湯浅隆史, 泉知論, 尾上孝雄, 中村行宏(京都大学大学院情報学研究科通信情報システム専攻)
ページ	pp. 171 - 176
keywords	再構成可能論理デバイス, 動的再構成, 負荷分散
abstract	PCA (Plastic Cell Architecture)は、デバイスの動作中にその一部を自ら書き換えることができる機能を有している。この機能の応用として、ある処理の負荷が増大した場合にそれを実行する回路を増やし、全体の性能向上をはかる適応的負荷分散処理が挙げられる。本稿では、PCA上で適応的負荷分散処理を実現するモデルについて検討を行う。本モデルでは、2つの処理が限られた資源（再構成領域）を共有し、負荷状況に応じてそれぞれの回路を増減させる。目的の処理を実行する回路ひとつと制御回路をひとつの単位とし、同じ構造を持つ単位が相互に局所的な連携を行なうことにより、全体として所望の機能を実現する。

題名	PCAにおけるマスタ・スレーブ型適応的負荷分散モデルの提案と実装
著者	○伊藤俊之, 高橋宏章, 北道淳司, 黒田研一(会津大学大学院コンピュータ理工学研究科)
ページ	pp. 177 - 182
keywords	動的再構成, PCA, 負荷分散, 自律再構成, FPGA
abstract	本稿では動的再構成可能なデバイスであるPlastic Cell Architecture (PCA)の自律再構成の特徴を活用した負荷分散モデルを提案する．提案するモデルは，過負荷を検出して分散させるための管理ユニットをマスタとし，アプリケーションに応じた処理を行う複数の処理ユニットをスレーブとするマスタ・スレーブ型のモデルを採用している．このモデルは管理ユニットの構成を変更することなく負荷の状況に適応して自律的に処理ユニットの数を増減させることを可能としている点に特長がある．再構成可能デバイス上で処理ユニットの数を負荷に適応して可変とするために必要となる管理ユニットおよび処理ユニットの構成条件について述べるとともに，本稿で提案したモデルを動的再構成可能デバイスであるPCA-1チップ上に実装し，実装サイズや処理オーバヘッドについて評価する．

セッション SC1-3 ハードウェア設計 (13:30-15:00)
座長: 橋本昌宜 (京都大)

題名	液晶パネル向け疑似濃淡画像生成回路の設計
著者	○古家眞, 陸峰(大阪大学大学院情報科学研究科), 李副烈(シャープ株式会社), 藤田玄, 尾上孝雄(大阪大学大学院情報科学研究科), 築山修治(中央大学理工学部), 西修司, 久保田靖(シャープ株式会社), 白川功(大阪大学大学院情報科学研究科), 今井繁規(シャープ株式会社)
ページ	pp. 183 - 188
keywords	疑似濃淡化, TFT, システムオンパネル
abstract	液晶ディスプレイは，情報家電などの分野を中心として広く普及しており，現在，さらなる高性能化，多機能化に向けた技術革新に向け，画面（ディスプレイ）と周辺回路を同じ基板上に形成する一体化技術（システムオンパネル）の開発が進められている．本文ではシステムオンパネル技術を用いたTFT液晶パネル駆動回路向け擬似階調生成回路の設計について述べる．設計においてはTFTプロセスを考慮し，4並列のデータ処理ユニットを用いることで実時間処理を可能とする．3umTFTプロセスを用いて設計を行った結果，面積42mm×5mmで実時間処理可能な320×240液晶パネル駆動回路向け擬似階調生成回路を実現した．

題名	遺伝的アルゴリズムによる定数乗算回路のハードウェア設計
著者	○込宮英幸, 佐々木孝雄, 豊嶋久道(神奈川大学工学部電気電子情報工学科豊嶋研究室)
ページ	pp. 189 - 194
keywords	定数乗算回路, 遺伝的アルゴリズム, 桁上げ保存加算器, 半加算器
abstract	定数乗算はシフトと加算で実現されるが，ハードウェア設計としては加算に桁上げ保存加算器(CSA)を用いることが多い．本研究では，機能評価の簡略化のため遺伝子を桁上げ伝搬加算器 (CPA)として表現し，機能を満たす遺伝子をCSAに変換し，その回路規模，遅延時間を最小とするような回路を遺伝的アルゴリズムを用いて設計する方法を提案する。

題名	Post-Floorplan Control Schedule under Max/Min Logic/Interconnect Delays
著者	○Mineo Kaneko, Koji Ohashi(Japan Advanced Institute of Science and Technology)
ページ	pp. 195 - 200
keywords	scheduling, RTL architecture, interconnect delay
abstract	In this paper, we will focus our attention on post-floorplan scheduling problem and propose a novel model for control signal schedule under max/min logic/interconnect delay. Once binding and floorplan have been fixed, we will extract delay information of each signal transmission path. Using those delay information, we will formulate the problem to schedule control signals (not operations themselves). Peculiar features of our approach are; (1) our model can treat uncertainty/fluctuation of signal delay in the form of max/min delay. (2) our model not only consider interconnect delay in data-path part but also can handle interconnect delay from a controller to a component in data-path part.

セッション SC1-4 レイアウト設計手法 (15:30-17:00)
座長: 泉知論 (京都大)

題名	Network-Flow Based Delay-Aware Circuit Partitioning Algorithm
著者	○Masato Inagi, Atsushi Takahashi(東工大集積システム専攻)
ページ	pp. 201 - 206
keywords	partitioning, FPGA, I/O, delay, slack
abstract	We propose a delay-aware circuit partitioning algorithm under I/O pins and size constraints. These two constraints are essential in multi-device implementation. The partitioning in multi-device implementation affects the delay much, since the propagation delay of inter-device connection is considerably larger than that of intra-device connection. Many approaches without considering delay fail to obtain a reasonable solution. Our partitioning algorithm is an enhancement of a partitioning algorithm based on flow network without considering delay, called PART. The idea of our enhancement is the reflection of timing slack into the flow network in order to avoid cutting tighter slack net. Our algorithm is implemented and applied to benchmark circuits. In experiments, we observed that the maximum propagation delay between registers is shorter and the number of sub-circuits is smaller compared with PART.

題名	ソフトモジュールを含むフロアプラン探索の一手法
著者	○糸賀裕明(東京農工大学大学院工学研究科電気電子工学専攻), 藤吉邦洋(東京農工大学工学部電気電子工学科)
ページ	pp. 207 - 212
keywords	フロアプラン, ソフトモジュール, 制約グラフ
abstract	VLSI のレイアウト設計において，配置問題を解く前にしばしばフロアプランを求める．フロアプラン設計では，最適なフロアプランの探索を行うが，その探索の際にソフトモジュール（与えられた面積の下で縦横比を変更できるモジュール）の縦横比の決定も含めた最適化が望まれる．本稿では，チップの高さができるだけ増加しない様にチップの幅を 1 次元圧縮するための，縦横比を変更するソフトモジュール集合を効率的に選択する手法を提案する．この手法では，制約グラフの平面性に着目し，パスを求めることによってその集合が得られるグラフを作成して用いる．さらに，選択したソフトモジュール集合の各要素に対して縦横比を変更する発見的な手法を提案する．そして，本手法をフロアプラン探索へ組み込んで実験を行い，良好な結果を得た．

題名	An ILP-Based Algorithm for Crosspoint Assignment under Crosstalk Constraints with Shielding Effects
著者	○Yasuhiro Takashima(北九州産業学術推進機構), Shigetoshi Nakatake, Yoji Kajitani(University of Kitakyushu)
ページ	pp. 213 - 218
keywords	crosspoint assignment, global routing cell, crosstalk, shielding effects
abstract	This paper presents a crosspoint assignment (CPA) algorithm that takes into consideration crosstalk noise and shielding effects in deep sub-micron design. We provide the formulation for a single boundary based on an integer linear programming. In the formulation, we introduce d-pitch and {d,1}-pitch constraints to separate adjacent nets not closely to each other but considering shielding effects. Furthermore, we give discussion about an algorithm for multi-boundary. Experiments for industrial instances demonstrated that our algorithm attained compact assignments to avoid crosstalk violations in practical time.

セッション SD1-1 システム設計 (9:15-10:15)
座長: 酒井良哲 (東芝)

題名	オンデマンド輸送計画システムに対する運行計画手法
著者	中丁和也, ○宮本俊幸, 熊谷貞俊(大阪大学大学院工学研究科電気工学専攻)
ページ	pp. 219 - 224
keywords	デマンドバスシステム, 運行計画, リアルタイム処理, 自律分散システム
abstract	オンデマンド輸送計画システムの一つであるデマンドバスシステムを取り上げ，その運行計画手法を提案する．このデマンドバスシステムは利用客のバスへの割り当て問題，およびバスのルート作成問題をリアルタイムで高速に処理する必要がある．提案手法では，各バスに対応したバスエージェント群からなるマルチエージェントシステムにより問題の高速処理が可能であり，利用客の乗降車に対する遅延時間およびバスの運行コストを減らすことが目的である．また，計算機実験によって提案手法の検討を行った．

題名	万葉集検索システムにおける異訓情報の生成法について
著者	○中田充, 大鶴仁美, 葛崎偉, 吉村誠(山口大学教育学部)
ページ	pp. 225 - 230
keywords	データベース, テキスト処理
abstract	万葉集には多くの写本や注釈書が存在し、和歌本文以外にも和歌の題詞、左注、異訓、異同などの様々な情報がある。万葉集研究では、これらの情報を含めて和歌を検索可能なシステムが必要とされている。このような背景のもと、筆者らは万葉集の和歌を異訓、異同などを意識することなく検索可能な検索システムを構築している。しかし、従来のシステムは、「ある読みの漢字が、万葉集において他にどのように読まれているか」という異訓情報をもたないため、漢字の読みによる柔軟な和歌検索ができないという問題がある。そこで、本研究では、異訓情報の生成について検討し、検索システム中の和歌データと幾つかの関連情報を元にした生成法を提案する。

セッション SD1-2 ユビキタス (10:45-11:45)
座長: 巳波弘佳 (関西学院大)

題名	(招待)ユビキタスサービスの技術動向と今後の展望
著者	大和淳司, 阪本秀樹, 久保田稔(日本電信電話)
keywords
abstract

セッション SD1-3 [An/D分科会合同特別セッション] ハイブリッドダイナミカルシステム(1) (13:00-14:45)
座長: 西尾芳文 (徳島大)

題名	(招待)ハイブリッドシステムの制御
著者	○潮俊光(大阪大学大学院基礎工学研究科)
ページ	pp. 231 - 236
keywords	ハイブリッドシステム, スイッチトアライバルシステム, ハイブリッドオートマトン, ハイブリッド制御
abstract	招待講演

題名	(招待)ハイブリッドシステムの形式的検証手法の動向
著者	○山根智(金沢大学工学部情報システム工学科)
ページ	pp. 237 - 242
keywords	ハイブリッドシステム, 計算機科学, 形式的検証, セマンティックモデル, モデル検査
abstract	ハイブリッドシステムはアナログ環境に組み込まれたデジタルな実時間システムであり, 多数のsafety-criticalなシステムはハイブリッドシステムとしてモデル化される. ゆえに, ハイブリッドシステムの正当性を検証する研究は非常に重要な分野であり, 近年, 計算機科学の分野においては, ハイブリッドシステムの形式的検証の研究が盛んである. 本稿では, まず, ハイブリッドシステムのセマンティックモデルを紹介して, 次に, その形式的検証手法の動向を述べる.

セッション SD1-4 [An/D分科会合同特別セッション] ハイブリッドダイナミカルシステム(2) (15:00-17:00)
座長: 潮俊光 (大阪大)

題名	サンプル値区分的アファインシステムの最適制御とCPUの高速・省電力化制御への応用
著者	○東俊一, 井村順一(東京工業大学)
ページ	pp. 243 - 248
keywords	hybrid systems, sampled-data, piecewise affine systems, optimal control, controllability
abstract	This paper discusses the optimal continuous-time control problem of a class of continuous-time piecewise affine (PWA) systems with the sampled-data autonomous switching, which we call here the sampled-data PWA systems. First, the optimal continuous-time controller is derived for the finite-time optimal control problem, and the feasibility for this problem is discussed in terms of the controllability notion. Next, this controller is applied to the high-speed and energy-saving control problem of CPU.

題名	Synthesis of Hybrid Systems with Limit Cycles Using Piecewise Quadratic Lyapunov Functions
著者	○Masakazu Adachi, Toshimitsu Ushio, Shigeru Yamamoto(Graduate School of Engineering Science, Osaka Univ)
ページ	pp. 249 - 254
keywords	hybrid systems, limit cycles, Lyapunov functions
abstract	This paper proposes a synthesis method for hybrid systems with nonsmooth limit cycles. In the proposed method, a given periodic orbit is splitted into some ellipsoidal curves, we calculate a piecewise quadratic Lyapunov function V(x) such that V(x) is constant on the curve, and we obtain a desired hybrid system with a stable limit cycle.

題名	連続系の挙動を考慮に入れたPLCの動作検証
著者	○小中英嗣, 鈴木達也, 大熊繁(名古屋大学大学院工学研究科)
ページ	pp. 255 - 260
keywords	PLC, 動作検証, ハイブリッドシステム
abstract	シーケンス制御を実行する代表的な制御器にPLC(Programmable Logic Controller)があり，PLCを用いた制御系はこれまで離散事象系として扱われてきた。 PLCのプログラム言語としてラダー図やSFCなどがあるが，これらで記述されたプログラムの動作検証を行う場合，何らかの形で制御対象のモデルが必要となる。従来手法では，制御対象を制御則同様，離散事象系としてモデル化し，閉ループを離散事象系として扱うことで制御則の検証を行っている。しかし，これらの手法では本来連続系として扱われるべき制御対象の挙動に関する情報が失われてしまう。そこで本論文では制御対象を連続系としてモデル化し，制御対象のより細かな挙動を考慮した動作検証，とくに安全性検証に焦点を当てた検証アルゴリズムを提案する。

題名	アポトーシスシグナル伝達経路の Genomic Object Net によるモデル化とシミュレーション
著者	○土井淳(山口大学大学院理工学研究科), 田中由紀子(山口大学理学部自然情報科学科), 長崎正朗(東京大学医科学研究所ヒトゲノム解析センター), 青島均, 松野浩嗣(山口大学理学部自然情報科学科), 宮野悟(東京大学医科学研究所ヒトゲノム解析センター)
ページ	pp. 261 - 266
keywords	シミュレーション, ペトリネット, バイオパスウェイ, バイオインフォマティクス, モデリング
abstract	我々は、ハイブリッド関数ペトリネットによって、生物システムのモデル化とシミュレーションを行うことを提案してきた。今回、ハイブリッド関数ペトリネットを記述するツールとして開発したGONを用いて、アポトーシスシグナルが伝達され、細胞が核の断片化を引き起こすまでのパスウェイを記述し、シミュレーションを行った。その結果、Fasリガンドによって、カスパーゼが連鎖的に活性化し、最終的にDNAの断片化を誘導する様子を再現できた。さらにツールのインターフェイスの向上により、より生物学のモデルに近い表現になったことを紹介する。これによって、GONで記述された生物モデルの理解と作成が容易になると考えられる。

特別招待講演 (17:40-18:40)
座長: 太田淳 (愛知県立大)

題名	(招待)産学連携は今後どうあるべきか
著者	白川功(大阪大学大学院情報科学研究科)
keywords
abstract

2003年4月28日(月)

セッション SA2-1 地球シミュレータ (9:00-10:15)
座長: 横溝剛一 (日立)

題名	(招待)地球シミュレータ
著者	○平野哲(海洋科学技術センター横浜研究所地球シミュレータセンター)
ページ	pp. 267 - 272
keywords	地球シミュレータ, ベクトルプロセサ, クロスバー, ードンベル
abstract	平成７年度から５年の歳月と約４００億円（建物は別途７０億円）をかけて地球シミュレータ研究開発センター（ＥＳＲＤＣ）が開発してきた地球シミュレータ（ＥＳ）は平成１４年２月末に予定どおり調整が終わり、性能確認がなされ、地球シミュレータセンター（ＥＳＣ）に引渡された。３月１日から稼動開始して丁度１年が経過した。３月から７月までは、ＥＳの共同開発にあたった、日本原子力研究所（ＪＡＥＲＩ）、宇宙開発事業団（ＮＡＳＤＡ）、海洋科学技術センター（ＪＡＭＳＴＥＣ）及びＥＳＣの研究者、技術者による運用を行い、システムの安定化に努めた。７月１５日からは公募された課題による利用が始まり、１１月には追加公募、現在４０課題５２６アカウントの利用者により使用されている。その結果、平成１５年に入ってからの使用率（ノード×時間）は、８０％を越えて満杯状態となりジョブ投入から結果受け取りまで１日以上かかる混雑状態となっている。本報告では、ＥＳの開発を振り返り、その構成、性能、運転状況、利用状況、研究結果（一部）について述べる。

セッション SA2-2 [An/Bd分科会合同特別セッション] 非線形ディジタル信号処理 (10:40-12:10)
座長: 棟安実治 (関西大)

題名	指紋復元のためのディジタル反応拡散システムの設計
著者	○伊藤康一, 青木孝文, 樋口龍雄(東北大学大学院情報科学研究科)
ページ	pp. 273 - 278
keywords	反応拡散システム, 非線形フィルタ, 画像復元
abstract	本論文は，ディジタル反応拡散システム(Digital Reaction-Diffusion System: DRDS)を用いたかすれた指紋画像を復元するアルゴリズムを提案する．ディジタル反応拡散システムは，反応拡散システムを時間・空間で離散化したモデルであり，生物系のテクスチャやパターンの生成に有用である．本論文では，かすれた指紋画像が与えられたときに，元の指紋パターンを復元することができるDRDSを設計する．また，本論文で提案する指紋復元アルゴリズムの処理を高速化するために並列Octaveを用いた並列化についても述べる．

題名	分割型フィルタを用いたガウス性雑音と高発生確率のインパルス雑音の混合雑音除去手法
著者	○山下哲孝, 呂建明, 関屋大雄, 谷萩隆嗣(千葉大学大学院自然科学研究科)
ページ	pp. 279 - 284
keywords	分割型フィルタ, 画像処理, ニューラルネットワーク, 雑音除去, 混合雑音
abstract	本研究では，ガウス性雑音と高発生確率のインパルス雑音の混合雑音を除去するフィルタとして,信号の削減とニューラルネットワーク(NN)を利用した，新しい分割型フィルタを提案する.提案したフィルタでは，入力信号から画素値の最大値側と最小値側の信号の削除を行う．削減処理によって，入力信号からインパルス雑音を除去することができ，残った信号列にはほとんどインパルス雑音が存在しない. フィルタの出力は，削減処理後の信号列と処理点の画素値を用いて推定する．出力値の推定はNNによって行う．NNが持つ非線形の入出力特性により，欠落した情報が補完され，良好な推定が可能となる．計算機シミュレーションを行い，PSNRと復元画像から提案するフィルタの有効性を確認する．

題名	(招待)History of Development and Future Perspectives of Digital Signal Processing
著者	○Takashi Yahagi(Chiba University/ Graduate School of Science and Technology)
ページ	pp. 285 - 290
keywords	digital signal processing
abstract	This paper presents the history of development and future perspectives of digital signal processing. First, the history of digital signal processing over 40 years is presented from various points of view. As the digital signal processing is interdisciplinary it is related to many kinds of fields which are important in future technologies. Next, the role and possibility of digital signal processing in future are overviewed. It is emphasized that digital signal processing will be the key technology in the highly informationized society.

セッション SA2-3 非線形振動 (13:30-14:45)
座長: 和田昌浩 (甲南大)

題名	パラメータ励振されたLCR回路の漸近安定化と同期化
著者	○井上馨(同志社大学工学部), 山本茂, 潮俊光(大阪大学大学院基礎工学研究科), 加藤利次(同志社大学工学部)
ページ	pp. 291 - 295
keywords	パラメータ励振, LCR回路, 時変システム, 漸近安定化, 同期化
abstract	In this paper, firstly we analyze stability of time-varying systems represented by second-order vector differential equations based on the characteristics of its coefficient matrices. New sufficient conditions for asymptotic stability of the equilibrium points are derived. Then, an asymptotic stabilizing control method of parametric LCR circuit is discussed based on the obtained sufficient conditions. A method synchronizing two parametric systems is also given. The effectiveness of the results are discussed by some numerical examples.

題名	平衡点を含まない区分線形系に発生する振動現象について
著者	○芹澤昌邦(湘南工科大学工学専攻科大学院生), 岡崎秀晃, 中野秀夫(湘南工科大学システムコミュニケーション工学科)
ページ	pp. 297 - 302
keywords	非線形振動, 合成力学系, エネルギ関数
abstract	スイッチング要素により切り換わる区分線形ベクトル場について解析する。対象とする区分線形ベクトル場の固有値の実部は負であり、また、区分線形ベクトル場の結合部は不連続である。さらに、この区分線形ベクトル場には平衡点が存在しないことが特徴である。電磁機械式発振機を具体例に、単純に２つの線形ベクトル場を接合した系には振動現象が発生しないことを、エネルギ関数を用いて証明する。また、電磁石の駆動回路を１次遅れ系でモデル化し、その１次遅れ系で２つの線形ベクトル場を結合すると、発振現象が起きることを数値シミュレーションにより確認する。さらに、実機による測定結果を示し、提案モデルの妥当性を確認する。

題名	パルスで結合された積分発火モデルの同期現象について
著者	○島崎正直, 鳥飼弘幸, 斉藤利通(法政大学工学部情報電気電子工学科)
ページ	pp. 303 - 308
keywords	積分発火モデル, パルス結合系, 不応性, 同期現象
abstract	不応性を有する積分発火型ニューロンのパルス結合系を提案する。本結合系は簡素な実装回路によって実現でき、様々な同期現象を呈することができる。系の動作は各ニューロンの周波数比で特徴づけられる。リターン写像を用いて分岐現象を考察し、各ニューロンの不応性が結合系のパルス符号化能力に与える影響を考察する。

セッション SA2-4 非線形ネットワーク (15:15-16:30)
座長: 田中衛 (上智大)

題名	連想記憶モデルにおけるカオスと有限温度効果
著者	○川村正樹(山口大学理学部), 徳永隆治(筑波大学電子・情報工学系), 岡田真人(理化学研究所脳科学総合研究センター)
ページ	pp. 309 - 314
keywords	連想記憶, ダイナミックス, カオス, 分岐, フラストレーション
abstract	連想記憶モデルでは記憶したパターンを想起できることが重要であり、そのダイナミックスを解析することが必要である。また、非単調ニューロンを用いた連想記憶モデルにおいて、その想起過程でカオス的な振舞いが見られることが知られている。しかしながら、厳密な想起過程の解析がなされておらず、分岐構造などは明らかにされてこなかった。本研究では、フラストレーション誘因カオスが温度によってどのように変化するかを議論する。有限温度(T>0)の場合、微視的な状態は確率的に遷移する。しかしながら、この場合においても、巨視的状態方程式は決定論的になり、系のダイナミックスを厳密に解析することができる。

題名	経路探索のための興奮性ディジタル反応拡散システムの設計
著者	○伊藤康一, 永田識, 青木孝文, 樋口龍雄(東北大学大学院情報科学研究科)
ページ	pp. 315 - 320
keywords	経路探索, 興奮性ダイナミクス, 反応拡散システム
abstract	本論文は，離散時間・離散空間で定義された抽象的な反応拡散システムのモデルであるディジタル反応拡散システム (DigitalReaction-Diffusion System: DRDS) を利用した最短経路探索アルゴリズムを提案する．DRDSは，能動的に信号や画像を生成する多次元のディジタルフィルタであり，用いる非線形反応関数を変えることで，さまざまなパターン・テクスチャ・構造を発生することが可能である．本論文では，神経インパルス伝導のモデル式であるFitzHugh-南雲システムの反応関数を用いたDRDSを提案し，これを用いて興奮性反応拡散ダイナミクスをシミュレートした結果を示す．そして，この興奮性を有するDRDSが発生する興奮波の性質を利用した最短経路探索アルゴリズムを提案し，迷路や障害物が配置された平面から最短経路を探索した実験結果を示す．

題名	テンプレートライブラリを持つ連想記憶セルラーニューラルネットワーク
著者	○神尾武司, 森末道忠(広島市立大学/情報科学部)
ページ	pp. 321 - 326
keywords	連想記憶, セルラーニューラルネットワーク, テンプレートライブラリ
abstract	セルラーニューラルネットワーク(CNN)はハードウェア化に適したニューラルネットワークである。特に、空間的に一様なテンプレートを持つCNNは空間的に非一様なテンプレートを持つCNNと比較して、非常に低いコストでハードウェア化が可能である。しかし、連想記憶CNN に関する研究では、性能の低さから前者のCNNはほとんど利用されていない。そこで我々は、『たった1つのテンプレートによってネットワーク全体の結合が定義されるため、荷重値の保存と変更が容易に実行できる』という前者のCNNが持つ特徴に着目し、テンプレートをライブラリ化することにより、前者のCNNを有効に利用した連想記憶システムを提案する。

セッション SBa2-1 MOS回路 (9:00-10:15)
座長: 和保孝夫 (上智大)

題名	等価MOSFETを用いた低電圧動作可能なOTAの構成法
著者	河合慶悟, 高頭和博, 熊沢利昭, ○高井伸和(東京工芸大学)
ページ	pp. 327 - 332
keywords	等価MOSFET, 低電源電圧, rail-to-rail OTA
abstract	In this paper, an equivalent MOSFET which operates under low power-supply voltage is proposed. In order to realize a low power operation, a level shift circuit whose shift voltage $V_{tune}$ can be set less than $V_{tn}$, is employed, while a conventional level shift voltage is greater than threshold voltage. A rail-to-rail OTA is shown as an application example. SPICE simulations of the proposed equivalent MOSFET and the rail-to-rail OTA indicate good performances.

題名	可塑シナプスのためのΛ字形負性抵抗素子を用いた多値メモリセル
著者	○佐伯勝敏(日本大学理工学部電子情報工学科), 中島平裕(日本大学大学院理工学研究科博士前期課程電子工学専攻), 関根好文(日本大学理工学部電子情報工学科)
ページ	pp. 333 - 337
keywords	アナログ回路, 多安定回路, 多値メモリセル, L字形負性抵抗素子, 可塑シナプス
abstract	本稿は，可塑シナプスのためのL字形負性抵抗素子を用いた多値メモリセルを構成することを目的に，まず，エンハンスメント型MOSFETでΛ字形負性抵抗素子を構成し，これを単位回路として並列に接続することにより，多安定回路が構成できることを明らかにしている。更に，構成した多安定回路を用いて多値メモリセルを構成する検討を行い，CMOSプロセスに適用可能なエンハンスメント形MOSFETでΛ字形負性抵抗素子を単位回路として並列に接続することで，外部電源により各安定点及び同期範囲が可変できる多安定回路が構成できることを明らかにしている。また，可塑シナプスへの応用を考え，一例として，10値メモリセルを構成し，書き込み及びデータの保持が可能であることを明らかにしている。

題名	ニューロンMOSを用いた冗長2進数から2進数への復号器
著者	○森本康文(広島市立大学大学院情報科学研究科), 坂本政祐, 大田悠児, 森末道忠(広島市立大学情報科学部情報機械システム工学科)
ページ	pp. 339 - 344
keywords	冗長2進数, 復号器, ニューロンMOSFET, 桁上げスキップ加算器
abstract	冗長2進数から2進数への復号器について、桁上げスキップ加算器の手法とニューロンMOSFETを用いた高速化を提案する。復号器は本質的に減算回路であり桁上げ伝搬は避けられないので、各種の加算器の高速化手法が有効である。その内、桁上げスキップ加算器は入力を複数桁にブロック化して各ブロックの処理を並列に行い、桁上げは各ブロックの伝搬条件を検出し、スキップすることで高速化する手法である。その際、桁上げスキップ経路が1レベル・マルチレベルのいずれにおいてもブロックの数に依存した遅延が生じるが、これをニューロン MOSFETを用いることで高速化する。 Hspiceシミュレーションによりその高速性を確認する。

セッション SBa2-2 電源回路 (10:45-12:00)
座長: 渡邉健蔵 (静岡大)

題名	スイッチング電源のEMI低減化回路と測定による検証
著者	○行方真実(群馬県工業試験場), 定村宏, 光野正志, 小林春夫, 石川信宣(群馬大学工学部電気電子工学科)
ページ	pp. 345 - 350
keywords	スイッチング電源, スイッチングノイズ, EMI, EMC, スペクトラム拡散クロック
abstract	This paper presents Electro-Magnetic Interference (EMI) reduction and measurement techniques　of DC-DC converters (switching regulators). We have already proposed a simple, inexpensive technique for intentionally broadening and flattening the spectrum of a switching regulator to reduce EMI. This noise spectrum broadening technique involves intentionally introducing pseudo-random dithering of control clock timing, which can be achieved by adding simple digital circuitry. In this paper we will report the measured results of switching regulators　that this technique can significantly reduce EMI to the DC-DC converter input voltage source, with regards to　peak detection, quasi-peak detection and average detection.　The measurements were performed using　a standard EMI measurement system in an electro-magnetic　shield room　(anechoic chamber).

題名	Design of Class DE Amplifier with Any Output Q, Any Duty Ratio and Switch on Resistance
著者	Satoki Oshikawa, ○Hiroo Sekiya, Jianming Lu, Takashi Yahagi(Graduate School of Science and Technology, Chiba University)
ページ	pp. 351 - 356
keywords	Class DE amplifier, Design procedure, Output Q, Duty ratio, Switch on resistance
abstract	This paper presents a new design procedure for class DE amplifier. And a design of class DE amplifier with any output Q, any duty ratio, and switch on resistor is carried out. The feature of the proposed design procedure is that the waveform equations never be needed. The design procedure requires only circuit equations and the design specifications. When circuit equations are got, the other procedures for computation of design values are carried out with aid of computer. Therefore, we can design class DE amplifier with any conditions, namely, with any output Q, any duty ratio, switch on resistance and so on. We can denote the design values and output capability of class DE amplifiers with any output Q, any duty ratio, and switch on resistor by using proposed design procedure. By carrying out the circuit experiments, we find that the experimental results agree with the calculation results quantitatively, and show the validity of the proposed design procedure.

題名	チャージポンプ電源回路の突入電流とその対策
著者	名野隆夫, ○女屋佳隆(三洋電機セミコンダクターカンンパニー), 柏瀬賢二, 小林春夫(群馬大学工学部電気電子工学科), 小林一行, 鈴木達也, 逸見和夫(三洋電機セミコンダクターカンンパニー)
ページ	pp. 357 - 362
keywords	チャージポンプ回路, 突入電流, ＤＣ－ＤＣ変換器, 高電圧発生回路, 電源回路
abstract	先に我々は携帯機器応用のための高効率・大電流出力可能なチャージポンプ電源回路を開発した。しかし電源投入時に大きな突入電流が流れる問題点があった。そこでこの論文では突入電流の問題を解析し、またその対策回路を考案しシミュレーションで有効性を確認した。考案した対策回路は実際のチャージポンプ電源回路に組み込む予定である。

セッション SBd2-1 信号処理応用 (9:00-10:40)
座長: 比嘉良人 (日本TI)

題名	ダブルトーク問題を考慮したVolterra適応フィルタで用いるエコーキャンセラアルゴリズム
著者	竹市嘉一郎(東京理科大学), 三村昌義(慶應義塾大学), ○古川利博(東京理科大学)
ページ	pp. 363 - 368
keywords	音響エコーキャンセラ, ダブルトーク問題, Volterra適応フィルタ, OECLMSアルゴリズム, Gram-Schmidtの直交化法
abstract	音響エコーキャンセラにおいて，従来よりもエコーを減衰させるには，音響エコー経路の非線形性成分を考慮する必要があり，Volterra適応フィルタを用いた様々な手法が提案されている．それらの手法の多くは，シングルトーク問題にしか対応できず，非線形音響エコーキャンセラにおけるダブルトーク状態に関しての決定的な解決策には至っていない．本論文では，ダブルトーク問題を考慮したOECLMSアルゴリズムの考えを利用し，2次Volterra適応フィルタにおけるエコーキャンセラアルゴリズムを提案する．本手法は，Gram-Schmidtの直交化法を用いることで収束速度の改善を図っている．

題名	連立方程式法に基づく分散型マルチチャネル能動騒音制御システム
著者	○棟安実治(関西大学工学部電子工学科), 若杉友美, 香川健一(広島大学工学部), 藤井健作(姫路工業大学工学部), 雛元孝夫(広島大学工学部)
ページ	pp. 369 - 374
keywords	能動騒音制御, 分散型制御器, マルチチャネル, 適応フィルタ, 連立方程式法
abstract	これまで提案されているマルチチャネル能動騒音制御システムは，全体を集中的に制御しようとするものが多い．しかし，マイクロホンやスピーカの数が増加するにつれて，プロセッサへの負荷が高くなり，実現が困難になる．本稿では，複数の能動騒音制御器を用いる分散型マルチチャネル能動騒音制御システムを提案する．ここでは，若干の制御器間の通信を許容することで負荷の分散を図っている．さらに本手法では，連立方程式を利用しているので，事前に誤差経路系を推定することなしに，騒音制御フィルタの係数を推定でき，動作中の経路の変動にも追従できる．結果として良好な消音効果が期待できる．

題名	QoS制御を可能とするマルチレートOFDMに関する研究
著者	○横田智也, 西川清史(東京都立大学大学院工学研究科電気工学専攻)
ページ	pp. 375 - 379
keywords	OFDM, QoS, マルチレート
abstract	本稿では，細かいQoS制御の実現を目的としたマルチレートOFDMを提案する．提案法は，OFDM信号を得る前に送信データを任意の拡散率で拡散し，任意の多重化数で多重化を行うことで，伝送品質の異なる通信路を実現するものである．また，シミュレーションモデルを用いて，提案法が伝送品質を制御可能なこと，および拡散率と多重化数の組合せにより伝送レートが一定となる場合には，BER特性は同じか，多重化を行った場合の方が良好なBER特性が得られることを確認する．

題名	ガソリンエンジンの空燃比制御システムにおけるむだ時間解析
著者	○渡辺貴英, 水谷直喜, 菊池久和, 村松正吾(新潟大学工学部), 大隈重男, 渡邉悟(日立ユニシアオートモティブ)
ページ	pp. 381 - 386
keywords	信号処理, ウェーブレット, 無駄時間, ガソリンエンジン
abstract	ガソリンエンジンの空燃比制御システムにおける無駄時間をウェーブレット変換を用いて逐次算出する手法を提案する。空燃比とは吸入空気量と燃料噴射量との比であり、無駄時間とは燃料噴射装置へ送られる制御信号と、空燃比センサ出力の間の遅れである。空燃比センサ出力をウェーブレット変換し、無駄時間がもたらす不連続性を検出することで無駄時間を算出する。本手法を実測データに応用し、実際のエンジンの無駄時間をさまざまな運転条件の下で測定した結果を示す。

セッション SBd2-3 画像・映像処理技術I (13:20-15:00)
座長: 阿部淑人 (新潟県工技総研)

題名	Frequency Weight Adjustment of Motion-JPEG2000 for Invertible Deinterlacer
著者	○Takuma Ishida, Shogo Muramatsu, Zhou Jie, Shigenobu Sasaki, Hisakazu Kikuchi(Niigata Univ.)
ページ	pp. 387 - 391
keywords	Motion-JPEG2000, Invertible deinterlacer, frequency weight
abstract	In this work, frequency weight adjustment of Motion-JPEG2000(MJP2) for invertible deinterlacer is proposed. As previous works, we have developed invertible deinterlacer that suppresses comb-tooth artifacts caused by field interleaving for interlaced scanning video, which affect the quality of scalable intraframe-based codec such as MJP2. Our technique has two features that the sampling density is preserved and the image quality can be recovered by the inverse process on demand. When no codec is applied in between the deinterlacer and inverse process, the original video is perfectly reconstructed. Otherwise, it is approximately recovered. The purpose of this work is to improve the quality of recovered images when MJP2 codec is inserted. It is shown that our invertible deinterlacer can be embedded into the DWT. As a result, frequency weighting for rate-distortion control can be moderately compensated. Simulation results show that the quality recovery is improved more than 1.5 dB in PSNR by applying the proposed compensation compared with the original weighting at 2.0bpp of decoding rate for 8-bit grayscale pictures.

題名	コードブロックに基づくMotionJPEG2000画像の効果的なクロスフェード法
著者	○渡邊修, 貴家仁志(東京都立大学工学研究科)
ページ	pp. 393 - 398
keywords	JPEG2000, MotionJPEG2000, クロスフェード
abstract	本論文ではMotionJPEG2000符号化された動画像のクロスフェード処理に伴う従来のクロスフェード法の問題点を議論し、問題点を改善するためにコードブロックに基づく効果的なクロスフェード法を提案する。提案法は、符号化された画像のコードブロックごとにクロスフェード処理を行うため、従来法のようにクロスフェード処理のために画像を空間領域に復号するという操作が不要である。したがって、提案法を用いることにより、処理負担の低減や必要となるメモリ量削減が期待できる。以上の特徴を、計算機シュミレーションによって確認する。

題名	誤り率を考慮したJPEG2000符号化画像の生成とその評価
著者	○黒崎正行, 貴家仁志(東京都立大学大学院工学研究科電気工学専攻)
ページ	pp. 399 - 404
keywords	JPEG2000, 誤り耐性, 電子透かし
abstract	本報告では，無線通信網などの高い誤り率から再送要求可能な低い誤り率の通信まで，すべてに適用可能なJPEG2000符号化画像の生成法を提案する．提案法は，へッダや重要度の高いデータをエラー訂正符号を用いて符号化し，その検査シンボルをJPEG2000符号列に埋め込む．復号側では，埋め込まれた情報を用いて，保護するデータのエラーを訂正する．検査シンボルを埋め込む場所としては，レイヤーの最下位，へッダのユーザデータ領域等が存在する．このように，埋め込みを行った符号列は標準のJPEG2000符号列の構造を保持しており，汎用のデコーダでの復号を可能とする．また，提案法はへッダ，レイヤー等，保護するデータの自由度に加え，使用する訂正符号についても自由度があるため，誤り率と保護すべきデータ量についても考察する．

題名	JPEG画像のための画質保証型データ埋込み法に関する検討
著者	○藤吉正明, 河西元彦, 貴家仁志(東京都立大学大学院工学研究科電気工学専攻)
ページ	pp. 405 - 410
keywords	JPEG, 画質保証, 量子化行列, 圧縮領域, 符号量
abstract	本稿はJPEG画像のための画質保証型データ埋込みについて検討している．検討対象は，JPEG符号化手順において，圧縮領域，すなわち，量子化後のDCT係数へ透かしを埋め，かつ，生成される透かし入りJPEG画像の画質が自動的に指定画質となるデータ埋込みである．JPEG符号化手順で用いる量子化行列を考慮し，指定画質を維持することが可能となるDCT係数を選択し，データを埋めることで画質を保証している．シミュレーションにより，画質保証性能が示されている．

セッション SBd2-4 画像・映像処理技術II (15:15-16:30)
座長: 菊池久和 (新潟大)

題名	疑似濃淡化のための輪郭適応誤差拡散法
著者	○阿部淑人(大日本印刷株式会社生産総合研究所)
ページ	pp. 411 - 416
keywords	halftoning, error diffusion, adaptive processing
abstract	疑似濃淡化において多用される誤差拡散法は低階調のデバイスに疑似的に階調を表現できる優れた方法であるが，階調再現性と輪郭再現性にはトレードオフがあり固定法では両立が困難である．本研究では輪郭強度を測定しながら拡散係数を制御することによってその両立を図った．

題名	High Quality Image Interpolation by Generalized Piecewise-Linear Multiple Generators
著者	○Koichi Ichige(Yokohama National University), Thierry Blu, Michael Unser(Swiss Federal Institute of Technology Lausanne)
ページ	pp. 417 - 421
keywords	interpolation, image processing, filterbank, wavelet
abstract	This paper presents an interpolation method based on shifted versions of two piecewise linear generators, which provides approximation order 2 like usual piecewise-linear interpolation; i.e., this method is able to represent the constant and the ramp exactly. Our interpolation is characterized by two real parameters: tau, the location of the generators, and alpha, related to their dissymmetry. By varying these parameters, we show that it is possible to optimize the quality of the approximation, independently of the function to interpolate. We recover the optimal value of shifted-linear interpolation (tau=0.21 and alpha=1) which requires IIR prefiltering, but we also find a new configuration (tau=0.21 and alpha=0.58) which reaches almost the same quality, while requiring FIR filtering only. This new solution is able to greatly reduce the amount of Gibbs oscillations generated in the shifted-linear interpolation scheme.

題名	色覚バリアフリーを目的とするWeb色補正に関する一検討
著者	○市川学, 田中清 (信州大学工学部), 近藤昭治((株)関東電子応用開発), 廣島康二, 市川一夫(社会保険中京病院), 田辺詔子, 深見嘉一郎(視覚研究所)
ページ	pp. 423 - 428
keywords	色覚バリアフリー, Web色補正, インターネット, 色覚異常, 遺伝的アルゴリズム(GA)
abstract	本稿ではインターネット上での色覚バリアフリーを実現することを目的に，HTMLで記述されたWebページの色補正を行う一手法を検討する．まず，カラー画像を色情報によって領域分割した結果を記述する画像抽象化モデルを確立し，色の相互関係について定義する．次に，色覚異常モデルによる色の見え方に基づき，色補正を効果的に行うための評価関数の設計を行う．そして複数の相互関係を持つ色の最適化を遺伝的アルゴリズム(GA)を用いて解法する．色覚異常のシミュレーションによる結果を通して，色覚異常者にとって識別しやすい配色へと補正できることが確かめられる．

セッション SC2-1 プロセッサ合成 (9:00-10:30)
座長: Yun Cao (九州大)

題名	ASIP Meisterにおけるゼロ・オーバヘッド・ループ制御方式の提案
著者	三田健太朗, ○小林真輔, 武内良典, 坂主圭史, 今井正治(大阪大学)
ページ	pp. 429 - 434
keywords	ASIP, コンフィギュラブル・プロセッサ, ゼロ・オーバヘッド・ループ, コンパイラ・ジェネレータ
abstract	本研究では，コンフィギュラブル・プロセッサ開発環境ASIP Meisterにおけるゼロ・オーバヘッド・ループ制御方式を提案する． ZOL制御用モジュールのパラメタ化を行い，さらに ZOLに対応したコンパイラのコード生成手法を提案する．評価実験では，ループのネスト・レベルおよびループカウンタ・サイズを変更した様々な構成のプロセッサを設計し，生成したコンパイラを用いてアプリケーションの性能比較を行った．評価実験の結果，アプリケーションに最適なZOL構成を選択できることがわかった．

題名	ネットワークスイッチング処理を対象としたCAMプロセッサ自動合成システム
著者	○田中英夫(早稲田大学理工学部電子・情報通信学科), 戸川望(北九州市立大学国際環境工学部情報メディア工学科), 柳澤政生, 大附辰夫(早稲田大学理工学部電子・情報通信学科)
ページ	pp. 435 - 440
keywords	CAM, プロセッサ, 自動合成, ATM
abstract	本稿では,ネットワークスイッチング処理を対象とするCAM(一致検索機能を持つ機能メモリ)プロセッサ自動合成システムを提案する.本システムはC言語で記述されたCAM機能を使用したアプリケーションプログラムを入力とし,メモリユニットとマイクロプロセッサユニットで構成されるCAMプロセッサの論理合成可能なハードウェア記述およびCAMプロセッサ上で動作するバイナリコードを出力する.本システムは合成対象のメモリユニットにCAMとRAMを併用することで,ネットワークにおけるATMスイッチング諸利を1クロックサイクルで実現可能となった.計算機上に実装した本システムにアプリケーションを入力した結果,実行時間はCAMのみを使用した場合と比較して約0.57倍に短縮された.

題名	不規則なデータパスを持つプロセッサのハードウェア/ソフトウェア協調合成手法
著者	○宮岡祐一郎(早稲田大学理工学部), 戸川望(北九州市立大学国際環境工学部), 柳澤政生, 大附辰夫(早稲田大学理工学部)
ページ	pp. 441 - 446
keywords	不規則なデータパス, ハードウェア/ソフトウェア協調合成, DSP
abstract	不規則なデータパスを持つプロセッサのハードウェア/ソフトウェア協調合成手法を提案する．アプリケーションプログラムを表すコントロールフローグラフおよびデータフローグラフと時間制約を入力とし，時間制約を満たす中で面積を最小化したプロセッサの構成情報と，そのプロセッサ上で動作するアセンブリコードを出力する．まず，実行サイクル数を最小にするデータパス構成を実現して演算ユニットの最大数と，暫定解となる面積を得る．その後演算ユニットの数で分枝し，プロセッサ面積を最小化する特殊レジスタの個数やその接続を決定する部分問題を解く分枝限定法によりプロセッサ構成を得る．部分問題は，十分な数の特殊レジスタを徐々に削減することで解く．提案手法を計算機上に実装し評価した．

セッション SC2-2 システムLSIの社会情報基盤への利用 -Digital Naming社会を目指して- (11:00-12:00)
座長: 小林和淑 (東大)

題名	(招待)システムLSIの社会情報基盤への利用 -Digital Naming社会を目指して-
著者	○安浦寛人(九州大学)
ページ	pp. 447 - 452
keywords	個人認証, RF-Tag, ICカード, デジタルネーミング社会
abstract	情報通信技術や半導体集積回路技術のの進歩により，我々の日常生活はこの50 年間で大きく変化してきた．また，我々を取り巻く種々の社会基盤システム（行政システム，経済システム，交通システム，エネルギー供給システム，情報通信システムなど）もその形態や機能を大きく変化させてきた．20 世紀は既存の社会システムの中に，情報通信技術を導入し，社会システムの機能と効率を飛的に向上させてきた時代であったともえる．本講演では，情報通信技術を前提とした新しい社会システムにおける基盤となる２つの社会基盤システムに焦点を絞って議論する．一つは情報化社会における個人認証の基礎となる個人IDシステムであり，もう一つは物品の認に使われる無線タグシステムである．いずれもIC カード，個人認証チップ，RF-Tag 等として最注目を浴びている技術である．個々の個別の応用技術を議論するのではなく，今後の度情報化社会の各種社会システムの基盤技術として，これら２つのシステムのあるべき姿とその実現手法および技術的課題について述べる．

セッション SC2-3 [特別セッション] システムレベル検証/評価/見積り (13:30-15:00)
座長: 山田晃久 (シャープ)

題名	命令レベルにおけるレジスタの変化ビット幅を考慮した組み込みプロセッサ向け消費電力見積り手法
著者	○樋口昭彦(京都大学大学院情報学研究科通信情報システム専攻), 小林和淑(東京大学大規模集積システム設計教育研究センター), 小野寺秀俊(京都大学大学院情報学研究科通信情報システム専攻)
ページ	pp. 453 - 458
keywords	組み込みプロセッサ, 消費電力解析, レジスタの変化ビット幅
abstract	本稿では, 命令レベルにおけるレジスタの変化ビット幅を考慮した組み込みプロセッサ向け消費電力見積り手法を提案する. 本手法ではISS上でのプログラムの実行結果と各命令のレジスタの変化ビット幅に応じたエネルギーテーブルより消費電力を見積る. これにより高速な見積り, アルゴリズムの効率的な低消費電力化の研究などが可能になる.

題名	データ流量解析に基づく組込みシステム性能見積り手法
著者	○上田恭子, 坂主圭史, 武内良典, 今井正治(大阪大学)
ページ	pp. 459 - 464
keywords	データ流量, 性能見積り, SystemC, IPベース設計, 組込みシステム
abstract	本論文では，データ流量解析に基づく，組込みシステムの性能見積り手法を提案する．提案手法では，バス・アーキテクチャを変更するとデータ転送時間は変化するが，データ転送量は一定であることに着目し，あらかじめ測定したデータ転送量からデータ転送時間を算出することで，異なるバス・アーキテクチャにおけるシステム性能を見積る．実験により，提案手法を用いることで，アーキテクチャごとにシミュレーションを繰り返して性能を見積る場合に比べ，短時間での見積りが可能であることを確認した．

題名	ソフトウェア設計手法による高品質システムＬＳＩ設計手法の提案
著者	内場誠, ○河原畑光一, 藤内俊一, 芦原秀一(富士通西日本コミュニケーション･システムズ(株)/システム機器開発部)
ページ	pp. 465 - 470
keywords	ソフトウェア設計手法, 工程区分, 設計情報管理, Webツール
abstract	近年のC言語記述によるシステムLSI設計の広がりにより、ハードウェア設計においてもソフトウェア設計に近い設計手法が求められている。さらに、今後はＣ言語設計の普及、設計ツールの自動化が進み、言語記述が設計のアウトプットとなる事が予想され、言語記述の前段に位置する仕様をいかに表現するかが重要となる。今回我々は、上位仕様レベルと評価試験に重点を置き、ソフトウェア開発の手法を導入した。各設計と作業内容を細かく定義した設計手法と e-mailとDataBaseを融合した設計情報管理Webツールの開発/適用である。その結果、高い設計品質を実現する事が出来たので報告する。

セッション SD2-1 離散事象システム (9:15-10:15)
座長: 鈴木達也 (名古屋大)

題名	Supervisory Control of a Class of Concurrent Discrete Event Systems
著者	○Shigemasa Takai(Wakayama University), Toshimitsu Ushio(Osaka University)
ページ	pp. 471 - 476
keywords	discrete event system, supervisory control, concurrency, controllability, concurrently well-posedness
abstract	In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems. The behavior of the system is described by a language over the simultaneous event set. We introduce a notion of concurrent well-posedness of languages. We then prove that Lm(G)-closure, controllability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. We address the computational complexity for verifying the existence conditions.

題名	State Equation of Program Nets and Its Application to Verifying Token Self-Cleanness of Acyclic SWITCH-less Nets
著者	○Shingo Yamaguchi, Kousuke Yamada(Faculty of Engineering, Yamaguchi University), Qi-Wei Ge(Faculty of Education, Yamaguchi University), Minoru Tanaka(Faculty of Engineering, Yamaguchi University)
ページ	pp. 477 - 482
keywords	dataflow program, program net, state equation, token self-cleanness, verification
abstract	This paper proposes a state equation of program nets and its application to analysis of program nets. We first define a matrix representation of program nets. We then propose a state equation of the program nets using the matrix representation. Finally, for acyclic program nets with no SWITCH-node, we show an application to verifying token self-cleanness which is an important property of program nets.

セッション SD2-2 グリッド・コンピューティング (10:45-11:45)
座長: 佐々木淳 (NTT)

題名	(招待)グリッド・コンピューティングの現状と将来
著者	○伊藤智, 関口智嗣(産業技術総合研究所グリッド研究センター)
ページ	pp. 483 - 488
keywords	グリッドコンピューティング
abstract	企業におけるグリッドコンピューティングの利用を中心に、グリッドの現状と将来動向を紹介する。

セッション SD2-3 グラフ・アルゴリズム (13:00-15:00)
座長: 中山慎一 (徳島大)

題名	L字型描画の列挙
著者	○高木正博, 中野眞一(群馬大学)
ページ	pp. 489 - 494
keywords	グラフ, アルゴリズム, 列挙
abstract	グラフを, 各面がL字形(退化したL字形として長方形を含む)であるように, かつ, 辺が交差することなく, 平面に描画したものを, グラフのL字形描画と呼ぶ. 本文は, すべての底辺つきL字形描画を, 重複も抜けもなく列挙する高速なアルゴリズムを与える. 本文のアルゴリズムは, 内面の個数がちょうどn個である底辺つきL字形描画のすべてを, 重複も抜けもなく, 描画1つあたりO(1)時間で生成する. このアルゴリズムが使用する作業用記憶領域はアルゴリズム全体でO(n)である.

題名	Caterpillarの列挙アルゴリズム
著者	○菊地洋右, 田中博行, 中野眞一, 柴田幸夫(群馬大学工学部情報工学科)
ページ	pp. 495 - 500
keywords	caterpillar, 列挙アルゴリズム, spider, scorpion
abstract	グラフの個数の数え上げには様々な研究がある.数え上げの研究は,主に組み合わせ論の手法による.一方,それらのグラフの全てを計算機等で出力することは,グラフの個数が一般に膨大であるため困難であった.しかし,近年の計算機の性能の向上に伴い,計算機による列挙が可能になり,様々なアルゴリズムも提案されてきた.本文は,木の部分クラスであるcaterpillarの列挙に関するものである.これまでに,様々な,木の列挙に関する研究がある.例えば,根付き木の列挙アルゴリズムや,平面植木の列挙アルゴリズムなどである.また,頂点の個数が$n+4$である caterpillarの個数は, $2^n + 2^{\lfloor n/2 \rfloor}$であると知られている.

題名	広域クラスタにおけるブロードキャストスケジューリングについて
著者	○田崎太(新潟工科大学大学院工学研究科), 田村裕(新潟工科大学), 仙石正和(新潟大学工学部), 篠田庄司(中央大学理工学部)
ページ	pp. 501 - 506
keywords	並列分散処理, クラスタシステム, ブロードキャスト, 最小ブロードキャスト時間問題, スケジューリングアルゴリズム
abstract	クラスタシステムのブロードキャストスケジューリングについて検討する．ブロードキャストスケジューリング問題は一般にNP完全であることが知られている．そして，ネットワークトポロジと問題の複雑さの関係や，効率の良いスケジュールを出力するアルゴリズムについて多くの研究がなされてきた．本稿では，ネットワークトポロジが，あるSplit Graphで表されるクラスタのブロードキャストスケジューリングを検討する．同種クラスタの場合には，ブロードキャストスケジューリング問題が多項式時間で解けることを示す．また，異種クラスタに対しては，高確率で最適解を得ることができるヒューリスティックなアルゴリズムも提案する．

題名	最小重み点被覆問題に対する近似解法の実験的性能評価
著者	○高藤大介, 田岡智志, 渡邉敏正(広島大学大学院工学研究科情報工学専攻)
ページ	pp. 507 - 512
keywords	最小重み点被覆問題, 近似解法, 計算機実験比較
abstract	本稿では，自然数の点重みを持つグラフにおける最小重み点被覆問題を扱う．グラフの点被覆とは，頂点集合であって，任意の辺の両端点のうち少なくとも一方を含むものである．点被覆の重みは，点被覆に含まれる各頂点の重み総和である．グラフの最小重み点被覆問題は，自然数の点重みを持つ無向グラフが与えられたとき，重み最小となる点被覆を求める問題である．今までのところ最小重み点被覆問題の発見的または近似解法に関し，実データに対する計算機実験による性能比較は行われていないようである．本稿では，最小重み点被覆問題に対する既存近似解法に関して，計算機実験による性能比較結果を報告する．

セッション SD2-4 ペトリネット (15:30-16:30)
座長: 名嘉村盛和 (琉球大)

題名	各トランジションの発火が2回以下である辺重み付きカクタスにおける発火系列探索
著者	高原伸水, ○田岡智志, 渡邉敏正(広島大学大学院工学研究科情報工学専攻)
ページ	pp. 513 - 518
keywords	ペトリネット, 辺重み付きカクタス, 発火系列問題, 多項式時間アルゴリズム
abstract	ペトリネットの発火系列問題（LFS）とは，『ペトリネットN，初期マーキング M，発火回数ベクトルXが与えられたとき，Mから順次発火可能で各トランジションtが丁度X(t)回出現する発火系列sigmaが存在するか否かを判定し，存在するならばそのような発火系列を求めよ．』と定義される．LFSを解くことは容易ではなく，単純な構造を持つペトリネットに対してもNP-困難であることが知られている．しかしながら，ペトリネットが辺重み付きカクタス構造で，かつ X =1の場合は O(\|P\|log \|P\|) 時間で解けることが既に示されている．本稿では，その解法を拡張して，ペトリネットが辺重み付きカクタス構造で，かつ各トランジションtの発火回数X(t)が1または2の場合に，O(\|P\|log \|P\|) 時間解法を提案する．

題名	ペトリネットのマーキング構成問題とその発見的解法MCGHk
著者	○田岡智志(広島大学大学院工学研究科情報工学専攻), 吉竹一将(広島大学工学部第2類情報工学課程アルゴリズム論研究室), 渡邉敏正(広島大学大学院工学研究科情報工学専攻)
ページ	pp. 519 - 524
keywords	ペトリネット, マーキング構成問題, 可達問題, 発見的解法
abstract	本論文はペトリネットのマーキング構成問題(MCP: Marking Construction Problem)に対する発見的解法を提案し、既存手法と計算機実験により性能比較をする．MCP は，``ペトリネット N，初期マーキング M，目標マーキング M' が与えられた時，M からトランジションの発火により遷移可能なマーキングのうちで M' に最も近いマーキング M'' を求めよ''という問題である．ここで M' と M'' に対し，差分の絶対値総和を考え，これが最小であることを M'' は M' に最も近いと言うことにする． MCPは一般的にはNP-困難であるので、発見的解法が提案されている。

2003年4月26日(土)	18:00～20:00
2003年4月27日(日)	8:00～
2003年4月28日(月)	8:00～

第16回 回路とシステム(軽井沢)ワークショップ プログラム

プログラム

会場受付時間

セッション表

論文一覧(「○」印は発表予定者を表す)

第16回回路とシステム(軽井沢)ワークショップ
プログラム