Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonal...
详细信息
Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications.
This paper presents a deterministic and adaptive spike model derived from radial basis functionsand a leaky integrate-and-fire sampler developed for training spiking neural networks without directweight manipulation. ...
This paper presents a deterministic and adaptive spike model derived from radial basis functions
and a leaky integrate-and-fire sampler developed for training spiking neural networks without direct
weight manipulation. Several algorithms have been proposed for training spiking neural networks
through biologically-plausible learning mechanisms, such as spike-timing-dependent synaptic plasticity
and Hebbian plasticity. These algorithms typically rely on the ability to update the synaptic strengths,
or weights, directly, through a weight update rule in which the weight increment can be decided
and implemented based on the training equations. However, in several potential applications of
adaptive spiking neural networks, including neuroprosthetic devices and CMOS/memristor nanoscale
neuromorphic chips, the weights cannot be manipulated directly and, instead, tend to change over time
by virtue of the pre- and postsynaptic neural activity. This paper presents an indirect learning method
that induces changes in the synaptic weights by modulating spike-timing-dependent plasticity by means
of controlled input spike trains. In place of the weights, the algorithm manipulates the input spike trains
used to stimulate the input neurons by determining a sequence of spike timings that minimize a desired
objective function and, indirectly, induce the desired synaptic plasticity in the network.
Objective: to investigate studies about software processes looking for practices which can be used to obtain agility in software processes. Method: A systematic review including seven search engines was executed in Fe...
详细信息
Objective: to investigate studies about software processes looking for practices which can be used to obtain agility in software processes. Method: A systematic review including seven search engines was executed in Feb/2010. To apply the defined criteria to select papers and extract information regarding working practices bringing agility to software processes. Results: from 6696 retrieved papers, 441 were selected to support the identification of 236 occurrences of 51 distinct practices associated with the concept of agility. Their descriptions were deeply analyzed and consolidated. After discarding those which appeared in the technical literature in a small amount of papers, 17 agile practices were identified. Conclusion: although further studies are necessary to evaluate the efficacy of these 17 agile practices, 12 of them have been more commonly approached in the software projects and could be primarily considered: test driven development, continuous integration, pair programming, planning game, onsite customer, collective code ownership, small releases, metaphor, refactoring, sustainable pace, simple design and coding standards.
Achieving high performance optimization algorithms for embedded applications can be very challenging, particularly when several requirements such as high accuracy computations, short elapsed time, area cost, low power...
详细信息
The crew pairing problem is an airline optimization problem where a set of least costly pairings (consecutive flights to be flown by a single crew) that covers every flight in a given flight network is sought. A pairi...
The crew pairing problem is an airline optimization problem where a set of least costly pairings (consecutive flights to be flown by a single crew) that covers every flight in a given flight network is sought. A pairing is defined by using a very complex set of feasibility rules imposed by international and national regulatory agencies, and also by the airline itself. The cost of a pairing is also defined by using complicated rules. When an optimization engine generates a sequence of flights from a given flight network, it has to check all these feasibility rules to ensure whether the sequence forms a valid pairing. Likewise, the engine needs to calculate the cost of the pairing by using certain rules. However, the rules used for checking the feasibility and calculating the costs are usually not static. Furthermore, the airline companies carry out what‐if‐type analyses through testing several alternate scenarios in each planning period. Therefore, embedding the implementation of feasibility checking and cost calculation rules into the source code of the optimization engine is not a practical approach. In this work, a high level language called ARUS is introduced for describing the feasibility and cost calculation rules. A compiler for ARUS is also implemented in this work to generate a dynamic link library to be used by crew pairing optimization engines.
Computational protein-protein docking is a valuable tool for determining the conformation of complexes formed by interacting proteins. Selecting near-native conformations from the large number of possible models gener...
详细信息
Synthesis of musical instruments or human voice is a time consuming process which requires theoretical and experimental knowledge about the synthesis engine. Commonly, performers need to deal with synthesizer interfac...
详细信息
Dynamism of day-to-day activities in organizations is inextricably linked and there is a variety of information, insight and reasoning being processed between people and systems, in carrying out a business process. We...
详细信息
Dynamism of day-to-day activities in organizations is inextricably linked and there is a variety of information, insight and reasoning being processed between people and systems, in carrying out a business process. We argue that flexibility in processes could be managed in real time, using context information collected in the work environment. This paper proposes a context management architecture approach that aims to improve and automate dynamic process adaptation. We explain how process adaptation may occur in real time and discuss a scenario for this proposal.
The synthesis and second-order nonlinear optical (NLO) properties of a new family of optically nonlinear coumarin dye-containing polymers is reported. Polymerizable coumaromethacrylate (CMA) monomers having various al...
The synthesis and second-order nonlinear optical (NLO) properties of a new family of optically nonlinear coumarin dye-containing polymers is reported. Polymerizable coumaromethacrylate (CMA) monomers having various alkyl spacers (C2 to C5) between the polymerizable group and the chromophore were prepared and copolymerized with methylmethacrylate (MMA) and other vinyl monomers. The CMA copolymers had high chromophoric content (up to 18 × 1020) and glass transitions as high as 132°C. Spin cast films were prepared on BK7 substrates and oriented by corona-onset poling at elevated temperatures (COPET). The poled CMA copolymer films were characterized for spectroscopic absorption and second harmonic properties. A comparison of the nonlinear optical properties of poled CMA-MMA copolymers to poled guest-host systems is made. Relative to guest/host systems, CMA-MMA copolymer films exhibit larger and much more stable second-order nonlinear optical properties.
Protein-RNA interactions play important roles in cellular processes like protein synthesis, RNA processing, and gene expression regulation. Reliable identification of the interfaces involved in RNA-protein interaction...
详细信息
暂无评论