The application of machine learning techniques for constructing automated test Oracles has been successful in recent years. However, existing machine learning based Oracles are characterized by a number of de ciencies when applied to software systems with low observability, such as embedded software, cyber-physical systems, multimedia software programs, and computer games. This paper proposes a new black box approach to construct automated Oracles that can be applied to software systems with low observability. The proposed approach employs an Arti cial Neural Network algorithm that uses input values and corresponding pass/fail outcomes of the program under test as the training set. To evaluate the performance of the proposed approach, extensive experiments were carried out on several benchmarks. The results manifest the applicability of the proposed approach to software systems with low observability and its higher accuracy than a well-known machine learning based method. This study also assessed the e ect of di erent parameters on the accuracy of the proposed approach.

This article attempted to investigate the notion of identity. It is a study of the temporal and Spatial possibility of fashioning Canadian identity in a postcolonial context. Literature, novel in particular, has always been an appropriate text for such an investigation. Therefore, Margaret Atwood’s third novel, Lady Oracle, (1976) is examined here. Atwood, the most recognized Canadian writer in the world of literature publicly and academically, wrote this novel when the question of identity was not only the current problem of Canadian writers and scholars but also the main concern of Canadian government and people. Like her first two novels, Lady Oracle also questions Canadian identity as a borderline case between apparently dominant British and American identities on the one hand, and as an independently voiced one in the world on the other. Following the main character’s textual footprints from her abandonment, concealment, and multiple identities to her revelation and unified identity, the study revisits one of the ways of fashioning identity in general and Canadian identity in particular.

The historicity theory of Oracle considers Qur'an as a historical fact that is tied to the capacity and awareness of the audience of the age of emergence and is subject to the social and cultural conditions of that period. Those who believe in the age of emergence, with an emphasis on the interaction of Oracle with various requirements of the age of emergence, deny the immediate descent of Quran and reject the comprehensiveness of its propositions and its being beyond time and place. The prophetic experience is one of the major theories in this field. Providing explanations for this theory, Dr. Soroush claims that the prophetic experience is a theory rooted in the thinking of the Islamic world, and has received a great deal of attention from Farabi to Ibn Sina, Khawja and Mulla Sadra. In relation to the claim of the rooted theory of the Prophetic experience, regardless of the fallacy in the two implied concepts and the power of imagination, the examination confirms that the rooted theory claim is not at least true of Mulla Sadra’ s thought system. Because Mulla Sadra explains the details of Oracle by neglecting the function of imagination in transforming the inspirational thinking into senses and details. He also explains the details of Oracle based on matching the trilogy of existential realms and invoking the intuition of the two modes of the common sense and the imagination of the Prophet from the disconnected world of fantasy. Also, Sadr al-Mota'alehin, according to his own philosophical foundations, believes that because the Prophet, as an innocent person, received Oracle in its ultimate clarity, lucidity and predication, he thus does not need any possible manipulation of the sensual powers.

A B S T R A C TThe right to the city in urban development goes beyond the physical form and, at the same time, has a mental and social meaning, which has been popularized in planning theory and urban studies after its proposal by Lefebvre. This theory focuses on the residents and the distinctive features of the space and believes that the right to the city can only be formulated as the right to the evolved and renewed urban life. Based on descriptive-explanatory purpose, this research seeks to Spatially analyze the components of right to the city in Bandar Abbas. Therefore, after collecting 77 subjective and objective measures around the research components, the multi-criteria decision-making technique of COPRAS has been exploited to integrate the data in the ArcMap Tools. The findings show that in the current state of urban development in Bandar Abbas, the right to the city in all its aspects, the right to ownership, the right to participation and the right to difference for the residents have been weakened and ignored. A share of up to 20.7% of the city space, which is mainly directed to the wealthy neighborhoods and parts of the central areas of the city, as well as parts of new developments, the right to the city has been more manifested, and in about 19.8% of the city spaces. Mainly applicable to informal settlements and slums of the city, this right has been undermined and ignoredExtended AbstractIntroductionThe right to the city as a physical, mental and social concept seeks a fundamental change in dealing with urban planning and development issues, which has been popularized in planning theory and urban studies after its proposal by Lefebvre. This theory focuses on the residents and the distinctive features of the space and believes that the right to the city can only be formulated as the right to the evolved and renewed urban life. In other words, this theory is a call for the priority of the consumption value of the city against its exchange value, which can only be pursued through the analysis of urban issues in the framework of the "city space" metaphor in the right to the city. It is a fundamental change in the city to create opportunities and space for citizens to meet and achieve their needs. MethodologyFrom a descriptive-explanatory purpose, this research seeks to Spatially analyze the explanatory components of urban development in Bandar Abbas from the perspective of the right to the city. In this research, by collecting 77 subjective and objective measures, the COPRAS multi-criteria decision-making technique has been used to integrate data in the ArcMap environment. Citizens are the source of mental data, official documents and maps are the objective data, and experts are the relative weight of the criteria. It should be mentioned that to guarantee the validity of the content based on the guidance of supervisors and advisors, the collective opinion of university experts and the use of similar studies were exerted. The reliability of the questionnaire was also tested by Cronbach's alpha method, and the value of the alpha coefficient (0.866) indicates the high reliability of the questionnaire. Results and discussionThe findings show that in the current state of urban development in Bandar Abbas, the right to the city in all its aspects, including the right to possession, the right to participation, and the right to difference for the residents, has been weakened and ignored. A review of the findings shows that the social function of the city's real estate and land, with a coefficient of 0.136, followed by environmental justice, with a coefficient of 0.131, has the greatest impact on the urban development of Bandar Abbas. On the other hand, socio-Spatial justice in the process of taking over space, with a coefficient of 0.106, shows the lowest level of influence in the development of Bandar Abbas compared to other components of the right to the city. The results show that about 20% of the area of Bandar Abbas city is in a very unfavorable situation compared to the components of urban development based on the right to the city approach. These areas of the city are spaces where the residents' right to the city has been severely denied, and they are deprived of taking over the city space.In this regard, the results show that 20.7% of the city's space, mainly focused on wealthy neighborhoods, parts of the city's central areas, and parts of Mehr's housing, has the right to a greater manifestation of the city. The city's space is more in line with its residents. As shown in the Spatial distribution of the urban development components of Bandar Abbas based on the right to the city approach, the possession of space through the right to presence, the accessibility of residents to the opportunities and resources of the city, as well as the fair distribution of facilities and services play a decisive role in urban development. However, as the results show, it is the difference that gives meaning to the urban space, and therefore the space must provide the conditions for the city to play a role in meeting the needs of all city groups. The requirement of this role is the central position of the residents in making decisions about the city space, which is a unique way to realize the right to the city. ConclusionAs Brenner states, the right to the city is a call to create "cities for people, not for profit." In this definition, urban development is more than a physical thing and has a mental and social dimension at the same time. In terms of the right to the city, the right to possession, the right to participation, and the right to difference form the trinity of urban development and the guiding light of these three principles that determine the quality of a different city. Unfortunately, urban development in Bandar Abbas has weakened and denied residents' rights. The zoning resulting from the Spatial analysis shows that about 19.8% of the city's spaces, which mainly correspond to informal settlements and poor neighborhoods, this right has been weakened and ignored. From the theoretical aspect of the right to the city, this event originates from the space as an economic and physical thing exchanged in the market, not a consumption thing formed by the citizens and in social interaction with the space. FundingThere is no funding support. Authors’ ContributionAuthors contributed equally to the conceptualization and writing of the article. All of the authors approved thecontent of the manuscript and agreed on all aspects of the work declaration of competing interest none. Conflict of InterestAuthors declared no conflict of interest. Acknowledgments We are grateful to all the scientific consultants of this paper.

ABSTRACTDuring the last century, ports of Persian Gulf become the most important storage, refining and transportation of crude oil, oil derivation, petrochemical products and also, business activities. Nowadays, due to functional diversity between ports, the impact of port activities on the development of urban spaces will be different, and this issue leads to structural differences of port cities. The purpose of this research is to identify the key variables affecting the relations and Spatial structure of port-city in Dubai as the most thriving and successful port-city in the Persian Gulf. This research is based on deductive reasoning and carried out by analysis of cross effects with secondary data (results of other prominent articles) and also primary data (questionnaire). sampling method is based on purposive sampling and Micmac software was used to analyze the data. Output of Micmac software shows the position of the instability of the system. Therefore, the position of each variables in the conceptual model can be categorized to driver, linkage, dependent, and autonomous factors. The research findings indicate 4 variables (like as “income, cost and investmnets in port-city”) can be introduced as a driver factor, 5 variables (like as “advanced multimodal transportation in the port”) can be introduced as a linkage factor, 6 variables (like as “quality of living environment and desirable city”) can be introduced as a dependent factor, 3 variables (like as “environmental protection and sustainable development of the city-port”) can be introduced as an autonomous factor. The rapid development of Dubai can be explained by the purposeful distribution of revenues from trade and tourismExtended AbstractIntroductionDuring the last century, ports of Persian Gulf become the most important storage, refining and transportation of crude oil, oil derivation, petrochemical products and also, business activities. The global increase in oil demand since the 1950s led to the creation of discovery of new oil wells and large industrial areas. With the construction of new oil or gas facilities in the port areas, increasing oil revenues contributed to the countries of the Persian Gulf region and form a new geographical relationship between ports and coastal cities which had an impact on the Spatial structure and relation of them. Nowadays, due to functional diversity between ports, the impact of port activities on the development of urban spaces will be different, and this issue leads to structural differences of port cities. In the 1950s, Containerization (container loading technology) was based in some of the world's ports and created a huge transformation in the shipping industry, which had a significant impact on the development of ports. Although the ports of the Persian Gulf have made a significant contribution to the economic growth and physical development of other ports in the world, but few researches have been done on the variables and factors affecting the development of the Spatial structure of the important ports of the Persian Gulf. This region, due to its unique geographical location, has always been considered as a most important corridor in the field of economic and transportation throughout history. Some of the most important energy and commercial ports in this region are: Dubai, Manama, Kuwait, Dammam, Doha, Bushehr, Bandar-Abbas and Assaluyeh. In this regard, the purpose of this research is to identify the key variables affecting the relations and Spatial structure of port-city in Dubai as the most thriving and successful port-city in the Persian Gulf. MethodologyThis research is based on deductive reasoning and carried out by analysis of cross effects with secondary data (results of other prominent articles) and also primary data (questionnaire). The method used in this research is quantitative and the sampling method is based on purposive sampling. the variables affecting the Spatial structure of port-city relations were identified in the form of a review of 31 prominent articles. 25 experts (who had comprehensive knowledge and information about the development process of the city-port of Dubai) participated to determine the effectiveness or influence of variables. Finally, the output of data analysis was done by the Micmac software. Results and discussionOutput of Micmac software shows the position of the variables in the diagram that it indicates their status in the system and their role in the dynamics and changes of the system. The method of distribution and dispersion of the variables in the Spatial structure of port-city relations indicates the instability of the system. Therefore, based on the output of the system, the position of each variables in the conceptual model can be identified in five categories (driver, linkage, dependent, autonomous and regulatory variables). According to the results, some variables such as “the changes in the strategic positions” and “geopolitics of port-city”, “the modification of the management method” and “regional planning of the ports”, “the promotion of local governance in the relations between port-city” and “the way of national and international management of ports have been introduced as driver variables. On the other hand, five variables consist of “advanced multimodal transportation in the port” and “income, cost and investment in the port-city”, “the contrast and physical integration of the port - city space”, “the development of various industrial and production activities in the ports and their local hinterland” and “their qualities Financial and commercial policies of ports” have been introduced as linkage variables. Findings of research also shows that some variables consist of “quality of living environment and desirable city”, “quantity and quality of transit corridors (rail, road and air) to hinterland”, “construction and launching the new port (sea port or dry port)”, “terminal facilities and infrastructure and warehousing”, “conflict or convergence between the city and the port” and “increase in population growth rate and migration to the port - city” categorized as dependent variables. Three variables including “cultural and historical background of ports”, “use of cheaper energy, Less-polluted, clean and renewable energies in the city-port” and “environmental protection and sustainable development of the city-port” categorized as autonomous variables. Finally, a variable with the title of “improvement in management and information technology and development in loading, unloading and storage of commodities” have been introduced as regulatory variables. The findings of this research have a remarkable similarity with other researches carried out in the field of city-port relation and clearly emphasize the direct impact of the "investment in port-city" in the development of them. For example, Grossmann (2008) emphasized that city-port of Hamburg has become one of the largest ports in Northern Europe during the last few decades due to huge domestic and foreign investment. ConclusionThis research carried out in order to introduce and explain the key variables affecting the development of the Spatial structure of the port-city of Dubai. On this basis, 21 variables have been extracted by systematic reviews of prominent articles. In the following, 25 experts were selected with the purposive sampling method. Among the 21 variables extracted, 4 variables (like as “geopolitics of port-city”) introduced as a driver factor, 5 variables (like as “advanced multimodal transportation in the port”) introduced as a linkage factor, 6 variables (like as “quality of living environment and desirable city”) introduced as a dependent factor, 3 variables (like as “environmental protection and sustainable development of the city-port”) introduced as an autonomous factor. The rapid development of Dubai can be explained by the purposeful distribution of revenues from trade and tourism. A part of these revenues has been directed towards investment in important transportation infrastructures such as airports and ports of this city. These strategies have a wide impact on improving the economic growth of the city and the development of the port in order to adapt with the global trade and advanced technologies. FundingThere is no funding support. Authors’ ContributionAuthors contributed equally to the conceptualization and writing of the article. All of the authors approved the content of the manuscript and agreed on all aspects of the work declaration of competing interest none. Conflict of InterestAuthors declared no conflict of interest. Acknowledgments We are grateful to all the scientific consultants of this paper.