Memory leak is a common type of defect that is hard to detect manually. Existing memory leak detection tools suffer from lack of precise interprocedural alias and path conditions. To address this problem, we present a...
详细信息
ISBN:
(纸本)9780769546094
Memory leak is a common type of defect that is hard to detect manually. Existing memory leak detection tools suffer from lack of precise interprocedural alias and path conditions. To address this problem, we present a static interprocedural analysis algorithm, which captures memory actions and path conditions precisely, to detect memory leak in C programs. Our algorithm uses path- sensitive symbolic execution to track the memory actions in different program paths guarded by path conditions. A novel analysis model called Memory State Transition Graph (MSTG) is proposed to describe the tracking process and its results. An MSTG is generated from a procedure. Nodes in an MSTG contain states of memory objects which record the function behaviors precisely. Edges in anMSTG are annotated with path conditions collected by symbolic execution. The path conditions are checked for satisfiability to reduce the number of false alarms and the path explosion. In order to do interprocedural analysis, our algorithm generates a summary for each procedure from the MSTG and applies the summary at the procedure's call sites. Our implemented tool has found several memory leak bugs in some open source programs and detected more bugs than other tools in some programs from the SPEC2000 benchmarks. In some cases, our tool produces many false positives, but most of them are caused by the same code patterns which are easy to check.
As for UHF detection of partial discharge, a hardware interface is essential in introducing the electrical signal of discharge into computer for further analysis and identification. Herein, this system is developed in...
详细信息
ISBN:
(纸本)9781424462551
As for UHF detection of partial discharge, a hardware interface is essential in introducing the electrical signal of discharge into computer for further analysis and identification. Herein, this system is developed in Labview platform of NI Corporation and data acquisition card is connected with computer through USB bus. So the author explored the hardware interface including the data acquisition card and how to collect the data to Labview platform in order to classify the type of discharge using dynamic link library (DLL) document.
the paper puts forward a new classification method of association rules that is based on support-significant structure. Starting from the characteristics of customer segmentation, this method introduces a up-to-date r...
详细信息
ISBN:
(纸本)9781424462551
the paper puts forward a new classification method of association rules that is based on support-significant structure. Starting from the characteristics of customer segmentation, this method introduces a up-to-date rule evaluation index-significance during the produce process of classification rules, therefore, the evaluation and selection of principle have serious statistical basis. After simple comparison of the real example, we prove the comparative superiority of introducing significance into the customer segmentation.
This paper presents the dynamic characteristics of the fuel injection system in gasoline engine. Through AMESim software, it analyzes the pressure pulsations due to the excitation by the injector opening and closing w...
详细信息
ISBN:
(纸本)9781424462551
This paper presents the dynamic characteristics of the fuel injection system in gasoline engine. Through AMESim software, it analyzes the pressure pulsations due to the excitation by the injector opening and closing with regular interval. The simulation model is validated by experiments. Then it compares the pressure pulsations of the system with and without damper. The results show that damper can attenuate the pulsation effectively. Based on this, the feature parameters of the damper are simulated with respect to its effect on attenuation. Proper parameters selection can result in better pressure pulsation control.
Scavengers working in the formal recycling sector are often exposed to various health hazards from working conditions with solid *** study aims to investigate and evaluate health risk protection behaviors,knowledge,At...
详细信息
Scavengers working in the formal recycling sector are often exposed to various health hazards from working conditions with solid *** study aims to investigate and evaluate health risk protection behaviors,knowledge,Attitudes and Practices(KAP) among scavengers during daily works in municipality dump sites.A total of 95 scavengers were randomly selected from nine municipality dump sites and interviewed through use of face to face *** results indicated that scavengers were 52 % male and 48% *** average mean age was 38 *** of their educational levels were 72% primary *** have been working as scavengers for more than 10 *** income was approximately180 baht/day(6USD).They worked 6 hours per day and 6 days per *** of scavengers had low level of knowledge in term of alertness,positive attitude about health risk and inappropriate practice on prevention of infections,injury and *** of the scavengers used personal protective equipments(PPEs) such as gloves,hats,shoes,long-sleeve shirts,and *** 67% of the respondents had their food and drinking water within the dump sites *** it was found that 44% of the respondents find food from the wastes in the dump sites and they rarely cleaned hands or body after *** self report reveals that 38% of the respondents had sustained injuries and accidents,63% were smoking and 66% drinking *** 95% of the scavengers have access to health care under the scheme,but they rarely go for annual body check up.
In this paper a new method has been proposed to decide optimal placement and best sizing of static synchronous compensator (STATCOM). Seeking the best place is performed using the sensitivity analysis and sizing of ST...
详细信息
ISBN:
(纸本)9781424462551
In this paper a new method has been proposed to decide optimal placement and best sizing of static synchronous compensator (STATCOM). Seeking the best place is performed using the sensitivity analysis and sizing of STATCOM is managed using the genetic algorithm. The average model can account for the high-frequency effects and power electronic losses, and more accurately predict the active and reactive power outputs of the STATCOM. This paper employs the DIgSILENT simulator and the DPL as a programming tool of the DIgSILENT to show the validity of the proposed method. The effectiveness of suggested approach has been tested on part of the distribution network of Iran, Khoramdarreh city in Zanjan province.
Conventional Ethernet protocols struggle to meet the scalability and performance requirements of data centers. Viable replacements have been proposed for Data Center Ethernet (DCE): link-layer multipathing (MP) is dep...
详细信息
Conventional Ethernet protocols struggle to meet the scalability and performance requirements of data centers. Viable replacements have been proposed for Data Center Ethernet (DCE): link-layer multipathing (MP) is deployed to replace Spanning Tree Protocol (STP) and thus improves network throughput; end-to-end link-layer congestion control (CC) is proposed to better guarantee loss-free frame delivery for Ethernet. However, little work has been done to incorporate MP and CC to offer a more comprehensive solution for DCE. In this paper, we propose a two-tier solution by integrating our Dynamic Load Balancing MultiPath (DLBMP) scheme with CC. Instead of using two separate parameters, i.e. path load and buffer level, to trigger MP and CC, our solution only needs to monitor path load metric to manage MP and CC in an integrated way. Different from a pure CC mechanism, which generates notifications from network core, our integrated CC can make use of link load information in edge switches which directly inform sources to control traffic admission. To minimize overhead and accelerate update, software-Defined Networking (SDN) techniques are employed in our implementation, which decouples routing intelligence from data transmission. Hence, data sources can react more rapidly to congestions and network can be guaranteed with loss-free delivery. In addition, our MP scheme is further improved by introducing application-layer flow differentiation. With such a fine flow differentiation (FFD) mechanism, traffic can be more evenly distributed along multipaths, resulting in better bandwidth utilization. Simulation results show that our combined solution can further improve network throughput with FFD mechanism and guarantee loss-free delivery with integrated CC.
The concept of educational software and the development process are inconsistent in the educational softwareengineering. Based on education domain knowledge, educational software can be divided into three types: educ...
详细信息
ISBN:
(纸本)9783037851579
The concept of educational software and the development process are inconsistent in the educational softwareengineering. Based on education domain knowledge, educational software can be divided into three types: educational network resources, learning platforms and teaching management information systems. And the process of educational software development can be described as Educational software Unified Process Model. This paper proposes the Educational software Unified Process Model with five stages mentioned above based on Waterfall model, and illustrates that its key processes for the requirement analysis phase is the use-case analysis and for the design phase is platform architecture, and describes a detailed analysis to the central role of document-driving in the Educational software Unified Process Model. At last, the Educational software Unified Process Model is strongly supported by some cases in our related projects development.
Requirements engineering is the initial phase of softwareengineering process in which user requirements are collected, understood, and specified for developing quality software products. The requirement engineering p...
详细信息
ISBN:
(纸本)9783037851517
Requirements engineering is the initial phase of softwareengineering process in which user requirements are collected, understood, and specified for developing quality software products. The requirement engineering process deserves a stronger attention in the industrial practices. In this paper, we proposed an effective requirement engineering process model for software development that can be used for software development processes to produce a quality product.
At the threshold of 3rd Millennium increasing destruction of environment,widespread poverty and underdevelopment as one of the most important problem attracted attention of world ***,*** manifesto,in terms of millenni...
详细信息
At the threshold of 3rd Millennium increasing destruction of environment,widespread poverty and underdevelopment as one of the most important problem attracted attention of world ***,*** manifesto,in terms of millennium development goals in 2000,provided by U.N and approved by majority of world countries,obligate all countries to try most,for alleviating poverty,promotion of human dignity,equality,reaching peace and democracy and at the end preserving *** of millennium are time consuming goals which all UN members have agreed to achieve by the year of *** goal of millennium,"Ensure environmental sustainability" was the main cornerstone of millennium development goals and reaching other goals and objectives of millennium development goals needs protecting environment and assuring its *** approving these goals,especially 7th goal,various countries of world made widespread actions to promote goals and evaluating plans and policies of each goal and designed models and methods for determining actions and activities in terms of quantitative *** this survey first we introduce indicators and indices of millennium development goals,especially 7th ***,information related to performances of 6 indices of 65 countries of world in years 1990,1995,2000 and 2005 *** extracting indices and processing them,indices were *** the next step and after standardizing,using McGranahan method,correlation of matrix of indices was calculated by SPSS software and weight of each index was *** this step,weight of each index was multiplied on each standardized index and at the end composite index for each country was calculated for 1990,1995,2000 and ***,these composite indexes were sorted by *** show acceptable increase in average of sustainability index for the 65 countries,during years 1990 to 2005.
暂无评论