Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study. 相似文献
A central challenge of semantic ambient media applications is designing smart user interfaces that are able to dynamically deal with an a-priori unknown number of data categories and data instances received live from different Linked Open Data sources while at the same time being intuitive and easy to use. In the mobile world, this challenge is even more difficult as the mobile devices have limited interaction possibilities and smaller display size. In this paper, we tackle this challenge and present the user-centered, iterative design of a mobile application for faceted search and exploration of a large, multi-dimensional data set of open social media on a touchscreen mobile phone. The application is called Mobile Facets and provides live retrieval and interactive search and exploration of resources like places, persons, organizations, and events originating from different, integrated social media sources like DBpedia, Eventful, Upcoming, Flickr, and GeoNames. In contrast to existing work, we do not know in advance the number and type of data categories and data instances that will be received as the data is queried live from the sources. While developing Mobile Facets, we have applied a participatory design with a small group of five users. For the final prototype we have conducted a task-based, formative evaluation with 12 additional subjects to investigate the applicability and usability of our Mobile Facets application. 相似文献
It has been suggested in the literature that, although Willem Jacob ‘s Gravesande occasionally treated Newton's doctrines in a selective manner, he was nevertheless an unremitting follower of Newton's methodology. As part of a reassessment of ‘s Gravesande's Newtonianism, I argue that, although ‘s Gravesande took over key terms of Newton's methodological canon, his methodological ideas are upon close scrutiny quite different from and occasionally even incongruent with Newton's views on the matter. 相似文献
We present the material 2,3,10,11-tetrabutyl-1,4,9,12-tetraphenyl-diindeno[1,2,3-cd:1′,2′,3′-lm] perylene (Bu4-Ph4-DIP) as alternative green donor for bulk heterojunction small molecule organic solar cells (SMOSC). It is shown that Bu4-Ph4-DIP exhibits suitable absorption characteristics to be a potential material to fill the absorption gap between the commonly used standard absorbers ZnPc and C60.Devices with bulk heterojunctions of Bu4-Ph4-DIP:C60 display very high open circuit voltages of 0.99 V, high fill factors of up to 57%, and experiments yield promising efficiencies of η>2%. Such green-blue absorbing SMOSC are characterized by current voltage and external quantum efficiency measurements, and material properties are studied. It is shown that the devices are responsive to substrate heating, and that different donor-acceptor mixing ratios can increase device performance. Possible influences of mixing ratio and heating on device morphology and electrical properties are discussed. 相似文献
Motivated by the possibility of modifying energy levels of a molecule without substantially changing its band gap, the impact of gradual fluorination on the optical and structural properties of zinc phthalocyanine (FnZnPc) thin films and the electronic characteristics of FnZnPc/C60 (n = 0, 4, 8, 16) bilayer cells is investigated. UV–vis measurements reveal similar Q‐ and B‐band absorption of FnZnPc thin films with n = 0, 4, 8, whereas for F16ZnPc a different absorption pattern is detected. A correlation between structure and electronic transport is deduced. For F4ZnPc/C60 cells, the enhanced long range order supports fill factors of 55% and an increase of the short circuit current density by 18%, compared to ZnPc/C60. As a parameter being sensitive to the organic/organic interface energetics, the open circuit voltage is analyzed. An enhancement of this quantity by 27% and 50% is detected for F4ZnPc‐ and F8ZnPc‐based devices, respectively, and is attributed to an increase of the quasi‐Fermi level splitting at the donor/acceptor interface. In contrast, for F16ZnPc/C60 a decrease of the open circuit voltage is observed. Complementary photoelectron spectroscopy, external quantum efficiency, and photoluminescence measurements reveal a different working principle, which is ascribed to the particular energy level alignment at the interface of the photoactive materials. 相似文献
Overexpression of the histone lysine demethylase KDM4A, which regulates H3K9 and H3K36 methylation states, has been related to the pathology of several human cancers. We found that a previously reported hydroxamate‐based histone deacetylase (HDAC) inhibitor (SW55) was also able to weakly inhibit this demethylase with an IC50 value of 25.4 μm . Herein we report the synthesis and biochemical evaluations, with two orthogonal in vitro assays, of a series of derivatives of this lead structure. With extensive chemical modifications on the lead structure, also by exploiting the versatility of the radical arylation with aryldiazonium salts, we were able to increase the potency of the derivatives against KDM4A to the low‐micromolar range and, more importantly, to obtain demethylase selectivity with respect to HDACs. Cell‐permeable derivatives clearly showed a demethylase‐inhibition‐dependent antiproliferative effect against HL‐60 human promyelocytic leukemia cells. 相似文献
The selective wetting behavior of silica in emulsion styrene butadiene rubber (ESBR)/solution styrene butadiene rubber (SSBR) blends is characterized by the wetting concept, which is further developed for filled blends based on miscible rubbers. It is found that not only the chemical rubber–filler affinity but also the topology of the filler surface significantly influences the selective filler wetting in rubber blends. The nanopore structure of the silica surface has been recognized as the main reason for the difference in the wetting behavior of the branched ESBR molecules and linear SSBR molecules. However, the effect of nanopore structure becomes more significant in the presence of silane. It is discussed that the adsorption of silane on silica surface constricts the nanopore to some extent that hinders effectively the space filling of the nanopores by the branched ESBR molecules but not by the linear SSBR molecules. As a result, in silanized ESBR/SSBR blends the dominant wetting of silica surface by the tightly bonded layer of SSBR molecules causes a low‐energy dissipation in the rubber–filler interphase. That imparts the low rolling resistance to the blends similar to that of a silica‐filled SSBR compound, while the ESBR‐rich matrix warrants the good tensile behavior, i.e., good abrasion and wear resistance of the blends.