Babar Yaqoob Khan | Foundation University, Islamabad. Pakistan (original) (raw)
Uploads
Papers by Babar Yaqoob Khan
International Journal of Advanced Computer Science and Applications, 2017
Agriculture is the backbone to the living being that plays a vital role to country's economy. Agr... more Agriculture is the backbone to the living being that plays a vital role to country's economy. Agriculture production is inversely affected by pest infestation and plant diseases. Plants vitality is directly affected by the pests as poor or abnormal. Automatic pest detection and classification is an essential research phenomenon, as early detection and classification of pests as they appear on the plants may lead to minimizing the loss of production. This study puts forth a comprehensive model that would facilitate the detection and classification of the pests by using Artificial Neural Network (ANN). In this approach, the image has been segmented from the fields by using enhanced K-Mean segmentation technique that identifies the pests or any object from the image. Subsequently, features will be extracted by using Discrete Cosine Transform (DCT) and classified using ANN to classify pests. The proposed approach is verified for five pests that exhibited 94% effectiveness while classifying the pests.
Formal Methods are necessary for the specification, development and verification of safety critic... more Formal Methods are necessary for the specification, development and verification of safety critical systems. Formal Languages help us to identify errors at an early stage in the development process and can aid in reducing overall system development costs. Despite their benefits, formal methods are not widely accepted in the industry due to the need for high abstraction and a mathematical labor pool. The SOFL (Structured Object-Oriented Formal Language) methodology can be effective and efficient for safety critical systems. Some major issues with formal languages like higher abstraction levels, the need of mathematical skills, developer maturity and high costs can be overcome by using SOFL. SOFL specifically encapsulates three major layers: 1) structured methodology in the early stage of development, 2) object oriented methodology at the detailed level and 3) incorporation of formal methods. In this paper, we have tested the SOFL 3-step approach for the formal specification of a Railway Signaling System, already implemented by using Zed. Afterward we performed a comparison, using certain parameters identified from literature, to assess the appropriateness of Zed and SOFL methodology for the formal specification of a safety critical system. We found SOFL as an instinctive and perceptive for formal specification which overcome the limitations of other formal languages.
International Journal of Advanced Computer Science and Applications, 2017
Agriculture is the backbone to the living being that plays a vital role to country's economy. Agr... more Agriculture is the backbone to the living being that plays a vital role to country's economy. Agriculture production is inversely affected by pest infestation and plant diseases. Plants vitality is directly affected by the pests as poor or abnormal. Automatic pest detection and classification is an essential research phenomenon, as early detection and classification of pests as they appear on the plants may lead to minimizing the loss of production. This study puts forth a comprehensive model that would facilitate the detection and classification of the pests by using Artificial Neural Network (ANN). In this approach, the image has been segmented from the fields by using enhanced K-Mean segmentation technique that identifies the pests or any object from the image. Subsequently, features will be extracted by using Discrete Cosine Transform (DCT) and classified using ANN to classify pests. The proposed approach is verified for five pests that exhibited 94% effectiveness while classifying the pests.
Formal Methods are necessary for the specification, development and verification of safety critic... more Formal Methods are necessary for the specification, development and verification of safety critical systems. Formal Languages help us to identify errors at an early stage in the development process and can aid in reducing overall system development costs. Despite their benefits, formal methods are not widely accepted in the industry due to the need for high abstraction and a mathematical labor pool. The SOFL (Structured Object-Oriented Formal Language) methodology can be effective and efficient for safety critical systems. Some major issues with formal languages like higher abstraction levels, the need of mathematical skills, developer maturity and high costs can be overcome by using SOFL. SOFL specifically encapsulates three major layers: 1) structured methodology in the early stage of development, 2) object oriented methodology at the detailed level and 3) incorporation of formal methods. In this paper, we have tested the SOFL 3-step approach for the formal specification of a Railway Signaling System, already implemented by using Zed. Afterward we performed a comparison, using certain parameters identified from literature, to assess the appropriateness of Zed and SOFL methodology for the formal specification of a safety critical system. We found SOFL as an instinctive and perceptive for formal specification which overcome the limitations of other formal languages.