Timed Automata Models for Principled Composition of Middleware

Middleware for Distributed Real-time and Embedded (DRE) systems has grown more and more complex in recent years due to the varying functional and temporal requirements of complex real-time applications. To enable DRE middleware to be configured and customized to meet the demands of different applications, a body of ongoing research has focused on applying model-driven development techniques to developing QoS-enabled middleware. While current approaches for modeling middleware focus on easing the task of as-assembling, deploying and configuring middleware and middleware-based applications, a more formal basis for correct middleware composition and configuration in the context of individual applications is needed. While the modeling community has used application-level formal models that are more abstract to uncover certain flaws in system design, a more fundamental and lower-level set of models is needed to be able to uncover more subtle safety and timing errors introduced by interference between application computations, particularly in the face of alternative concurrency strategies in the middleware layer. In this research, we have examined how detailed formal models of lower-level middle-ware building blocks provide an appropriate level of abstraction both for modeling and synthesis of a variety of kinds of middleware from these building blocks. When combined with model checking techniques, these formal models can help developers in composing correct combinations of middleware mechanisms, and configuring those mechanisms for each particular application

Analyzing Sumo-2/3 Modification In Regulation Of Breast Cancer Progression And Mitotic Chromosome Segregation

Roles of SUMOylation in cancer metastasis and mitotic progression has been elucidated in this thesis. This vital and dynamic post-translational modification has been known to be dysregulated in several kinds of cancer. Global SUMO-2/3 conjugation is upregulated in a mouse metastatic breast cancer cell line, 66cl4, compared to a non-metastatic cell line 168FARN from the same genetic background. In order to identify the SUMO-2/3 substrates, SILAC labeled lysates from the two cell lines were immunopurified using SUMO-2/3 monoclonal antibodies. By using SUMO-2/3 epitope peptide elution (SUMO-2/3-ePIPE) and quantitative mass spectrometry, 66 SUMO-2/3 targets were identified, of which 15 targets are upregulated/downregulated in 66cl4 compared to 168FARN and 45 substrates are linked to cancer. About ten of these substrates were validated using in vitro and in vivo SUMOylation assays. Further, overexpression of GFP-tagged SUMO-2/3 in 168FARN cells increased in 3D cell migration compared to control cells overexpressing GFP. These results clearly show a link between SUMO and cancer metastasis. As we know, uncontrolled cell division is a hallmark of cancer and therefore I focused on understanding the role of SUMO-2/3 modification in regulating cell cycle progression through mitosis in the second half of my thesis. Inhibition of global SUMOylation resulted in a prometaphase arrest and mislocalization of CENP-E from kinetochores. CENP-E has a SUMO interacting motif required for its kinetochore localization. We found that these mitotic defects in cells with inhibition of SUMOylation can be rescued by overexpressing Nuf2-SUMO2-SUMO2-SUMO2 fusion proteins, but not by Nuf2-SUMO2, Nuf2-SUMO2-SUMO2, and Nuf2-SUMO1-SUMO1-SUMO1 fusion proteins. Notably, we used these Nuf2 fusion proteins to mimic the various types of Nuf2 SUMOylation at kinetochores. We also demonstrated that Nuf2 is critical for CENP-E localization to kinetochores and also modified by polymeric SUMO chains both in vitro and in vivo. Importantly, we show that Nuf2-SUMO2-SUMO2-SUMO2 fusion protein has better binding affinity to CENP-E compared to Nuf2. These results suggest that trimeric SUMO-2/3 modification of Nuf2 represent the minimum and distinct signal for targeting CENP-E to kinetochores and mitotic progression in mammalian cells

Comparative quality investigation of rolled and flat carbon steel plates in drilling

Comparative investigation of machining quality of rolled steel plate and flat plate are studied, where, the effects of cutting speed, feed rate and numbers of holes drilled are taken into account. For this purpose, AISI 1045 carbon steel was drilled in dry machining conditions using CNC HAAS milling machine. Drilling process was carried out with lOmm diameter twist drill tool with 118 ° point angle. Ranges of the feed rate and cutting speed recommended by the tool manufacturer were tested to investigate the surface quality drilled holes. The SurfTest SJ-301 has been used to measure the micro defects on drilled holes. In the experiments, surface roughness found to be increased in pattern with the holes drilled. The results also discusses about the influences of cutting speed and feed in determining the surface finish of holes produced

Coating characterization of TiN & TiAIN on burr formation in drilling pragmatic investigation

Burrs are source of dimensional errors, jamming and misalignment in the assembly process. They may cause short circuits in electrical components and may reduce the fatigue life of the part. Furthermore, burrs can be a safety hazard to personnel because they are usually sharp. This scientific research investigates the characterization of 8 mm diameter, 120° point angle of coated drill tool in burr formation. The exit burrs were investigated using two different types of popular coatings, namely TiN and TiAlN. The effect of cutting speed and feed rate of the tool in burr formation onto the workpiece are discussed. In this study, the exit burr height was measured using optical microscope. Moderately harder material, 304L series stainless steel was used in the evaluation of the super coatings. The experiments were conducted using CNC HAAS Milling Machine. These experiments can be classified as hard drilling based on the experimental values and machining conditions

Higher Secondary Commerce Students’ Engagement and Attitude towards Blended Learning Environment

At present, classroom instruction should be a self-regulated process and the learner who is self-motivated to explore problems and situations. For learning, the students are learning through the web as a source of knowledge, the learning environment should be shifted to a learner-centered rather than teacher-centered environment. Commerce education is to be directed towards mastery in its conventions and principles, towards thinking and solving problems in scientific ways, towards developing a positive outlook to the discipline at the higher secondary level. Attitude towards learning is associated with the academic performance of commerce-related tasks and improving achievement. It should be one of the basic features in designing effective commerce classroom instruction. In the present study, students’ attitudes can be enhanced by using a blended learning instructional strategy targeting the variables of learner attitude towards learning of instructional transaction, learning task, classroom interaction, and assessment. The study employs pretest-posttest non-equivalence control group design under the quasi-experimental method. The sample consists of 80 students of standard XII, 40 students each in the experimental group and control group. Statistical techniques of descriptive statistics, t-test, and Cohen’s d were used for comparing the pretest and posttest scores of attitude towards learning and measuring the effect size between experimental and control groups. The findings of the study showed that there is a significant difference in the mean posttest scores of attitude towards learning between the experimental group and control group and the blended learning instructional strategy is more beneficial in developing the attitude of higher secondary school students when compared to constructivist teaching strategy