High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent u...High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.展开更多
Due to the industrialisation and rapid urbanisation after 1950＇s, housing demand has increased together with an insufficient housing production to meet the need in Turkey. As a consequence of the large deficit betwee...Due to the industrialisation and rapid urbanisation after 1950＇s, housing demand has increased together with an insufficient housing production to meet the need in Turkey. As a consequence of the large deficit between the annual housing demand and supply, squatter housing construction was the major means for shelter of low income families who can not have their place in the housing market as buyers. Squatter houses are located either on the peripheries of the cities or mostly outside of the urban boundaries on public land or illegally subdivided land by creating many physical, social and environmental problems. After 1990＇s, depending on the globalisation wind and neo-liberal policies that enriched the new elites who have new life styles, the housing capital focused on these group. After 1999 earthquake in Turkey, the fear of possible earthquake has also changed the housing preference as from the high-rise apartment buildings to the lower detached houses. As a consequence of this supply-demand chain, the private housing investment was directed to the gated communities which are isolated settlements with restricted access, so that public spaces are privatised or their use is prohibited or controlled on the edge of the metropoliten cities. These settlements also have physical and social problems. This paper will analyze the change of urban periphery, location and relation with the natural thresholds and the main transportation system of these settlements of Turkey in the light of literature review and some development plans and interview with real estate developers and users.展开更多
Ammonia volatilization is a major process of N （nitrogen） loss that affects the environment. The best way of capturing volatilized ammonia-N could be using zeolite as a good ion exchange medium before it gets either...Ammonia volatilization is a major process of N （nitrogen） loss that affects the environment. The best way of capturing volatilized ammonia-N could be using zeolite as a good ion exchange medium before it gets either volatilized or nitrified. Thus, captured ammonia-N could be used as a source of inorganic nitrogen in ponds to promote algal production without adding additional organic carbon and BOD （biochemical oxygen demand）. The zeolite used for the study was a commercially available zeolite, （CLINZEX） which was a fine powder （CEC （cation exchange capacity） 3.9-4 meq/g）. The experiment was conducted to assess the difference between manure loaded system and zeolite loaded system in terms of water quality, TAN （total ammoniacal nitrogen） release and algal productivity. The difference between the BOD values recorded in both the controls and treatments utilizing chicken manure as source of manure-N remained mostly above 10 ppm. Similarly, the difference between mean COD （chemical oxygen demand） values of control and treatment tanks always remained above 7 ppm. All the experimental tanks loaded with zeolite samples from chicken manure showed range of variation in TAN values （0.018-0.08 mg/1）. The range of values of chlorophyll a （1,029-5,150 mg/m~） recorded in the treatment tanks was higher than the values （54.6-1347 mg/m3） of chlorophyll a in the control tanks. F-test analysis done using highest mean values of BOD, COD, TAN and chlorophyll a showed a highly significant （P 〈 0.01） variation between the treatment and control tanks and at the same time no significant variation was found between time intervals.展开更多
This paper deeply studies the intelligent Home embedded system based on B/S architecture. Firstly, analysis requirement of Home function based on the existing software development mode, and proposed a system framework...This paper deeply studies the intelligent Home embedded system based on B/S architecture. Firstly, analysis requirement of Home function based on the existing software development mode, and proposed a system framework of intelligent Home system, and designed the communication scheme of the whole Home system, also gives the system each function module realization. This paper achieve two basic service system based on Intelligent Home through a series of analysis and design： outdoor remote intelligent Home monitoring service and the indoor intelligent management service.展开更多
This paper detailed describes the design of intelligent Home Furnishing system based on B/S architecture. According to the existing development mode of intelligent Home Furnishing system and the analysis of functional...This paper detailed describes the design of intelligent Home Furnishing system based on B/S architecture. According to the existing development mode of intelligent Home Furnishing system and the analysis of functional requirements, the paper puts forward the general framework of intelligent Home Furnishing system, and designed the communication scheme of the system, and gives the system each function module realization. This paper mainly completes the design of networking, each function module of embedded intelligent family gateway server in the system building and CGI intelligent interactive program and CGI interactive program. Experiments show that each function module of the system meet to design requirements, the overall system can satisfy the actual demand Home Furnishing user, validated the feasibility of the B/S architecture in intelligent Home Furnishing system.展开更多
The rapid change in economic growth and human civilization has led to a dramatic increase in energy utilization and electricity demand. That faces nations with the challenge of maintaining cost-effective and clean pow...The rapid change in economic growth and human civilization has led to a dramatic increase in energy utilization and electricity demand. That faces nations with the challenge of maintaining cost-effective and clean power energy production. This paper aims to present Afghanistan electricity sector development and energy resources exploitation in a broad context. With the global growing interest in Afghanistan rehabilitation, this paper presents energy development trends in Afghanistan. Besides, the future outlook up to 2032 and the challenges that face electricity sector are highlighted. This study tries to emerge the historical development, current status, and future direction of Afghanistan electricity sector till 2032, in a precise collection.展开更多
Analysis of water supplies and demand over the past 50 years in the Gavkhuni River Basin（GRB） indicate that despite large investments in water resources development the basin remains just as vulnerable to drought as...Analysis of water supplies and demand over the past 50 years in the Gavkhuni River Basin（GRB） indicate that despite large investments in water resources development the basin remains just as vulnerable to drought as it always has been. During the period of analysis two transbasin diversions and a storage reservoir have been constructed which have more or less doubled the annual supply to water to the basin. But with each water resource development extractive capacity for irrigation, urban and industrial use has increased by the same amount, so that all new water is allocated as soon as it is available. The most recent developments, since 1980, have actually increased vulnerability to drought because extractive capacity is greater than average flow into the basin. Whenever demand exceeds supply all water is extracted from the basin and the tail end dries up. During the past 50 years flows into the salt pan at the downstream end of the basin have been negligible for more than half the time. Prospects for the future are bleak because once the current phase of water resources development is completed no further water supplies are likely, but demand continues to rise at a steady rate. Ultimately agriculture will have to concede water to urban, industrial and environmental demands.展开更多
The BRICS basic infrastructure suffers from a huge financing gap, but their massive foreign exchange reserves lack profitable outlets and member states＇ self-contained management costs are extremely high. The coincid...The BRICS basic infrastructure suffers from a huge financing gap, but their massive foreign exchange reserves lack profitable outlets and member states＇ self-contained management costs are extremely high. The coincidence of the need for basic infrastructure investment and the need for profitable foreign exchange reserves are the immediate reasons for setting up the BRICS Development Bank. Comparative advantage and the co-movement of fluctuations in the BRICS member states optimize their cooperative interests. A co- movement game model analysis enables us to deduce the logical necessity for cooperation among the BRICS. Compared with other patterns of cooperation, virtual networks enable this financial cooperation to yield benefits in a short timeframe. The mutually supportive relationship between development and stability in the BRICS economies provides a solid rationale for the establishment of the New Development Bank.展开更多
The standard software development life cycle heavily depends on requirements elicited from stakeholders. Based on those requirements, software development is planned and managed from its inception phase to closure. Du...The standard software development life cycle heavily depends on requirements elicited from stakeholders. Based on those requirements, software development is planned and managed from its inception phase to closure. Due to time and resource constraints, it is imperative to identify the high-priority requirements that need to be considered first during the software development process. Moreover, existing prioritization frameworks lack a store of historical data useful for selecting the most suitable prioritization technique of any similar project domain. In this paper, we propose a framework for prioritization of software requirements, called Re Pizer, to be used in conjunction with a selected prioritization technique to rank software requirements based on defined criteria such as implementation cost. ReP izer assists requirements engineers in a decision-making process by retrieving historical data from a requirements repository. Re Pizer also provides a panoramic view of the entire project to ensure the judicious use of software development resources. We compared the performance of Re Pizer in terms of expected accuracy and ease of use while separately adopting two different prioritization techniques, planning game（PG） and analytical hierarchy process（AHP）. The results showed that Re Pizer performed better when used in conjunction with the PG technique.展开更多
文摘High quality software requirement specification is crucial for a software development. Although much efforts and research works have been done to address the problem, the errors in user requirement are still prevent us from developing high quality software. To address the problem, this paper proposes integrating graphical specification technique UML with formal specification technique to construct user requirement specification. We also present a prototype tool to perform the automatic translation from UML specification into Object-Z specification.
文摘Due to the industrialisation and rapid urbanisation after 1950＇s, housing demand has increased together with an insufficient housing production to meet the need in Turkey. As a consequence of the large deficit between the annual housing demand and supply, squatter housing construction was the major means for shelter of low income families who can not have their place in the housing market as buyers. Squatter houses are located either on the peripheries of the cities or mostly outside of the urban boundaries on public land or illegally subdivided land by creating many physical, social and environmental problems. After 1990＇s, depending on the globalisation wind and neo-liberal policies that enriched the new elites who have new life styles, the housing capital focused on these group. After 1999 earthquake in Turkey, the fear of possible earthquake has also changed the housing preference as from the high-rise apartment buildings to the lower detached houses. As a consequence of this supply-demand chain, the private housing investment was directed to the gated communities which are isolated settlements with restricted access, so that public spaces are privatised or their use is prohibited or controlled on the edge of the metropoliten cities. These settlements also have physical and social problems. This paper will analyze the change of urban periphery, location and relation with the natural thresholds and the main transportation system of these settlements of Turkey in the light of literature review and some development plans and interview with real estate developers and users.
文摘Ammonia volatilization is a major process of N （nitrogen） loss that affects the environment. The best way of capturing volatilized ammonia-N could be using zeolite as a good ion exchange medium before it gets either volatilized or nitrified. Thus, captured ammonia-N could be used as a source of inorganic nitrogen in ponds to promote algal production without adding additional organic carbon and BOD （biochemical oxygen demand）. The zeolite used for the study was a commercially available zeolite, （CLINZEX） which was a fine powder （CEC （cation exchange capacity） 3.9-4 meq/g）. The experiment was conducted to assess the difference between manure loaded system and zeolite loaded system in terms of water quality, TAN （total ammoniacal nitrogen） release and algal productivity. The difference between the BOD values recorded in both the controls and treatments utilizing chicken manure as source of manure-N remained mostly above 10 ppm. Similarly, the difference between mean COD （chemical oxygen demand） values of control and treatment tanks always remained above 7 ppm. All the experimental tanks loaded with zeolite samples from chicken manure showed range of variation in TAN values （0.018-0.08 mg/1）. The range of values of chlorophyll a （1,029-5,150 mg/m~） recorded in the treatment tanks was higher than the values （54.6-1347 mg/m3） of chlorophyll a in the control tanks. F-test analysis done using highest mean values of BOD, COD, TAN and chlorophyll a showed a highly significant （P 〈 0.01） variation between the treatment and control tanks and at the same time no significant variation was found between time intervals.
文摘This paper deeply studies the intelligent Home embedded system based on B/S architecture. Firstly, analysis requirement of Home function based on the existing software development mode, and proposed a system framework of intelligent Home system, and designed the communication scheme of the whole Home system, also gives the system each function module realization. This paper achieve two basic service system based on Intelligent Home through a series of analysis and design： outdoor remote intelligent Home monitoring service and the indoor intelligent management service.
文摘This paper detailed describes the design of intelligent Home Furnishing system based on B/S architecture. According to the existing development mode of intelligent Home Furnishing system and the analysis of functional requirements, the paper puts forward the general framework of intelligent Home Furnishing system, and designed the communication scheme of the system, and gives the system each function module realization. This paper mainly completes the design of networking, each function module of embedded intelligent family gateway server in the system building and CGI intelligent interactive program and CGI interactive program. Experiments show that each function module of the system meet to design requirements, the overall system can satisfy the actual demand Home Furnishing user, validated the feasibility of the B/S architecture in intelligent Home Furnishing system.
文摘The rapid change in economic growth and human civilization has led to a dramatic increase in energy utilization and electricity demand. That faces nations with the challenge of maintaining cost-effective and clean power energy production. This paper aims to present Afghanistan electricity sector development and energy resources exploitation in a broad context. With the global growing interest in Afghanistan rehabilitation, this paper presents energy development trends in Afghanistan. Besides, the future outlook up to 2032 and the challenges that face electricity sector are highlighted. This study tries to emerge the historical development, current status, and future direction of Afghanistan electricity sector till 2032, in a precise collection.
文摘Analysis of water supplies and demand over the past 50 years in the Gavkhuni River Basin（GRB） indicate that despite large investments in water resources development the basin remains just as vulnerable to drought as it always has been. During the period of analysis two transbasin diversions and a storage reservoir have been constructed which have more or less doubled the annual supply to water to the basin. But with each water resource development extractive capacity for irrigation, urban and industrial use has increased by the same amount, so that all new water is allocated as soon as it is available. The most recent developments, since 1980, have actually increased vulnerability to drought because extractive capacity is greater than average flow into the basin. Whenever demand exceeds supply all water is extracted from the basin and the tail end dries up. During the past 50 years flows into the salt pan at the downstream end of the basin have been negligible for more than half the time. Prospects for the future are bleak because once the current phase of water resources development is completed no further water supplies are likely, but demand continues to rise at a steady rate. Ultimately agriculture will have to concede water to urban, industrial and environmental demands.
基金the initial results of the SSFC-funded project "Assessment of the desired scale of foreign exchange reserves of the BRICS countries:multiple motives,big country models,cooperative adjustment"(No.13BGJ039)the National Soft Science Research Program-funded major project "Study on key issues of BRICS'Multi-level Strategic Cooperation"(No.GXS3D043)sponsored by the Center for Collaborative innovation between Modern Service Industry Developmentand New Urbanization in Hunan
文摘The BRICS basic infrastructure suffers from a huge financing gap, but their massive foreign exchange reserves lack profitable outlets and member states＇ self-contained management costs are extremely high. The coincidence of the need for basic infrastructure investment and the need for profitable foreign exchange reserves are the immediate reasons for setting up the BRICS Development Bank. Comparative advantage and the co-movement of fluctuations in the BRICS member states optimize their cooperative interests. A co- movement game model analysis enables us to deduce the logical necessity for cooperation among the BRICS. Compared with other patterns of cooperation, virtual networks enable this financial cooperation to yield benefits in a short timeframe. The mutually supportive relationship between development and stability in the BRICS economies provides a solid rationale for the establishment of the New Development Bank.
基金Project supported by the Ministry of Education,Malaysia(No UM.C/625/1/HIR/MOHE/FCSIT/13)the Bright Sparks Program of University of Malaya,Malaysia(No.BSP-151(3)11)
文摘The standard software development life cycle heavily depends on requirements elicited from stakeholders. Based on those requirements, software development is planned and managed from its inception phase to closure. Due to time and resource constraints, it is imperative to identify the high-priority requirements that need to be considered first during the software development process. Moreover, existing prioritization frameworks lack a store of historical data useful for selecting the most suitable prioritization technique of any similar project domain. In this paper, we propose a framework for prioritization of software requirements, called Re Pizer, to be used in conjunction with a selected prioritization technique to rank software requirements based on defined criteria such as implementation cost. ReP izer assists requirements engineers in a decision-making process by retrieving historical data from a requirements repository. Re Pizer also provides a panoramic view of the entire project to ensure the judicious use of software development resources. We compared the performance of Re Pizer in terms of expected accuracy and ease of use while separately adopting two different prioritization techniques, planning game（PG） and analytical hierarchy process（AHP）. The results showed that Re Pizer performed better when used in conjunction with the PG technique.
