Design and Implementation of Traceability Management System of Agricultural Products Quality and Safety Based on Domestic Basic Software of China

[Objective] To establish the traceability mechanism of agricultural products safety, and the application of promote domestic based software in the supervision area of agricultural products quality and safety. [Method] Through the analysis on the circulation characteristics of agricultural products, like fruits, vegetables, livestock and poultry, the agricultural products quality safety management and traceability query business component libraries were designed. Based on the run-time-supporting environment provided by domestic based software, traceability management system of agricultural products quality and safety was constructed. [Result] The traceability management system provided the information interaction and comprehensive management platform of agricultural product quality and safety based on domestic based software for the government, enterprises and consumers. [Conclusion] Through the application demonstration, the quality control and information traceability of full circulation of agricultural products was achieved effective and reliably, and the management level of agricultural products quality and safety was improved.

Testing Component-Based Software: What It has to do with Design and Component Selection

In a component-based software development life cycle, selection of preexisting components is an important task. Every component that has to be reused has an associated risk of failure of not meeting the functional and non-functional requirements. A component's failure would lead a developer to look for some other alternative of combinations of COTS, in-house and engineered components among possible candidate combinations. This means design itself can readily change. The very process of design of a software system and component selection seems to be heavily dependent on testing results. Instability of design, further, becomes more severe due to requirements change requests. Therefore, this instability of design has to be essentially mitigated by using proper design and testing approaches, otherwise, it may lead to exorbitantly high testing cost due to the repeated testing of various alternatives. How these three activities: Component-based software design, component selection and component-based software testing are interrelated? What process model is most suited to address this concern? This work explores the above questions and their implication in terms of nature of a process model that can be convincing in case of component-based software development.

Component-Based Software Trustworthiness Fuzzy Analytic Hierarchy Process Model

For a more accurate and comprehensive assessment of the trustworthiness of component-based soft- ware system, the fuzzy analytic hierarchy process is introduced to establish the analysis model. Combine qualitative and quantitative analyses, the impacts to overall trustworthiness by the different types of components are distinguished. Considering the coupling relationship between components, dividing the system into several layers from target layer to scheme layer, evaluating the scheme advantages disadvantages by group decision-making, the trustworthiness of a typical J2EE structured component-based software is assessed. The trustworthiness asses model of the software components provides an effective methods of operation.

Web Based GIS for Tourism Development Using Effective Free and Open Source Software Case Study: Gondor Town and Its Surrounding Area, Ethiopia

Tourism in developing countries are some means of solving their economic problems and improving live standards of people and creates job opportunity for the host people in getting additional income and improve the developments of the country. The result of tourism in terms of environmental, cultural, economic and social aspects has a greater effect for Ethiopia. Gondar, the center of Ethiopian art and culture, is famous in its many Imperial castles and the design and decoration of its churches. This land of castles and churches was founded by Emperor Fasiladas in 1930s and served as tourist attraction sites all over the world. The main challenge to attract international tourists in the study area is Scarce and insufficient promotion of the tourist attraction sites, Lack of broad information based on the internet about tourism information, and lack of organized information about tourism facilities & destinations. This study tries to identify tourist attraction elements of Gondor town and its surrounding area & to identify non spatial data’s essential for touristic activities to develop & propose a web based GIS portal for the improvement of tourism activity in the town. The main target of developing a web based GIS interactive map is to promote and improve tourism industry of the area. It has been produced using free and open source software’s for fast processing, displaying, sharing, and distribution of tourism information using world wide web. For the web services PHP, HTML script language and QGIS2leaflet plugins are used in the development of web GIS portal.

Case-Based Reasoning for Reducing Software Development Effort

How can we best find project changes that most improve project estimates? Prior solutions to this problem required the use of standard software process models that may not be relevant to some new project. Also, those prior solutions suffered from limited verification (the only way to assess the results of those studies was to run the recommendations back through the standard process models). Combining case-based reasoning and contrast set learning, the W system requires no underlying model. Hence, it is widely applicable (since there is no need for data to conform to some software process models). Also, W’s results can be verified (using holdout sets). For example, in the experiments reported here, W found changes to projects that greatly reduced estimate median and variance by up to 95% and 83% (respectively).

Key Technology of Embedded System Implementation for Software-based CNC System

The software-based computer numerical control（CNC） system includes three types of tasks： periodic real-time tasks, aperiodic real-time tasks, and non-real-time tasks. The tasks are characterized by concurrency, hybridization, and correlation, which make system implementation difficult. The conventional scheduling algorithm can not meet the demands of system implementation in the software-based CNC system completely. The uncertainty factors when running real-time tasks affect control performance by degrading manufacturing accuracy as a result of system resource and processor use restrictions. To address the technical difficulty of embedded system implementation, a novel fuzzy feedback scheduling algorithm based on output jitter of key real-time tasks for a software-based CNC system is proposed. Time characteristics, such as sampling jitter, input-output jitter, and non-schedulability are discussed, followed by quantification through simulations of the impact of time characteristics on manufacturing accuracy. On the basis of this research, the scheduler architecture is designed, and then the algorithm table is calculated. When the system resource changes, the key periodic real-time tasks meet their deadlines by means of dynamically adjusting the task period. The simulated results show that the machining precision rises by an order of magnitude for the proposed scheduler in resource-constrained software-based CNC systems. Moreover, unlike conventional feedback scheduling methods, the algorithm in this paper does not rely on the availability of task execution times and is easy to implement while incurring only a small overhead.

Software Defect Prediction Method Based on Rule Knowledge Extraction Model

The software defects are managed through the knowledge base,and defect management is upgraded from the data level to the knowledge level. The rule knowledge is mined from bug data based on a rule-based knowledge extraction model,and the appropriate strategy is configured in the strategy layer to predict software defects. The model is extracted by direct association rules and extended association rules,which improve the prediction rate of related defects and the efficiency of software testing.

Hierarchy-Based Team Software Process Simulation Model

According to the characteristic of Team Software Process （TSP）, it adopts a hierarchy-based model combined discrete event model with system dynamics model. This model represents TSP as form of two levels, the inner level embodies the continuity of the software process, the outer embodies the software development process by phases, and the structure and principle of the model is explained in detail, then formalization description of the model is offered. At last, an example is presented to demonstrate the simulation process and result. This model can simulate team software process from various angles, supervise and predict the software process. Also it can make the management of software development become more scientific and improve the quality of software.

Modeling and Software Development of the Interfacial Transition Zone of Ellipsoidal Aggregate in Cement-Based Composites

The interfacial transition zone (ITZ) between the aggregates and the bulk paste is the weakest zone of ordinary concrete, which largely determines its mechanical and transporting properties. However, a complete understanding and a quantitative modeling of ITZ are still lacking. Consequently, an integrated modeling and experimental study were conducted. First, the theoretical calculation model of the ITZ volume fraction about the rotary ellipsoidal aggregate particles was established based on the nearest surface function formula. Its calculation programs were written based on Visual Basic 6.0 language and achieved visualization and functionalization. Then, the influencing factors of ITZ volume fraction of the ellipsoidal aggregate particles and the overlapping degree between the ITZ were systematically analyzed. Finally, the calculation models of ITZ volume fraction on actual ellipsoidal aggregate were given, based on cobblestones or pebbles particles with naturally ellipsoidal shape. The results indicate that the calculation model proposed is highly reliable.

Organization of pattern information in the pattern based software development:A POMSDP model

Foeused on the lack of proper organization for patterns in the development of pattern based software, a POMSDP model with layered tree structure for organizing patterns during the process of development was put torward. The model and its interrelated eoneepts were strictly defined and introduced by applying the theory of set, symbolie logic and pattern, which ensures the correctness, maturity and expansibility of the model. The expansibility of the model was discussed mainly. The basic realization and the application in the automatic query system were presented. Based on the existing software development methods, the POMSDP model resolves the problem of chaos in the application of patterns, strengthens the controllability of the system, and facilitates the improvement, maintenance, expansion, and especially the reengineering of the software system.

Intelligent Agent Based Mapping of Software Requirement Specification to Design Model

Automatically mapping a requirement specification to design model in Software Engineering is an open complex problem. Existing methods use a complex manual process that use the knowledge from the requirement specification/modeling and the design, and try to find a good match between them. The key task done by designers is to convert a natural language based requirement specification (or corresponding UML based representation) into a predominantly computer language based design model—thus the process is very complex as there is a very large gap between our natural language and computer language. Moreover, this is not just a simple language conversion, but rather a complex knowledge conversion that can lead to meaningful design implementation. In this paper, we describe an automated method to map Requirement Model to Design Model and thus automate/partially automate the Structured Design (SD) process. We believe, this is the first logical step in mapping a more complex requirement specification to design model. We call it IRTDM (Intelligent Agent based requirement model to design model mapping). The main theme of IRTDM is to use some AI (Artificial Intelligence) based algorithms, semantic representation using Ontology or Predicate Logic, design structures using some well known design framework and Machine Learning algorithms for learning over time. Semantics help convert natural language based requirement specification (and associated UML representation) into high level design model followed by mapping to design structures. AI method can also be used to convert high level design structures into lower level design which then can be refined further by some manual and/or semi automated process. We emphasize that automation is one of the key ways to minimize the software cost, and is very important for all, especially, for the “Design for the Bottom 90% People” or BOP (Base of the Pyramid People).

Modeling and analysis of software rejuvenation ondispatcher-based web server farms

Software rejuvenation is a recently proposed practive fault-tolerance approach to counteract software-aging phenomenon. Compared with clusters of a flat architecture, all the nodes share the same functions. The application of software rejuvenation on dispatcher-based web server farms is discussed, which employ rejuvenation both on the dispatcher and the worker pool. Stochastic reward net (SRN)models for time-based and prediction-based rejuvenation policies are constructed respectively and solved by stochastic Petri net package (SPNP). Numerical results show that appropriate rejuvenation strategies on the dispatcher and the worker pool could significantly reduce the expected downtime cost of the whole web server farm.

Software Agent间的知识级通信

提供了一种综合了概念表示语言（CRLE）、共享本体论、消息表示语言（MRL）和通信促进器的共享信息和知识的高层模型，以实现SoftwareAgent间的知识级通信。

Software Measurement Methods: An Analysis of Two Designs

In software engineering, software measures are often proposed without precise identification of the measurable concepts they attempt to quantify: consequently, the numbers obtained are challenging to reproduce in different measurement contexts and to interpret, either as base measures or in combination as derived measures. The lack of consistency when using base measures in data collection can affect both data preparation and data analysis. This paper analyzes the similarities and differences across three different views of measurement methods (ISO International Vocabulary on Metrology, ISO 15939, and ISO 25021), and uses a process proposed for the design of software measurement methods to analyze two examples of such methods selected from the literature.

Performance-based methodology for assessing seismic vulnerability and capacity of buildings

This paper presents a performance-based methodology for the assessment of seismic vulnerability and capacity of buildings. The vulnerability assessment methodology is based on the HAZUS methodology and the improved capacity- demand-diagram method. The spectral displacement (Sd) of performance points on a capacity curve is used to estimate the damage level of a building. The relationship between Sd and peak ground acceleration (PGA) is established, and then a new vulnerability function is expressed in terms of PGA. Furthermore, the expected value of the seismic capacity index (SCev) is provided to estimate the seismic capacity of buildings based on the probability distribution of damage levels and the corresponding seismic capacity index. The results indicate that the proposed vulnerability methodology is able to assess seismic damage of a large number of building stock directly and quickly following an earthquake. The SCev provides an effective index to measure the seismic capacity of buildings and illustrate the relationship between the seismic capacity of buildings and seismic action. The estimated result is compared with damage surveys of the cities of Dujiangyan and Jiangyou in the M8.0 Wenchuan earthquake, revealing that the methodology is acceptable for seismic risk assessment and decision making. The primary reasons for discrepancies between the estimated results and the damage surveys are discussed.

Component Based Dynamic Reconfigurable Test System

In this paper,a novel component based framework of test system is presented for the new requirements of dynamic changes of test functions and reconfiguration of test resources.The complexity of dynamic reconfiguration arises from the scale, redirection,extensibility and interconnection of components in test system.The paper is started by discussing the component assem- bly based framework which provide the open platform to the deploy of companents and then the script interpreter model is introduced to dynamically create the components and build the test system by analyzing XML based information of test system.A pipeline mod- el is presented to provide the data channels and behavior reflection among the components.Finally,a dynamic reconfigurable test system is implemented on the basis of COM and applied in the remote test and control system of CNC machine.

Research of testing method based on UML statecharts

Unified modeling language （UML） is a powerful graphical modeling language with intuitional meaning. It provides various diagrams to depict system characteristics and complex environment from different viewpoints and different application layers. UML-based software development and modeling environments have been widely accepted in industry, including areas in which safety is an important issue such as spaceflight, defense, automobile, etc. To ensure and improve software quality becomes a main concern in the field. As one of the key techniques for software quality, software testing can effectively detect system faults. UML based software testing based is an important research direction in software engineering. The key to software testing is the generation of test cases. This dissertation studies an approach to generating test cases from UML statecharts.