Optimization of a Light Reflector Angle of Surface-mount-devide Light-emitting Diode Packaging Using Ray-tracing Simulation

Proceedings of SICE Annual Conference 2016

This paper presents an investigation of the optimization of the light reflector angle of top-view (TV) packaging (PKG) of a surface-mount-device (SMD) light-emitting diode (LED) using ray-tracing simulations. The light extraction efficiency which is the total relative intensity of the rays emitted from the PKG, is used for the evaluation index of the output performance of the PKG. The cavity angles composing the light reflectors of TV PKG with round and square-shaped cavity are optimized on the basis of the optical design method proposed in our previous study. In addition, the optimal angles under the conditions where the mold resin contains a phosphor affecting the light extraction efficiency intensively, are investigated. Finally, we suggest important factors for designing the light reflector (cavity) angle of TV LED PKG.


Effect of Optical Properties of Components for Light Extraction Efficiency of SMD LEDs

This paper reports effect of optical properties of components for light extraction efficiency of surface mount device (SMD) Light emitting diodes (LEDs). Improvement of light extraction efficiency of SMD LEDs is very important because SMD LEDs are used for various electronic instruments. In particular, side view (SV) LEDs are used for a back light of a liquid crystal display (LCD) widely. A cavity of SV LED packaging (PKG) is narrower and frequency of reflection of light is higher than those of general square SMD LED PKG. Therefore, light extraction efficiency of a SV LED is affected by optical properties of components intensively. In the paper, effect of reflection methods of a PKG resin and silver-plating of a lead frame (L/F) is investigated with using ray tracing simulation. In addition, simulation results of SV LEDs and of square SMD LEDs are compared.


Waiting Blocked-Tree Type Deadlock Detection

Proc. of Science and Information Conference 2013 (SAI2013)

The Science and Information Organization


Identification of a Hopping Machine Based on a Piecewise Affine Model

The Society of Instrument and Control Engineers

In this study, a hopping machine (HM) is identified as a piecewise affine (PWA) system via estimating a transition time. The HM can be modeled as the PWA model with two types of discrete transitions: one caused by the change between discrete free-fall and spring-mass states and the other caused by inversion of the sign of a nonlinear drag coefficient term owing to air resistance. First, the equation of motion for the HM is obtained considering the nonlinear term in order to analyze those discrete transitions. In addition, the transition times are estimated using a wavelet-based method proposed in our previous papers. Finally, the HM is identified as a piecewise affine auto regressive exogenous (PWARX) model on the basis of the analyzed discrete states.


AUTOMATIC COURSEWARE TRANSFERS BETWEEN DIFFERENT PLATFORMS

Proc. of 6th International Technology, Education and Development Conference (INTED2013)

International Association of Technology, Education and Development


Extensible Web-based Learning Architecture

Proc. of the 2012 International Conference on Software Engineering Research and Practice (SERP'12)


Proc. of 6th International Technology, Education and Development Conference (INTED2012)


Extensible Web-based Troubleshooter Generation for Computer Administration

Proc. of International Conference on Computer, Electrical, and Systems Sciences, and Engineering (ICCESSE2011)

World Academy of Science, Engineering and Technology


Tag Command-based Automatic Trouble Diagnosis for Computer Administration

the 5-th International Conference on New Trends in Information Science and Service Science (NISS2011)


Linear Approximation Model for Snake Robots and its Application

This paper proposes a modeling method of snake robots and analyzes the obtained model. Regarding the snake robot as a periodic system, a discrete-time linearized approximation model is obtained based on lifting technique and Fourier series expansion. PI-MOESP type subspace model identification method is applied for obtaining the model. Hankel singular values of the obtained model are analyzed and some remarks are given for the selection of the control input.


A Design of the Scale Parameter of Wavelet Transformation for the Estimation of Transition Time in PWL Systems

This paper proposes a method to determine an appropriate scale parameter of wavelet transform for the estimation of transition time of the Piecewise Linear (PWL) systems by using wavelet analysis. Precision of the estimation of transition time depends on the scale parameter of wavelet transform under noisy environment. Effect of the noise on the estimation of transition time is shown under the assumption of Gaussian random noise in a numerical example. Appropriate range of the scale parameterof wavelet transform is determined by using quantified effect of the noise and effectiveness of the method is illustrated by numerical experiments.


BCLS Method for the Estimation of Continuous-Time Models in Closed Loop Environment

閉ループ環境における連続時間モデル同定のためのバイアス補償型最小二乗法

Proceedings of 2010 IEEE International Conference on Control Applications

This paper proposes a bias-compensated least squares (BCLS) method for a continuous-time model estimation in closed loop environment. The feedback controller is assumed to be linear time invariant discrete-time system and the feedback system is assumed to be asymptotically stable. It is also assumed that the control input is a zeroth order hold signal. The aim of the proposed method is to reduce the computational cost which will be required for the conventional method.

本論文では閉ループ環境における連続時間モデル同定のためのバイアス補償型最小二乗法を提案する．フィードバック補償器は線形時不変な離散時間系で，閉ループ系は漸近安定とする．また，制御入力は0次ホールドされた信号と仮定する．提案手法の目的は，従来法で必要となった数値計算のコストを減らすことである．


Bias Compensated State Space Identification Method in Closed Loop Environment

A method of bias compensation in subspace identification method in closed loop environment is proposed. The noise is assumed to be a 0 mean colored noise and is assumed to be uncorrelated with the reference input. The covariance matrix of the noise is estimated directly from the residuals instead of estimating the noise model. The proposed method becomes an iterative algorithm and it is analyzed that the proposing method achieves 2nd order convergence.


PercSoft: A Novel Approach to Software Maintenance and Enhancement

2010 Fifth International Conference on Software Engineering Advances

International Academy, Research, and Industry Association


An Approach to GA-driven Automatic Refactoring based on Design Patterns


Estimation of Continuous-time Nonlinear Systems by using the Unscented Kalman Filter

This paper proposes a continuous-time model estimation method by using the Unscented Kalman Filter (UKF) from the sampled I/O data, in which the plant parameters as well as the initial state are estimated. The initial state is estimated based on a backward system of the plant, and the parameters are estimated by using the iterated UKF, which repeats the estimation of the forward system and the backward system alternately. In order to demonstrate the effectiveness of the proposed method, the rotary pendulum is provided to estimate the parameters of the continuous-time nonlinear system.


Estimation of a Transition Time in Piecewise Linear Systems

This paper proposes an estimation method of the transition time of piecewise linear (PWL) systems by using wavelet analysis. A definition of detectability of transitions is proposed in advance and its necessary and sufficient condition is presented which gives an insight how to estimate an transition time. The proposing method does not utilize the parameters of the plant model but utilizes a characteristic pattern of the wavelet transformation of the output signal around the transition time.


Bias-Compensated State Space Model Identification

Proceedings of 19th International Symposium on Mathematical Theory of Networks and Systems

A method of bias compensation in subspace identification method is proposed. The noise is assumed to be colored with 0 mean and is assumed to be uncorrelated with the input. The covariance matrix of the noise is estimated directly from the residuals instead of estimating the noise model. The proposing method becomes an iterative algorithm but it converges with order 2.


SERVER-DRIVEN REGRESSION TEST FOR WEB APPLICATIONS AND ITS PERFORMANCE

Proceedings of the IASTED International Conference on Software Engineering


ATTACHABLE SOFTWARE VISUALIZATION FOR MULTIPLE-THREAD PROGRAMS


Synchronization of Multi-window requests for Server-side Regression Test of Web Applications

Proceedings of the 9th International Conference on Quality Software (QSIC2009)


Bias-Compensated Least Squares Method in Closed Loop Environment --- Estimation under colored noise

The Society of Instrument and Control Engineers

In this paper, bias-compensated least squares (BCLS) method is proposed in order to estimate a plant under feedback control when the noise is colored. The feedback controller is assumed to be linear time invariant discrete-time system and the feedback system is assumed to be asymptotically stable. The aim of the proposed method is to reduce the computational cost which will be required for the conventional method.


Customizable Functional Web Components for Visual Web Programming

2009 WRI World Congress on Computer Science and Information Engineering


Web-Based Troubleshooter Generation for System Administration


SERVER-SIDE REGRESSION TEST FOR WEB APPLICATION DEVELOPMENTS


SOFTWARE VISUALIZATION WITH ATTACHABLE DISPLAY CLASSES


Bias Compensation of Recursive Least Squares Estimate in Closed Loop Environment

Proceedings of the 18th International Symposium on Mathematical Theory and Networks and Systems

In this paper, an asymptotic bias of the recursive least squares (RLS) estimate in the closed loop enviornment is analyzed and its compensation method is proposed under the assumption that the noise is white. Namely, a bias compensated RLS method in the closed loop environment based on output error (OE) model is proposed. A posteriori error is also analyzed for the estimation of the noise variance.


Bias-Compensated Least Squares Method in Closed Loop Environment --- A filter design for colored noise

Proceedings of 2008 International Symposium on Advanced Control of Industrial Processes

In this paper, a bias-compensated least squares (BCLS) method in the closed loop environment is extended for the case where the measurement noise is colored. Namely, a BCLS method in the closed loop environment based on Box-Jenkins model is proposed. Noise model is estimated based on a non-parametric model or high order model because the purpose of the closed loop identification is the improvement of the plant dynamics and the purse of the identification of the noise model is to obtain the unbiased plant parameters with smaller variances.


Extensible Syntax-Oriented Verifier and Its Implementation

Proceedings of the IASTED International Conference on Software Engineering


Estimation of the transition time of hybrid systems by using wavelet analysis

Estimation of transition time is important for identification of hybrid systems. This paper proposes an estimation method of the transition time of the hybrid system by using wavelet analysis. Discrete transition of the state can be detected as a characteristic pattern in high frequency range. The effectiveness of the proposed method is illustrated by numerical experiments.


Estimation of Rotary Inverted Pendulum by using the Unscented Kalman Filter --- Estimation of the initial state

This paper proposes a continuous-time model estimation method by using the Unscented Kalman Filter (UKF) from the sampled I/O data, in which the initial state as well as the plant parameter are estimated. The initial state is estimated based on a backward system of the plant. The effectiveness is demonstrated by using the Rotary Inverted Pendulum (RIP) to estimate the initial state and the parameter of a continuous-time nonlinear system.


Bias-compensated adaptive observer for a continuous-time model estimation

Preprints 9th IFAC Workshop Adaptation and Learning in Control and Signal Processing

In this paper, a bias-compensating method for a continuous-time model estimation by using adaptive observer is proposed. It is assumed that the observation noise is a white gaussian signal while there are no process noises. The proposed method is applicable for the identification in the closed loop environment.


Integrated Laboratory Network Management System

Proceedings of the 7th WSEAS International Conference on Applied Informatics and Communications

World Scientific and Engineering Academy and Society


Apty: Easy Enjoyable Effective e-Learning


Uniform Rich-Component Generation for Web Applications

International Conference on Cybernetics and Information Technologies, Systems and Applications

International Institute of Informatics and Systems


Visual Pivot-Table Components for Web Application Development

Proc. of 3rd IASTED International Conference on Advances in Computer Science and Technology


Customizable Verifiers for Web Applications and Their Implementation

Proceedings of International Conference on Computer Engineering and Applications


Rich Component Generation for Web Applications Using Custom Tags


Visual Programming for Web Applications that Use HTML Frame Facilities


Parameter estimation of rotary inverted pendulum based on unscented Kalman filter

The Unscented Kalman Filter (UKF) is a nonlinear estimation method, and has been widely applied in nonlinear control applications. However, if covariance of the initial value is unknown, the estimated value does not converge to the true value in general. To improve the result of estimation, the iterated UKF is propsed as a method to repeat the estimation by redefining the initial value of the filter. Its effectiveness is demonstrated by using the Rotary Inverted Pendulum(RIP) to estimate the parameters of a continuous-time nonlinear system.


Continuous-time model identification by using adaptive observer --- Estimation of the initial state

Importance of the continuous-time model identification is increasing as the computer becomes faster. The main difference between the contiuous-time model identification and the discrete-time identification lies not only in the information loss incurred by sampling but also in that the transient term must be taken into account in the continous-time identification. This paper proposes a continous-time model estimation method from sampled I/O data with the ZOH input assumption. The initial state of the plant is estimated by using a backward system of the plant. An upper bound of the plant degree is assumed to be known. Numerical example shows that the proposed method performs well as the conventional method with an initial state estimation.


Parameter convergence of a continuous-time model estimation method by using adaptive observer

Proceedings of 17th International Symposium onMathematical Theory of Networks and Systems

In this paper, a continous-time model estimation method by using adaptive observer from sampled I/O data with the ZOH input assumption is considered. The proposed method utilizes modified state variable filters in order to estimate the intersample signals. A sufficient condition for the exponential convergence of the parameter estimate is analyzed.


Discrete-time state variable filters for the estimation of a continuous-time model

Proceedings of the 14th IFAC Symposium on System Identification

International Federation of Automatic Control

This paper proposes a continuous-time model estimation method from sampled I/O data with the ZOH input assumption. State variable filters are modified in order to estimate the intersample signals by using a previously obtained parameter estimate. A sufficient condition for the parameter convergence and the bias of the estimated parameters are analyzed.


Continuous-Time Model Identification by using Adaptive Observer --- On the reduction of the computational cost

The Society of Instrument and Control Engineers

The authors have proposed a continuous-time model identification method by using adaptive observer which estimates the intersample output and the initial state of the plant as well as the plant parameters from sampled I/O data. In the previously proposed method, a numerical simulation technique such as Runget-Kutta method is used in order to estimate the intersample signals. However, the continuous-time simulation requires the high computational cost compared to the discrete-time simulation. In this paper, the discrete-time simulation technique is adopted even for the continuous-time state variable filters in order to reduce the computational cost.


Continuous-Time Model Identification using Adaptive Observers --- On the Selection of State Variable Filters

Proceedings of the 24th IASTED International Conference Modelling, Identification, and Control


A sufficient condition for the convergence of adaptive observer in continuous-time model identification

Proceedings of IFAC Workshop on Adaptive and Learning in Control and Signal Processing

This paper proposes a new method to identify a continuous-time model from sampled I/O data by using an adaptive observer. The boundedness of the parameter estimate and the exponential convergence of the parameter estimation error to 0 under the assumption of Persistently Exciting(PE) signals are guaranteed. In order to identify the plant from a finite number of I/O data, an adaptive observer for a backward system is also proposed. In noise-free cases, the magninude of the parameter estimation error can be made arbitrarily small if the sampling period is smaller than a certain value.


An Analysis of Errors in Client Server Systems

10th ISSAT International Conference Reliability and Quality in Design

International Society of Science and Applied Technologies

クライアントサーバシステムのエラー原因を解析し，バグの検出法や予防法を提案．

クライアントサーバシステムのエラー原因を解析し，バグの検出法や予防法を提案．


Continuous-Time Model Identification by using Fast Adaptive Observer

Proceedings Sixteenth International Symposium on Mathematical Theory of Networks and Systems

This paper introduces a new method to identify a continuous-time model from sampled I/O data by using an adaptive observer. The adaptive algorithm is based on Newton-like method that the convergence of the parameter is considereably improved compared to the steepest descent method. In order to identify the plant from a finite number of I/O data, an adaptive observer for a backward system is also proposed.


Continuous-Time Model Identification By Using Adaptive Observer --- A case of non-uniform sampling

Proc. of the 23rd IASTED International Conference Modelling, Identification, and Control

This paper proposed a continuous-time model identification from sampled I/O data by using an adaptive observer in which the output is non-uniformly sampled. The boundedness of the parameter estimate error and the exponential convergence of the parameter estimate error to 0 under the PE assumption are guaranteed. In order to identify the plant from a finite number of I/O data, an adaptive observer of a backward system is also proposed.


Continuous-time model identification by using adaptive observer

Preprints of 13th IFAC Symposium on System Identification

International Federation of Automatic Control

This paper proposes a continuous-time model identification from sampled I/O data by using an adaptive observer. The boundedness of the parameter and the exponential convergence of the parameter estimate error to 0 under the PE assumption are guaranteed. In order to identify the plant from a finite number of the I/O data, an adaptive observer of a backward system is also proposed.


An Experiment on the Derivation of Effort Estimation Model Based on Object Points

9th ISSAT International Conference on Reliability and Quality in Design

ソフトウェアライフサイクルの初期段階で，オブジェクトポイント法に基づいて開発コストを見積もるモデルを構築した．


An Approach to Brain-Image Oriented Programming for Web Applications

Proc. of 7th World Multiconference on Systemics, Cybernetics and Informatics

ユーザが頭に描いたイメージを基にして，プログラムを開発でき，プログラムを構成するコンポーネントの完備性や，コンポーネント間の関係の一貫性をユーザが容易に検証でき，___ 設計の途中でも，ユーザがそれまでに設計したコンポーネントの実行結果を容易に確認できるという特徴をもつイメージ指向プログラミング方式について提案し，アプリケーションを対象として本方式を実現したシステムについて述べる．


Adaptive Observer of Sampled-Data Systems

Proceedings of the 22nd IASTED International Conference MODELLING, IDENTIFICATION, AND CONTROL

与えられたサンプル値入出力データから対象の連続時間モデルを直接同定する適応観測器を提案し, その収束性いついて解析した. サンプル点間の応答を得られたプラントモデルに基づいて推定し, また, 推定された連続時間応答からプラントモデルを推定するという繰り返し型のアルゴリズムである.


Applicability of Object Point Analysis to Software Sizing

クライアントサーバシステムの開発においてはコンポーネントの再利用が進んでおり，従来のステップ数に基づくプログラム開発規模の見積もりは困難となっている．この問題を解決するため，新しい手法として，ファンクション·ポイント法やオブジェクト·ポイント法が提案されている．本論文では，オブジェクト·ポイント法をより効果的に適用するための新しい適用モデルを提案する．


A Widget-based Event-driven Program Slicer

Proc. of IASTED International Conference on Software Engineering and Applications

The International Association of Science and Technology for Development

分散環境におけるクライアントサーバモデルに基づくソフトウェアや，ウィジェットを用いたイベントドリブン型のソフトウェアでも正確にスライシングできるように，命令と変数を用いた従来のスライシング基準を包含する新たな3つのスライシング基準を提案し，それに基づいた新しいスライシング方式を考案．また，この方式を実装したwbedSlicerシステムについて報告．


An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer

Proc. of 16th IFIP World Computer Congress - International Conference on Software: Theory and Practice

オブジェクトコードで提供されるライブラリ関数の呼び出しを含むプログラムからプログラムスライスを求めることを可能とする方式の提案．ライブラリ関数の依存関係を引数，戻り値，および，グローバル変数を用いて定義する方法を考案し，この依存関係定義を基に，プログラムから呼び出しているライブラリ関数間で，ソースプログラムには明示的に現れないが，共通に参照するデータに関する依存関係を解析する．この得られた依存関係をDef-Slice-Useテーブルに記録し，このテーブルを用いて効率よくプログラムスライスを抽出するプログラムスライサーLibSlicerを実現した．


An Approach to Automated Program Testing and Debugging

Proc. of 6th Asia-Pacific Software Engineering Conference

ユーザの指定に従って，テストパスを自動生成した上で，その生成されたテストパスに沿って実行するためのテストデータを自動生成する．システムは，生成されたテストデータを自動的に入力して，プログラムをテストし，誤りがあれば，システムはアルゴリズミック·デバッガを用いて，プログラマと対話しながら，誤りの原因となっているバグを検出する，テストとデバッグを連動し，自動化を進めるシステムの提案．


Analysis of Potential Fault Region for Automated Fault Localization

Proc. of the IASTED 3rd International Conference on Software Engineering and Applications

プログラム内のバグを命令誤りバグと命令漏れバグに分類し，プログラムを実行して，エラーが発生した場合に，次の性質をもつバグ潜在域の獲得方法をgoto文を含む一般のプログラムに対して提案．バグ潜在域以外の命令に命令誤りバグがあっても発生しているエラーの原因とはならない．即ち，それらの命令誤りバグを修正しても，同じエラーが再現する．従って，エラーが命令誤りバグに起因している場合には，バグ潜在域の中にバグが潜んでいることになる．


Two-Phase Fault Localization for Distributed Systems

Proc. of the Tenth IASTED International Conference on Parallel and Distributed Computing and Systems

分散処理プログラムの実行においてエラーが発生した場合，ベクトルタイムスタンプを用いたメッセージ送受信イベントの因果関係と，各プロセス内のバグ潜在域の解析により，バグを含むプロセスを検出するために，検証の必要となるプロセスやメッセージを特定する方式を提案．並列仮想計算機を用いて，ベクトルタイムスタンプを用いた分散処理プログラムの再演機能を実現し，各プロセスに検証に必要な実行箇所までを再演させる．


A Step to Automated Fault Localization for Distributed Systems

Proc. of the IASTED International Conference on Parallel and Distributed Computing and Networks

分散処理システムのアルゴリズミックデバッギングを実現するため，プロセス間で送受信されるメッセージの内容を検証することによりバグを含むプロセスを限定し，誤っているメッセージを基に，プログラムスライシング技術を用いてシステムがエラーの原因を分析し，そのプロセスからバグを検出する方式について提案．


An Access Determination Algorithm for Preventing Non-Secure Information Flows

The International Association of Science and Technology for Development

アクセス権のないユーザが，他のユーザの操作により，データベース内の情報を間接的に参照できてしまうような不正な情報フローを検出し，これを回避するためのアクセス制御方式を提案．この問題は，集合被服問題に帰着し，NP困難であるため，情報フロー内のパスの除去，分割により，多項式時間で計算できるアルゴリズムを考案．


An Algorithmic Fault-Locating Method for Procedural Languages and Its Implementation FIND

2nd International Workshop on Automated and Algorithmic Debugging

システムのガイドに従って，プログラマがシステムからの質問(制御の流れや変数の値の正誤)に答えるだけで，システムが自動的に誤りのある命令の位置や，なんらかの命令の漏れが存在するプログラム内の範囲を示してくれるアルゴリズミックデバッギングシステムの提案．


A Design Method for Data Integrity in Object-Oriented Database Systems

オブジェクト指向データベースのデータ完全性を保証するアクセス制御方式の提案．オブジェクト指向データベースは，クラス，インスタンス，メソッド等からなり，それらのオブジェクトにセキュリティレベルを設定することにより，オブジェクトへのアクセスを制御する．データベース管理者の要求を満たすように，オブジェクトのセキュリティレベルを自動的に生成する．


An Independent Software-Modification Method

Infernational Conference on Software Maintenance

ソフトウェアを改造する場合に，改造対象機能を実現している部分をプログラムスライシング技術を用いて取り出し，この改造対象部分だけに着目して改造作業を進めることができ，非改造部分の再テストを不要にする方式を提案．改造対象部分と非改造対象部分の間の相互の影響は，プログラムの意味を保存するコード移動技術，および，コード挿入技術により除去する．


Intelligent Software-Fault Location for Distributed Processing Systems

7th International Conference on Systems Research Informatics and Cybernetics

変数値エラーが発生している場合に，プログラムバグ潜在域とは，そこに含まれない命令に値誤りバグ(式の誤りに関するバグ)があっても，エラーの原因とはならないという性質をもつ命令の集合である．逐次プログラムに対してこの性質を満たすCritical Sliceを，プロセス間に各種の依存関係を導入することにより，分散処理プログラムにも適用できるように拡張した．Ada言語で記述されたプログラムのタスク間のランデブーに関して，これらの依存関係を適用した事例を報告．


Critical Slice and Its Application to Program Debugging

3rd Annual Software Engineering Research Forum

変数値エラーの原因となった可能性のあるプログラム内の命令を抽出する技術には，Static SliceやDynamic Sliceがある．本論文では，命令の漏れも検出することが可能な新しいCritical Sliceを提案し，Static SliceやDynamic Sliceとの比較評価を行っている．


Visual Representation Technique for List Structures and Its Implementation in a Visual Debugger VIPS

2nd International Conference on High Technology, Information Science and Computer Technology

C言語で記述されたプログラムにより生成される，大規模なリスト構造のデバッグを容易にするリスト構造図形表示方式とdbxを利用したシステム実現方式の提案．リスト構造の全体/部分表示，ポインタ選択表示，部分更新，差分表示，最適レイアウト方式等を考案．


エラーを引き起こしている原因の究明を支援するバグ究明支援システムCHASEの提案．プログラム実行時に獲得した実行履歴を解析することにより，データエラー，アロケーションエラー，制御エラー，処理漏れエラー，機能エラー等のエラーに対して，それらのエラーを引き起こした直接の原因となる処理を実行した時点のプログラム状態を自動的に再現する．


VIPS: A Visual Debugger for List Structures

C言語で記述されたプログラムにより生成される，大規模なリスト構造のデバッグを容易にするリスト構造図形表示方式の提案．リスト構造の全体/部分表示，ポインタ選択表示，部分更新，差分表示，最適レイアウト方式(子ノード群の中央に親ノードを配置するという条件の下で表示スペースを最小にするアルゴリズム)等を考案．


Visual Debugger VIPS: Visual Representation of Program Execution

Ada言語で記述されたプログラムの実行状況を図形表示することにより，デバッグ作業の能率を向上させるビジュアルデバッガVIPSを提案．プログラムテキスト上での制御表示機能，データフロー表示機能，リスト構造図形表示機能，利用者定義図形表示機能等をもつ．


Energy-recovery control of bipedal walking robot

二足歩行ロボットのエネルギー回生制御

2013年度 計測自動制御学会四国支部学術講演会

2013年度 計測自動制御学会四国支部学術講演会

受動歩行は, 人間の歩行のように自然で滑らかな歩行であるため, エネルギー効率に優れていると考えられ注目されている. しかし, 受動歩行を行うと二足歩行ロボットは膝が伸びきったり, 地面に脚をついたときに運動エネルギーが減少している. このエネルギーを回生し, さらにエネルギー効率の良い歩行を実現する.


Stabilization of the bipedal walking robot using orthogonal function expansion

2013年度 計測自動制御学会四国支部学術講演会

2013年度 計測自動制御学会四国支部学術講演会

受動歩行を行う二足歩行ロボットは制御を必要としない代わりに小さい外乱で倒れてしまう. そこで, 非線形システムを周期システムとみなし, 直交関数展開を用いて制御を行うことで倒れやすいパターンでの転倒を防ぐ.


Web アプリケーションのデバッグ・保守支援

Web アプリケーションのデバッグ・保守支援

電気関係学会四国支部連合大会

電気関係学会四国支部連合大会


Linear Approximation Model for Bipeds Robot and its Application

SICE 13th Annual Conference on Control Systems

第13回計測自動制御学会制御部門大会

Modeling method of a biped robot by using periodic property is proposed. The input and the output of the robot is sampled by using lifting technique and discretized by expanding the sampled signals by using orthonal functions. The coefficients of the sampled input signal are restricted to be of finite dimension while the coeeficients of the output signal are projected to a finite dimensional set. In order to estimate the linear approximation model, a subspace identification method is utilized.


サーバベースWeb アプリケーション回帰統合テスト支援方式

サーバベースWeb アプリケーション回帰統合テスト支援方式

電気関係学会四国支部連合大会

電気関係学会四国支部連合大会


Waiting ブロック・ツリー型デッドロックの検出

Waiting ブロック・ツリー型デッドロックの検出

電気関係学会四国支部連合大会

電気関係学会四国支部連合大会


An Approach to Design Pattern-Based Refactoring

デザインパターンに基づくソフトウェア・リファクタリング方式の提案

電気関係学会四国支部連合大会

電気関係学会四国支部連合大会


Bias-Compensated State Space Identification Method --- A Numerical Analysis of the Gap between the Singular Subspaces

バイアス補償型部分空間同定法 --- 特異部分空間の開きの数値解析

第11回適応学習制御シンポジウム資料

第11回適応学習制御シンポジウム資料

A method of bias compensation in subspace identification method is introduced and a numerical analysis of its variance is presented. The noise is assumed to be a 0 mean colored noise and is assumed to be uncorrelated with the input. The variance is analyzed from a view point of S/N ratio of a matrix before the singular value decomposition. However, the numerical analysis reveals that the gap between the nominal and perturbed singular subspaces is slightly different from the S/N ratio of the matrix.


Numerical Analysis of Bias Compensated State Space Model Identification

閉ループ環境におけるバイアス補償型部分空間同定法の数値解析

第53回自動制御連合講演会論文集

第53回自動制御連合講演会論文集


Estimation of a Transition Time in Piecewise Linear Systems

区分的線形システムにおけるトランジションタイムの推定

第10回計測自動制御学会制御部門大会資料

第10回計測自動制御学会制御部門大会資料


Bias-Compensated State Space Identification Method

バイアス補償型部分空間同定法

第10回適応学習制御シンポジウム資料

第10回適応学習制御シンポジウム資料


Estimation of the transition time of piecewise linear systems by using wavelet analysis

ウェーブレット解析を用いた区分的線形システムのトランジションタイムの推定

第52回自動制御連合講演会講演論文集

第52回自動制御連合講演会講演論文集


A parameter estimation method based on a reduced order plant model

対象の低次元モデルに基づくパラメータ推定法

第38回 制御理論シンポジウム資料

The Society of Instrument and Control Engineers


Bias-compensated least squares method in closed loop environment --- Identification under colored noise

閉ループ環境におけるバイアス補償型最小二乗法 --- 有色雑音下での同定

Proceedings of SICE 9th Annual Conference on Control Systems


Continuous-Time Model Estimation in Closed-Loop Environment --- On the relaxation of the identifiability condition

閉ループ環境における連続時間モデル推定 --- 可同定条件の緩和について

9th SICE Symposium on Adaptive and Learning Control

第9回適応学習制御シンポジウム資料


Bias Compensated Recursive Least Squares Estimate in Closed Loop Environment

閉ループ環境におけるバイアス補償型逐次最小二乗法

第51回自動制御連合講演会

第51回自動制御連合講演会


Bias Compensated Recursive Least Squares Estimate in Closed Loop Environment --- On the improvement of the convergency

Bias Compensated Recursive Least Squares Estimate in Closed Loop Environment --- 収束性の改善について

第37回制御理論シンポジウム資料


Continuous-time model estimation in closed loop environment --- Iterative algorithm by using bias-compensated least squares method

閉ループ環境における連続時間モデル推定 --- バイアス補償型最小二乗法を用いた繰り返し型アルゴリズム

Proc. of the 52nd Annual Conference of ISCIE

第52回システム制御情報学会研究発表講演会講演論文集

Continuous-time model estimation in closed loop environment is proposed. The asymptotic bias of least squares estimate may be made zero by designing the prefilter appropriately. However in general, iterative re-design of the prefilter is required because it depends on the plant parameters. Bias-compensated least squares method is considered to improve the asymptotic bias of the LS estimate and it is considered to improve the convergence speed of the iteration. In this paper, a continuous-time model estimation method in closed loop environment by using bias-compensation is proposed.


Bias-compensated Least Squares Method in Closed Loop Environment --- Fast iterative algorithm

閉ループ環境におけるバイアス補償型最小二乗法 --- 繰り返しアルゴリズムの高速化


Bias-Compensated Least Squares Method in Closed Loop Environment --- A filter design with colored noise

閉ループ環境におけるバイアス補償型最小二乗法 --- 有色雑音下でのフィルタ設計

In this paper, a bias-compensated least squares(BCLS) method in the closed loop environment is extended for the cases where the measurement noise is colored. Namely, a BCLS method in the closed loop environment based on Box-Jenkins model is proposed. Noise model is estimated based on a non-parametric mode or high order model because the purpose of the closed loop identification is th eimprovement of the plant dynamics and the purpose of the identification of the noise model is to obtain the plant parameter with smaller variances.


Bias-compensated Least Squares Method in Closed Loop Environment --- A formulation based on the transfer function representation

閉ループ環境におけるバイアス補償型最小二乗法 --- 伝達関数表現に基づく定式化

第50回自動制御連合講演会

第50回自動制御連合講演会


Bias-compensated Least Squares Method in Closed Loop Environment

閉ループ環境におけるバイアス補償型最小二乗法

第36回制御理論シンポジウム資料

第36回制御理論シンポジウム資料

In this paper, a bias-compensated least squares method in the closed loop environment is proposed. It is assumed that the observation noise is a white gaussian signal while there are no process noises. It is also assumed that the plant is controlled by a linear time invariant controller and that the closed loop system is asymptotically stable. It is shown that the asymptotic bias of the least squares estimate in the closed loop environment is represented as a difference between the parameter of the prefilter and that of an "optimal prefilter" and that the proposed bias-compensated least squares estimate is consistent.


Continuous-time model estimation by using adaptive observer --- Consistency of estimated parameters

適応観測器を用いた連続時間モデル推定 --- 推定パラメータの一致性について

Proceedings of the 51st Annual Conference of the Institute of Systems, Control and Information Engineers

第51回システム制御情報学会研究発表講演会講演論文集


Search for Global Optimal Solution of The Unknown Function by Using Variable Hierarchical Structure Learning Automata

ノイズを含む観測値に基づく学習オートマトンによる大域的最適解探

The Institute of Systems, Control and Information Engineers


Autonomous Transfer System for Mobile Object Using Stochastic Real-Valued Reinforcement Learning Unit

実数値出力強化学習ユニットを用いた移動体の自律移動システム


Stock prices forecast system by using neural networks

ニューラルネットワークを活用した株価予測システム


Continuous-time model estimation by using bias compensated adaptive observer

バイアス補償型適応観測器を用いた連続時間モデル推定

第7回適応学習制御シンポジウム資料

第7回適応学習制御シンポジウム資料

The Society of Instrument and Control Engineers


Continuous-time model estimation method by using adapitve observer --- Iterative design of the state variable filters

適応観測器を用いた連続時間モデル推定 --- 状態変数フィルタの繰り返し設計

第49回自動制御連合講演会資料

第49回自動制御連合講演会資料


The area weather forecast system based on improvement-type reinforcement learning unit

改良型強化学習ユニットを用いた地域気象予測システム

第49回自動制御連合講演会

第49回自動制御連合講演会


Continuous-time model identification by using adaptive observer --- Redesign of state variable filters

適応観測器を用いた連続時間モデル同定 --- 状態変数フィルタの再設計

Proc. of SICE 6th Annual Conference on Control Systems

This paper proposes a redesign method of the state variable filters(SVF's) which is used in the previously proposed continuous-time model estimation method by using adaptive observer. The SVF's are designed by using a Kalman filter which minimizes the variance of the residuals.


Parameter estimation of a continuous-time nonlinear system by using unscented Kalman filter

UKFを用いた非線形連続時間モデルのパラメータ推定

第50回システム制御情報学会研究発表講演会講演論文集

第50回システム制御情報学会研究発表講演会講演論文集

This paper proposes a continuous-time parameter estimation algorithm for nonlinear systems by using the Unscented Kalman Filter(UKF). The Ukf algorithm extends the Kalman Filter to nonlinear systems by transforming approximations of the probability distributions through the nonlinear process and measurement functions. Therefore, it is possible to calculate the estimate based on continuous-time model by using numerical integration, and make better estimation than the Extended Kalman Filter(EKF).


Continuous-time model identification by using adaptive observer --- Estimation of the noise model

適応観測器を用いた連続時間モデル同定 --- 雑音モデルの推定

Proc. of 6th SICE Symposium on Adaptive and Learning Control

第6回適応学習制御シンポジウム資料

This paper deasl with the estimation of the noise model in the previously proposed continuous-time model estimation method by using adaptive observer. Hybrid Box-Jenkins model is adopted for the noise model.


Stability analysis of continuous-time model identification method by using adaptive observer

適応観測器を用いた連続時間モデル同定の安定性解析

第48回自動制御連合講演会資料

第48回自動制御連合講演会資料

This paper proposes a continous-time model estimation method from sampled I/O data with the ZOH input assumption. State variable filters are modified in order to estimate the intersample signals by using a previously obtained parameter estimate. The bias of the estimated parameters is analyzed.

本論文は，零次ホールド入力の仮定のもと，入出力のサンプル値から連続時間モデルを推定する手法を提案している．状態変数フィルタは先に推定したパラメータに基づき出力のサンプル点間応答を推定する機構を含んでいる．さらに，状態変数フィルタを時不変な離散時間システムとして実現している．推定パラメータのバイアスについて解析し，推定誤差は観測雑音の大きさに比例することを示した．


Continuous-time model identification by using adaptive observer --- On the existence of an optimal solution

適応観測器を用いた連続時間モデル同定 --- 最適解の存在性について

Proc. of the 34th SICE Symposium on Control Theory

第34回制御理論シンポジウム資料

This paper proposes a continuous-time model estimation method from sampled I/O data with the ZOH input assumption. State variable filters are modified in order to estimate the intersample signals by using a previously obtained parameter estimate. A sufficient condition for the parameter convergence is analyzed.

サンプル値入出力データから連続時間モデルのパラメータを推定する手法を提案する．0次ホールド入力の仮定のもと，サンプル点間応答を推定するために，状態変数フィルタを修正する．推定パラメータが収束するための十分条件を与える．


Application of the variable hierarchical structure learning autmata to the search for global optimal solution of the unknown multimodal objective function

多峰性未知目的関数の大域的最適解探索への可変階層構造学習オートマトンの適用

平成17年度電気関係学会四国支部連合大会講演論文集

平成17年度電気関係学会四国支部連合大会講演論文集


The area weather forecast system using reinforcement learning unit

強化学習ユニットを用いた地域気象予測システムの構築

平成17年度電気関係学会四国支部連合大会講演論文集

平成17年度電気関係学会四国支部連合大会講演論文集


A design of state variable filters in continuous-time model identification

連続時間モデルの適応同定における状態変数フィルタの設計

Proc. of SICE 5th Annual Conference on Control Systems

The Society of Instrument and Control Engineers

The authors have proposed an identification method of continuous-time models by using adaptive observers. However, it was not clear how to construct the state variable filters, which will affect the performance of the identification. In this paper, several kinds of the realization of the state variable filters are compared by means of numerical simulations.


Regional rainfall forecast system based on reinforcement learning

強化学習に基づく地域降雨予測システム

第49回システム制御情報学会研究発表講演会講演論文集

第49回システム制御情報学会研究発表講演会講演論文集

The Institute of Systems, Control and Information Engineers


Continuous-Time Model Identification By Using Adaptive Observer --- Generalization of the State Variable Filters

適応観測器を用いた連続時間モデル同定 --- 状態変数フィルタの一般化

第47回自動制御連合講演会

第47回自動制御連合講演会


A recursive algorithm of continuous-time model identification for MIMO systems

多入出力系の繰り返し型連続時間モデル同定

第33回制御理論シンポジウム資料


Accuracy Improvement of Subspace Model Identification of Continuous Time System

部分空間法を用いた連続時間モデル同定の制度の改善に関する研究

平成16年電気関係学会四国支部連合大会講演論文集

平成16年電気関係学会四国支部連合大会講演論文集


Continuous-time model identification by using fast adaptive observer --- 収束性の改善

適応観測器を用いた連続時間モデル同定 --- 収束性の改善

This paper introduces a new method to identify a continuous-time model from sampled I/O data by using an adaptive observer based on RLS(Recursive Least Squares) method. The convergence of the parameter estimate is considereably improved compared to the steepest descent method. In order to identify the plant from a finite number of I/O data, an adaptive observer for a backward system is also proposed.


Search for Global Optimal Solution of The Unknown Function by Using Variable Hierarchical Structure Learning Automata

可変階層構造学習オートマトンによる未知関数の大域的最適解探索

Proceedings of the 48th Annual Conference of the Institute of Systems, Control and Information Engineers

第48回システム制御情報学会研究発表講演会講演論文集


The Area Weather Forecast System Using Reinforcement Learning Unit

強化学習ユニットによる地域気象予測システムの構築

第48回システム制御情報学会研究発表講演会講演論文集


適応観測器を用いた連続時間モデル同定 --- 不均一サンプリングの場合

適応観測器を用いた連続時間モデル同定 --- 不均一サンプリングの場合

第32回制御理論シンポジウム資料

第32回制御理論シンポジウム資料


動的テーブルによるWebアプリケーション自動合成

動的テーブルによるWebアプリケーション自動合成

第2回 情報科学技術フォーラム

第2回 情報科学技術フォーラム

ソフトウェアはプログラム言語を用いて記述されるが，記述されたプログラムコードを直感的に理解するのは容易ではない．このため，グラフィックスを用いた，さまざまのソフトウェア開発支援技術が研究されてきた．本論文では，Webアプリケーションの開発を例にとり，グラフィックスを用いることにより，ユーザが頭の中で描いたイメージに従ってソフトウェアを開発することができるイメージ指向プログラミング技法を提案し，データベースやプログラムテーブルの内容に基づいて，様々な種類のWebテーブルを動的に構成するWebアプリケーション自動合成方式について述べる．


強制アクセス制御のセキュリティレベル設定問題に関する一考察

強制アクセス制御のセキュリティレベル設定問題に関する一考察

電子情報通信学会総合全国大会

電子情報通信学会総合全国大会

Institute of Electronics, Information and Communication Engineers

アクセス権のないユーザが，他のユーザの操作により，データベース内の情報を間接的に参照できてしまうような不正な情報フローを検出し，オブジェクトに適切なセキュリティレベルを設定することにより，不正な情報フローを回避するための強制アクセス制御方式を提案．


改造に伴う影響を除去するソフトウェア独立改造方式

改造に伴う影響を除去するソフトウェア独立改造方式


オブジェクト指向データベースのためのインテグリティレベルによるアクセス制御

オブジェクト指向データベースのためのインテグリティレベルによるアクセス制御

電子情報通信学会秋季全国大会

電子情報通信学会秋季全国大会

オブジェクト指向データベースのデータ完全性を保証するアクセス制御方式の提案．オブジェクト指向データベースは，クラス，インスタンス，メソッド等からなり，それらのオブジェクトにインテグリティレベルを設定することにより，オブジェクトへのアクセスを制御する．


ネットワークセキュリティ参照モデルに基づくセキュリティ問題の分類

ネットワークセキュリティ参照モデルに基づくセキュリティ問題の分類

電子情報通信学会秋季全国大会

電子情報通信学会秋季全国大会

コンピュータネットワークを，複合ネットワークレイヤー，単一ネットワークレイヤー，デバイスレイヤー，データレイヤーの4つのレイヤーに分解し，各レイヤーにおけるセキュリティ問題，要求条件，要素技術，実装技術を体系化したネットワークセキュリティ参照モデルの提案．


プログラムバグ潜在域Critical Sliceの最適化技法

プログラムバグ潜在域Critical Sliceの最適化技法

変数値エラーが発生している場合に，プログラムバグ潜在域とは，そこに含まれない命令に値誤りバグ(式の誤りに関するバグ)があっても，エラーの原因とはならないという性質をもつ命令の集合である．この性質を満たすCritical Sliceを，分岐命令の実行結果を決定した変数に着目して，より小さい命令の集合に最適化する方式を提案．


知的プログラムレビュー支援システム(IRASY)の提案

知的プログラムレビュー支援システム(IRASY)の提案

プログラムレビューはプログラムのバグを発見し，プログラムの信頼性を高める重要な工程であるが，人手で行われている．本論文では，レビュー項目を知識ベースに累積し，そのレビュー項目に基づいてソースプログラムを解析し，チェックの必要な部分を表示することにより，レビュー作業を支援する方式を提案．


プログラム解析作業履歴を利用したデバッグ方式

プログラム解析作業履歴を利用したデバッグ方式

電子情報通信学会秋季全国大会

電子情報通信学会秋季全国大会

シンボリックデバッガとプログラム静的解析ツールを連動させ，プログラム解析作業履歴を管理することにより，デバッグにおけるバグの検出作業，および，プログラムの修正に伴う影響範囲の調査作業を効率化させる方式を提案．


ビジュアルデバッガのデバッグ作業効率評価

ビジュアルデバッガのデバッグ作業効率評価

ビジュアルデバッガVIPSのもつリスト構造図形表示機能のデバッグ作業における有効性を評価．従来のシンボリックデバッガとVIPSを用いたデバッグ実験を行い，デバッグ時間を約30%，コマンド投入回数を約25%削減できることを示した．


カバレッジを利用した機能テスト手法の評価

カバレッジを利用した機能テスト手法の評価

電子情報通信学会秋季全国大会

電子情報通信学会秋季全国大会

外部仕様に基づいた機能テスト手法とプログラム構造に着目した構造テスト手法の長所を組み合わせたカバレッジ併用機能テスト手法の提案と評価．カバレッジ情報を利用して，粗い機能テストから詳細な機能テストに段階的に移行することにより，カバー率の向上効率，バグ検出効率が上がることを示した．


カバレッジテストの品質向上効果に関する分析

カバレッジテストの品質向上効果に関する分析

外部仕様に基づいた機能テスト手法とプログラム構造に着目した構造テスト手法のカバー率の向上効率，バグ検出効率に関する評価，分析．機能テストでは，バグ検出効率は良いが，カバー率がある程度まで高くなると，それ以上カバー率は上がらなくなる．一方，構造テストでは，カバー率を上げることはできても，バグ検出効率が良くないことから，カバレッジ情報を利用した機能テストの重要性を示した．


実行フロー逆追跡に基づくバグ究明支援方式の評価

実行フロー逆追跡に基づくバグ究明支援方式の評価

電子情報通信学会秋季全国大会

電子情報通信学会秋季全国大会

エラーを引き起こしている原因の究明を支援するバグ究明支援ツール(vdetool)のデバッグ作業効率に関する評価．プログラム実行時に取得した実行履歴を解析して，エラーを引き起こした直接の原因となる処理を実行した時点のプログラム状態を自動的に再現することにより，従来のシンボリックデバッガと比較して，コマンド投入回数を約1/4に削減できることを示した．


プログラム実行状況図形表示におけるリスト構造レイアウト方式

プログラム実行状況図形表示におけるリスト構造レイアウト方式

リスト構造のデバッグを容易にするリスト構造図形表示方式の提案．リスト構造の全体/部分表示方式，ポインタ選択表示方式，最適レイアウト方式(子ノード群の中央に親ノードを配置するという条件の下で表示スペースを最小にするアルゴリズム)等を考案．


既存デバッグツールを利用した高速なビジュアルデバッグ方式

既存デバッグツールを利用した高速なビジュアルデバッグ方式

既存のシンボリックデバッガdbxを利用して，プログラム実行状況の図形表示を高速に行う方式の提案．(1) dbxにパイプを通してコマンドを送信し，プログラムの実行を指示する，(2) 変数の型情報はシンボルテーブルから独自に獲得する，(3) 変数の値はdbxから受け取ることにより，満足な性能が得られることを示した．


プログラム·バグの分析と防止策の提案

プログラム·バグの分析と防止策の提案

電子情報通信学会春季全国大会

電子情報通信学会春季全国大会

C言語で記述されたプログラム(88KS)の結合試験で検出された363件のバグにおける，エラー発見状況，バグ究明時間，バグ存在箇所，バグ原因/防止策等に関する分析．バグ存在箇所は分岐文が最も多く42%を占めること，提案したコーディング·レビュー時のバグ防止策を適用すれば約25%のバグを未然に防ぐことができること等を示した．


拡張可能テンプレートを用いた設計書·コード作成支援エディタ

拡張可能テンプレートを用いた設計書·コード作成支援エディタ

日本語記述の設計テキストとプログラムコードから構成されるプログラム設計仕様書の作成において，定型パターンの記述を効率化するテンプレートの構成方式の提案．


ビジュアル·デバッグ方式の評価

ビジュアル·デバッグ方式の評価

電子情報通信学会春季全国大会

電子情報通信学会春季全国大会

Ada言語で記述されたプログラムの実行状況を図形表示する機能をもつビジュアルデバッガVIPSのデバッグ作業における有効性を評価．従来のシンボリックデバッガとVIPSを用いたデバッグ実験を行った結果，データの参照/設定を図示するデータフロー表示機能，リスト構造の図形表示機能等により，バグ究明時間を約1/2に短縮できることを示した．


設計情報ネットワークに基づくソフトウェア設計法

設計情報ネットワークに基づくソフトウェア設計法

設計情報，プログラムコード，および，それらの間の関係を一元管理する設計情報ネットワークに基づいたソフトウェア設計法の提案．設計情報を段階的に詳細化する過程で，日本語文の解析を行い，各種の依存関係を獲得する．それらを利用して，設計情報の再利用，影響波及の解析等を支援する．


プログラム実行フロー逆追跡方式に基づくデバッグ支援

プログラム実行フロー逆追跡方式に基づくデバッグ支援

電子情報通信学会情報·システム部門全国大会

電子情報通信学会情報·システム部門全国大会

プログラムの実行フロー(制御フローおよびデータフロー)を逆追跡することにより，エラーを引き起こしている原因の究明を支援する方式の提案．


ソフトウェア関係情報に基づく再利用方式

ソフトウェア関係情報に基づく再利用方式

設計情報とプログラムコードを一体管理することにより，プログラム部品の登録，検索を容易にする部品再利用方式の提案．日本語とAda言語からなる設計テキストを解析して，動詞，名詞，キーワード等を取り出し，これらを基にして部品の検索を行う．


データの動画表示機能をもつビジュアルデバッガシステムVIPS

データの動画表示機能をもつビジュアルデバッガシステムVIPS

Ada言語で記述されたプログラムの実行状況を図形表示することにより，デバッグ作業の能率を向上させるビジュアルデバッガシステムVIPSの提案．プログラムテキスト上での制御表示機能，データフロー表示機能，リスト構造図形表示機能，利用者定義図形表示機能等をもつ．


モジュール間インタフェース自動検証法の一手法

モジュール間インタフェース自動検証法の一手法

電子通信学会総合全国大会

電子通信学会総合全国大会

設計情報とプログラムコードとの一貫性を確保するため，設計詳細化の過程を木構造で記録し，管理するソフトウェア仕様化技術において，モジュール間のインタフェースの整合性を検証する方式の提案．


プログラム設計情報格納法の一考察

プログラム設計情報格納法の一考察

設計情報とプログラムコードとの一貫性を確保するため，設計詳細化の過程を木構造で記録し，管理するソフトウェア仕様化技術において，設計情報を効率よく検索，修正できる設計情報格納方式の提案．


設計情報記述言語SDLの特徴について

設計情報記述言語SDLの特徴について

電子通信学会情報·システム部門全国大会

電子通信学会情報·システム部門全国大会

設計情報の一元管理，および，設計情報とプログラムコードとの一貫性保証をねらいとする，設計情報を要素，属性，関係としてモデル化した設計情報記述言語SDLの提案．


適応観測器を用いた連続時間モデル同定における収束条件について

適応観測器を用いた連続時間モデル同定における収束条件について

第4回適応学習制御シンポジウム資料

第4回適応学習制御シンポジウム資料

The Society of Instrument and Control Engineers


Web アプリケーションにおけるイメージ指向プログラミングの試み

Web アプリケーションにおけるイメージ指向プログラミングの試み

情報処理学会プログラミング研究会発表資料

情報処理学会プログラミング研究会発表資料

Webアプリケーションの開発において，開発者が頭の中で描いたイメージに従ってソフトウェアを開発することを可能とする，グラフィックスを用いたイメージ指向プログラミング技法を提案する．データベース，プログラムテーブル，Pivotテーブル等のビジュアルなWebコンポーネントと，Webページの遷移に基づいて実行されるビジネスロジックをドラッグ&ドロップによって結びつけることにより，Webアプリケーションを自動合成する方式について述べる．


オブジェクトポイント法の適用性に関する一考察

オブジェクトポイント法の適用性に関する一考察

ソフトウェアサイエンス研究会信学技報

ソフトウェアサイエンス研究会信学技報

Institute of Electronics, Information and Communication Engineers

ソフトウェア開発の初期段階において，画面，帳票などのオブジェクトを規模要因として開発規模を見積もるオブジェクトポイント法の適用性評価．Visual BasicとC言語を用いてプログラム作成を行い，オブジェクトポイント法の有効性を示すと共に，計測されたオブジェクトポイントを基にしてプログラム規模LOCを予測する方法を提案．


ネットワークセキュリティ参照モデルのセキュリティ課題とその分類基準

ネットワークセキュリティ参照モデルのセキュリティ課題とその分類基準

通信の快適性·安全性·信頼性ワークショップ

通信の快適性·安全性·信頼性ワークショップ

コンピュータネットワークを，複合ネットワークレイヤー，単一ネットワークレイヤー，デバイスレイヤー，データレイヤーの4つのレイヤーに分解し，各レイヤーにおけるセキュリティ問題，要求条件，要素技術，実装技術を体系化したネットワークセキュリティ参照モデルを提案し，セキュリティ問題の分類基準を示した．


オブジェクト指向データベースの改ざん防止方式

オブジェクト指向データベースの改ざん防止方式

オブジェクト指向データベースの改ざんを防止するため，セキュリティレベルを用いたアクセス制御方式を提案．オブジェクト指向データベースに格納される各オブジェクトに，データベース管理者の要求を満たすように，セキュリティレベルを自動的に設定し，オブジェクトへのアクセスを制御する．


知能ソフトウェア工学研究会

知能ソフトウェア工学研究会

手続き型言語を対象とした，Critical Sliceに基づく決定性のバグ究明方式を提案．変数値エラーに関するCritical Sliceとは，値誤りバグ(式の計算に関するバグ)があると，その変数値エラーを引き起こした可能性のある命令の集合であり，Critical Slice以外の命令に値誤りバグがあっても，その変数値エラーの原因とはならないという性質をもつ．このCritical Sliceを分割し，エラーに関係する変数の値を検証することにより，命令の記述漏れを含む任意のバグを検出できることを示した．