NDLI: A Scenario-Based Method for Safety Certification of Artificial Intelligent Software

Please wait, while we are loading the content...

2010 International Conference on Artificial Intelligence and Computational Intelligence

Volume 3 - 2010

Cover Art - Volume 3

Title Page i - Volume 3

Title Page iii - Volume 3

Copyright Page - Volume 3

Table of Contents - Volume 3

Preface - Volume 3

Organizing Committee - Volume 3

Reviewers - Volume 3

A Combined Method Based on Expert System and BP Neural Network for UAV Systems Fault Diagnosis

A DAI-based Method for Rail Traffic Passenger Flow Assignment and Simulation Evaluation

A Mean Deviation Based Method for Intuitionistic Fuzzy Multiple Attribute Decision Making

A Rule Repository Model for Rule-Driven Question-Answer-Based Web Applications

An Algorithm for Decision Tree Construction Based on Degree of Rough Classification

An Expert System for Bridge Crane Training System Based on Virtual Reality

Application of SOA to Mineral Resources Evaluation

Modeling the Operation of Passenger Flow on Railway Passenger Dedicated Line Based on Multi-agents

A Study on the Regional Application of Rice Growth Model in County Level

Using AWPSO to Solve the Data Scarcity Problem in Wind Speed Prediction by Artificial Neural Networks

A New Scalability of Hybrid Fuzzy C-Means Algorithm

An Evolutionary Method for Tension/Compression-Only Optimal Stiffness Design with Volume Constraint

Decompose-Collaborated Evolution Optimum Design of Foundation Pit Engineering

Estimation of Harmonics for Generating SPWM Based on DSP

Parallel Niche Gene Expression Programming Based on General Multi-core Processor

Urban Area Traffic Signal Timing Optimization Based on Sa-PSO

An Enhanced Culture-Based Particle Swarm Optimization Algorithm

Discussion of the Three Problems in Genetic Algorithm with Chromosome Differentiation

A Conceptual Infrastructure for Knowledge Discovery Process with Granularity

A Cutter Head Torque Forecast Model Based on Multivariate Nonlinear Regression for EPB Shield Tunneling

A Framework for Mining Functional Dependencies from Large Distributed Databases

An Application of Apriori Algorithm in SEER Breast Cancer Data

Attribute Reduction Algorithm Based on Discernibility Matrix of Skowron and Itemset Lattice

Cloud-based Connected Component Algorithm

Finding Closely Communicating Community Based on Ant Colony Clustering Model

Frequent Neighboring Class Set Mining Based on Neighboring Index

Generalized Quadrature Formula for Convex Functions

Making of the Intelligent System for the Parameters Statistics in Oceanic Internal Wave Based on the Obtaining Data Method from Dragging Target

Mining Efficacious Association Rules Under Length-Decreasing Support Constraint

Optimization of Decision Tree Based on Variable Precision Rough Set

Prediction of E-shopper's Behavior Changes Based on Purchase Sequences

Research on the Effects of Structure-oriented Organizational Innovation on Dynamic Core Competence of Enterprise

Rough Knowledge Mining Algorithm Based on Extension Decision Rule Lattice for Electronic Patient Record

The Construction and Key Issues of Spatial Data Warehouse for Oil Exploration and Development

The Context Matching Model Supporting Urban Distribution Case Knowledge Agile Reuse

The Growing Self-organizing Map for Clustering Algorithms in Programming Codes

A Markov Chain Monte Carlo Sampling Relevance Vector Machine Model for Recognizing Transcription Start Sites

Abnormal Circumstance-Driven Self-Maintenance Mechanism Based on Flexible Scheduling

Design of PID Controller Based on DNA Computing

Feature Selection and Prediction of Sub-health State Using SVM-RFE

Modeling and Simulation of Supply Network Evolution and Revolution: A Multi-Agent Approach

Self-adaptive Method Based on Software Architecture by Inspecting Uncertainty

Study on the Sliding Mode of the Planar Switched Systems

Three Dimensional Variability of Soil Electrical Conductivity Based on Electromagnetic Induction Approach

Adaptive Synchronization of Lorenz System and Third-order CNN with Uncertain Parameters

Hydrologic Characteristics Analysis of Monthly Runoff Series in Lower Yellow River

Modeling Slump of Concrete Using the Artificial Neural Networks

Short-Term Prediction of Coalmine Gas Concentration Based on Chaotic Series and Wavelet Neural Network

A Method for Deciding the Containing Relation between Two Clauses

A Self-Adaptive Mechanism for Software Configuration Based on Case-based Reasoning and Policy

Automatic Calibration of Hydrological Model by Shuffled Complex Evolution Metropolis Algorithm

Fractal Approach to Sound Absorption Behavior in Nonwoven

Simplification of Motion Controller Based on DSP IO Space and CPLD

Study on Loading Scheme Optimal Algorithm of Airborne Ammunition for Group-craft Cooperative Air Combat

A Distributed Traffic Signal Control Scheme Based on Digital Hormone Model

A Hybrid Scheme for the Function Optimization

A Neural-based Data Computing Approach for Illness Prediction

A New Variable Step-size Constant Modulus Blind Equalization Algorithm

A Robust and On-Line Evaluation Approach to Normativity of Chinese Character Writing

A Study on the Correlation of Urban Morphology with Urban Comprehensive Strength

An Efficient Variable-Step Algorithm for Bezier Curves

An Integrated Approach to Filling Holes in Meshes

Application of Near Infrared Spectroscopy Combined with Partial Least Squares in Quantitative Analysis of Polysaccharide in Irpex Lacteus Fr. Mycelia

Approach of Geometric Texture Mapping Based on Discrete Gradient Searching

Development of Opengl Based 3D Simulator for Computer Numerical Control

Dynamic Analysis of an Impulsively Controlled Predator-Prey Model with General Functional Response and Seasonal Effect

Dynamic Mesh Optimization with Curvature Dependent Subdivision for Polygonized Implicit Surfaces with Sharp Features

Dynamic Monitoring of Changing and Evolvement in Kumtag Desert Based on Remote Sensing Images

Efficiency Evaluation and Pareto Solution in WY Model

Extract-Transform-Load of Data Cleaning Method in Electric Company

Feasibility of Using Fourier Transform Infrared Spectroscopy Combined with Chemometrics for Determing the Total Flavonoid Contents in Rape Bee Pollen

Finite Element Analysis of Stability of Continuous Welded Rail with Minor Radius Curve

Improved Sampling Importance Resampling Particle Filter Optimized by Tabu Search

Nonlinear Computation of Shear Lag Effect of Box Beam

Numerical Method for Transverse Seismic Response of Bridges Considering Poundings

On Scale Transition and Homogenization in Multiscale Computational Analysis of Heterogeneous Solids

Optimal Reservoir Operation Using PSO with Adaptive Random Inertia Weight

Optimality and Saddle Point for Vector Optimization Under Semilocally B-preinvex

Optimization of the Efficiency of GaAs Saturable Absorber Q-switched Lasers

Parameter Estimation for Predator-Prey Equations Using Hidden Periodic Model

Predicting Risk Parameters Using Intelligent Fuzzy/Logistic Regression

Reasonable Arrangement of Sickbeds in Ophthalmic Hospital Based on Multi-objective Optimization

Research and Design of Tower Crane Condition Monitoring and Fault Diagnosis System

Research of High-speed Data Acquisition Card Driver Based on Embedded System for ICRH System on East

Research on Micro-Electro-Mechanical-Systems Digital Geophone

Simulation and Analysis of Relief Valve with F-pi Bridge Pilot Circuit Based on AMESim

Simulation Study on Model Free Adaptive Control Based on Grey Prediction in Ball Mill Load System

Simulation Study on Two-dimensional Diversion Duct by ANSYS Method

Study on Modeling Virtual Plant Development Process Based on Growth Model

Study on the Instrument Detecting Water in Oil Based on the Optoacoustic Spectroscopy Technique

The Application of Improved Elman Neural Network in the Exchange Rate Time Series

The Application of WN Based on PSO in Bank Credit Risk Assessment

The Research on the Recognition Model of Enterprise Organizational Innovation Motivation

The Structure of the Rainstorm Precipitation Case over the Southern Shanxi Retrieved by TRMM

The Study of Coupling Degree of Manufacturing Cluster

The Study of Optimization Method for Overall Revolving Floating Crane

A Distributed Concept Lattices Vertical Union Method

A Medical Image Fusion Algorithm Based on Lifting Wavelet Transform

A Research on Evaluating Project Management Maturity Based on Genetic BP Neural Network Data Mining Method

A Scenario-Based Method for Safety Certification of Artificial Intelligent Software

A Self-learning Predictive Algorithm of Hostile Attack Based on the Weighted k-means

A Solving Algorithm for Target Assignment Optimization Model Based on SA

DNA Codewords Design Using Ant Colony Optimization Algorithm

Duality for Nonsmooth Vector Optimization Using Mordukhovich's Subdifferential in Asplund Spaces

Evaluation of Water Resources Carrying Capacity in Shandong Province Based on Spatial Cluster

Experiment and Research on Performance Characteristic of Eddy-current Retarder

Flight Dynamics Identification of a Helicopter in Hovering Based on Flight Data

Intelligent Irrigation System Based on Fuzzy Control

PCA-Based Estimation of Velocity Feature for Visual Tracking

Reliable Guaranteed Cost Control for Nonlinear Singular Systems

Research on Dynamic Container Truck Scheduling Based on Energetic Algorithm and MAS

Second Order Duality in Vector Optimization Involving (F,alpha)-V-Type Functions

Simulation of Waterway Traffic Flow at Harbor Based on the Ship Behavior and Cellular Automata

The Generalized Inverse Inequalities for Symmetric Nonnegative Definite Matrices

The Research of Web Service Selection Based on the Ant Colony Algorithm

The TT&C Task Planning Algorithm Based on Multi-satellite

Visualization of Wavelet Result for Damage Detection in Arch

A Novel Ant-based Clustering Algorithm with an Attractive Force Field

Direct Blind Signal Detection Based on Improved Ant Colony Algorithm

Study of Ant Colony Optimization Algorithm Based on Adaptive Theory

Author Index - Volume 3

Roster Page - Volume 3

Volume 2 - 2010

Volume 1 - 2010

2009 International Conference on Artificial Intelligence and Computational Intelligence

A Scenario-Based Method for Safety Certification of Artificial Intelligent Software

Content Provider	IEEE Xplore Digital Library
Author	Guoqi Li Minyan Lu Bin Liu
Copyright Year	2010
Abstract	Artificial intelligence (AI) is attractive for safety critical fields. However, there have been few success cases, for the AI technique is usually lack of determinism and predictability, which is usually regarded as a disqualifier in a safety on text. Increased researches and supererogatory efforts are providing to incorporate AI into the safety-critical systems in recent years. In this paper, we present a scenario-based method for safety certification, with the method AI modules of system could be evaluated before invoked, if its trust ability is satisfied, then the program will be performed for safety critical systems, otherwise it will be terminated to ask human assistance or postpone the missions.
Starting Page	481
Ending Page	483
File Size	458314
Page Count	3
File Format	PDF
ISBN	9781424484324
DOI	10.1109/AICI.2010.339
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-10-23
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computer network reliability Software trustability Software Software reliability Safety Artificial intelligence Intelligent systems Robots Software engineering
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in