著者
Sonu JHA Subhadeep BANIK Takanori ISOBE Toshihiro OHIGASHI Santanu SARKAR
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences (ISSN:09168508)
巻号頁・発行日
vol.E101-A, no.11, pp.1869-1879, 2018-11-01

In this paper we present proofs for the new biases in RC4 which were experimentally found and listed out (without theoretical justifications and proofs) in a paper by Vanhoef et al. in USENIX 2015. Their purpose was to exploit the vulnerabilities of RC4 in TLS using the set of new biases found by them. We also show (and prove) new results on couple of very strong biases residing in the joint distribution of three consecutive output bytes of the RC4 stream cipher. These biases provides completely new distinguisher for RC4 taking roughly O(224) samples to distinguish streams of RC4 from a uniformly random stream. We also provide a list of new results with proofs relating to some conditional biases in the keystreams of the RC4 stream cipher.
著者
硴崎 賢一
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:09151915)
巻号頁・発行日
vol.J75-D1, no.4, pp.241-250, 1992-04-25

本論文では,コンパイラの最適化手法をインタプリタに適合させ,処理速度とメモリ効率を向上させたPROLOGインタプリタの構築法について述べる.このインタプリタでは,インデキシング,レジスタ割当ての最適化,環境生成の抑制などの最適化手法を取り入れることによって性能の向上を図っている.例えば,インデキシングは,述語を動的と静的の2種類に分類し,この分類に基づいて行う方式を提案している.また,組込み述語の特性を利用することによって,複合項の構造複写を抑制し,処理速度とメモリ効率を大幅に向上させることができる最適化方式を提案している.この方式は,インタプリタだけでなくコンパイラにも導入できるため,PROLOG処理系の一般的な手法として広く利用できるという特長がある.試作した処理系では,RISCワークステーション上で従来のインタプリタの4倍程度の40 K LIPSの処理速度が得られると共に,メモリ効率が大幅に向上することを確認した.
著者
熊谷 匠純 菊地 拓翔 澤 信吾 加藤 菜美絵 関 良明
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J101-D, no.10, pp.1438-1442, 2018-10-01

情報システムのユーザ認証に用いるパスワード等を学生間で共有する事例が散見される.大学生にはISMSによる内部統制が効きにくいことが原因と考えられる.本論文では,質問紙調査により,友人関係が情報セキュリティ行動に与える影響を調査する.
著者
水科 晴樹 阪本 清美 金子 寛彦
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J94-D, no.10, pp.1640-1651, 2011-10-01

機器使用時のユーザの心理的ストレスを客観的に評価するために,心拍や皮膚導電率等の生体信号を用いる手法が提案されている.しかしそれらの手法には電極の装着等の煩わしさが伴うため,それ自体がストレスの原因となる可能性もある.その点において,眼球運動は非接触で計測可能であるため,ストレスの優れた指標になり得ると考えられる.本論文はそのための基礎的な知見を得ることを目的とし,多様な課題の遂行時における眼球運動を計測した.また,そのときの心理状態の主観評価も併せて行い,眼球運動の特性との対応を検討した.その結果,課題によって時間的な切迫感を与えた場合に,振幅の小さいサッカード眼球運動の分布における振幅の平均値と主観的な「焦り感」との間に正の相関が見られた.このことから,サッカード眼球運動の動特性が心理的ストレスの指標として利用できる可能性が示された.一方,課題の遂行に関連すると考えられる振幅の大きなサッカードの分布においては,眼球運動の動特性と心理状態との間に相関は見られなかった.このことから,心理状態は課題の遂行に関連しない振幅の小さい眼球運動により強く反映されると考えられる.
著者
内田 雄基 大橋 一輝 高橋 桂太 藤井 俊彰
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J99-D, no.9, pp.823-835, 2016-09-01

本論文では,代表的なlight field cameraの一つであるLytro Illumを対象とし,カメラの物理的な画素配列を考慮した超解像手法を提案する.Lytro Illumでは,イメージセンサの手前に挿入されたマイクロレンズアレーの働きにより,多視点画像の同等のデータ(light fieldデータ)がイメージセンサ上に多重化されるため,一度の撮影で三次元情報を取得できる.取得データ(RAW画像)に逆多重化を施すことで,多視点画像(sub-aperture image)を取り出せるが,個々の画像の解像度は限られる.そこで,多視点画像を相互に位置合わせして超解像を行い,解像度を向上させる方法が考えられる.しかしながら,従来の手法では,Lytro Illumのようなカメラに特有のRAW画像の画素配列の扱い方に問題がある.RAW画像では,各画素はRGBのうち一つの色情報をもち,かつ,マイクロレンズが六角格子状に並んでいる.従来の手法では,デモザイキングにより色情報を復元し,レンズ配列が正方格子状になるように画素をリサンプリングする.これらの過程には重みづけ和のような演算を伴うデータの補間が含まれるため,RAW画像のもつオリジナルの情報が損なわれ,超解像の効果を妨げると考えられる.それに対して我々は,演算を伴う補間処理を行わず,RAW画像の画素配列を維持したsub-aperture imageを用いて超解像を行う手法を提案する.また,幾つかの実写画像を用いた実験により,提案手法の有効性を示す.
著者
Kazuya MATSUMOTO Naohito NAKASATO Stanislav G. SEDUKHIN
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE Transactions on Information and Systems (ISSN:09168532)
巻号頁・発行日
vol.E95.D, no.12, pp.2759-2768, 2012-12-01 (Released:2012-12-01)
参考文献数
29
被引用文献数
3 13

This paper presents a blocked united algorithm for the all-pairs shortest paths (APSP) problem. This algorithm simultaneously computes both the shortest-path distance matrix and the shortest-path construction matrix for a graph. It is designed for a high-speed APSP solution on hybrid CPU-GPU systems. In our implementation, two most compute intensive parts of the algorithm are performed on the GPU. The first part is to solve the APSP sub-problem for a block of sub-matrices, and the other part is a matrix-matrix “multiplication” for the APSP problem. Moreover, the amount of data communication between CPU (host) memory and GPU memory is reduced by reusing blocks once sent to the GPU. When a problem size (the number of vertices in a graph) is large enough compared to a block size, our implementation of the blocked algorithm requires CPU $\rightleftharpoons$ GPU exchanging of three blocks during a block computation on the GPU. We measured the performance of the algorithm implementation on two different CPU-GPU systems. A system containing an Intel Sandy Bridge CPU (Core i7 2600K) and an AMD Cayman GPU (Radeon HD 6970) achieves the performance up to 1.1 TFlop/s in a single precision.
著者
Shogo SEKI Tomoki TODA Kazuya TAKEDA
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences (ISSN:09168508)
巻号頁・発行日
vol.E101-A, no.7, pp.1057-1064, 2018-07-01

This paper proposes a semi-supervised source separation method for stereophonic music signals containing multiple recorded or processed signals, where synthesized music is focused on the stereophonic music. As the synthesized music signals are often generated as linear combinations of many individual source signals and their respective mixing gains, phase or phase difference information between inter-channel signals, which represent spatial characteristics of recording environments, cannot be utilized as acoustic clues for source separation. Non-negative Tensor Factorization (NTF) is an effective technique which can be used to resolve this problem by decomposing amplitude spectrograms of stereo channel music signals into basis vectors and activations of individual music source signals, along with their corresponding mixing gains. However, it is difficult to achieve sufficient separation performance using this method alone, as the acoustic clues available for separation are limited. To address this issue, this paper proposes a Cepstral Distance Regularization (CDR) method for NTF-based stereo channel separation, which involves making the cepstrum of the separated source signals follow Gaussian Mixture Models (GMMs) of the corresponding the music source signal. These GMMs are trained in advance using available samples. Experimental evaluations separating three and four sound sources are conducted to investigate the effectiveness of the proposed method in both supervised and semi-supervised separation frameworks, and performance is also compared with that of a conventional NTF method. Experimental results demonstrate that the proposed method yields significant improvements within both separation frameworks, and that cepstral distance regularization provides better separation parameters.
著者
安達 博行 亀川 裕之 岩田 茂樹
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:09135713)
巻号頁・発行日
vol.J70-D, no.10, pp.1843-1852, 1987-10-25

将棋の盤面を縦横9マスから縦横nマスに一般化したとき,与えられた局面から先手が勝てるかどうかを決定する問題は指数時間完成であることを示す.すなわち一般化将棋の先手必勝問題を解くどのアルゴリズムも少なくともnの指数時間を必要とし,この問題は「手に負えない」問題であることを証明する.この結果は,すでに指数時間完全であることが知られているG3の先手必勝問題(Stockmeyer, et al., Provably difficult combinatorial games, SIAM J. Comput. 8)から対数領域還元可能であることを示す.G3は与えられた積和形式の論理関数上のゲームである.一般化将棋の構成は各論理変数をシミュレートするための変数部,論理関数の各項に対応する飛車捕獲部,リテラルが項に含まれることに対応する竜角交代部などからなる.
著者
宇都 雅輝
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J101-D, no.6, pp.895-908, 2018-06-01

近年,受験者の実践的かつ高次の能力を測定する手法の一つとしてパフォーマンス評価が注目されている.一方で,パフォーマンス評価の問題として,能力測定の精度が評価者とパフォーマンス課題の特性に強く依存する点が指摘されてきた.この問題を解決する手法として,近年,評価者と課題の特性を表すパラメータを付与した項目反応モデルが多数提案され,その有効性が示されている.他方,現実の評価場面では,複数回の異なるパフォーマンステストの結果を比較するニーズがしばしば生じる.このような場合に項目反応モデルを適用するためには,個々のテスト結果から推定されるモデルパラメータを同一尺度上に位置付ける「等化」が必要となる.一般に,パフォーマンステストの等化を行うためには,テスト間で課題と評価者の一部が共通するように個々のテストを設計する必要がある.このとき,等化の精度は,共通課題や共通評価者の数,各テストにおける受験者の能力特性分布,受験者数・評価者数・課題数などの様々な条件に依存すると考えられる.しかし,これまで,これらの要因が等化精度に与える影響は明らかにされておらず,テストをどのように設計すれば高精度な等化が可能となるかは示されてこなかった.そこで本研究では,項目反応モデルをパフォーマンス評価に適用して等化を行う場合に,その精度に影響を与える要因を実験により明らかにし,その結果に基づき,高い等化精度を達成するために必要なテストのデザインについて基準を示す.
著者
Yasuhiro HARADA Shogo MURAMATSU Hitoshi KIYA
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences (ISSN:09168508)
巻号頁・発行日
vol.E81-A, no.8, pp.1607-1615, 1998-08-25

The checkerboard effect is caused by the periodic time-variant property of multirate filters which consist of up-samplers and digital filters. Although the conditions for some one-dimensional (1D) multirate systems to avoid the checkerboard effect have been shown, the conditions for Multidimensional (MD) multirate systems have not been considered. In this paper, some theorems about the conditions for MD multirate filters without checkerboard effect are derived. In addition, we also consider MD multirate filter banks without checkerboard effect. Simulation examples show that the checkerboard effect can be avoided by using the proposed conditions.
著者
上原 一浩
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 B (ISSN:13444697)
巻号頁・発行日
vol.J100-B, no.9, pp.693-704, 2017-09-01

1980年代,軍用通信への応用を目指してソフトウェア無線の研究開発がスタートし,DSPやFPGA等の急速な性能向上と低価格化も進み,民生機器への展開に向けた研究開発が本格化した.また,1990年代には,ソフトウェア無線機を適応的に制御し利用するためのコグニティブ無線の概念が提唱され,その応用として高度な電波利用の実現に向けた技術開発が加速した.無線装置及び無線ネットワークの機能や性能を動的かつ適応的に変更可能とするソフトウェア無線・コグニティブ無線を実現するためには,信号処理技術やシステム制御技術,ネットワーク技術,広帯域フロントエンド技術や無線機構成技術,スペクトルのセンシング・可視化・管理・共用技術,セキュリティ技術など,ベースバンド部からRF部に至るまで,ハードウェア・ソフトウェアの両面で,様々な基盤技術の開発が必要である.本論文では,このソフトウェア無線・コグニティブ無線技術の研究開発に関し,特に無線アクセスシステムへの応用を目指した我が国における基盤技術開発を中心に,これまでの主要な取り組みについて概説する.更に,主要な実用化事例と,2020年代のIoT時代に向けた将来展望についても述べる.
著者
Minghua LI Takashi HIKIHARA
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (ISSN:09168508)
巻号頁・発行日
vol.E91.A, no.7, pp.1741-1747, 2008-07-01 (Released:2010-03-01)
参考文献数
14
被引用文献数
1 66

The redox (Reduction-Oxidation) flow battery is one of the most promising rechargeable batteries due to its ability to average loads and output of power sources. The transient characteristics are well known as the remarkable feature of the battery. Then it can also compensate for a sudden voltage drop. The dynamics are governed by the chemical reactions, fluid flow, and electrical circuit of its structure. This causes the difficulty of the analysis at transient state. This paper discusses the transient behavior of the redox flow battery based on chemical reactions. The concentration change of vanadium ions depends on the chemical reactions and the flow of electrolysis solution. The chemical reaction rate is restricted by the attached external electric circuit. In this paper, a model of the transient behavior is introduced. The validity of the derived model is examined based on experiments for a tested micro-redox flow battery system.
著者
Colin G. Harrison
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE Transactions on Communications (ISSN:09168516)
巻号頁・発行日
pp.2017ADI0003, (Released:2018-02-22)
被引用文献数
1

As the capabilities and costs of Artificial Intelligence (AI) and of sensors (IoT) continue to improve, the concept of a "control system" can evolve beyond the operation of a discrete technical system based on numerical information and enter the realm of large-scale systems with both technical and social characteristics based on both numerical and unstructured information. This evolution has particular significance for applying the principles of Autonomous Decentralised Systems (ADS) [1]. This article considers the possible roles for ADS in complex technical and social systems extending up to global scales.
著者
横山 拓 鈴木 宏昭
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J101-D, no.2, pp.294-305, 2018-02-01

本論文は,不確実性が高く,事前のプランが立てにくい環境に置かれたマネジャーが,断片的で無計画に見える日常活動を送りながらも,周囲の職場環境が提供する様々な認知資源をたよりに組織運営にあたっていることを示す.具体的には,非定型的な業務に従事する2人のマネジャーに対して各3日間の観察調査を行い,時間配分,計画やコミュニケーションの特徴を分析した.その結果,マネジャーの日常活動が断片化していること,マネジャー自身と周囲の環境とに計画が分散されていること,周囲との偶発的かつ頻繁なコミュニケーションによって仕事が調整されていることが確認された.この結果を分散認知,拡張された心の観点から検討した.
著者
町澤 朗彦 青木 哲郎 岩間 司 鳥山 裕史 今村 國康 土屋 茂 金子 明弘 前野 英生 高橋 幸雄
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J96-D, no.10, pp.2308-2318, 2013-10-01

時刻情報は重要な社会基盤となっている.そこで,日本標準時システムに直結した信頼性の高い時刻配信システムを開発し,NTPサーバntp. nict. jpとしてインターネットを介して公開したので報告する.本システムは,インターネットにおける標準的な時刻同期プロトコルであるNTPを利用しているが,安定して時刻を配信するために,耐障害性,過負荷対策,将来にわたるサービスの維持,セキュリティ対策,Stratum 1の提供,GPS非依存などの特徴を有している.また,実運用から得られた利用統計情報を解析した.2012年末現在,1日当りのリクエスト数は約1億7千万,クライアントは約1500万IPアドレスであり,世界230の国と地域に広がっている.更に,ピーク時には1秒間に約13万リクエストの利用があることが明らかになった.一方,1日のポーリング頻度が1回以下のクライアントが約8割であること,並びに,1台の時刻サーバしか参照していないクライアントが約9割であることなど,クライアントの時刻維持が不十分であることが推測される.更に,クライアントのネットワーク距離分布から,インターネットの直径が従来の推定値よりも大きいことを示した.
著者
Olav GEIL Stefano MARTIN Umberto MARTÍNEZ-PEÑAS Ryutaroh MATSUMOTO Diego RUANO
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (ISSN:09168508)
巻号頁・発行日
vol.E100.A, no.12, pp.2699-2708, 2017-12-01 (Released:2017-12-01)
参考文献数
32
被引用文献数
3

Asymptotically good sequences of linear ramp secret sharing schemes have been intensively studied by Cramer et al. in terms of sequences of pairs of nested algebraic geometric codes [4]-[8], [10]. In those works the focus is on full privacy and full reconstruction. In this paper we analyze additional parameters describing the asymptotic behavior of partial information leakage and possibly also partial reconstruction giving a more complete picture of the access structure for sequences of linear ramp secret sharing schemes. Our study involves a detailed treatment of the (relative) generalized Hamming weights of the considered codes.
著者
松田 圭悟 大山 航 若林 哲史
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 A (ISSN:09135707)
巻号頁・発行日
vol.J100-A, no.12, pp.435-443, 2017-12-01

本研究では,訓練偽筆を含まない学習データを用いた組み合わせ分割署名照合法を提案する.提案手法は,まず,ペン先のx, y座標,筆速,筆圧の時系列で構成されるオンライン署名情報を入力し,筆速,筆圧をそれぞれストローク幅,濃度値に反映させた署名画像を生成する.次に,オンライン署名時系列及び生成された署名画像のそれぞれをストロークの重心位置で分割する.入力されたオンライン署名時系列及び生成された署名画像とそれぞれの分割署名をオンライン用,オフライン用の手法で照合し,照合スコアを判定用SVMで真偽判定する.判定用SVMの学習には真筆同士,真筆と偽筆の照合スコアを含む学習用データを用いる必要があるが,本論文では偽筆クラスの学習サンプルとして第三者の真筆を用いるランダム偽筆学習を提案する.また,偽筆サンプルの削減のために,One-class SVMとk-meansクラスタリングを用いた効果的なサンプリング手法も提案する.多言語署名を含むSigCompデータセットを用いた評価実験の結果,訓練偽筆を含む学習用データセットを用いて学習した場合と同程度の精度の署名照合が実現できた.
著者
Xianjun Sheng Jingjing Fan Ning Liu Chunbo Zhang
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
IEICE Electronics Express (ISSN:13492543)
巻号頁・発行日
pp.14.20170518, (Released:2017-06-14)
参考文献数
13
被引用文献数
9

A novel dual-band miniaturized frequency selective surface adopting fractal elements is proposed. The proposed structure is composed of interconnected four SZ curves of second generation. Such a design is to provide two pass-bands with stable performance, the first band resonates at S-band with a center frequency of 3.02GHz and the second band is at C-band centered at 7.22GHz. In addition, the compact structure employing the space filling curve can further reduce the size of the FSS. The dual-band FSS achieves better miniaturization compared with other single layer FSS in previous literature, the dimension of the unit cell is only 0.072λ×0.072λ, where λ represents the free space wavelength at first resonant frequency. Furthermore, the proposed FSS exhibits great resonance stability for different polarizations and incidence angles. Both the simulation and measurement verify the stable performance of the FSS.
著者
山崎 俊彦 アンドリュー ギャラガー ツーハン チェン 相澤 清晴
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J97-D, no.9, pp.1437-1444, 2014-09-01

近年,SNSにアップロードされた大量のジオタグ(位置情報)を用いた処理が盛んに研究されている.旅行推薦はその代表的なものであり,特に都市内旅行推薦の研究が数多く進められてきた.都市内推薦とは,ある都市で旅行しているとき,その時点までの旅行履歴を元に今後の訪問地を推薦するものである.これまで,トピックモデルを用いた推薦や年齢・性別・人種などの属性に応じた推薦などが提案されている.本論文では,季節・時間帯を考慮にいれた都市内旅行推薦方式を提案する.推薦では,ベイズの定理を用いて季節と時間帯による旅行ルートの人気の違いを表現し,マルコフモデルに組み入れることにより高精度な推薦を実現する.ベイズの定理に基づく旅行推薦手法は,これまでも幾つか提案されており,本手法はそれらの手法と組み合わせて用いることが原理的に可能である.提案手法の妥当性は,世界21の都市・公園で撮られた620万枚のジオタグ付き写真を用いた実験により確認した.
著者
徳永 弘子 武川 直樹 木村 敦 湯浅 将英
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 D (ISSN:18804535)
巻号頁・発行日
vol.J96-D, no.1, pp.3-14, 2013-01-01

複数人が集って共にする食事(共食)は,人のコミュニケーションにおいて重要な役割を果たしているが,共食の場の構造を定量的データに基づき分析した研究例は少ない.本研究では,3人が食事をしながら会話をする映像から,参与者の視線,発話の行動を定量的に調査し,共食会話の構造を分析した.特に,視線持続時間と参与の役割ごとの発話行為,会話の順番交替直前の視線先と順番交替の関係を詳細に調べた.その結果,共食会話は食事のない会話に比べ,人に向ける視線持続時間が短く,会話は話者発話-聞き手発話-話者発話の隣接で構造化されること,更に話者発話による会話の順番交替では,会話者同士が視線を合わすことなく発話が遷移するケースが多いことが明らかになった.これにより,共食中は会話への参加の義務が緩く,話し手の発話は場に投げられ,次の発話は誰が開始してもよい場として形成されていることが示唆された.