担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Japan   Nagasaki   2019年06月06日  -  2019年06月07日

© 2019 Association for Computing Machinery. The building environment for field-programmable gate array (FPGA) development has a number of requirements such as using high-end computers for faster hardware compilation and installing the various versions of FPGA computer-aided design (CAD) tools specified by different projects while at the same avoiding conflicts between these tools. These requirements make it difficult to enable FPGA development on a wide range of devices, which is critical for developers from different application domains if they are to leverage FPGAs to their full extent. In this work, we propose an FPGA project building platform that reduces hardware costs by sharing high-performance servers between developers and enables a variety of FPGA CAD tools to be available in one platform by using container technology. The evaluation of the proposed platform showed that it provides shared and clean building environments without having significant performance overhead.

DOI： 10.1145/3337801.3337814

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85070563712&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

China   Chengdu,Sichuan   2019年05月17日  -  2019年05月19日

© 2019 Copyright held by the owner/author(s). Publication rights licensed to ACM. As a promising technology for the post-Moore era, FPGAs (Field- Programmable Gate Arrays) have been employed in a variety of cloud and edge applications to provide hardware acceleration capability. However, with the introduction of FPGAs, the system architecture and development flow are becoming more complicated. In this work, we propose a PaaS (Platform-as-a-Service) approach to simplify the education and development of an FPGA accelerated system, which allows the FPGA development can be completed with only a browser, and then the PaaS system can automatically perform FPGA compilation and deployment.

DOI： 10.1145/3300115.3312512

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85065995266&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Germany   Darmstadt   2019年04月09日  -  2019年04月11日

© 2019, Springer Nature Switzerland AG. Public cloud providers are employing more and more FPGAs as hardware accelerators in data centers. For large applications that requiring cooperation among multiple FPGAs, a network for connecting these accelerators is necessary. Most high-performance commercial switches are designed for general purpose networks, so that have high costs. On the other hand, FPGA-based programmable switches can be customized with minimum necessary functions, but the high-performance full-crossbar design requires too many resources to implement a many-port switch on them. In this work, based on the fact that network topologies of a specific type of applications commonly follow a particular pattern, we show a method of designing and implementing an application-specific switch with reduced resources on FPGAs. Our case studies show that such resource reduced switches can implement a high-performance network with low-cost commercial FPGAs.

DOI： 10.1007/978-3-030-17227-5_5

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85064552803&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Japan   Hida Takayaa   2018年11月27日  -  2018年11月30日

© 2018 IEEE. The execution environment of a real-world distributed system can change dramatically in terms of CPU workload, memory utilization, network traffic, etc. Therefore, an object-oriented distributed environment called Juice was developed in our previous research. Applications developed with Juice have the capability of reconfiguring itself during runtime in order to adapt changes of the execution environment. In this work, we propose a base level adaptable scheduling for the execution of self-reconfigurable objects in Juice. The adaptable scheduler can dynamically change the scheduling policy to meet the user's performance target when the execution environment changed. Evaluation results show that in a low CPU workload environment, FCFS (First Come First Serve) policy has a similar performance with SJF (Shortest Job First) policy and LJF (Longest Job First) policy with lower scheduling overhead. However, when the CPU workload becomes heavy, SJF or LJF has a better response time depending on the ratio of long jobs and the number of worker threads of Juice.

DOI： 10.1109/CANDARW.2018.00068

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85061445508&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）

Software engineering education at universities plays an increasingly important role as software quality is becoming essential in realizing a safe and dependable society. This paper proposes a practical state transition model (Practical-STM) based on the Organizational Expectancy Model for the improvement of software process education based on the Personal Software Process (PSP) from a motivation point of view. The Practical-STM treats an individual trainee of the PSP course as a state machine, and formalizes a motivation process of a trainee using a set of states represented by factors regarding motivation and a set of operations carried out by course instructors. The state transition function of this model represents the features or characteristics of a trainee in terms of motivation. The model allows a formal description of the states of a trainee in terms of motivation and the educational actions of the instructors in the PSP course. The instructors are able to decide effective and efficient actions to take toward the trainees objectively by presuming a state and a state transition function of the trainees formally. Typical patterns of state transitions from an initial state to a final state, which is called a scenario, are useful for inferring possible transitions of a trainee and taking proactive operations from a motivation point of view. Therefore, the model is useful not only for improving the educational effect of the PSP course, but also for the standardization of the course management and the quality management of the instructors. © 2014 The Institute of Electronics, Information and Communication Engineers.

DOI： 10.1587/transinf.E97.D.1127

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84899996458&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Japan   Beppu   2013年12月12日  -  2013年12月14日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Japan   Beppu   2013年12月12日  -  2013年12月14日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Japan   Beppu   2013年12月12日  -  2013年12月14日

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（研究会，シンポジウム資料等）

本論文では,パーソナルソフトウェアプロセス(PSP)の教育コースを対象として,動機づけプロセスの標準状態遷移モデルと,その教育改善への応用について述べる.標準状態遷移モデルは,組織論的期待モデルを基礎として定義した基準状態遷移モデルの拡張であり,受講者を状態機械とみなし,動機づけに関わる状態と操作とにより動機づけプロセスを定式化したものである.このモデルにより,PSPに関する概念やスキルの導入から定着成功や定着失敗までの過程を形式的に表現可能となり,動機づけに着目したPSP教育手法の改善への応用が期待できる.

CiNii Article

その他リンク： https://ci.nii.ac.jp/naid/110009769051

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）

ソフトウェア組込み製品は,利用者の安全性と可用性を保証するため,運用ミスやハードウェアの故障などを契機とした想定外の障害が発生しないように,製品のソフトウェア要求仕様を確定させる前に,製品が使われる環境を含めた障害リスクを抽出し,許容されるレベルにリスクを軽減することが望まれる.しかし,一般的に推奨されているFTAやFMEAなどの手法を含めて,複雑な動作を行うソフトウェア組込み製品に適した障害分析手法は確立されていない.そこで,本論文では,ソフトウェア組込み製品に対して,分析対象を製品利用環境を含んだ状態遷移モデルとし,簡略化した状態遷移表である非正常系分析マトリックスと,それを適用した障害シナリオ抽出手法ESIM(Embedded System Improving Method)を提案する.これは,製品の障害の要因となるハードウェア等の故障や利用者の誤操作から障害が発生する過程を時間的変化に沿って探索的に分析し,複合要因を含めて障害に至るシナリオを抽出する手法である.更に,ESIMを実際の製品開発プロジェクトに適用した実験を行い,その有効性と実用性を確認した.

CiNii Article

その他リンク： https://ci.nii.ac.jp/naid/110009543890

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Japan   Fukuoka   2012年09月04日  -  2012年09月07日

DOI： 10.1007/978-3-642-33065-0_7

Scopus

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Greece   Rhodes   2012年08月23日  -  2012年08月26日

DOI： 10.3233/978-1-61499-094-9-128

Scopus

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Singapore   Singapore   2011年03月22日  -  2011年03月25日

Recently, several gigabit Ethernet network interfaces that support remote direct memory access (DMA) data transfer and TCP/IP offload engines (TOE) have been released. However, a convenient distributed shared memory (DSM) for a cluster computer is not readily available, despite proposals for cluster network interface cards (NICs) offering a variety of functions to suit high-performance computers. In particular, a PC cluster comprising general PCs was proposed for scientific computing. We focus on the development of a reconfigurable DSM suitable for applications involving scientific computations. In this paper, we propose a reconfigurable DSM, wherein the connections between the nodes can be reconfigured according to the problem. The reconfigurable DSM generates connection routes according to the problem and the network switch connects the computer resources at each node. To demonstrate an implementation example of the proposed network switch, we implemented a network switch using an FPGA development board kit. We found that an 18-port reconfigurable network switch can be realized. In addition, we simulated the network switch as a reconfigurable DSM. Simulation results for a sparse matrix reveal that the frequency of collisions in the communication route is low. © 2011 IEEE.

DOI： 10.1109/WAINA.2011.66

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=79957554880&origin=inward

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Lithuania   2010年08月25日  -  2010年08月27日

This paper describes the concept of knowledge architecture for discussing industry knowledge using various philosophical ideas. Furthermore, using the knowledge architecture, this paper discusses the education of interdisciplinary engineers in solving the following problems in the software development industry: Very few engineers can elicit software requirements; or design information system architecture; or understand what is meant by the term "systems". The ultimate problem is that software development projects often fail. We have studied the thoughts of ten philosophers, such as Aristotle's Ontology, Heidegger's Existentialism, Lévi-Strauss's Structuralism and Polanyi's Tacit Dimension, which concern knowledge. From a technical point of view, we propose an idea of knowledge architecture for arranging these thoughts on an architecture base. Using the knowledge architecture, we define three causes of the above-mentioned four problems, namely: the knowledge architectural barrier, Wild Thinking and Tacit Knowledge capacity. We need to develop an education for interdisciplinary engineers in software development to cope with the causes of these problems. This paper discusses such education and future issues based on the knowledge architecture.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84883290583&origin=inward

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

U.S.A.   Waikiki   2009年03月09日  -  2009年03月12日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Australia   Sydney   2008年12月10日  -  2008年12月12日

Spin-Lock is commonly used for process serialization, where it works well for multi processor systems., Under some conditions however, it may cause an unexpected increase of CPU overhead. To address this problem a simulator has been developed which evaluates various algorithms of the LOCK/UNLOCK process to determine a method to minimize their affect on the stability and scalability of a system. This paper analyzes the effect of Spin-Lock, how CPU overhead changes as a function of traffic, by using the simulator. It demonstrates how multiple processors go into "BUSY WAIT", consuming CPU time, and working for nothing, with only a few processors able to advance. The paper also shows how this problem can be solved by Capped Spin-Lock where the spin is capped to a certain limit and a pause is inserted between the spins avoiding unnecessary consumption of CPU power and maintaining scalability over a number of processors. © 2008 IEEE.

DOI： 10.1109/ISPA.2008.101

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=60649118739&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

U.S.A.   Anchorage   2008年09月15日  -  2008年09月18日

記述言語：英語   掲載種別：研究論文（学術雑誌）

主要雑誌 代表的研究業績

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）

分散環境では複数のプロセスが通信をするため，メッセージの全順序保証を利用した通信は不可欠である．また，さまざまな実行環境が存在し，環境はたえず変化するため，最適な全順序保証プロトコルをあらかじめ選択することは困難である．そこで，環境変化へ動的に適応する全順序保証プロトコルが求められる．従来の適応的全順序保証プロトコルは悲観的全順序保証プロトコルを基盤にしている．そこで本論文では悲観的手法に加えて楽観的手法も対象とした適応方法を提案する．適応方法を楽観的手法にまで広げたことにより，異なる手法のプロトコルを動的に選択し環境変化に適応することが可能である．2 つの手法のコストを比較した場合，楽観的手法はメッセージの送信頻度に影響を受けやすく，悲観的手法は通信遅延の影響を受けやすい．適応的選択は，時々刻々変化する実行環境に対して，順序付けコストが最小の手法を選択することになり，これを実現するために，それぞれの手法に対して順序付けコストを評価し比較する方法を提案する．また，メッセージの全順序保証を維持するため，楽観的手法を考慮したプロトコルの切替え方法を提案する．例としてTime Warp とABCAST を対象としたコスト評価・比較，切替えについて具体的に述べ，本方式の有効性をシミュレーションにより検証する．In distributed systems, the communication among group members often needs ordered messages to guarantee that every member receives the messages in the same order. Oftentimes, changes in distributed computing environment occur and this undermines the assumption of any ordering algorithm. Therefore, it is difficult to presume a suitable ordering algorithm and apply a single algorithm throughout the lifetime of the system. In this paper, we present a protocol to dynamically select a suitable ordering protocol from the optimistic and pessimistic protocols. With optimistic protocol, it is possible to reduce the affect of the network latency which is not negligible in the pessimistic protocol, because the optimistic protocol delivers messages immediately after receiving them. The optimistic protocol though incurs high ordering cost during rollback, and so in this case, it is worth using the pessimistic algorithm instead. We propose the estimation, evaluation, and switching methods to be used in selecting the appropriate ordering protocol. To verify the validity of our proposed protocol, we simulate the protocol using Time Warp and ABCAST.

CiNii Article

その他リンク： https://ci.nii.ac.jp/naid/110006613054

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

U.S.A   Annapolis   2007年10月15日  -  2007年10月19日

MPSS simulates the behavior of a high traffic transaction processing system. An effective use of MPSS is the analysis of the impact of exclusive control of system resources over multiple processes. MPSS consists of a Control Process and multiple Application Processes. The Control Process is designed to simulate a transaction processing monitor. It initiates and oversees multiple Application Processes running concurrently. An application Process behaves as a transaction processing application, however it does not access Databases, or communicate with remote users. Instead, it consumes CPU, holds system resources, and waits for an event or a resource by invoking system calls provided by the MPSS System Call Library. Some of the system calls provided are LOCK and UNLOCK, both for controlling exclusive use of a resource, and WAIT, for an event of a resource to be released by other Processes or for a defined time period to simulate process wait for events such as I/O completions. All the activities are traced and logged for later analysis. MPSS can also be used as a test bed for a System Call Library routine in testing and/or evaluating its effect to the system. It is also possible to test a new application model in the MPSS environment in regard to its affect to existing system activities before going into production. ©2008 IEEE.

DOI： 10.1109/EDOCW.2007.19

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=52049109172&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

The explosive growth of the network, end-host performances and their heterogeneities have resulted ever changing advancement and complexity of distributed computing environments. The users in such environment have not been provided a satisfactory service when they access the required objects. In this paper we focus on adaptive WWW content delivery, which is the most ubiquitous and popular way of information dissemination, primarily in the form of web-server, web-browser interaction. In these applications, we address controlling the Quality of delivery and time of access tradeoff of the WWW contents. We implement this as a httpa protocol, which is an adaptive transcoding methodology for embedded images in web pages, according to available channel bandwidth and other accessibility parameters at the client side. Compared to the conventional form of server side adaptive content delivery proposed in the literature, we propose a hybrid form of adaptation: client side progressive parameter estimation and server side transcoding of images, which is more scalable and flexible. Through experimental results we verify the performance of httpa. ©2006 IEE.

DOI： 10.1109/ICIIS.2006.365763

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=78049455723&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Sri Lanka   Peradeniya   2006年08月08日  -  2006年08月11日

Distributed systems are some of the most successful structures ever designed for computer users with their undisputed benefits. However, this structure has also introduced several side-effects, most notably unanticipated runtime events and reconfiguration burdens imposed by environmental changes. In this paper, we discuss a model that enables an object to adapt itself in order to provide the required service by adaptively shifting into the optimal replication strategy. The strategy selection can be done according to environmental conditions in order to address unanticipated events and unpredictable hazards in distributed systems. Therefore, designing an adaptable replication scheme could have a major impact with the growing requirements to support distributed computing to overcome their rapidly growing complexity and to enable their further developments. ©2006 IEEE.

DOI： 10.1109/ICIINFS.2006.347174

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=50249184626&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Austria   Vienna   2006年04月18日  -  2006年04月20日

Dynamic changes in open distributed environments damage the continuous execution of distributed objects. A distributed environment consisting of reconfigurable distributed objects would have higher reliability and availability, and a greater resilience to unexpected requirement changes. In this paper, we propose a reconfigurable, object model that dynamically changes the object's behavior to fit the current environment by modifying its internal structure. The proposed object consists of communicating concurrent meta-objects. Each meta-object contains functions for adaptation, remote communication, and administration. Therefore, this model provides the required separation of concerns (SoC). Generative communication, which allows meta-object communication, gives the proposed reconfigurable objects the following characteristics: flexibility; ability of allowing a variety of configurations; safety that ensures consistency; and a unification of state preservation and communication. The proposed object model was successfully implemented in a middleware framework called Juice 2. © 2006 IEEE.

DOI： 10.1109/AINA.2006.59

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33751103977&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Poland   Krakow   2006年09月03日  -  2006年09月07日

Open distributed computer systems are some of the most successful structures ever designed for the computer community together with their undisputed benefits for users. However, their complexity has also introduced a few sideeffects, most notably the unpredictable nature of the underlying environments and reconfiguration burdens imposed by environmental changes. Thus, to gain high level of system performance, a required level of reliability has to be maintained. In this paper, we propose a mechanism to analyze the underlying environmental faults and failures. This model provides an adaptable fault-tolerant approache in order to address unanticipated events and unpredictable hazards in distributed systems. Therefore, this model maintains the required reliability by analyzing the environment and selects the optimal replication strategy for existing conditions. This pragmatic and theoretically appealing approach is a part of the Juice system which supports adaptation properties for open distributed environments. Copyright © 2006 by The Institute of Electrical and Electronics Engineers, Inc.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84890407003&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

China   Wuhan and Three Gorges   2006年09月03日  -  2006年09月06日

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Sri Lanka   Peradeniya   2006年08月08日  -  2006年08月11日

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Sri Lanka   Peradeniya   2006年08月08日  -  2006年08月11日

代表的研究業績

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

U.S.A   Las Vegas   2006年06月26日  -  2006年06月29日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

In Distributed object-oriented computing, a complex set of requirements has to be considered for maintaining the required level of reliability of objects to give higher level of performance. We propose a mechanism to analyze the complexity of these underlying environments and design a dynamically reconfigurable architecture according to the changes of the underlying environment. The replication should have a suitable architecture for the adaptable fault tolerance so that it can handle the different situations of the underlying system before the fault occurs. The system can provide the required level of reliability by measuring the reliability of the underlying environment and then either adjusting the replication degree or migrating the object appropriately. It is also possible to improve the reliability with shifting to a suitable replication protocol adaptively. However, there should be a mechanism to overcome the problems when "replication protocol transition period" exists. This will also find a client-server group communication protocol that communicates with objects under both different environmental conditions and different replicationprotocols. © 2005 IEEE.

DOI： 10.1109/AINA.2005.328

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33744463149&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Caching has long been used in most fields of the computer systems to enhance the scalability of the objects, improve the performance and reduce the access latency. A significant effort has been made to introduce cache-coherent algorithms for maintaining the consistency of such data objects in cache by keeping a higher freshness of the data. Updating the cache objects considering the access behavior and user preferences is one of an attractive solutions to maintain the consistency. In this paper, we define Quality of Data(QoD) metric to evaluate the amount of freshness that is necessary to satisfy the user requirements. We then focus on the update scheduling method that analyzes the access behavior of the cache objects and predicts the time interval for updating the cache. Here, we introduce the "Average Update Interval method" that uses the most recent time between access values, to predict the time interval. Using our proposed algorithm, the user can not only access the preference view but also he can get the maximum QoD of the objects. Moreover we performed extensive experiments using web log data and simulation data. Then the results could conclude that the cache objects are maintaining more than 70% of consistency with the original objects. ©2005 IEEE.

DOI： 10.1109/AINA.2005.269

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33744462645&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

To gain high level of performance in distributed object oriented computing, a required level of reliability in objects has to be maintained. This brings in a set of complex requirements into consideration. Furthermore depending on the unpredictability of the underlying environment, the replication should have architecture for the adaptable fault tolerance so that it can handle different situations of the underlying system before the system fails. We propose a mechanism for analyzing the complexity of this underlying environments and designing a dynamically reconfigurable architecture. The architecture provides the user required reliability by analyzing the performance and the reliability of the underlying environment and then either adjusting the replication degree or adaptively shifting to a suitable replication protocol. This architecture is a part of the Juice system which supports adaptation properties for a distributed environment. © IFIP International Federation for Information Processing 2005.

DOI： 10.1007/11596042_43

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33744917546&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

This paper presents a quorum-based group k-mutual exclusion algorithm for open distributed computing systems that can evolve their behavior based on membership changes in the environment. The algorithm consists of two main layers; the quorum-consensus and quorumreconfiguration. The quorum consensus layer is used to handle requests from and to the application layer, and it directly adopts a proposed kcoterie based algorithm of the group k-mutual exclusion in the static environments without any change to its protocol. Thus, the message complexity and quorum availability are the same as in the static environments. The quorum reconfiguration reconstructs information structure of the k-coterie by simply implementing the properties of two quorum input operations called coterie-join and coterie-cross. The reconfiguration layer is simple to use and has a great ability to complete any operation during reconfiguration powerfully thus system does not enter the halt state. © Springer-Verlag Berlin Heidelberg 2005.

DOI： 10.1007/11576235_16

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33646692175&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Synchronizations adopting quorum consensus are the well-known solutions of some fundamental issues in the study of distributed mutual exclusion and replica control problems. Mechanisms to reconfigure quorum structure in open distributed environments are necessary since the membership changes of such systems (i.e., the joining and leaving members) may decrease quorum availability. Many algorithms have been proposed to this problem, however, they mostly change the quorum system totally thus any operation cannot be performed while system in the reconfiguration process. This paper presents a simple quorum reconfiguration algorithm in open distributed computing systems that can evolve their behavior based on membership changes in the environment. The algorithm is easy to use since it simply implements the two quorum operations called join-replace and join-cross. The join-replace operation is used when a set of nodes have leaved from the system while some others are joining, and the join-cross is defined and used if there is only a set of joining nodes enter the system. The great advantages of the algorithm are the ability to complete any operation before a new quorum structure is fully constructed during reconfiguration thus system does not enter the halt state with a wait-avoidance characteristic, and it directly adopts quorum consensus in the static environments without any change to the protocol. Moreover, an extra mapping procedure is unnecessary to be given since the algorithm only works in the logical space. © 2005 IEEE.

DOI： 10.1109/ICPADS.2005.48

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=23944494631&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

The communication among group members often needs the message ordering to guarantee that every member receives the messages in the same order. There are several ordering algorithms designed with the efficiency in mind. However, there might often occur the environmental changes in distributed computing and the changes undermine the assumption of algorithms. Therefore it is difficult to presume a suitable ordering algorithm for the environments and apply a single algorithm throughout the lifetime of a system. We propose to select an ordering algorithm from several algorithms adaptively according to the condition of the environment We present the protocol for selecting the ordering algorithms based on the cost estimation, agreement among members and switching protocol considering the consistency of message ordering. This protocol helps to reduce the ordering cost by adapting the environment. Therefore the system enables to provide its service continuously with the proper ordering cost even if the environmental changes occur.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=21844454502&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

In this paper, we propose an access control model that is suitable for a distributed object oriented environment. Our model has two features: authentication with object properties and method categorization by a security level. The object property is meta information of a client, and the client is vested with it in advance. To use the object properties, a server can identify a huge number of clients in the environment by groups that is categorized with the object properties of the clients. And also, to use a combination of multiple object properties in authentication, an administrator of the server can determine the flexible range of target clients. The security level shows how much impact the method affects server's data. If a designer of the server categorizes the server's methods with a security level, an administrator of the server can set an authorization rule to each category instead of each server's method. The categories constitute a tree structure, since a parent category includes child categories. As a result of this, the administrator can set an authorization rule easier than authorization without categorization by the security level. Furthermore, we implemented above the access control model and we evaluated their efficiency.

DOI： 10.1109/AINA.2004.1283831

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=3042694817&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

New applications are being introduced for different areas such as commercial, education, and medical etc. A significant effort has been made in developing some of these applications considering the adaptability to the dynamically changing network and hosts' environments. In clientserver applications, this adaptability is very important to enhance the reliability of the system and maintain the consistency of the objects. In this paper, we describe a framework that can detect the changes in performance of the execution environment, and provide strategies in order to adapt such changes. Using these access strategies the client objects can access the server objects efficiently in a dynamically changing environment. We do not only consider the dynamic changes of the network characteristics but also consider the end-hosts performances before changing to the optimal strategy. Therefore the client objects can achieve the maximum usefulness of the environment. Here, we introduce three access strategies, namely Client Migration, Direct Access, and Lazy Access to impart an adaptive behavior to the client objects in the distributed environment. Advancing from the conventional static access models we propose algorithms to select the best-suited access strategy for the dynamic environment. Moreover the proposed model is to be implemented to the "Juice" Distributed Object-Oriented environment.

DOI： 10.1109/AINA.2004.1283834

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=3042646121&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Chine   Xi'an   2003年03月27日  -  2003年03月29日

主要論文集（会議）

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）

China   Xi'an   2003年03月27日  -  2003年03月29日

主要論文集（会議） 代表的研究業績

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（その他学術会議資料等）

主要雑誌 代表的研究業績

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（その他学術会議資料等）

Japan   Saga   2002年03月07日  -  2002年03月08日

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（その他学術会議資料等）

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

We propose Extended Q-learning. To accommodate continuous state space directly and to improve its generalization capability. Through EQ-learning, an action-value function is represented by the summation of weighted base functions, and an autonomous robot adjusts weights of base functions at learning stage. Other parameters (center coordinates, variance and so on) are adjusted at unification stage where two similar functions are unified to a simpler function. © 2001 Springer-Verlag Berlin Heidelberg.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84867465644&origin=inward

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84867467074&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（学術雑誌）

Japan   Tokyo   2001年06月20日  -  2001年06月22日

代表的研究業績

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

© 2001 ACM. Finding a good route for travelling has been a necessity of human beings and also one of the major problems faced by the transportation industry. The huge and complicated road network in a modern country makes it difficult to find a best route for travelling from one place to another. In Network Theory (NT) it is called the shortest path problem. Shortest path algorithms are used for solving this type of problems. The route searched by the shortest path algorithm alone may be a shortest one but could not be guaranteed as a best route because many irrelevant/ unusable road segments may be the part of the solution. Moreover, these algorithms search whole road network blindly even for source and destination nodes in a small part of the road network. This imposes stringent requirements on arrangement of road network data in such a way that its retrieval, especially a part of the road or road sub-network in a specific part of the country, should be efficient and unnecessary data processing is avoided. We also observe that there are some routes that may be computed once and stored as cases for future use. This is case-based reasoning (CBR) that is a recent approach to problem solving and learning. In this paper we integrate Object-oriented Road Network Database, CBR and knowledge to reduce the search space and time for a shortest route finding algorithm.

DOI： 10.1145/372202.372325

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=57949095047&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（その他学術会議資料等）

Japan   Beppu   2001年01月31日  -  2001年02月02日

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（その他学術会議資料等）

Japan   Beppu   2001年01月31日  -  2001年02月02日

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Reinforcement learning is a kind of machine learning that adapts to an environment with special input called a reinforcement signal. An agent used the reinforcement learning can obtain purposive behavior autonomically. However, there are problems that reinforcement learning takes a long time because it advances while repeating trial-and-error, and an acquired action is not necessarily optimal. In this paper, we propose reinforcement learning using state transition rates, and compare it with hitherto method. As a result, our method shows the capability of learning purposive behavior efficiently.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=0034499288&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（その他学術会議資料等）

Japan   Tokyo   2000年09月11日  -  2000年09月14日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（その他学術会議資料等）

Japan   Takizawa, Iwate   2000年07月04日  -  2000年07月07日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（その他学術会議資料等）

Japan   Takizawa, Iwate   2000年07月04日  -  2000年07月07日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（その他学術会議資料等）

U.S.A.   Las Vegas, Nevada   2000年06月26日  -  2000年06月29日

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Como, Itary   2000年03月19日  -  2000年03月21日

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Through reinforcement learning, an autonomous robot creates an optimal policy which maps state space to action space. The mapping is obtained by trial and error through the interaction with a given environment. The mapping is represented as an action-value function. The environment accords an information in the form of scalar feedback known as a reinforcement signal. As a result of reinforcement learning, an action has the high action-value in each state. The optimal policy is equivalent to choose an action which has the highest action-value in each state. Typically, even if an autonomous robot has continuous sensor values, the summation of discrete values is used as an action-value function to reduce learning time. However, the reinforcement learning algorithms including Q-learning suffer from errors due to state space sampling. To overcome the above, we propose a EQ-learning (Extended Q-learning) based on SFM (Stochastic Field Model). EQ-learning is designed in order to accommodate continuous state space directly and to improve its generalization capability. Through EQ-learning, an action-value function is represented by the summation of weighted base functions, and an autonomous robot adjusts weights of base functions at learning stage. Other parameters (center coordinates, variance and so on) are adjusted at unification stage where two similar functions unified to a simpler function.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=0033314947&origin=inward

担当区分：責任著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

U.S.A.   Cambridge, MA   1999年11月03日  -  1999年11月06日

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Japan   Tokyo   1999年09月30日  -  1999年10月02日

担当区分：責任著者   記述言語：日本語   掲載種別：研究論文（学術雑誌）

主要雑誌

記述言語：日本語   掲載種別：研究論文（学術雑誌）

主要雑誌

記述言語：日本語   掲載種別：研究論文（学術雑誌）

主要雑誌

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Map images are complex documents with are generated from several layers of information overlapped and printed on paper, and usually the only available information is the digitized image of the map. The recovery of the original layers of the map for analysis of its components independently would be useful but would require several steps to be completed. One first step could separate the image in conceptual layers by using basic spectral and spatial properties, giving layers corresponding to basic features in the map image, which would serve as input for more sophisticated algorithms which could give as results more detailed information and so on, until a complete high-level description of the map information is obtainable. Extraction of the conceptual map layers is often a complex task since the pixels that correspond to the categories in a map image are spectrally and spatially mixed with the pixels of other classes. This paper presents the Selective Attention Filter (SAF) which is able to filter out pixels that are not relevant to the information being extracted or enhance pixels of categories of interest. The SAF filter is robust in presence of noise and results of classification with images filtered with it are quantitatively better than results obtained with other commonly used filters.

DOI： 10.1117/12.304643

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=0032224259&origin=inward

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Clustering algorithms are often used as unsupervised classifiers when minimal information about the classification problem is available. Clustering will usually assign an unique label, corresponding to a class, to each of the data points. For most implementations of clustering algorithms, those labels just correspond to a class index, but don't convey information about which class is that. Identification of the classes corresponding to the formed clusters can be done with heuristics or using information from points in the clusters with known classes. This paper describes a hybrid clustering approach based on a biased fuzzy C-means algorithm. Biases values corresponding to the expectancy of a data point be assigned to a class will be derived from simple image processing operations and included as weighting factors in the clustering algorithm. The final labels for the data will retain the order imposed by the biases, therefore can be used to identify the classes for the clusters. The basic fuzzy C-means algorithm and the modifications for use of biases will be presented. Results for both synthetic and imagery data classification with the method will be presented and compared with the non-biased clustering results. The results obtained with the biased method are qualitatively superior to the non-biased method when conservative biases are used for the classes, and the method can be applied when it is difficult or impractical to use a completely supervised method.

DOI： 10.1117/12.304597

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=0032374174&origin=inward

記述言語：英語   掲載種別：研究論文（学術雑誌）

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

Augmented reality(AR) focuses on the interaction in dealing with the real world. Science frontiers has investigated studying the human and augmented real world interactions but did not consider much intraction using the AR system. We propose a communication technique which will use by humans and a virtusl world model to share a complex world model constructed from some real world models. For instance, we built a virtual billiard system for players who are in different environment. The prototype system shows that sharing a complex world model to players whose interface and environment are different made them play altogether.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84874199291&origin=inward

担当区分：筆頭著者   記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）

A new algorithm is presented here for the time management of discrete system simulation which is based on the following concepts: (i) the same modeling perspective as the one used in SIMULA is adopted, (ii) each component of the simulation has its own distinct simulation time (i. e. , there is no global clock), (iii) the synchronization of their simulation times is performed among only those components which are involved in an interaction. Necessary and sufficient conditions for deadlocks are described with deadlock prevention, and detection methods.

Scopus

その他リンク： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=0021666379&origin=inward

開催期間： 2019年11月11日   記述言語：英語   開催地：Serdang, Selangor, Malaysia  

開催期間： 2019年09月19日 - 2019年09月20日   記述言語：英語   開催地：北九州市  

開催期間： 2019年03月02日 - 2019年03月03日   記述言語：日本語   開催地：熊本市  

開催期間： 2017年03月01日 - 2017年03月02日   記述言語：日本語   開催地：鹿児島大学  

開催期間： 2017年03月01日 - 2017年03月02日   記述言語：日本語   開催地：鹿児島大学  

開催期間： 2017年03月01日 - 2017年03月02日   記述言語：日本語   開催地：鹿児島大学  

開催期間： 2014年09月08日 - 2014年09月09日   記述言語：日本語   開催地：福岡県宗像市　玄海ロイヤルホテル  

開催期間： 2014年09月08日 - 2014年09月09日   記述言語：日本語   開催地：福岡県宗像市　玄海ロイヤルホテル  

開催期間： 2014年09月08日 - 2014年09月09日   記述言語：日本語   開催地：福岡県宗像市　玄海ロイヤルホテル  

開催期間： 2013年09月13日 - 2013年09月14日   記述言語：日本語   開催地：熊本県阿蘇市　かんぽの宿　阿蘇  

開催期間： 2013年09月13日 - 2013年09月14日   記述言語：日本語   開催地：熊本県阿蘇市　かんぽの宿　阿蘇  

開催期間： 2012年03月15日 - 2012年03月16日   記述言語：日本語   開催地：九州工業大学　情報工学部  

開催期間： 2009年01月26日 - 2009年01月27日   記述言語：日本語   開催地：日本 由布市  

開催期間： 2008年11月27日 - 2008年11月28日   記述言語：日本語   開催地：日本 福岡市  

開催期間： 2008年09月25日 - 2008年09月26日   記述言語：日本語   開催地： 岡山市  

開催期間： 2006年03月13日 - 2006年03月14日   記述言語：日本語   開催地：日本 熊本市  

開催期間： 2006年03月13日 - 2006年03月14日   記述言語：日本語   開催地：日本 熊本市  

開催期間： 2006年03月13日 - 2006年03月14日   記述言語：日本語   開催地：日本 熊本市  

開催期間： 2005年03月07日 - 2005年03月08日   記述言語：日本語   開催地：日本 飯塚市  

開催期間： 2004年11月26日 - 2004年11月27日   記述言語：日本語   開催地：日本 北九州市  

開催期間： 2004年03月05日 - 2004年03月06日   記述言語：日本語   開催地：日本 大分市  

開催期間： 2004年03月05日 - 2004年03月06日   記述言語：日本語   開催地：日本 大分市  

開催期間： 2004年03月05日 - 2004年03月06日   記述言語：日本語   開催地：日本 大分市  

開催期間： 2003年12月10日 - 2003年12月12日   記述言語：日本語   開催地：日本 熊本県阿蘇町  

開催期間： 2002年10月23日 - 2002年10月25日   記述言語：日本語   開催地： 函館市  

開催期間： 2002年09月26日 - 2002年09月27日   記述言語：日本語   開催地： 長崎市  

開催期間： 2002年09月26日 - 2002年09月27日   記述言語：日本語   開催地： 長崎市  

開催期間： 2002年06月06日 - 2002年06月07日   記述言語：英語   開催地： 福岡市  

開催期間： 2002年03月04日 - 2002年03月06日   記述言語：日本語   開催地： 別府市  

開催期間： 2001年10月05日 - 2001年10月06日   記述言語：日本語   開催地： 佐賀大学，佐賀市  

開催期間： 2001年10月05日 - 2001年10月06日   記述言語：日本語   開催地： 佐賀大学、佐賀市  

開催期間： 2001年10月05日 - 2001年10月06日   記述言語：日本語   開催地： 佐賀大学，佐賀市  

開催期間： 2001年03月08日 - 2001年03月09日   記述言語：日本語   開催地： 九州大学，福岡市  

開催期間： 2001年03月08日 - 2001年03月09日   記述言語：日本語   開催地： 九州大学，福岡市  

開催期間： 2001年03月08日 - 2001年03月09日   記述言語：日本語   開催地： 九州大学，福岡市  

開催期間： 2001年03月08日 - 2001年03月09日   記述言語：日本語   開催地： 九州大学，福岡市  

開催期間： 2000年06月23日 - 2000年06月24日   記述言語：日本語   開催地： 公立はこだて未来大学，函館市  

開催期間： 2000年03月20日   記述言語：日本語   開催地： 熊本大学（熊本市）  

開催期間： 2000年03月02日 - 2000年03月03日   記述言語：日本語   開催地： 同志社大学  

開催期間： 1999年12月01日 - 1999年12月03日   記述言語：日本語   開催地： 別府市  

開催期間： 1999年11月11日 - 1999年11月12日   記述言語：日本語   開催地： 和歌山大学，和歌山市  

開催期間： 1999年10月02日 - 1999年10月03日   記述言語：日本語   開催地： 九州工業大学，北九州市  

開催期間： 1999年10月01日 - 1999年10月02日   記述言語：日本語   開催地： 奈良先端科学技術大学院大学  

開催期間： 1999年09月16日 - 1999年09月17日   記述言語：日本語   開催地： 横須賀市  

開催期間： 1999年06月30日 - 1999年07月02日   記述言語：日本語   開催地： 和歌山県白浜町  

開催期間： 1999年05月14日   記述言語：日本語   開催地： 電気通信大学，調布市  

開催期間： 1999年03月16日   記述言語：日本語   開催地： 九州工業大学，北九州市  

開催期間： 1999年03月16日   記述言語：日本語   開催地： 九州工業大学，北九州市  

開催期間： 1999年03月16日   記述言語：日本語   開催地： 九州工業大学，北九州市  

開催期間： 1998年10月20日 - 1998年10月23日   記述言語：英語   開催地： IMPA, Rio de Janeiro, Brazil  

開催期間： 1998年10月02日 - 1998年10月03日   記述言語：日本語   開催地： 大分大学，大分市  

開催期間： 1998年09月18日 - 1998年09月20日   記述言語：日本語   開催地： 北海道大学，　札幌市  

開催期間： 1998年08月26日 - 1998年08月28日   記述言語：英語   開催地： University of Vieena, Vienna, Austraria  

開催期間： 1998年06月08日 - 1998年06月09日   記述言語：英語   開催地： The University of Tokyo, Tokyo, Japan  

科目区分：学部専門科目

科目区分：学部専門科目

（情報・通信工学科対象）

科目区分：大学院専門科目

（生命情報工学科）

科目区分：学部専門科目

科目区分：学部専門科目

（情報・通信工学科対象）

科目区分：学部専門科目

（知能情報工学科向け）