検索結果 1234件中 1-20 を表示

  • 配列を入力引数とする関数の検証のための分離論理の拡張

    水谷 慎之介 , 西田 直樹 , 酒井 正彦

    … 語を応用すればそのようなヒープを表現することは可能だが,連続するヒープをわざわざそのような述語を用いて検証するのは冗長である.本発表では,整数式でサイズを表したヒープ表現を導入することで分離論理を拡張し,その拡張に応じて分離論理の推論規則も拡張する.As in the C programming language, a function passed an array as one of its arguments receives only a pointer to the first element of the array, and acts as if the entire array is …

    情報処理学会論文誌プログラミング(PRO) 10(1), 29-29, 2017-01-06

    情報処理学会

  • Encoding Argumentation Semantics by Boolean Algebra

    PU Fuan , LUO Guiming , JIANG Zhou

    … Then, we show that these models can be easily translated into logic programs, and can be solved by a constraint solver over Boolean variables. …

    IEICE Transactions on Information and Systems E100.D(4), 838-848, 2017

    DOI

  • Declaring Constraints on Object-oriented Collections

    Tim Felgentreff , Robert Hirschfeld , Maria Graber , Alan Borning , Hidehiko Masuhara

    Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. … However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the object-oriented paradigm. … Object constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. …

    情報処理学会論文誌プログラミング(PRO) 9(4), 2016-09-12

    情報処理学会

  • 中学生を対象とするPLCを活用した体験授業

    三谷 祐一朗 , 谷埜 博基

    … The main control device of the class was PLC (Programmable Logic Controller), and almost all of the participating students seemed to be interested in the programming of the PLC to construct the sequence control system. …

    沼津工業高等専門学校研究報告 50, 1-6, 2016-01-31

    CiNii PDF - オープンアクセス 

  • 帰納論理プログラミングによる代用のための知識の獲得

    古橋 翔吾 , 岡 夏樹

    情報処理学会関西支部支部大会講演論文集, 3p, 2016

  • 諸外国のプログラミング教育を含む情報教育カリキュラムに関する調査

    太田 剛 , 森本 容介 , 加藤 浩

    <p>本稿では,初等中等教育において全国レベルでプログラミング教育が実施されている英国,オーストラリア,米国のカリキュラムを調査し,その内容を総括的に述べる.各国とも情報教育として,プログラミング教育を包含するコンピュテーショナルシンキングの考え方を中核にして,抽象化,問題の分析,アルゴリズム,データ活用,評価,協働作業等の能力の育成を目指した学習内容を定義している.各国のプログラミン …

    日本教育工学会論文誌 40(3), 197-208, 2016

    DOI

  • Improvement of Star Sensor in Generic Test Environment

    SUGIMURA Nobuo , HASHIMOTO Tatsuaki , KUWAHARA Toshinori , SAKAMOTO Yuji , YOSHIDA Kazuya , SATO Yuki , TAKANO Tomohiro

    … In this board, the avoidance algorithm for white spots was composed using both a hardware logic filter and a software filter. … During the programming of these algorithms, the functionality of the satellite's attitude detection was verified in a generic test environment. …

    TRANSACTIONS OF THE JAPAN SOCIETY FOR AERONAUTICAL AND SPACE SCIENCES, AEROSPACE TECHNOLOGY JAPAN 14(ists30), Pf_97-Pf_103, 2016

    DOI

  • グラフ上の論理的制約をもつマルチビークルシステムの最適制御

    小林 孝一 , 平石 邦彦

    計測と制御 55(11), 966-971, 2016

    DOI

  • Declaring Constraints on Object-oriented Collections

    Felgentreff Tim , Hirschfeld Robert , Graber Maria , Borning Alan , Masuhara Hidehiko

    … <p>Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. … However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the object-oriented paradigm. … Object constraint programming provides a design to integrate constraints with dynamic, object-oriented programming languages. …

    Journal of Information Processing 24(6), 917-927, 2016

    DOI

  • Technology Mapping Method Using Integer Linear Programming for Low Power Consumption and High Performance in General-Synchronous Framework

    KAWAGUCHI Junki , MASHIKO Hayato , KOHIRA Yukihide

    … To improve the circuit performance more, logic synthesis for general-synchronous framework is required. … In this paper, under the assumption that any clock schedule is realized by an ideal clock distribution circuit, when two or more cell libraries are available, a technology mapping method which assigns a cell to each gate in the given logic circuit by using integer linear programming is proposed. …

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99.A(7), 1366-1373, 2016

    J-STAGE DOI

  • A self-adaptive write driver with fast termination of step-up pulse for ReRAM

    Yang Jianguo , Xue Xiaoyong , Xu Juan , Ye Fan , Lin Yinyin , Huang Ryan , Zou QinTian , Wu JinGang

    … However, for conventional write scheme with fixed duration and amplitude, power consumption is very high and cell performance degrades due to over-programming. … The proposed technique is verified on a 256 Kb ReRAM test macro fabricated based on 0.13-µm logic process. …

    IEICE Electronics Express 13(7), 20160195-20160195, 2016

    J-STAGE DOI

  • A self-adaptive write driver with fast termination of step-up pulse for ReRAM

    Yang Jianguo , Xue Xiaoyong , Xu Juan , Ye Fan , Lin Yinyin , Huang Ryan , Zou QinTian , Wu JinGang

    … However, for conventional write scheme with fixed duration and amplitude, power consumption is very high and cell performance degrades due to over-programming. … The proposed technique is verified on a 256Kb ReRAM test macro fabricated based on 0.13-µm logic process. …

    IEICE Electronics Express advpub(0), 2016

    J-STAGE DOI

  • Analysis of Ship Accidents due to Marine Engine Failure : Application of Logic Programming Technique (LPT) (特集 ISME HARBIN 2014)

    Awal Zobair Ibn , Hasegawa Kazuhiko

    Marine engineering : journal of the Japan Institute of Marine Engineering = マリンエンジニアリング :日本マリンエンジニアリング学会誌 50(6), 744-751, 2015-11

  • ICONE23-1952 Co-Simulation for Real Time Safety Verification of Nuclear Power Plants

    Boafo E. K. , Zhang L. , Nasimi E. , Gabbar H. A.

    … Intelligent algorithms is used with multivariate techniques to accurate define the interrelation among process variables, in terms of signal strength and time delay, using Genetic Programming (GP), which will provide basis for fault detection and tuning of FSN, as well as fault diagnosis to understand the closest state of fault scenario. … And in order to fine tune propagation scenarios within FSN, rules are synthesized using fuzzy logic using real time and simulation data. …

    Proceedings of the ... International Conference on Nuclear Engineering. Book of abstracts : ICONE 2015(23), "ICONE23-1952-1"-"ICONE23-1952-8", 2015-05-17

  • SIMPLIFIED AND SYSTEMATIC PLC PROGRAMMING TECHNIQUE : A CASE STUDY OF BURNER CONTROL FOR THERMAL OIL HEATER

    KHAEFOI SUPAKIT , SMERPITAK KRIT , PONGSWATD SAWAI [他]

    ICIC express letters. Part B, Applications : an international journal of research and surveys 6(4), 1025-1032, 2015-04

  • MaxSATソルバを用いた帰納論理プログラミング (特集 「命題論理の充足可能性問題SATと応用技術」および一般)

    力 規晃 , 越村 三幸 , 藤田 博 [他]

    人工知能基本問題研究会 97, 85-90, 2015-03-22

  • 帰納論理プログラミングを用いた複数の発達検査タスクのモデル学習 (ニューロコンピューティング)

    津留 祐樹 , 伊藤 秀昭 , 福本 尚生 [他] , 和久屋 寛

    ロボット工学の目標の一つに,人間と同じくらい賢いロボットの実現がある.我々の研究室では,ロボットを人間に近づけるために発達検査の複数のタスクを達成するロボットを段階的に実現してきた.従前の研究では,強化学習を用いることによって,それらのタスクを達成する行動手順を自動的に学習するシステムを開発した.しかし,そのシステムでは学習のための環境のモデルを手作業で作成しなければならないという問題があった.本 …

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(437), 33-37, 2015-01-29

  • An approach to Application of Inductive Logic Programming to Characterization of Reachable States (ソフトウェアサイエンス)

    HO Dung Tuan , ZHANG Min , OGATA Kazuhiro

    … Then, we describe an approach to application of inductive logic programming, a logic-based machine learning technique, to characterization of state machines' reachable states. …

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(416), 61-66, 2015-01-26

  • An approach to Application of Inductive Logic Programming to Characterization of Reachable States (システム数理と応用)

    HO Dung Tuan , ZHANG Min , OGATA Kazuhiro

    … Then, we describe an approach to application of inductive logic programming, a logic-based machine learning technique, to characterization of state machines' reachable states. …

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(415), 61-66, 2015-01-26

  • Design of a neural network and particle swarm optimization in FPGA

    Dang Tuan Linh , 星野 孝総

    本稿では速度制御を考慮した粒子群最適化によるニューラルネットワークの学習を提案し,学習されたニューラルネットワーク(NN-PSOCV)のFPGA実装について述べる.まず,ハードウェア記述言語であるSystem Verilogを用いたNN-PSOCVのFPGA実装方法について述べ,実験結果より正常に動作することと通常の粒子群最適化を用いた学習(NN-PSO)と比較して良好な結果であることを示す.ニュ …

    日本知能情報ファジィ学会 ファジィ システム シンポジウム 講演論文集 31(0), 568-573, 2015

    DOI

ページトップへ