課題研究報告
![JAIST Repository: Investigation of Modal Logics with Application to Agent Communication [課題研究報告書]](data:image/gif;base64,R0lGODlhAQABAIAAAP///wAAACH5BAEAAAAALAAAAAABAAEAAAICRAEAOw==)
JAIST Repository: Investigation of Modal Logics with Application to Agent Communication [課題研究報告書]
... Epistemic logic is based on modal logic, as mentioned above, thus it is important to understand basic knowledge of modal logic before studying agent communication.. In the first part of [r] ...
3
JAIST Repository: Investigation and Specification of Path Finding Algorithms [課題研究報告書]
... In this report, we have described the importance of pathfinding algo- rithms of autonomous robots/cars, and we have described state machines in a formal specification by Maude, we descri[r] ...
4
JAIST Repository: FPGAを用いたオーディオ電子透かしアルゴリズムの実装に関する研究 [課題研究報告書]
... 1.1 研究背景 近年，マルチメディア及びコンピュータネットワーク技術の急速な発展に伴い，マルチ メディア（テキスト、オーディオ、画像、ビデオなど）のプロセス及び配布するのは，非 常に容易になり，誰でもネットワークで電子情報を収集することできる．しかし，著作権 保護の問題がなっている．電子透かし技術とは，デジタルマルチメディアのデータを改変 ...
49
JAIST Repository: マルウェアによるパッカー利用の解析 [課題研究報告書]
... 2 1. 背景 ICT の利用が今後もこれまで以上の速さで拡大していくことが明らかな中で、マルウェアもその活動領域を拡大し、こ れまで以上に社会に影響を及ぼすことが避けられない状況にある。そのような背景もありマルウェアに対する研究が 様々な観点で行われているが、その中の領域の一つにマルウェアが自身の隠蔽化のために利用するパッカーについて ...
51
JAIST Repository: Investigation and Specification of Path Finding Algorithms [課題研究報告書]
... Since we got the shortest path by using Dijkstra, but we need to verify some properties of Dijkstra, so I found two properties, one is whether Dijkstra always halts, the second property [r] ...
74
JAIST Repository: An Investigation of Applications of State Machines [課題研究報告書]
... • Model checking : We used Maude search command and LTL model checker to find out the protocol enjoy mutex property and lockout freedom property or not.. • Graphical Animation by SMGA : [r] ...
88
JAIST Repository: FPGAを用いたオーディオ電子透かしアルゴリズムの実装に関する研究 [課題研究報告書]
... The algorithm [1] is a typical frequency domain algorithm.In the embedding process, the original audio is transformed into the Haar discrete wavelet of level 8, the value of the low freq[r] ...
4
JAIST Repository: An Investigation of Applications of State Machines [課題研究報告書]
... Maude has been utilized to depict numerous state machines formalizing different sorts of frameworks and model watch that such state machines appreciate wanted properties formalized as in[r] ...
3
JAIST Repository: An Analysis of Voting Algorithm in Games [課題研究報告書]
... In these experiments, they prepare many engines that contribute to consultation which are generated with random numbers in the evaluation function of the original strong Shogi engine, BO[r] ...
5
JAIST Repository: An Analysis of Voting Algorithm in Games [課題研究報告書]
... Also, in some consultation algorithm, weak engines which are made from a strong original engine with random numbers suggest candidate moves.. In other words, contribution of weak engines[r] ...
29
JAIST Repository: 命令セットによるマイクロアーキテクチャへの影響に関する研究 [課題研究報告書]
... (Although ARM processors in general have 16-bit wide instructions, called Thumb instructions, that are aimed at improving the cord efficiency, the Thumb instructions are out of the scope o[r] ...
5
JAIST Repository: ものづくり課外活動における情報共有支援に関する研究 [課題研究報告書]
... This report proposes an internet-based information sharing environment on manufacturing club activities in technical colleges based on the results of the field questionnaires in ord[r] ...
4
JAIST Repository: ものづくり課外活動における情報共有支援に関する研究 [課題研究報告書]
... 4 は高専によって異なるが，校長，顧問，高専ロボコンメンバー，ロボコン OB・OG 等であ る．学内アイデア選考会において決定された 2 つのロボットアイデアが，最終的に大会出 場ロボットとなる．なお，大会に出場するためには大会運営側から定められたアイデアシ ートを漏れなく記入し，提出する必要がある．アイデアシートはロボット名，戦略・コン セプト，ロボットの外観，寸法，重量，課題攻略のためのメカニズム，安全装置の設置箇 ...
49
JAIST Repository: 歌唱における気導・骨導の聴覚フィードバックに関する調査研究 [課題研究報告書]
... 上記の知見はすべて，気導の聴覚フィードバックを前提として得られたものであり，骨導 の聴覚フィードバックが歌唱時の F0 やその動的変動に果たす役割については依然として 未解明であることが分かった． 最後に，気導音声に加え骨導音声に着目するため，骨導音声の知覚と音響的特徴に関す る研究の調査を行なった．骨導音声は主に 5 つの知覚経路を持つことが分かった．音響分 析から，骨導音声には F0 ...
61
JAIST Repository: Solving the werewolf puzzle by communication between agents [課題研究報告書]
... Abstract In this research, we are talking about the methods that develop an AI agent for solving the werewolf game just like human beings.. Werewolf game is party game at first.[r] ...
40
JAIST Repository: Human-like Computer Agents using NeuroEvolution with Statistical Penalties [課題研究報告書]
... The experimental results shows that the human-likeness of agents created by using NeuroEvolution can be improved, and the computer agent is able to achieve the number of actions partly s[r] ...
5
JAIST Repository: Program development in Java based on CafeOBJ specifications [課題研究報告書]
... In this section, we propose steps to write a concurrent program in Java programming language based on an OTS specification in CafeOBJ and show some case studies for the method.. 5.1 Impl[r] ...
57
JAIST Repository: Program development in Java based on CafeOBJ specifications [課題研究報告書]
... Despite its usefulness, up to present, few researches and engineers have applied CafeOBJ specifications to software development, while object-oriented specification tech- niques such as [r] ...
3
JAIST Repository: Survey for spoken language understanding in dialogue system [課題研究報告書]
... probability representation of syntactic or semantic information is also proposed, this kind of representation are trained by statistic model and big dataset based on statistical results[r] ...
47
JAIST Repository: Survey for spoken language understanding in dialogue system [課題研究報告書]
... During modeling by statistical method, the probability representation of syntactic or semantic information is also proposed, this kind of representation are trained by statistic m[r] ...
4