The notion of service-enhanced product brings new perspectives for value creation and differentiation in manufacturing. The existence of complex and highly customized products, the inclusion of business services that add value to the product typically require the collaboration of multiple stakeholders. It is natural that each stakeholder has its own set of values and preferences and as a result, conflicts among them might emerge due to some values misalignment. Therefore, the Value System Alignment assessment should be included when selecting partner for the formation of long-term collaborative networks for the operation and management of the product life-cycle. This paper presents the implementation of a Value System alignment assessment model, as a component of the cloud-based collaborative environment designed to support a mix of collaborative enterprise networks involved in the solar energy sector.

Progressive scaling of CMOS technology towards nanoscale regime enables the design of highly integrated systems for the wireless communications market. As technology continues to scale, the variability in process parameters may cause significant deviations in device behaviour. The complexity of designing spiral inductors has lead to the development of multi-objective optimization based design methodologies yielding the generation of Pareto-optimal surfaces. However, the variability of the process parameters is usually ignored, yielding the selection of ideally optimal solutions in detriment of quasi-optimal solutions that may prove to be better, should the robustness against process parameter variation be accounted for. We propose the generation of an extended Pareto front containing both optima and quasi-optima solutions. Finally information on the robustness to process parameter variations, is used for electing the best design solutions.The evaluation of the extended set of sub-optima solutions requires methods capable to find the set of local optima, since solutions that are close to each other in the performance index space may be very distant in the design parameter space.

This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation level. We certify which transactions in a program are safe to execute under snapshot isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements. Our work builds on a novel deep-heap analysis technique based on separation logic to statically approximate the read- and write-sets of a transactional memory Java program. We implement our technique and apply our tool to a set of micro benchmarks and also to one benchmark of the STAMP package. We corroborate known results, certifying some of the examples for safe execution under snapshot isolation by proving the absence of write-skew anomalies. In other cases our analysis has identified transactions that potentially trigger previously unknown write-skew anomalies.>

In this paper, the solution of the asymmetric eigenvalue complementarity problem (EiCP) is investigated by means of a variational inequality formulation. This problem is then solved by finding a stationary point of the gap function and the regularized gap function. A nonlinear programming formulation of the EiCP results from the gap function. A hybrid algorithm combining a projection technique and a modified Josephy-Newton method is proposed to solve the EiCP by finding a stationary point of the regularized gap function. Numerical results show that the proposed method can in general solve EiCPs efficiently.

n/a

n/a

n/a