Pub Date : 2018-10-01DOI: 10.22581/MUET1982.1804.03
R. Bashir, G. Mustafa
We derive three-step algorithm based on divided difference to generate a class of 6-point n-ary interpolating sub-division schemes. In this technique second order divided differences have been calculated at specific position and used to insert new vertices. Interpolating sub-division schemes are more attractive than approximating schemes in computer aided geometric designs because of their interpolation property. Polynomial generation and polynomial reproduction are attractive properties of sub-division schemes. Shape preserving properties are also significant tool in sub-division schemes. Further, some significant properties of ternary and quaternary sub-division schemes have been elaborated such as continuity, degree of polynomial generation, polynomial reproduction and approximation order. Furthermore, shape preserving property that is monotonicity is also derived. Moreover, the visual performance of proposed schemes has also been demonstrated through several examples.
{"title":"A Family of 6-Point n-Ary Interpolating Subdivision Schemes","authors":"R. Bashir, G. Mustafa","doi":"10.22581/MUET1982.1804.03","DOIUrl":"https://doi.org/10.22581/MUET1982.1804.03","url":null,"abstract":"We derive three-step algorithm based on divided difference to generate a class of 6-point n-ary interpolating sub-division schemes. In this technique second order divided differences have been calculated at specific position and used to insert new vertices. Interpolating sub-division schemes are more attractive than approximating schemes in computer aided geometric designs because of their interpolation property. Polynomial generation and polynomial reproduction are attractive properties of sub-division schemes. Shape preserving properties are also significant tool in sub-division schemes. Further, some significant properties of ternary and quaternary sub-division schemes have been elaborated such as continuity, degree of polynomial generation, polynomial reproduction and approximation order. Furthermore, shape preserving property that is monotonicity is also derived. Moreover, the visual performance of proposed schemes has also been demonstrated through several examples.","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"63 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91045022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.22581/10.22581/MUET1982.1804.15
A. Afzaal, M. Nazir
This paper proposes a mechanism for OELC (Optimizing Electricity Load and Cost) for smart grid. The load of every smart home is predicted one-hour prior to their actual usage. To fulfill PL (Predicted Load) of each consumer, multiple resources of electricity are considered, including RE (Renewable Energy) resources. Furthermore, cost to get PL from multiple resources is calculated. In proposed model 3-4 smart homes are grouped in the form of clusters. To reduce the amount of electricity bills, system also allows privileges to share electricity between adjacent smart homes within a cluster. To validate the OELC mechanism, extensive numerical simulations are conducted which shows a significant reduction in electricity load and cost for electricity consumers. In future, to enhance the functionality of OELC, security from cyber-attacks can be considered
{"title":"Optimizing Electricity Load and Cost for Demand Side Management in Smart Grid","authors":"A. Afzaal, M. Nazir","doi":"10.22581/10.22581/MUET1982.1804.15","DOIUrl":"https://doi.org/10.22581/10.22581/MUET1982.1804.15","url":null,"abstract":"This paper proposes a mechanism for OELC (Optimizing Electricity Load and Cost) for smart grid. The load of every smart home is predicted one-hour prior to their actual usage. To fulfill PL (Predicted Load) of each consumer, multiple resources of electricity are considered, including RE (Renewable Energy) resources. Furthermore, cost to get PL from multiple resources is calculated. In proposed model 3-4 smart homes are grouped in the form of clusters. To reduce the amount of electricity bills, system also allows privileges to share electricity between adjacent smart homes within a cluster. To validate the OELC mechanism, extensive numerical simulations are conducted which shows a significant reduction in electricity load and cost for electricity consumers. In future, to enhance the functionality of OELC, security from cyber-attacks can be considered","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"21 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91137169","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.36263/nijest.2018.02.0088
P. Ogbonna, E. Nzegbule, P. E. Okorie
Human health challenges in recent times have been attributed to consumption of food contaminated with heavy metals. Coal mining is an anthropogenic activity that releases heavy metals into the environment. This study, therefore, assessed accumulation of heavy metals (lead (Pb), cadmium (Cd), nickel (Ni), arsenic (As) and iron (Fe)) in plant species in the vicinity of Akwuke and Iva coal mine in Coal city, Enugu State. The results indicate that the highest concentration of Ni (9.02 ± 0.03 mg/kg), As (0.005 ± 0.001 mg/kg) and Cd (2.16 ± 0.07 mg/kg) was accumulated in Alchornea cordifolia while the concentration of Pb (10.37 ± 0.52 mg/kg) was highest in Andropogon gayanus and Fe (231.00 ± 1.41 mg/kg) was highest in Irvingia gabonensis. The values of Ni (9.02 ± 0.03 mg/kg), As (0.005 ± 0.00 mg/kg), Pb (10.37 ± 0.32 mg/kg), Cd (2.02 ± 0.03 mg/kg), and Fe (46.00 ± 1.41 mg/kg) accumulated in A. cordifolia, A. gayanus, D. guinense, and M. indica in wet season were significantly (P < 0.05) higher than their corresponding values (5.04 ± 0.07, 8.96 ± 0.01 and 0.003 ± 0.001 mg/kg, 1.87 ± 0.07 mg/kg, and 33.45 ± 0.21 mg/kg) in dry season, respectively. Alchornea cordifolia, Andropogon gayanus and Irvingia gabonensis consumed by animals and local inhabitants in the vicinity of the two mined sites could expose them to high levels of Pb, Ni and Cd, thus posing a serious health risk to the local people.
{"title":"Seasonal variation in heavy metal accumulation in plants at coal mine sites and possible health risk","authors":"P. Ogbonna, E. Nzegbule, P. E. Okorie","doi":"10.36263/nijest.2018.02.0088","DOIUrl":"https://doi.org/10.36263/nijest.2018.02.0088","url":null,"abstract":"Human health challenges in recent times have been attributed to consumption of food contaminated with heavy metals. Coal mining is an anthropogenic activity that releases heavy metals into the environment. This study, therefore, assessed accumulation of heavy metals (lead (Pb), cadmium (Cd), nickel (Ni), arsenic (As) and iron (Fe)) in plant species in the vicinity of Akwuke and Iva coal mine in Coal city, Enugu State. The results indicate that the highest concentration of Ni (9.02 ± 0.03 mg/kg), As (0.005 ± 0.001 mg/kg) and Cd (2.16 ± 0.07 mg/kg) was accumulated in Alchornea cordifolia while the concentration of Pb (10.37 ± 0.52 mg/kg) was highest in Andropogon gayanus and Fe (231.00 ± 1.41 mg/kg) was highest in Irvingia gabonensis. The values of Ni (9.02 ± 0.03 mg/kg), As (0.005 ± 0.00 mg/kg), Pb (10.37 ± 0.32 mg/kg), Cd (2.02 ± 0.03 mg/kg), and Fe (46.00 ± 1.41 mg/kg) accumulated in A. cordifolia, A. gayanus, D. guinense, and M. indica in wet season were significantly (P < 0.05) higher than their corresponding values (5.04 ± 0.07, 8.96 ± 0.01 and 0.003 ± 0.001 mg/kg, 1.87 ± 0.07 mg/kg, and 33.45 ± 0.21 mg/kg) in dry season, respectively. Alchornea cordifolia, Andropogon gayanus and Irvingia gabonensis consumed by animals and local inhabitants in the vicinity of the two mined sites could expose them to high levels of Pb, Ni and Cd, thus posing a serious health risk to the local people.","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"25 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83379955","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.22581/MUET1982.1804.04
A. Chandio, S. Abro
The βNiAl coating was deposited onto Nickel based CMSX-4 superalloy by in-situ CVD (Chemical Vapor Deposition) method. Main focus of this contribution was to study the influence of aluminizing time and temperature on the microstructure and thickness of the coating; this was followed by examination by XRD (X-Ray Diffraction), electron microscope. Results suggest that an incremental variation in temperature alters the coating activities from HA (High Activity) to LA (Low Activity). This is exhibited by the resultant CT (Coating Thickness) since HA coatings are thicker than LA counterparts. The microstructure of the coating formed at low temperature (or HA ones) showed a large amount of α-Cr precipitates while one formed at high temperature (or LA ones) exhibited lower amounts of such precipitates. Moreover, incremental aluminizing time showed linear trend of CT at initial stage, thereafter (10 hrs) it leveled off. Whereas it does not affect microstructure of the coating
{"title":"Effect of Temperature and Time on Nickel Aluminide Coating Deposition","authors":"A. Chandio, S. Abro","doi":"10.22581/MUET1982.1804.04","DOIUrl":"https://doi.org/10.22581/MUET1982.1804.04","url":null,"abstract":"The βNiAl coating was deposited onto Nickel based CMSX-4 superalloy by in-situ CVD (Chemical Vapor Deposition) method. Main focus of this contribution was to study the influence of aluminizing time and temperature on the microstructure and thickness of the coating; this was followed by examination by XRD (X-Ray Diffraction), electron microscope. Results suggest that an incremental variation in temperature alters the coating activities from HA (High Activity) to LA (Low Activity). This is exhibited by the resultant CT (Coating Thickness) since HA coatings are thicker than LA counterparts. The microstructure of the coating formed at low temperature (or HA ones) showed a large amount of α-Cr precipitates while one formed at high temperature (or LA ones) exhibited lower amounts of such precipitates. Moreover, incremental aluminizing time showed linear trend of CT at initial stage, thereafter (10 hrs) it leveled off. Whereas it does not affect microstructure of the coating","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"2 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86645442","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.22581/MUET1982.1804.19
Z. Anwar, T. Malik, Tahir Abbas
TL (Transmission Line) congestion is a key factor that affects the power system operational cost. In addition of renewable generation in National Grid of Pakistan, transmission line congestion are frequent. Consequently, the network in this particular region faces severe congestion and dynamic stability problems. It has been planned that renewable plants shaved to curtail some available generation to minimize this inevitable congestion. However, one of the cost-efficient solutions to this problem is series compensation of lines using TCSC (Thyristor Controlled Series Compensation). It significantly increases the transfer capability of existing power transmission and enhances the dynamic stability of system at a lower cost, and has shorter installation time as compared to the construction of new TLs. This paper deals with the dynamic modeling of a TCSC in the NTDC (National Transmission and Dispatch Company) network with its applications to alleviate congestion during fault conditions. This study has been carried out using simulation software PSS/E (Power System Simulator for Engineers) which does not have a predefined dynamic model for TCSC, this leads to the necessity of creating a user defined model. The model of TCSC has been programmed in FORTRAN and compiled along with existing dynamic models of network components. The results indicate that power flow and dynamic stability of network is enhanced
{"title":"Power Flow and Transient Stability Enhancement using Thyristor Controlled Series Compensation","authors":"Z. Anwar, T. Malik, Tahir Abbas","doi":"10.22581/MUET1982.1804.19","DOIUrl":"https://doi.org/10.22581/MUET1982.1804.19","url":null,"abstract":"TL (Transmission Line) congestion is a key factor that affects the power system operational cost. In addition of renewable generation in National Grid of Pakistan, transmission line congestion are frequent. Consequently, the network in this particular region faces severe congestion and dynamic stability problems. It has been planned that renewable plants shaved to curtail some available generation to minimize this inevitable congestion. However, one of the cost-efficient solutions to this problem is series compensation of lines using TCSC (Thyristor Controlled Series Compensation). It significantly increases the transfer capability of existing power transmission and enhances the dynamic stability of system at a lower cost, and has shorter installation time as compared to the construction of new TLs. This paper deals with the dynamic modeling of a TCSC in the NTDC (National Transmission and Dispatch Company) network with its applications to alleviate congestion during fault conditions. This study has been carried out using simulation software PSS/E (Power System Simulator for Engineers) which does not have a predefined dynamic model for TCSC, this leads to the necessity of creating a user defined model. The model of TCSC has been programmed in FORTRAN and compiled along with existing dynamic models of network components. The results indicate that power flow and dynamic stability of network is enhanced","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"410 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76086374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.36263/nijest.2018.02.0089
J. Okovido, U. Owen-Egharevba, L. Akhigbe
Water scarcity is still a major problem in many rural communities in Nigeria. In this study, a rain water harvesting system was designed for Ogbekpen, a rural community in Edo state, Nigeria. A conceptual model for rainwater harvesting was developed using the storm water management model (SWMM), Arcmap 10.1 software and daily rainfall data (2000-2016) obtained from the Nigerian Meteorological Agency (NIMET). Runoff, rainfall intensity and change in elevation of three designated catchment zones were taken into consideration. The results revealed that the total amount of rainwater that could be harvested annually (water supply) was 14,314,351.70 L (14,314 m3) from an overall effective rooftop area of 6025.9 m2. This was three times the annual water demand (4,317,965.60 L (4318 m3)), thus demonstrating the capability of the system to meet annual water demand. The required tank capacities for zones 1, 2 and 3 were 870,412.76 L (870 m3), 955,319.4 5L (955 m3) and 788,629.88 L (789 m3) respectively. Comparative physicochemical and microbial analysis of water from rooftops in the three zones and an existing storage well showed that the latter did not comply with drinking water quality guidelines, thus highlighting the importance of a proper conveyance and storage system to improve water quality and availability in the area.
水资源短缺仍然是尼日利亚许多农村社区的一个主要问题。在这项研究中，为尼日利亚埃多州的一个农村社区Ogbekpen设计了一个雨水收集系统。利用雨水管理模型(SWMM)、Arcmap 10.1软件和尼日利亚气象局(NIMET) 2000-2016年的日降雨量数据，开发了雨水收集的概念模型。考虑了径流、降雨强度和三个指定汇水区的高程变化。结果表明，在6025.9 m2的屋顶有效总面积中，每年可收集的雨水总量(供水)为14,314,351.70 L (14,314 m3)。这是年需水量4317965.60升(4318立方米)的3倍，表明了该系统满足年需水量的能力。1区、2区和3区所需的储罐容量分别为870,412.76升(870立方米)、955,319.4升(955立方米)和788,629.88升(789立方米)。对三个区域的屋顶水和现有的储水井进行了物理化学和微生物分析，结果表明后者不符合饮用水质量准则，从而突出了适当的输送和储存系统对改善该地区水质和可用性的重要性。
{"title":"Rainwater Harvesting System for Water Supply in a Rural Community in Edo State, Nigeria","authors":"J. Okovido, U. Owen-Egharevba, L. Akhigbe","doi":"10.36263/nijest.2018.02.0089","DOIUrl":"https://doi.org/10.36263/nijest.2018.02.0089","url":null,"abstract":"Water scarcity is still a major problem in many rural communities in Nigeria. In this study, a rain water harvesting system was designed for Ogbekpen, a rural community in Edo state, Nigeria. A conceptual model for rainwater harvesting was developed using the storm water management model (SWMM), Arcmap 10.1 software and daily rainfall data (2000-2016) obtained from the Nigerian Meteorological Agency (NIMET). Runoff, rainfall intensity and change in elevation of three designated catchment zones were taken into consideration. The results revealed that the total amount of rainwater that could be harvested annually (water supply) was 14,314,351.70 L (14,314 m3) from an overall effective rooftop area of 6025.9 m2. This was three times the annual water demand (4,317,965.60 L (4318 m3)), thus demonstrating the capability of the system to meet annual water demand. The required tank capacities for zones 1, 2 and 3 were 870,412.76 L (870 m3), 955,319.4 5L (955 m3) and 788,629.88 L (789 m3) respectively. Comparative physicochemical and microbial analysis of water from rooftops in the three zones and an existing storage well showed that the latter did not comply with drinking water quality guidelines, thus highlighting the importance of a proper conveyance and storage system to improve water quality and availability in the area.","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"97 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77610339","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.36263/nijest.2018.02.0078
E. Oladele, O. O. Adewumi, I. Taiwo
The effect of the exposure of landfill pollutants on haematology, body and organ weights of Rattus rattus was investigated. The potential hazards of this landfill on the haematology of the exposed rats were investigated. Weights of rats in the control group (232.6g) were significantly higher (p<0.05) than the exposed wild rats (167.6g). The Packed Cell Volume, PCV (%) of rats exposed to landfill pollutants was found to be 32.0 ± 13.9 while that of control rat was 43.4 ± 4.7. Haemoglobin (g/dl) of control rats was observed to be 14.2 ± 1.2 while that of exposed rats was 10.0 ± 4.1. The constituents of the municipal waste especially heavy metals probably aggravated the observed changes in the blood parameters. The experimental results indicated that exposure to landfill pollutants may lead to ill health particularly anaemia. Also, exposure to municipal solid waste landfill may induce haematological alterations in humans as evident in the wild rats studied.
{"title":"Haematological Changes Induced by Municipal Solid Waste in Wild Rats (Rattus rattus)","authors":"E. Oladele, O. O. Adewumi, I. Taiwo","doi":"10.36263/nijest.2018.02.0078","DOIUrl":"https://doi.org/10.36263/nijest.2018.02.0078","url":null,"abstract":"The effect of the exposure of landfill pollutants on haematology, body and organ weights of Rattus rattus was investigated. The potential hazards of this landfill on the haematology of the exposed rats were investigated. Weights of rats in the control group (232.6g) were significantly higher (p<0.05) than the exposed wild rats (167.6g). The Packed Cell Volume, PCV (%) of rats exposed to landfill pollutants was found to be 32.0 ± 13.9 while that of control rat was 43.4 ± 4.7. Haemoglobin (g/dl) of control rats was observed to be 14.2 ± 1.2 while that of exposed rats was 10.0 ± 4.1. The constituents of the municipal waste especially heavy metals probably aggravated the observed changes in the blood parameters. The experimental results indicated that exposure to landfill pollutants may lead to ill health particularly anaemia. Also, exposure to municipal solid waste landfill may induce haematological alterations in humans as evident in the wild rats studied.","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"98 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85324569","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.22581/muet1982.1804.12
Saad Jaffery
The objective of this paper is to compile information that will help researchers and practitioners to use EFA (Exploratory Factor Analysis) in reference to the relevant anti-counterfeiting strategies in supply chain under deceptive buying environment, in order to make prudent decisions according to the “best industry practices” based on ISO (International Organization for Standardization) available in the automotive industry. Product counterfeiting is a worldwide business issue which effect firm’s supply chain (supply chain sustainability) directly or indirectly. The study used a quantitative research design technique where categorical and numerical variables are used to determine relationships among variables where a survey is used as a main research method. Futuristically, the developed instrument using EFA would lead to the CFA (Confirmatory Factor Analysis) to answer questions regarding validity of the instrument in the concerned population subgroups. This empirical study is done after conducting Initial Survey where pilot testing procedure of Initial instrument was followed to make sure that questions asked were good enough (reliability analysis) to capture the impacts of ANCT-INT (Anti-Counterfeiting Strategies Initiative) on the FSP (Firms’ Supply Performance). The Pilot test process of Initial Survey Instrument is conducted prior to an actual data collection (confirmatory survey) stage that can helps researcher in refining the confirmatory survey instrument. The pilot test is conducted under the patronage of PAAPAM (Pakistan Association of Automobile Parts and Accessories Manufacturers) secretariat in Lahore. The participants involved are the Automotive Engineering firms practicing as the permanent PAAPAM member firms.
{"title":"Product-Counterfeiting can be Controlled in Supply Chains of Automotive Parts Industry","authors":"Saad Jaffery","doi":"10.22581/muet1982.1804.12","DOIUrl":"https://doi.org/10.22581/muet1982.1804.12","url":null,"abstract":"The objective of this paper is to compile information that will help researchers and practitioners to use EFA (Exploratory Factor Analysis) in reference to the relevant anti-counterfeiting strategies in supply chain under deceptive buying environment, in order to make prudent decisions according to the “best industry practices” based on ISO (International Organization for Standardization) available in the automotive industry. Product counterfeiting is a worldwide business issue which effect firm’s supply chain (supply chain sustainability) directly or indirectly. The study used a quantitative research design technique where categorical and numerical variables are used to determine relationships among variables where a survey is used as a main research method. Futuristically, the developed instrument using EFA would lead to the CFA (Confirmatory Factor Analysis) to answer questions regarding validity of the instrument in the concerned population subgroups. This empirical study is done after conducting Initial Survey where pilot testing procedure of Initial instrument was followed to make sure that questions asked were good enough (reliability analysis) to capture the impacts of ANCT-INT (Anti-Counterfeiting Strategies Initiative) on the FSP (Firms’ Supply Performance). The Pilot test process of Initial Survey Instrument is conducted prior to an actual data collection (confirmatory survey) stage that can helps researcher in refining the confirmatory survey instrument. The pilot test is conducted under the patronage of PAAPAM (Pakistan Association of Automobile Parts and Accessories Manufacturers) secretariat in Lahore. The participants involved are the Automotive Engineering firms practicing as the permanent PAAPAM member firms.","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"3 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89521615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2018-10-01DOI: 10.22581/MUET1982.1804.07
A. Hafeez, A. Rehman
Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements. In MDE, the code is automatically generated from the model and model errors can implicitly shift into the code, which are difficult to find and fix. Model verification is a promising solution to this problem. However, coverage of all facets of model verification is a painful job and existing formal/semi-formal verification methods are greatly inspired by mathematics and difficult to understand by the software practitioners. This work considers particularly UML Class/OCL (Unified Modeling Language Class/Object Constraint Language) model and presents an ontology-based verification method. In the proposed method, a class diagram is transformed into ontology specified in OWL (Web Ontology Language) and constraints into SPARQL NAF (Negation as Failure) queries. This work tries to demonstrate that the proposed approach can efficiently cover all aspects of UML Class/OCL model verification.
软件模型描述了软件的结构、关系和特征。现代软件开发方法，如MDE(模型驱动工程)使用模型作为核心元素。在MDE中，代码是由模型自动生成的，模型错误可以隐式地转移到代码中，这很难发现和修复。模型验证是解决这一问题的一个很有前途的方法。然而，覆盖模型验证的所有方面是一项痛苦的工作，现有的正式/半正式验证方法很大程度上受到数学的启发，很难被软件从业者理解。这项工作特别考虑了UML类/OCL(统一建模语言类/对象约束语言)模型，并提出了一种基于本体的验证方法。该方法将类图转换为OWL (Web ontology Language)指定的本体，将约束转换为SPARQL NAF (Negation as Failure)查询。这项工作试图证明所提出的方法可以有效地涵盖UML类/OCL模型验证的所有方面。
{"title":"Ontology Based Verification of UML Class/OCL Model","authors":"A. Hafeez, A. Rehman","doi":"10.22581/MUET1982.1804.07","DOIUrl":"https://doi.org/10.22581/MUET1982.1804.07","url":null,"abstract":"Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements. In MDE, the code is automatically generated from the model and model errors can implicitly shift into the code, which are difficult to find and fix. Model verification is a promising solution to this problem. However, coverage of all facets of model verification is a painful job and existing formal/semi-formal verification methods are greatly inspired by mathematics and difficult to understand by the software practitioners. This work considers particularly UML Class/OCL (Unified Modeling Language Class/Object Constraint Language) model and presents an ontology-based verification method. In the proposed method, a class diagram is transformed into ontology specified in OWL (Web Ontology Language) and constraints into SPARQL NAF (Negation as Failure) queries. This work tries to demonstrate that the proposed approach can efficiently cover all aspects of UML Class/OCL model verification.","PeriodicalId":11240,"journal":{"name":"Day 1 Tue, October 23, 2018","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89336316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：