close
1.

図書

東工大
目次DB

図書
東工大
目次DB
sponsored by IEEE Computer Society ...[et al.] ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control, OMG
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2007  xv, 573 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message xi
Program Chair's Message xii
ISADS 2007 Committees xiii
AHSP 2007 Committees xv
Keynote Address 1
   OptIPuter-A High Performance SOA LambdaGrid Enabling Scientific Applications / Larry Smarr 3
Keynote Address 2
   A Service-Oriented Approach to Security-Concepts and Issues / Elisa Bertino and Lorenzo Martino 7
Session 1: Service Orientation: Service Composition/Collaboration
   RobustBPEL2: Transparent Autonomization in Business Processes through Dynamic Proxies / Onyeka Ezenwoye and S. Masoud Sadjadi 17
   Towards Distributed Web Service Composition / Snehit Prabhu 25
   Collaboration Policy Generation in Dynamic Collaborative SOA / W.T. Tsai, Qian Huang, Bingnan Xiao, Yinong Chen, and Xinyu Zhou 33
Session 2: Testing and On-line Validation
   Ontology-Based Test Case Generation for Testing Web Services / Yongbo Wang, Xiaoying Bai, Juanzi Li, and Ruobo Huang 43
   Towards Self-Testing in Autonomic Computing Systems / Tarlq King, Djuradj Babich, Jonatan Alava, Ronald Stevens, and Peter Clarke 51
   Global Constraint Checking at Run-time / Christian Hein and Tom Ritter 59
Session 3: Transportation
   Application of Assurance Technology for Railway Signaling System / Masayuki Matsumoto and Keisuke Bekki 69
   Novel Railway Signal Control System Based on the Internet Technology and Its Distributed Control Archtecture / Yamato Fukuta, Gen Kogure, Takashi Kunifuji, Hiroyuki Sugahara, Reiji Ishima, and Masayuki Matsumoto 77
   The Modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets / Tianhua and Tao Tang 83
Keynote Address 3
   Enviroment of Intellect; 7 issues We Need to Think About for the Future / Yoshinobu Tonomura 93
Session 4: Service Orientation: Architecture, Infrastructure
   The Semantic Data Space for Loosely Coupled Service Provisioning / David Linner, Ilja Radusch, Stephan Steglich, and Carsten Jacob 97
   A New SOA Data-Provenance Framework / Wei-Tek Tsai, Xiao Wei, Dawei Zhang, Ray Paul, Yinong Chen, and Jen-Yao Chung 105
   Should the Grid Middleware Look to Self-managing Capabilities? / Ramon Nou, Ferran Julia, and Jordi Torres 113
Session 5: Sensor and Ad Hoc Networks (1)
   Mobility Support for Users in Wireless Sensor Networks / Sang-Sik Kim and Ae-Soon Park 123
   A Hybrid Routing with Location Information for Mobile Ad Hoc Networks / Hiroshi Nakagawa, Tomoyuki Ohta, Kenji Ishida, and Yoshiaki Kakuda 129
   Mobile Phone Based Ad Hoc Network Using Built in Bluetooth for Ubiquitous Life / Hitomi Murakami, Atsushi Ito, Yu Watanabe, and Takao Yabe 137
Session 6: Service Orientation: Discovery, Access, Application
   Functionality-Based Service Matchmaking for Service-Oriented Architecture / Stephan Yau and Junwei Liu 147
   Change Management in Semantic Business Processes Modeling / Uttam Kumar Tripathi and Knut Hinkelmann 155
   Autonomous Correlated Services Access for High Response in Intergrated Faded Information Field Systems / Xiaodong Lu, Kinji Mori, and Yongdong Tan 163
Session7: Sensor and Ad Hoc Networks (2)
   An On-demand Address Allocation Scheme for Query Based Sensor Networks / Weiwei Fang, Yi Liu, Jin Wu, and Depei Qian 173
   An Effcient On-Demand Hierarchical Routing Protocol Based on Autonomous Clustering for Mobile Ad Hoc Networks / Ryotaro Oda, Tomoyuki Ohta, and Yoshiaki Kakuda 180
   Locality-Preserving Distributed Path Reservation Protocol for Asynchronous Cooperative Mobile Robots / Rami Yared, Julien Cartigny, Xavier Defago, and Matthias Wiesmann 188
   Optimizing Query Injection from Mobile Objects to Sensor Networks / Shourui Tian and Sol M. Shatz 196
Session8: Assurance and Fault-Tolerance
   Research of Reliability Technology in Heterogeneous Autonomous Decentralized Assurance Systems / Akio Shiibashi, Takashi Kuroda, Motoharu Yamana, and Kinji Mori 207
   Distribution Algorithm for Newly Allcated Update Allowance (AV) in the Autonomous Decentralized Database System (ADDS) / Isao Kaji 215
   Autonomous Fault Recovery Technology for Continuous Service in Distributed VOD System / Yuta Nakatogawa, Shoichi Murakami, Miho Kanda, Kinji Mori, Ryuji Takanuki, and Yasushi Kuba 221
Session9: Agent Systems and Networking
   Autonomous Real-Time Navigation for Service Level Agreement in Distributed Information Service System / Khalid Mahmood, Satoshi Niki, Yuuki Nakahara, Xiaodong Lu, Ivan Luque, and Kinji Mori 231
   SAGE-LITE: An Architecture and Implementation of Light Weight Multi-agent System / Sana Khalique, Sana Farooq, Hafiz Farooq Ahmad, Hiroki Suguri, and Arshad Ali 239
   An Approach of End-to-End DiffServ/MPLS QoS Context Transfer in HMIPv6 Networks / Chuda Liu, Yi Liu, Depei Qian, and Mingxiu Li 245
Session 10: Resource Abstraction and Management
   Autonomous Decentralized Load Tracking Systems and Evaluation Criteria for Response and Stability / Tetsuya Masuishi, Koichi Shibata, Yasuyuki Oki, and Kinji Mori 255
   Merging CBR and Neural Networks for SLA-Based Radio Resource Management for QoS Sensitive Cellular Networks / Muhammad Umer Hkan, Muhammad Qaisar Ch, Hafiz Farooz Ahmad, Liaqut Ali, Arshad Ali, and Hiroki Suguri 263
   Virtual Device Composition / Mario Schuster, Alexander Domene, Raju Vaidya, Stefan Arbanowski, Su Myeon Kim, Jin Wook Lee, and Hun Lim 270
Session 11: Security, Safety, and Trust
   Mass Mailing Worm Detection by Means of Situation Aware DNS / Nikolaos Chatzis 279
   Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software / Tibor Farkas and Daniel Grund 287
   Trust for Vehicular Applications / Matthias Gerlach 295
Keynote Address 4
   Quality Assurance for Autonomous Systems-A Review of Model-Based Methods / Ina Schieferdecker 305
Session 12: Invited Paper (1)
   Dynamic Clustering Model for High Service Availability / Sung Hocheol, Han Sunyoung, Choi Byounguk, Kim Heemin, Song Jungwook, Ang Chee-Wei, Cheng Wang-Cho, and Wong Kim-Sing 311
   A UDP Based Protocol for Distributed P2P File Sharing / Yao-Nan Lien and Hong-Qi Xu 318
   Context-Based Service Discovery for Enhanced Learning Object in P2P Networks / Qianhui Liang and Zhaohui Wu 325
(Session 13) Special Session: Ad Hoc Networks in Automotive Telematics Applications (1)
   An Approach to Positioning Road-User in a Telematics Network / Mats Rydstrom, Erik Strom, Arne Svensson, and Luca Reggiani 335
   Enforcing Privacy Using Symmetric Random Key-Set in Vehicular Networks / Yong Xi, Kewei Sha, Weisong Shi, Loren Schwiebert, and Tao Zhang 344
   Mobile Service Discovery Protocol (MSDP) for Mobile Ad-Hoc Networks Jui-Chi Liang, Jyh-Cheng Chen, and Tao Zhang 352
Session 14: Invited Paper (2)
   An Approach to Deriving Reactive Agent Designs from Extensions to the Descartes Specification Language / Michael Medina and Joseph Urban 363
   A TTF-Based Programming Model and a Support Kernel Running on a Communicating Sensor Platform / Kane Kim, Keizo Fujiwara, Moon-Cheol Kim, Liangchen Zheng, Kenichi Watanabe, and Makoto Takizawa 368
   Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems / Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, and Michele Vadursi 377
(Session 15) Special Session: Ad Hoc Networks in Automotive Telematics Applications (2)
   Piggybacked Acknowledgement for Reception Assesment in a Pervasive Broadcasting System / Daniel Jiang, Miro Bogdanovic, and Luca Delgrossi 387
   DiffServ QoS and OLSR MANET Outdoor Demonstration / Isil Sebuktekin, Brandon Yoon, Byungsuk Kim, Ashok Ranade, Taek Jin Kwon, Marcus Pang, William Stephens, Michael Bereschinsky, Charles Graff, Larry Muzzelo, Michael Acriche, Aristedes Staikos, Ben Foresta, and Dennis Chen 394
Session 16: Multimedia Content and Service Provisioning
   Self-Organizing Pervasive Online Communities / Stefan Foell, Philippe Boessling, David Linner, Ilja Radusch, and Stephan Steglich 403
   MCDN; Multimedia Content Discovery and Delivery / Joachim Sokol, and Klaus-Peter Eckert 411
   WebPeer: A Peer-to-Peer Infrastructure for Publishing/Locating/Replicating Web Pages on Internet Heverson Borba Ribeiro, Lau Cheuk Lung, Altair Olivo Santin, and Neander Larsen Brisola 421
   Next Generation IPTV Services for an Extended IMS Architecture / Oliver Friedrich, A. Al-Hezmi, Stefan Arbanowski, and Thomas Magedanz 429
Session17: Community and Context-Awareness
   Autonomous Community Integration and Division Technology for High Response Service / Kotaro Hama, Yuji Horikoshi, Hiroyuki Endo, Benjamin Kloester, and Xiaodong Lu 437
   A Generic Multipurpose Recommender System for Contextual Recommendations / Christian Rack, Stefan Arbanowski, and Stephan Steglich 445
   An Asynchronous Messaging Platform for Development of Context-aware Services Taro Nakao and Shigetoshi Yokoyama 451
   A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications / John Kinnebrew, Ankit Gupta, Nishanth Shankaran, Gautam Biswas, and Douglas Schmidt 461
Session 18: Algorithm and Control
   A Hybrid GA-BP Model for Bankruptcy Prediction / Ying Sai, Chenjian Zhong, and Lehong Qu 473
   Decomposition of Times Petri Nets for Solving Scheduling Problems with Multiple Entities / Tatsushi Nishi 478
   Developing Autonomic Feedback Control for Heterogeneous Systems Using Cascaded Controllers / Wael Hosny Fouad Aly and Hanan Lutfiyya 484
   Quantitive Performance Modeling and Evaluation for Servo Control Systems Based on F-AHP / Wang Shou-kun, Wang Jun-zheng, and Shen Wei 492
Panel Session: Is Service-Oriented Archtecture Appropriate for Autonomous Decentralized Systems?
The Second International Workshop on Ad Hoc, Sensor and P2P Networks (AHSP2007)
AHSP Session 1: Keynote Speech, Topology Control
   Recent Developments in Wide Area Ubiquitous Network Research / Hiroshi Saito and Koichi Takasugi 503
   S-XTC: A Signal-Strength Based Topology Control Algorithm for Sensor Networks / Matthias Dyer, Jan Beutel, and Lothar Thiele 508
AHSP Session 2: Routing
   Unidirectional Ad Hoc Routing Protocol with Area-Controlled Flooding Using Overhead Neighbor Node Information / Hiroaki Morino, Takumi Miyoshi, and Masakatsu Ogawa 519
   An Autonomous Method for Aggregating and Repairing Paths in Sensor Networks / Shinji Inoue, Noriyuki Masuda, and Yoshiaki Kakuda 526
   Improving the Accuracy of Passive Duplicate Address Detection Algorithms over MANET On-demand Routing Protocols / Dongkyun Kim, Hong-Jong Jeong, Sutaek Oh, and Juan-Carlos Cano 534
AHSP Session 3: Security, Survivability, Performance Evaluation
   Preventing Resource Exhaustion Attacks in Ad Hoc Networks / Masao Tanabe and Mmasaki Aida 543
   Longer Network Lifetime when Using Energy Efficient GSP for Wireless Sensor Networks / Debdhanit Yupho, Maria Calle, and Joseph Kabara 549
   Parallel Downloading Method using HTTP over UDP for High Loss Rate and Delay Networks / Junichi Funasaka, Yusuke Takemoto, and Kenji Ishida 555
   A Self-Organizing Communication Mechanism Using Traveling Wave Phenomena for Wireless Sensor Networks / Yoshiaki Taniguchi, Naoki Wakamiya, and Masayuki Murata 562
Author Index 571
General Chair's Message xi
Program Chair's Message xii
ISADS 2007 Committees xiii
2.

図書

図書
小関健著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (販売), 2000.9  vii, 149p ; 22cm
所蔵情報: loading…
3.

図書

図書
田中穂積監修 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1999.3  ix, 352p ; 22cm
所蔵情報: loading…
4.

図書

図書
白石賢二, 伊藤智徳, 影島博之共著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社(発売), 2001.11  v, 150p ; 22cm
所蔵情報: loading…
5.

図書

図書
岩崎俊著 ; 電子情報通信学会編
出版情報: 東京 : コロナ社, 2002.8  ix, 169p ; 26cm
シリーズ名: 電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; B-13
所蔵情報: loading…
6.

図書

図書
吹抜敬彦著
出版情報: 東京 : コロナ社, 2002.10  viii, 166p, 図版2枚 ; 26cm
シリーズ名: 電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; C-7
所蔵情報: loading…
7.

図書

図書
電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 2001.7  v, 224p ; 22cm
所蔵情報: loading…
8.

図書

図書
中川聖一著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1988.7  ix, 197p ; 22cm
所蔵情報: loading…
9.

図書

図書
電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1988.11  vi, 234p ; 22cm
所蔵情報: loading…
10.

図書

図書
岩垂好裕著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1989.2  253p ; 22cm
所蔵情報: loading…
11.

図書

図書
電子情報通信学会編
出版情報: 東京 : オーム社, 1988.3  2冊 ; 27cm
所蔵情報: loading…
12.

図書

図書
電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1988.3  vii, 328p ; 22cm
所蔵情報: loading…
13.

図書

図書
野村浩郷著 ; 電子情報通信学会編著
出版情報: 東京 : 電子情報通信学会, 1988.3  ii, v, 290p ; 22cm
所蔵情報: loading…
14.

図書

図書
福田益美, 平地康剛共著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1992.2  xiv, 235p ; 22cm
所蔵情報: loading…
15.

図書

図書
電子情報通信学会編
出版情報: 東京 : オーム社, 1992.10  16, 562p ; 27cm
所蔵情報: loading…
16.

図書

図書
電子情報通信学会編
出版情報: 東京 : オーム社, 1993.1  22, 525p ; 27cm
所蔵情報: loading…
17.

図書

東工大
目次DB

図書
東工大
目次DB
山下栄吉編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1993.3  ix, 354p ; 22cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 電磁波問題におけるスーパーコンピュータの利用技術
   1.1 歴史的背景 1
   1.2 数値解法の特徴と適用範囲 4
   1.3 スーパーコンピュータの基礎事項 6
   1.3.1 スカラプロセッサとアレープロッセサ 6
   1.3.2 パイプライン方式ベクトル計算機の基本構造 6
   1.3.3 スカラ処理とベクトル処理 8
   1.3.4 ベクトル化率と実効性能 11
   1.3.5 高速化のためのハードウェア機構 12
   1.4 ベクトル化とプログラミング上の注意 15
   1.4.1 データ参照関係とベクトル化 15
   1.4.2 自動ベクトル化機能 17
   1.4.3 ベクトル化支援ツール 20
   1.5 誘電体装荷導波管フィルタの解析とプログラミング例 21
   1.5.1 基本方程式 21
   1.5.2 有限要素法 22
   1.5.3 境界要素法 23
   1.5.4 有限・境界要素結合法 24
   1.5.5 反射・透過係数 25
   1.5.6 数値計算例 26
   1.6 演習問題 32
第2章 有限差分時間領域法
   2.1 歴史的背景 41
   2.1.1 マクスウェル方程式の直接計算 41
   2.1.2 シミュレーション 42
   2.2 方法の適用範囲 46
   2.3 FD-TD法 50
   2.3.1 マクスウェル方程式の差分表示 50
   2.3.2 プログラム例 58
   2.4 解析例 82
   2.5 演習問題 85
第3章 積分方程式によるアンテナの解析
   3.1 歴史的背景 92
   3.2 アンテナ特性 94
   3.3 直線状導体から成るアンテナ 95
   3.4 モーメント法 97
   3.4.1 マトリクス表示 97
   3.4.2 部分的正弦関数を使用したガレルキン法 98
   3.5 任意形状導体から成るアンテナ 100
   3.5.1 メイの積分方程式 100
   3.5.2 ポイントマッチング法 104
   3.6 中野の積分方程式 107
   3.6.1 微積分を含まない積分核 107
   3.6.2 π2の簡略化 110
   3.6.3 π3の簡略化と最終形πij(Si、Sj) 110
   3.7 任意形状の開口と線状導体から成るアンテナ 113
   3.7.1 二つの領域における電磁界 113
   3.7.2 直線状導体素子による磁界 116
   3.7.3 直線状開口素子のよる磁界 118
   3.7.4 線状導体とスロットからの合成接線磁界 120
   3.7.5 合成接線電界 122
   3.7.6 モーメント法によるIn、Mnの決定 124
   3.8 誘電体上の線状アンテナ 124
   3.8.1 仮定と展開関数 124
   3.8.2 分割素子からの電界 125
   3.8.3 電界の接線成分 128
   3.8.4 インピーダンス行列 130
   3.9 まとめ 132
   3.10 演習問題 132
   付記3.1 ダイポールの電流分布を求めるプログラム例 134
   付記3.2 136
   付記3.3 136
第4章 物理光学近似
   4.1 歴史的背景 139
   4.2 本手法の適用範囲 140
   4.3 物理光学近似の実際 141
   4.4 応用例 144
   4.4.1 平板による平面波の散乱 144
   4.4.2 平板によるダイポール波の散乱 149
   4.4.3 2次元柱状物体の散乱 153
   4.4.4 反射鏡アンテナの指向性 159
   4.5 物理光学近似に関する考察 161
   4.5.1 等価定理による物理光学近似の解釈と各種算法の比較 163
   4.5.2 停留位相法による積分の近似 169
   4.5.3 物理光学近似の誤差 174
   4.6 演習問題 177
第5章 不規則表面による電磁波散乱の解析
   5.1 歴史的背景 180
   5.2 ランダム表面の統計的性質 182
   5.3 グリーン関数と散乱波動場 186
   5.4 表面散乱のキルヒホッフ近似 188
   5.4.1 境界条件と散乱波の漸近形 188
   5.4.2 散乱振幅の平均とゆらぎ 192
   5.5 表面散乱の摂動法 200
   5.6 表面散乱の確率汎関数法 203
   5.6.1 確率波動場の表現 204
   5.6.2 散乱波の統計量 209
   5.7 演習問題 215
第6章 固有関数展開法
   6.1 歴史的背景 217
   6.2 平面回路の固有関数展開法による解析 218
   6.2.1 平面回路と平面回路方程式 219
   6.2.2 平面回路の固有関数展開法による解析 225
   6.2.3 適用例-正方形平面回路 236
   6.3 立体回路の固有関数法による解析 242
   6.3.1 一意性定理と等価定理 243
   6.3.2 ディレクショナルフィルタ 246
   6.3.3 ダイアディックグリーン関数と積分方程式 250
   6.3.4 積分方程式の数値解法 255
   6.3.5 グリーン関数の固有モード関数展開 263
   6.3.6 方形・円形導波管の固有モード関数 268
   6.3.7 数値計算例 270
   6.3.8 更に勉強したい人のために 274
   6.4 演習問題 274
   付記6.1 平行平板平面回路の平面回路方程式の導出 275
   付記6.2 平面的伝送線路の姿態解析、等価伝送線路モデル 276
   付記6.3 平面回路内の電圧分布のグリーン関数表示 278
   付記6.4 グリーン関数の固有関数展開 279
   付記6.5 2開口正方形平面回路の固有モード展開法による解析プログラムリスト 280
第7章 方形境界分割法
   7.1 歴史的背景 288
   7.2 特徴と適用範囲 290
   7.2.1 方形境界分割法の適用範囲 290
   7.2.2 解析法の特長 291
   7.3 方形境界分割法による一般化マイクロストリップ線路の特性解析 292
   7.3.1 伝送線路の特性と線路キャパシタンス 293
   7.3.2 各領域内の電位関数 294
   7.3.3 境界条件と1次スプライン関数 295
   7.3.4 静電界エネルギーの最小化による電位分布決定 300
   7.4 他の応用例 301
   7.4.1 ストリップ導体線路の結合 301
   7.4.2 誘電体基板端付近に置かれたマイクロストリップ線路の特性 305
   7.4.3 マイクロストリップリング構造の特性解析 308
   7.4.4 減衰定数の計算 309
   7.5 数値計算上の注意 312
   7.5.1 フーリエ級数の項数 313
   7.5.2 2次のスプライン関数を使う場合 315
   7.5.3 スプライン関数の節点の配置 316
   7.6 まとめ 318
   7.7 演習問題 319
   付記 一般化マイクロストリップ線路の方形境界分割法による解析プログラム 319
   付記7.1 プログラム使用上の注意 319
   付記7.2 プログラムリスト 320
   演習問題の解答 332
   索引 349
第1章 電磁波問題におけるスーパーコンピュータの利用技術
   1.1 歴史的背景 1
   1.2 数値解法の特徴と適用範囲 4
18.

図書

図書
茨木俊秀著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1979.7  iv, iii, 220p ; 22cm
シリーズ名: 情報とシステムシリーズ
所蔵情報: loading…
19.

図書

図書
当麻喜弘編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会, 1990.6  8, 305p ; 22cm
所蔵情報: loading…
20.

図書

図書
電子通信学会編
出版情報: 東京 : 電子通信学会 , 東京 : コロナ社 (発売), 1975.11  vi, 270p ; 22cm
所蔵情報: loading…
21.

図書

図書
羽石操, 平澤一紘, 鈴木康夫共著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社(発売), 1996.8  viii, 293p ; 22cm
所蔵情報: loading…
22.

図書

図書
電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1996.10  viii, 307p ; 22cm
所蔵情報: loading…
23.

図書

図書
尾嶋正治, 本間芳和編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1996.11  vii, 275p ; 22cm
所蔵情報: loading…
24.

図書

図書
御子柴宣夫 [ほか] 編著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1993.7  viii, 164p ; 22cm
所蔵情報: loading…
25.

図書

図書
畔柳功芳, 塩谷光執筆
出版情報: 東京 : コロナ社, 1994.10  x, 264p ; 22cm
シリーズ名: 電子情報通信学会大学シリーズ / 電子情報通信学会編 ; F-1
所蔵情報: loading…
26.

図書

図書
大賀寿郎, 山崎芳男, 金田豊共著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1995.3  vii, 265p ; 22cm
所蔵情報: loading…
27.

図書

図書
電子情報通信学会編 ; 安浦寛人著
出版情報: 東京 : コロナ社, 2015.10  viii, 128p ; 26cm
シリーズ名: 電子情報通信レクチャーシリーズ / 電子情報通信学会編 ; B-5
所蔵情報: loading…
目次情報: 続きを見る
1 : ディジタルシステムの基礎
2 : 論理代数と論理関数
3 : 論理素子
4 : 論理式の最小化
5 : 組合せ論理回路の設計
6 : フリップフロップと記憶
7 : 有限状態機械
8 : 有限状態機械の状態数の最小化
9 : 同期式順序回路の設計
10 : 算術演算回路
1 : ディジタルシステムの基礎
2 : 論理代数と論理関数
3 : 論理素子
概要: ディジタルシステムで実現される機能の数学的なモデルである論理関数と有限状態機械を、論理回路として組合せ論理回路や同期式順序回路の形でCMOS論理素子を用いて設計する手法をわかりやすく解説する。
28.

図書

図書
今井秀樹著 ; 電子情報通信学会編
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1990.3  xiv, 341p ; 22cm
所蔵情報: loading…
29.

図書

図書
青木幸一 [ほか] 共著
出版情報: 東京 : 電子情報通信学会 , 東京 : コロナ社 (発売), 1998.2  vi, 244p ; 22cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼