the proceedings contain 85 papers. the topics discussed include: models of complex networks and how diseases spread on them;attaining human-competitive game playing with genetic programming;generalized automata networ...
详细信息
ISBN:
(纸本)3540409297
the proceedings contain 85 papers. the topics discussed include: models of complex networks and how diseases spread on them;attaining human-competitive game playing with genetic programming;generalized automata networks;parallel simulation of asynchronous cellular automate evolution;regional analysis of a class of cellular automata models;on the dynamics of some exceptional fuzzy cellular automata;cellular automata modeling of large scale systems and VLSI implementation perspectives;decision algorithms for cellular automata states based on periodic boundary conditions;analysis of hybrid group of cellular automata;measures for transient configurations of the sandpile-model;neutral fitness landscape in the cellular automata majority problem;a cellular automata model for species competition and evolution;and the influence of risk perception in epidemics: a cellular agent model.
the quality of the software design often has a major impact on the quality of the final product and the effort for development and evolution. A number of quality assurance (QA) approaches for inspection of early-life-...
详细信息
ISBN:
(纸本)3540346821
the quality of the software design often has a major impact on the quality of the final product and the effort for development and evolution. A number of quality assurance (QA) approaches for inspection of early-life-cycle documents have been empirically evaluated. An implicit assumption of these studies was: an investment into early defect detection and removal saves higher rework cost. the concept of pair programming combines software construction with implicit QA in the development team. For planning QA activities, an important research question is how effective inspectors can be expected to be at detecting defects in software (design and code) documents compared to programmers who find defects as by-product of their usual construction activities. In this paper we present an initial empirical study that compares the defect detection effectiveness of a best-practice inspection technique with defect detection as by-product of constructive software evolution tasks during pair programming. Surprisingly, in the study context pair programmers were more effective to find defects in design documents than inspectors. However, when building a larger team for defect detection, a mix of inspection and pair programming can be expected to work better than any single technique.
Available transfer capability (ATC) determines the largest transfer that can be implemented in a certain direction across the power grid without violating security constraints. the uncertainties including load level, ...
详细信息
ISBN:
(纸本)0863412467
Available transfer capability (ATC) determines the largest transfer that can be implemented in a certain direction across the power grid without violating security constraints. the uncertainties including load level, aging and maintenance of elements and weather conditions, which have great influence on power system operation should be taking into account when calculating ATC. Considering time-varying nature and uncertainty of system parameters, the time-dependent model is adopted to describe the effects of weather conditions, aging and maintenance on element fault rates. Time-varying restoration time and load are modeled using random variables. the sequential simulation technique is applied to sample the system states, then based on linear programming and DC power flow ATC calculation is proposed. the algorithm based on MATLAB 6.5 is developed. IEEE 14-bus test system is used to verify the presented approach.
A novel optimal coordinated voltage emergency control (OCVEC) model is proposed in this paper. the model, which takes into account the dynamics of loads and discrete/continuous nature of controls, can coordinate dissi...
详细信息
ISBN:
(纸本)0863412467
A novel optimal coordinated voltage emergency control (OCVEC) model is proposed in this paper. the model, which takes into account the dynamics of loads and discrete/continuous nature of controls, can coordinate dissimilar controls at different geographical locations in order to keep voltage stability against voltage collapse globally during an emergency. A heuristic integration index of the load bus voltage deviation is used as the voltage stability performance index. Based on the optimal control theory, the sensitivities of the performance index with respect to controls are derived rigorously. the sensitivities can be calculated out based on the quasi-steady-state (QSS) fast time domain simulation. the intractable OCVEC model can then be converted into a problem of mixed-integer linear programming. the effectiveness of the proposed model is validated with numerical tests on the New England test power system.
Structural DNA profiles use the structural properties of the constituent octamers either to observe any characteristics of a single sequence that are unusual (a single sequence query) or to visualize a pattern common ...
详细信息
Structural DNA profiles use the structural properties of the constituent octamers either to observe any characteristics of a single sequence that are unusual (a single sequence query) or to visualize a pattern common to a set of sequences (a multiple sequence query). they are an aid in understanding structural reasons for functional DNA activity. Profiles that answer single sequence queries are introduced and Profile Manager (a software application developed to automate profile generation) is presented. Two sequences that are similar by their nucleotide cornposition but are known to be very different by structure are analyzed, resulting in useful illustrations that agree withthe experimental nuclear magnetic resonance structures.
this paper introduces a cooperative service composition language called CCML which aims to facilitate the description of services, their interfaces and their behavior, further to reduce the complexity required to comp...
详细信息
ISBN:
(纸本)9780769527369
this paper introduces a cooperative service composition language called CCML which aims to facilitate the description of services, their interfaces and their behavior, further to reduce the complexity required to compose services. Interaction rules among services rely on a cooperative computation model, i.e. KPN (Kahn Process Network), which adopts dataflow and channel based asynchronous communication pattern among process nodes. Formal model for behavioral semantics of CCML is based on CCS process algebra which presents a high expressive power, capable of capturing CCML behavioral semantics. We give an operational semantics to CCML. in the form of a labeled transition system (LTS) and describe the events of a LTS associated to the main CCML constructs, which are sequence, condition, loop and parallel. Finally, we present an application case to show how to describe service composition using CCML.
Background: Test-driven development (TDD) and pair programming are software development practices popularized by eXtreme programming methodology. the aim of the practices is to improve software quality. Objective: Pro...
详细信息
ISBN:
(纸本)3540346821
Background: Test-driven development (TDD) and pair programming are software development practices popularized by eXtreme programming methodology. the aim of the practices is to improve software quality. Objective: Provide an empirical evidence of the impact of both practices on package dependencies playing a role of package level design quality indicators. Method: An experiment with a hundred and eighty eight MSc students from Wroclaw University of Technology, who developed finance-accounting system in different ways (CS - classic solo, TS - TDD solo, CP - classic pairs, TP - TDD pairs) Results: It appeared that package level design quality indicators (namely package dependencies in an object-oriented design) were not significantly affected by development method. Limitations: Generalization of the results is limited due to the fact that MSc students participated in the study. Conclusions: Previous research revealed that using test-driven development instead of classic (test-last) testing approach had statistically significant positive impact on some class level software quality indicators (namely CBO and RFC metrics) in case of solo programmers as well as pairs. Combined results suggest that the positive impact of test-driven development on software quality may be limited to class level.
Currently, many applications that require monitoring (e.g., surveillance, track monitoring) use the Event-Condition-Action (or ECA) rule paradigm. the Local Event Detector (LED) that has been developed based on the EC...
详细信息
ISBN:
(纸本)1424403456
Currently, many applications that require monitoring (e.g., surveillance, track monitoring) use the Event-Condition-Action (or ECA) rule paradigm. the Local Event Detector (LED) that has been developed based on the ECA rule paradigm provides active capability to various applications including relational database systems. LED is capable of handling events that are local to the application, thus providing active capability. Existing LED framework (in Java) supports creation of events and rules at compile time. Modifications to existing rules or events are difficult once the execution of the application begins. thus, modifying rules or events requires adding code for new rules and events, recompiling and executing. this is a limitation for many applications where the rules and events need to be modified dynamically at run time and without bringing the system down. this paper provides a novel approach for supporting the creation of rules and events dynamically at run time, which is critical for several classes of monitoring applications. the proposed approach avoids recompilation and restarts which are inappropriate in many environments that require fine-tuning of rules on the fly. the dynamic programming environment (DPE) presented in this paper provides a generic set of classes that are designed to handle the creation, management, and execution of rules. this set of generic classes is application-independent making the system a general-purpose tool. the user application provides necessary class and event information to the DPE in either XML or Text format. the DPE uses this information to create, modify and manage the rules. the DPE supports the creation of new composite and temporal events. A friendly user interface is provided to perform all these tasks.
Structural DNA profiles use the structural properties of the constituent octamers either to observe any characteristics of a single sequence that are unusual (a single sequence query) or to visualize a pattern common ...
详细信息
Structural DNA profiles use the structural properties of the constituent octamers either to observe any characteristics of a single sequence that are unusual (a single sequence query) or to visualize a pattern common to a set of sequences (a multiple sequence query). they are an aid in understanding structural reasons for functional DNA activity. Profiles that answer single sequence queries are introduced and Profile Manager (a software application developed to automate profile generation) is presented. Two sequences that are similar by their nucleotide cornposition but are known to be very different by structure are analyzed, resulting in useful illustrations that agree withthe experimental nuclear magnetic resonance structures.
暂无评论