Search or add a thesis

Advanced Search (Beta)
Home > Formal Design and Verifications in Parallel File Systems

Formal Design and Verifications in Parallel File Systems

Thesis Info

Access Option

External Link

Author

Ikram Ullah, Muhammad

Supervisor

Nasro Min-Allah

Program

PhD

Institute

COMSATS University Islamabad

City

Islamabad

Province

Islamabad.

Country

Pakistan

Thesis Completing Year

2010

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Link

http://prr.hec.gov.pk/jspui/handle/123456789/1807

Added

2021-02-17 19:49:13

Modified

2024-03-24 20:25:49

ARI ID

1676727759916

Similar


In this dissertation, the architecture of the existing file systems such as EXT, NTFS and UFS is reviewed. A study of space utilization patterns in different file systems has been presented. Effects of directory depth on file access have been discussed. Moreover, the use of formal approaches in design and verifications of parallel file systems are presented. Prototype verification system (PVS) is used as a tool to specify and verify the file system architecture. We used a top down approach to formalize the hierarchical file systems. The most important aspects of a file system such as read, write, delete and move are formalized using refinement techniques where abstract definitions of these operations are specified and then refined towards a pointer based application. Furthermore, formal specification and verification of the cyclic data striping algorithm for parallel file systems have been presented with the help of proof assistant PVS. Our study of applying formal methods to parallel file system design opens many new directions for the future research. Formalizing the complete parallel file system is a grand challenge for the scientific community. The hard links and file system security must be formally designed and verified for building robust, reliable and error free parallel file system architectures. Several different algorithms for tree structure organization of data files must be formally verified before use in parallel file systems.
Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

قصہ گو کردار بنا

قصہ گو کردار بنا
مجھ کو پُراَسرار بنا

خود آگاہی نعمت ہے
اس کو مت آزار بنا

بولنے والی آنکھوں کو
دل میں رکھ دلدار بنا

حسن و عشق سے آگے بھی
دنیا ہے، معیار بنا

شعر میں اس کا قصہ چھیڑ
شعر فضاؔ شہکار بنا

Strategies for Improving Memory in Students

Students generally have little to no understanding of the memory processes, resulting in an inability to study effectively. To perform better, it is imperative to take control of memory by understanding how memory works, how information can be committed to memory, and how forgetting can be avoided. Some insight into the cognitive load theory can also be applied to improve learning.

Occurrence of Aflatoxin in Groundnut and Spices During Storage

Aflatoxins are secondary metabolites produced by the species of Aspergillus, specifically Aspergillus flavus and Aspergillus parasiticus. The aflatoxins are highly toxic, mutagenic, teratogenic and carcinogenic compounds implicating as causative agents in human hepatic and extra hepatic carcinogenesis. The present project was divided into three parts. In the first part (Study I), the chemical changes in spices and groundnuts were studied under different packaging materials and storage conditions. There was no aflatoxin was detected in all groundnut varieties and spices. Cumin, red chillies and black pepper samples stored in jute bags showed maximum moisture contents as compared to high density polyethylene (HDPE) bags. Moisture content in cumin samples also increased significantly at 85% RH. Moisture content in all the samples increased as a result of storage and humidity. The storage, humidity and packaging materials showed non-significant effect on ash, protein, fat, fiber, nitrogen free extract (NFE) and total phenolics in groundnut varieties. The total fungal count, Aspergillus count and total aflatoxin in all spices was significantly (p< 0.01) affected due to packaging material, relative humidity, storage intervals and interactions of these variables. However, low level of total aflatoxin was detected in spices as compared to groundnuts. The chemical constituents like crude protein, crude protein, crude fiber, ash and NFE differed significantly among different groundnut varieties. However, storage intervals, packaging materials and interactions between these variables non-significantly affected the proximate composition of groundnuts varieties except moisture content which was increased during storage. In study II, after 120 days of storage the contaminated samples were packed in HDPE and irradiated by gamma radiation @ 2, 4 and 6 kGy and stored at room temperature and relative humidity in paper carton box along with control (0 kGy) for 90 days. The gamma radiation showed significant effect on total fungal count and aspergillus count as compared to control. Irradiation and storage showed non-significant effect on proximate composition and total phenolics of spices. The third (Study III) comprised the use of groundnut oil in cookies as to replace normal shortening and its effect on quality attributes of cookies during two month of storage period. The physico-chemical analyses and fatty acid profile of groundnut oil was performed. The results regarding fatty acids profile of groundnut oil indicated that GNO contain low level of saturated fatty acids; myristic acid (0.04%), palmitic acid (9.85), stearic acid (2.53), arachidic acid (1.21), behenic acid (2.52) and lignoceric acid (2.42%) while higher level of un-saturated fatty acids oleic acid (55.36%), linoleic acid (26.96%) and Eicosenoic acid (1.36%.). The groundnut oil was used in cookies preparation @ 25, 50, 75 and 100 % along with control (0% groundnut oil) and packed in HDPE bags for 2 months of storage at room temperature. The cookies were evaluated for physical, chemical, sensory and storage stability analyses. The moisture content, crude protein and Thiobarbituric acid (TBA) no. of cookies significantly varied as a function of storage, where as crude fiber, ash and NFE content of cookies varied non-significantly. The width, thickness and spread factor of cookies varied significantly due to variation of groundnut oil in cookies. The results of the present investigations indicated that spices and groundnuts can be safely stored in polyethylene bags for their better quality retention. The use of radiation can be helpful for the preservation of spices and groundnuts with respect to the production of aflatoxin during storage.