Time filter

Source Type

Lahore, Pakistan

The University of Central Punjab is a private sector university located in Lahore, Pakistan. The current enrollment of the university is 8,000. University of Central Punjab, a part of Punjab Group of Colleges, was Chartered by the Government of Punjab in 2002.According to the HEC ranking 2013, UCP's business school is on number 3rd in Lahore.University of Central Punjab offers undergraduate, graduate as well as postgraduate programs in the fields of Engineering, Computer Science, Pharmacy, Business, Commerce, Arts and Social science. The are six distinct faculties in the university namely Faculty of Engineering, Faculty of Commerce, Faculty of Pharmacy, UCP Business School, Faculty of Arts and Social science. Wikipedia.

Kausar H.R.,University of Zurich | Kausar H.R.,University of Central Punjab
Monthly Notices of the Royal Astronomical Society | Year: 2014

To see the evolution of the physical variables at the surface of a star and to establish the range for an unstable system, we investigate the dynamical instability of a spherically symmetric collapsing star in the framework of Rn gravity. For this purpose, we have reformulated the dynamical equations in f(R) theory and perturb them in a specific manner. Under this perturbation scheme, quantities like energy density, pressure and heat flux are obtained and then used in the collapse equation which yield instability range for the ratio of specific heats γ. Shear-free condition is applied and results are reduced to R2, 1/R and R gravity by choosing particular values of n in the f(R) model Rn.

Khan S.A.,University of Central Punjab | Khan S.A.,University of Queensland | Zafar N.A.,King Faisal University
International Journal of Innovative Computing, Information and Control | Year: 2011

Railway interlocking system is a distributed, safety, monetary and environmentally critical system and its failure may cause the loss of human life, severe injuries, loss of money and environmental damages. The complexity of this system requires formal modeling and step by step refinement for its construction and development. The formal specification-based languages, such as VDM, Z-notation and RAISE, have been used for its modeling using crisp (two-valued logic) theory. However, due to the continuous and inexact features, like speed, weight and moving block (breaking distance including length of a train), fuzzy distributed multi-agent approaches are required to capture the inexactness and uncertainty present in the existing system. In order to get a fuzzy distributed multi-agent environment, we have extended the Object-Z towards the fuzzy multi-agent specification language (FMASL) using an integration of fuzzy logic, multi-agent systems (MAS) and Object-Z to be applied for the railway interlocking system. Initially, our extended approach is applied for the specification of railway crossing, a critical component of interlocking system. We have supposed that a train is an autonomous intelligent agent and has fuzzy sub-agents: a moving block and a crossing intelligent agents. © 2011 ISSN.

Qaisar Z.H.,University of Central Punjab | Rehman S.U.,Riphah International University
Advances in Engineering Software | Year: 2011

Regression testing is important activity during the software maintenance to deal with adverse effects of changes. Our approach is important for safety critical system as usually formal methods are preferred and highly recommended for the safety critical systems but they are also applied for the systems development of other than critical system. Our approach is based on Regression testing using VDM++ which takes two VDM++ specifications, one baseline and other delta (Changed) along with test suite for the baseline version. It compares both versions by using comparator module, identifies the change. By analyzing the change we classify the test cases from original test suite into obsolete, re-testable, and reusable test cases. Our scope is at unit level i.e. at class level. Our approach gets two versions of VDM++ specification and returns regression test suite for the delta version. Our approach distinguishes test cases which are still effective for the delta version of VDM++ specification and it differs from re-test all strategy as it can distinguish the test cases and identifies test cases which are useful for delta version. Test cases reusability and test case reduction is the main objective of our approach. Our approach presents how to perform regression testing using VDM++ specification during the maintenance of systems. © 2011 Elsevier Ltd. All rights reserved.

Kausar H.R.,University of Central Punjab | Noureen I.,University of Management and Technology
European Physical Journal C | Year: 2014

This manuscript is devoted to the study of the combined effect of a viable f (R) = R + αRn model and the electromagnetic field on the instability range of gravitational collapse. We assume the presence of a charged anisotropic fluid that dissipates energy via heat flow and discuss how the electromagnetic field, density inhomogeneity, shear, and phase transition of astrophysical bodies can be incorporated by a locally anisotropic background. The dynamical equations help to investigate the evolution of self-gravitating objects and lead to the conclusion that the adiabatic index depends upon the electromagnetic background, mass, and radius of the spherical objects. © 2014 The Author(s).

Gillani R.,University of Central Punjab
Proceedings of 2016 13th International Bhurban Conference on Applied Sciences and Technology, IBCAST 2016 | Year: 2016

This paper presents an approach for recasting Markov Decision Process (MDP) problems into heuristics based planning problems. The basic idea is to use temporal decomposition of the state space based on a subset of state space referred to as termination sample space. Specifically, the recasting of MDP problems is done in three steps. First step is to define a state space adaptation criterion based on the termination sample space. Second step is to define an action selection heuristic from each state. Third and final step is to define a recursion or backtracking methodology to avoid dead ends and infinite loops. All three steps have been described and discussed. A case study involving fault detection and alarm generation for the reaction wheels of a satellite mission has been discussed. The proposed approach has been compared with existing approaches for recasting MDP problems using the case study. Computational reduction achieved by the proposed approach is evident from the results. © 2016 IEEE.

Discover hidden collaborations