6 research outputs found
On the engineering of crucial software
The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described
Troubleshooting Ink Jet Printing Of Cotton Substrates Using A Knowledge-based Expert System
(Doktora) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2012(PhD) -- İstanbul Technical University, Institute of Science and Technology, 2012Bu çalışmada, pamuklu kumaşların ink jet baskısında karşılaşılan hataların belirlenmesi ve çözülmesine yönelik uzman sistem geliştirilmesi amaçlanmıştır. Bu amaçla literatür detaylı olarak taranmış, bununla birlikte baskıda uzman kişilerle de tartışılarak ink jet baskıda sık karşılaşılan on üç hata belirlenmiştir. Bunlar, kafa sürtmesi, renksiz bölge, yanlış renkli bölge mürekkep damlası(mürekkep lekesi), enine çizgilenme, çarpıklık, boya akması, desen kayması, kumaş sararması, düşük sürtme haslığı, düşük yıkama haslığı, renk şiddeti farklılığı/ton farklılığı, düşük keskinlik, beyaz veya solgun bölge olarak adlandırılmıştır. Daha sonra bu hataların nedeni olabilecek altmış bir adet sebep, detaylı literatür taraması ve yine uzman kişilerle yapılan görüşmeler sonunda belirlenmiştir. Bu hatalarla sebepler arasındaki ilişkiyi belirleyebilmek amacıyla uzmanlara sormak üzere anket hazırlanmıştır. Ankete katılan uzmanların her bir hata ile her bir sebebin ilişkisini beşli likert skalası kullanarak belirlemeleri istenmiştir. Ankete katılan bütün uzmanların cevap sayıları dikkate alınarak her bir hata ve altmış bir sebep arasında sayısal bir ilişki kurulabilmesi amacıyla çeşitli istatistik yöntemlerinden yararlanılmıştır. Sonuç olarak, sisteme entegre edilen çıkarım motorunun hataların sebeplerini ortak sebeplerden başlayarak belirlemesiyle iyi bir performans ortaya koymuştur. Ayrıca, sistem ink jet baskıda karşılaşılan problemlerin çözümünde iyi bir araç olarak kullanılabileceği gösterilmiştir. Bununla birlikte, yapılan anket değerlendirmeleri sonucunda, ankete katılan uzmanların ortak paydada da buluşamadığı ortaya çıkmıştır. Bu sebeple böyle bir sistemin geliştirilmesi hatalara objektif bir çözüm sunabilmesi açısından önemlidir. Ayrıca sistem, bu alanda yeni çalışmaya başlayanlar için iyi bir başvuru kaynağı ve eğitim aracı olarak da kullanılabilmektedir. Bundan sonraki aşamalarda, sistemin gerçek üretim hatalarıyla denemeleri yapılarak, uzman kişilerin hatayı çözerken ortaya koydukları yaklaşımla karşılaştırılmasının yapılması gerekmektedir. Bu şekilde, üretim esnasında daha efektif kullanılabilen bir başvuru kaynağı olarak da kullanılabilecektir.In this study, it is aimed to develop an expert system for troubleshooting of faults encountered in ink jet printing of cotton substrates. The possible faults may be observed during ink jet printing, prior to printing, such as fabric production or preparation, and after printing, such as fixation. Hence, at the analysis and selection of the most encountered faults in ink jet printing, the processes, which start with cotton production and end at fixation, are examined. After the detailed review of the literature and interviews with the experts, thirteen symptoms are selected as the most encountered problems in ink jet printing of cotton substrates. In addition, sixty-one causes are suggested as the possible causes of thirteen symptoms. Fifteen experts are asked to match each symptoms with sixty-one causes by using a five point likert scale, including most likely, likely, not sure, least likely and not related. In addition, the knowledge acquired from the survey and literature is embodied to the system. A different approach is adopted for the inference of the system in order to solve the problems that are selected by the users of software. The system demonstrates a good performance with embodied inference engine, which starts to solve problem from the common cause in the case of multiple selection of the faults. Moreover, the system shows that, it can be used as a tool for troubleshooting of ink jet printing of the cotton substrates. In addition, it is also possible to use the system as a training tool for the people who are new at ink jet printing.DoktoraPh
Recommended from our members
Guidelines for the verification and validation of expert system software and conventional software: Survey and assessment of conventional software verification and validation methods. Volume 2
By means of a literature survey, a comprehensive set of methods was identified for the verification and validation of conventional software. The 153 methods so identified were classified according to their appropriateness for various phases of a developmental life-cycle -- requirements, design, and implementation; the last category was subdivided into two, static testing and dynamic testing methods. The methods were then characterized in terms of eight rating factors, four concerning ease-of-use of the methods and four concerning the methods` power to detect defects. Based on these factors, two measurements were developed to permit quantitative comparisons among methods, a Cost-Benefit metric and an Effectiveness Metric. The Effectiveness Metric was further refined to provide three different estimates for each method, depending on three classes of needed stringency of V&V (determined by ratings of a system`s complexity and required-integrity). Methods were then rank-ordered for each of the three classes by terms of their overall cost-benefits and effectiveness. The applicability was then assessed of each for the identified components of knowledge-based and expert systems, as well as the system as a whole
Software test and evaluation study phase I and II : survey and analysis
Issued as Final report, Project no. G-36-661 (continues G-36-636; includes A-2568