Probabilistic Graphical Modelling for Software Product Lines: A Frameweork for Modeling and Reasoning under Uncertainty

This work provides a holistic investigation into the realm of feature modeling within software product lines. The work presented identifies limitations and challenges within the current feature modeling approaches. Those limitations include, but not limited to, the dearth of satisfactory cognitive presentation, inconveniency in scalable systems, inflexibility in adapting changes, nonexistence of predictability of models behavior, as well as the lack of probabilistic quantification of model’s implications and decision support for reasoning under uncertainty. The work in this thesis addresses these challenges by proposing a series of solutions. The first solution is the construction of a Bayesian Belief Feature Model, which is a novel modeling approach capable of quantifying the uncertainty measures in model parameters by a means of incorporating probabilistic modeling with a conventional modeling approach. The Bayesian Belief feature model presents a new enhanced feature modeling approach in terms of truth quantification and visual expressiveness. The second solution takes into consideration the unclear support for the reasoning under the uncertainty process, and the challenging constraint satisfaction problem in software product lines. This has been done through the development of a mathematical reasoner, which was designed to satisfy the model constraints by considering probability weight for all involved parameters and quantify the actual implications of the problem constraints. The developed Uncertain Constraint Satisfaction Problem approach has been tested and validated through a set of designated experiments. Profoundly stating, the main contributions of this thesis include the following: • Develop a framework for probabilistic graphical modeling to build the purported Bayesian belief feature model. • Extend the model to enhance visual expressiveness throughout the integration of colour degree variation; in which the colour varies with respect to the predefined probabilistic weights. • Enhance the constraints satisfaction problem by the uncertainty measuring of the parameters truth assumption. • Validate the developed approach against different experimental settings to determine its functionality and performance.

Experimental and analytical investigation of refrigerant and lubricant migration

The off-cycle refrigerant mass migration has a direct influence on the on-cycle performance since compressor energy is necessary to redistribute the refrigerant mass. No studies, as of today, are available in the open literature which experimentally measured the lubricant migration within a refrigeration system during cycling or stop/start transients. Therefore, experimental procedures measuring the refrigerant and lubricant migration through the major components of a refrigeration system during stop/start transients were developed and implemented. Results identifying the underlying physics are presented. The refrigerant and lubricant migration of an R134a automotive A/C system-utilizing a fixed orifice tube, minichannel condenser, plate and fin evaporator, U-tube type accumulator and fixed displacement compressor-was measured across five sections divided by ball valves. Using the Quick-Closing Valve Technique (QCVT) combined with the Remove and Weigh Technique (RWT) using liquid nitrogen as the condensing agent resulted in a measurement uncertainty of 0.4 percent regarding the total refrigerant mass in the system. The determination of the lubricant mass distribution was achieved by employing three different techniques-Remove and Weigh, Mix and Sample, and Flushing. To employ the Mix and Sample Technique a device-called the Mix and Sample Device-was built. A method to separate the refrigerant and lubricant was developed with an accuracy-after separation-of 0.04 grams of refrigerant left in the lubricant. When applying the three techniques, the total amount of lubricant mass in the system was determined to within two percent. The combination of measurement results-infrared photography and high speed and real time videography-provide unprecedented insight into the mechanisms of refrigerant and lubricant migration during stop-start operation. During the compressor stop period, the primary refrigerant mass migration is caused by, and follows, the diminishing pressure difference across the expansion device. The secondary refrigerant migration is caused by a pressure gradient as a result of thermal nonequilibrium within the system and causes only vapor phase refrigerant migration. Lubricant migration is proportional to the refrigerant mass during the primary refrigerant mass migration. During the secondary refrigerant mass migration lubricant is not migrating. The start-up refrigerant mass migration is caused by an imbalance of the refrigerant mass flow rates across the compressor and expansion device. The higher compressor refrigerant mass flow rate was a result of the entrainment of foam into the U-tube of the accumulator. The lubricant mass migration during the start-up was not proportional to the refrigerant mass migration. The presence of water condensate on the evaporator affected the refrigerant mass migration during the compressor stop period. Caused by an evaporative cooling effect the evaporator held 56 percent of the total refrigerant mass in the system after three minutes of compressor stop time-compared to 25 percent when no water condensate was present on the evaporator coil. Foam entrainment led to a faster lubricant and refrigerant mass migration out of the accumulator than liquid entrainment through the hole at the bottom of the U-tube. The latter was observed for when water condensate was present on the evaporator coil because-as a result of the higher amount of refrigerant mass in the evaporator before start-up-the entrainment of foam into the U-tube of the accumulator ceased before the steady state refrigerant mass distribution was reached.

Neural representations of social and non-social uncertainty in human decision making

The social landscape is filled with an intricate web of species-specific desired objects and course of actions. Humans are highly social animals and, as they navigate this landscape, they need to produce adapted decision-making behaviour. Traditionally social and non-social neural mechanisms affecting choice have been investigated using different approaches. Recently, in an effort to unite these findings, two main theories have been proposed to explain how the brain might encode social and non-social motivational decision-making: the extended common currency and the social valuation specific schema (Ruff & Fehr 2014). One way to test these theories is to directly compare neural activity related to social and non-social decision outcomes within the same experimental setting. Here we address this issue by focusing on the neural substrates of social and non-social forms of uncertainty. Using functional magnetic resonance imaging (fMRI) we directly compared the neural representations of reward and risk prediction and errors (RePE and RiPE) in social and non- social situations using gambling games. We used a trust betting game to vary uncertainty along a social dimension (trustworthiness), and a card game (Preuschoff et al. 2006) to vary uncertainty along a non-social dimension (pure risk). The trust game was designed to maintain the same structure of the card game. In a first study, we exposed a divide between subcortical and cortical regions when comparing the way these regions process social and non-social forms of uncertainty during outcome anticipation. Activity in subcortical regions reflected social and non-social RePE, while activity in cortical regions correlated with social RePE and non-social RiPE. The second study focused on outcome delivery and integrated the concept of RiPE in non-social settings with that of fairness and monetary utility maximisation in social settings. In particular these results corroborate recent models of anterior insula function (Singer et al. 2009; Seth 2013), and expose a possible neural mechanism that weights fairness and uncertainty but not monetary utility. The third study focused on functionally defined regions of the early visual cortex (V1) showing how activity in these areas, traditionally considered only visual, might reflect motivational prediction errors in addition to known perceptual prediction mechanisms (den Ouden et al 2012). On the whole, while our results do not support unilaterally one or the other theory modeling the underlying neural dynamics of social and non-social forms of decision making, they provide a working framework where both general mechanisms might coexist.

Intolerance of uncertainty modulates the insensitivity to reinforcer devaluation found in an avoidance task

The reinforcer devaluation paradigm has been regarded as a canonical paradigm to detect habit-like behavior in animal and human instrumental learning. Though less studied, avoidance situations set a scenario where habit-like behavior may be of great experimental and clinical interest. On the other hand, proactive intolerance of uncertainty has been shown as a factor facilitating responses in uncertain situations. Thus, avoidance situations in which uncertainty is favoured, may be taken as a relevant paradigm to examine the role of intolerance of uncertainty as a facilitatory factor for habit-like behavior to occur. In our experiment we used a free-operant discriminative avoidance procedure to implement a devaluation paradigm. Participants learned to avoid an aversive noise presented either to the right or to the left ear by pressing two different keys. After a devaluation phase where the volume of one of the noises was reduced, they went through a test phase identical to the avoidance phase except for the fact that the noise was never administered. Sensitivity to reinforcer devaluation was examined by comparing the response rate to the cue associated to the devalued reinforcer with that to the cue associated to the still aversive reinforcer. The results showed that intolerance of uncertainty was positively associated to insensitivity to reinforcer devaluation. Finally, we discuss the theoretical and clinical implications of the habit-like behavior obtained in our avoidance procedure.

Foil rolling : a new interpretation of experimental results

This paper explores a new interpretation of experiments on foil rolling. The assumption that the roll remains convex is relaxed so that the strip profile may become concave, or thicken in the roll gap. However, we conjecture that the concave profile is associated with phenomena which occur after the rolls have stopped. We argue that the yield criterion must be satisfied in a nonconventional manner if such a phenomenon is caused plastically. Finite element analysis on an extrusion problem appears to confirm this conjecture.

Experimental studies on comparison of microwave curing and thermal curing of epoxy resins used for alternative mould materials

In this present work attempts have been made to study the glass transition temperature of alternative mould materials by using both microwave heating and conventional oven heating. In this present work three epoxy resins, namely R2512, R2515 and R2516, which are commonly used for making injection moulds have been used in combination with two hardeners H2403 and H2409. The magnetron microwave generator used in this research is operating at a frequency of 2.45 GHz with a hollow rectangular waveguide. In order to distinguish the effects between the microwave and conventional heating, a number of experiments were performed to test their mechanical properties such as tensile and flexural strengths. Additionally, differential scanning calorimeter technique was implemented to measure the glass transition temperature on both microwave and conventional heating. This study provided necessary evidences to establish that microwave heated mould materials resulted with higher glass transition temperature than the conventional heating. Finally, attempts were also made to study the microstructure of microwave-cured materials by using a scanning electron microscope in order to analyze the morphology of cured specimens.

Experimental Infection of Culex Annulirostris, Culex Gelidus, and Aedes Vigilax With a Yellow Fever/Japanese Encephalitis Virus Vaccine Chimera (Chimerivax TM-JE)

Australian mosquitoes from which Japanese encephalitis virus (JEV) has been recovered (Culex annulirostris, Culex gelidus, and Aedes vigilax) were assessed for their ability to be infected with the ChimeriVax-JE vaccine, with yellow fever vaccine virus 17D (YF 17D) from which the backbone of ChimeriVax-JE vaccine is derived and with JEV-Nakayama. None of the mosquitoes became infected after being fed orally with 6.1 log(10) plaque-forming units (PFU)/mL of ChimeriVax-JE vaccine, which is greater than the peak viremia in vaccinees (mean peak viremia = 4.8 PFU/mL, range = 0-30 PFU/mL of 0.9 days mean duration, range = 0-11 days). Some members of all three species of mosquito became infected when fed on JEV-Nakayama, but only Ae. vigilax was infected when fed on YF 17D. The results suggest that none of these three species of mosquito are likely to set up secondary cycles of transmission of ChimeriVax-JE in Australia after feeding on a viremic vaccinee.