On the Development of an Automated Design Procedure to Design Optimal Robots

The objective in this work is to build a rapid and automated numerical design method that makes optimal design of robots possible. In this work, two classes of optimal robot design problems were specifically addressed: (1) When the objective is to optimize a pre-designed robot, and (2) when the goal is to design an optimal robot from scratch. In the first case, to reach the optimum design some of the critical dimensions or specific measures to optimize (design parameters) are varied within an established range. Then the stress is calculated as a function of the design parameter(s), the design parameter(s) that optimizes a pre-determined performance index provides the optimum design. In the second case, this work focuses on the development of an automated procedure for the optimal design of robotic systems. For this purpose, Pro/Engineer© and MatLab© software packages are integrated to draw the robot parts, optimize them, and then re-draw the optimal system parts.

Students' recollections of participating in a first year residential learning community experience

The purpose of this qualitative study was to gain an understanding of what participation in a first year residential learning community meant to students 2–3 years after their involvement in the program. Various theories including environmental, student involvement, psychosocial and intellectual, were used as a framework for this case study. Each of the ten participants was a junior or senior level student at the time of the study, but had previously participated in a first year residential learning community at Florida International University. The researcher held two semi-structured interviews with each participant, and collected data sheets from each. ^ The narrative data produced from the interviews were transcribed, coded and analyzed to gain insights into the experiences and perspectives of the participants. Member checking was used after the interview process. A peer reviewer offered feedback during the data analysis. The resulting data was coded into categories, with a final selection of four themes and 15 sub-themes, which captured the essence of the participants' experiences. The four major themes included: (a) community, (b) involvement, (c) identity, and (d) academics. The community theme is used to describe how students perceived the environment to be. The involvement theme is used to describe the students' participation in campus life and their interaction with other members of the university community. The identity theme is used to describe the students' process of development, and the personal growth they underwent as a result of their experiences. The academics theme refers to the intellectual development of students and their interaction around academic issues. ^ The results of this study showed that the participants valued greatly their involvement in the First Year Residents Succeeding Together program (FYRST) and can articulate how it helped them succeed as students. In describing their experience, they most recall the sense of community that existed, the personal growth they experienced, the academic development process they went through, and their involvement, both with other people and with activities in their community. Recommendations are provided for practice and research, including several related to enhancing the academic culture, integrating faculty, utilizing peer influence and providing further opportunities to create a seamless learning environment. ^

Students' recollections of participating in a first year residential learning community experience

The purpose of this qualitative study was to gain an understanding of what participation in a first year residential learning community meant to students 2-3 years after their involvement in the program. Various theories including environmental, student involvement, psychosocial and intellectual, were used as a framework for this case study. Each of the ten participants was a junior or senior level student at the time of the study, but had previously participated in a first year residential learning community at Florida International University. The researcher held two semi-structured interviews with each participant, and collected data sheets from each. The narrative data produced from the interviews were transcribed, coded and analyzed to gain insights into the experiences and perspectives of the participants. Member checking was used after the interview process. A peer reviewer offered feedback during the data analysis. The resulting data was coded into categories, with a final selection of four themes and 15 sub-themes, which captured the essence of the participants' experiences. The four major themes included: (a) community, (b) involvement, (c) identity, and (d) academics. The community theme is used to describe how students perceived the environment to be. The involvement theme is used to describe the students' participation in campus life and their interaction with other members of the university community. The identity theme is used to describe the students' process of development, and the personal growth they underwent as a result of their experiences. The academics theme refers to the intellectual development of students and their interaction around academic issues. The results of this study showed that the participants valued greatly their involvement in the First Year Residents Succeeding Together program (FYRST) and can articulate how it helped them succeed as students. In describing their experience, they most recall the sense of community that existed, the personal growth they experienced, the academic development process they went through, and their involvement, both with other people and with activities in their community. Recommendations are provided for practice and research, including several related to enhancing the academic culture, integrating faculty, utilizing peer influence and providing further opportunities to create a seamless learning environment.

Outdoor experiential team -building and the college adjustment and persistence of freshmen in learning communities

Student retention is a primary goal in all higher education institutions. Students who are more adjusted to college life are more likely to persist. The purpose of this research was to determine the effects of an outdoor experiential team-building program on the college adjustment of first-semester freshmen in learning communities at a diverse, urban university. The participants in this quasi-experimental study were first-semester freshmen enrolled in learning communities. A total of 123 students participated, with 61 students in the experimental group and 62 students in the comparison group. There were no significant differences between the two groups in relation to age, gender, or ethnicity. The students in the experimental group participated in the team-building program, which consisted of three events spaced three and four weeks apart. At the end of the semester, students in both the experimental and comparison groups completed the Student Adaptation to College Questionnaire (SACQ), a 67-item self-report survey. ^ Independent samples t-test of the SACQ scores (for attachment to the institution, social adjustment, and overall adaptation to college) between groups was done, and the analyses revealed no statistically significant differences. Chi-square analyses revealed no significant difference in the enrollment pattern between the two groups over a four-year period. Repeated measures ANOVAs revealed that from the first semester of enrollment to the second semester there was a significant drop in GPA for students from the comparison group and no such drop in GPA for students from the experimental group who had participated in at least two of the team building activities. A repeated measures ANOVA was conducted for the first year by semester and ethnicity. No ethnic differences were found, and no interaction was found by ethnicity and semester. ^ Should colleges and universities continue to utilize outdoor experiential team-building programs as a creative way to influence students' connection to the institution they should further investigate its value on students' adjustment to college. Future studies should also consider other variables influenced by team-building programs that affect students' college adjustment, such as collaborative learning. Faculty should be included in the planning process to increase their participation. ^

Supplemental instruction, study habits, and the community college student

The purpose of this study was to demonstrate if the academic assistance program Supplemental Instruction (SI) facilitates the acquisition of effective study behaviors through strategies that transcend simple double-exposure to the course material. Its advocates claim it increases academic achievement using learner-centered knowledge and acquisition of effective study behaviors. SI sessions are specifically related to particular courses that students are taking. Sessions are facilitated by the SI leader who has taken the subject matter course in the past. Students review the content of the previous subject matter class using collaborative learning strategies coordinated by a SI leader. In addition, the SI leader models appropriate study behaviors in his or her interactions with the students. ^ An instructor at a large Florida community college who taught five classes of an Anatomy & Physiology I course (traditionally supported by SI) was identified. Two of the classes were randomly selected to participate in SI activities, and two classes were random chosen to participate in alternate, computer-based activities that dealt with the course content, but did not include work in developing students' study behaviors. These treatments were carried out over the course of an entire semester. Participation was mandatory. ^ Data were collected on two variables. Academic achievement in anatomy and physiology content was measured both pre- and post-treatment using an instructor developed examination. Student study behaviors were measured using pre- and post-treatment administration of the Study Behavior Inventory, a valid and reliable instrument that provides scores on three categories of study behaviors: (a) Academic self-efficacy, (b) Preparation for routine academic tasks, and (c) Preparation for long range academic tasks. Measures obtained at the end of the semester of treatment revealed no significant differences between the SI and alternative treatment groups in post-treatment achievement test score and the post-treatment scores on the three study behaviors categories when adjusted for pre-treatment scores. ^ These results suggest that the development of appropriate study behaviors requires more time than SI, as it is now implemented, can provide. In addition, results indicate that improved academic achievement may be attained through any number of means that include repeated exposure to course material. ^

An investigation of mathematics and science instruction in English and Spanish for English language learners

The contextual demands of language in content area are difficult for ELLS. Content in the native language furthers students' academic development and native language skills, while they are learning English. Content in English integrates pedagogical strategies for English acquisition with subject area instruction. The following models of curriculum content are provided in most Miami Dade County Public Schools: (a) mathematics instruction in the native language with science instruction in English or (b) science instruction in the native language with mathematics instruction in English. The purpose of this study was to investigate which model of instruction is more contextually supportive for mathematics and science achievement. ^ A pretest and posttest, nonequivalent group design was used with 94 fifth grade ELLs who received instruction in curriculum model (a) or (b). This allowed for statistical analysis that detected a difference in the means of .5 standard deviations with a power of .80 at the .05 level of significance. Pretreatment and post-treatment assessments of mathematics, reading, and science achievement were obtained through the administration of Aprenda-Segunda Edición and the Florida Comprehensive Achievement Test. ^ The results indicated that students receiving mathematics in English and Science in Spanish scored higher on achievement tests in both Mathematics and Science than the students who received Mathematics in Spanish and Science in English. In addition, the mean score of students on the FCAT mathematics examination was higher than their mean score on the FCAT science examination regardless of the language of instruction. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Academic Writing & Publication: My Journey of Learning Through the Development of Articles from my Masters Thesis

Abstract: In this essay, I discuss how I turned my masters thesis into three peer reviewed publications and the lessons I learned about academic writing and publication in the process.

The development, application, and implications of a strategy for reflective learning from experience

The problem on which this study focused was individuals' reduced capacity to respond to change and to engage in innovative learning when their reflective learning skills are limited. In this study, the preceding problem was addressed by two primary questions: To what degree can mastery of a strategy for reflective learning be facilitated as a part of an academic curriculum for professional practitioners? What impact will mastery of this strategy have on the learning style and adaptive flexibility of adult learners? The focus of the study was a direct application of human resource development technology in the professional preparation of teachers. The background of the problem in light of changing global paradigms and educational action orientations was outlined and a review of the literature was provided. Roots of thought for two key concepts (i.e., learning to learn from experience and meaningful reflection in learning) were traced. Reflective perspectives from the work of eight researchers were compared. A meta-model of learning from experience drawn from the literature served as a conceptual framework for the study. A strategy for reflective learning developed from this meta-model was taught to 109 teachers-in-training at Florida International University in Miami, Florida. Kolb's Adaptive Style Inventory and Learning Style Inventory were administered to the treatment group and to two control groups taught by the same professor. Three research questions and fourteen hypotheses guided data analysis. Qualitative review of 1565 personal documents generated by the treatment group indicated that 77 students demonstrated "double-loop" learning, going beyond previously established limits to perception, understanding, or action. The mean score for depth of reflection indicated "single-loop" learning with "reflection-in-action" present. The change in the mean score for depth of reflection from the beginning to end of the study was statistically significant (p $<$.05). On quantitative measures of adaptive flexibility and learning style, with two exceptions, there were no significant differences noted between treatment and control groups on pre-test to post-test differences and on post-test mean scores adjusted for pre-test responses and demographic variables. Conclusions were drawn regarding treatment, instrumentation, and application of the strategy and the meta-model. Implications of the strategy and the meta-model for research, for education, for human resource development, for professional practice, and for personal growth were suggested. Qualitative training materials and Kolb's instruments were provided in the appendices.

Group presence in virtual worlds: Supporting collaborative e-learning

Even though e-learning endeavors have significantly proliferated in recent years, current e-learning technologies provide poor support for group-oriented learning. The now popular virtual world's technologies offer a possible solution. Virtual worlds provide the users with a 3D - computer generated shared space in which they can meet and interact through their virtual representations. Virtual worlds are very successful in developing high levels of engagement, presence and group presence in the users. These elements are also desired in educational settings since they are expected to enhance performance. The goal of this research is to test the hypothesis that a virtual world learning environment provides better support for group-oriented collaborative e-learning than other learning environments, because it facilitates the emergence of group presence. To achieve this, a quasi-experimental study was conducted and data was gathered through the use of various survey instruments and a set of collaborative tasks assigned to the participants. Data was gathered on the dependent variables: Engagement, Group Presence, Individual Presence, Perceived Individual Presence, Perceived Group Presence and Performance. The data was analyzed using the statistical procedures of Factor Analysis, Path Analysis, Analysis of Variance (ANOVA) and Multivariate Analysis of Variance (MANOVA). The study provides support for the hypothesis. The results also show that virtual world learning environments are better than other learning environments in supporting the development of all the dependent variables. It also shows that while only Individual Presence has a significant direct effect on Performance; it is highly correlated with both Engagement and Group Presence. This suggests that these are also important in regards to performance. Developers of e-learning endeavors and educators should incorporate virtual world technologies in their efforts in order to take advantage of the benefit they provide for e-learning group collaboration.

The role of community college faculty in teaching and learning for sustainable development

The purpose of this study was to explore the attitudes, beliefs, and practices of community college professors regarding education for sustainable development (ESD). In-depth interviews with 14 professors from different disciplines were conducted. The participants taught at Miami Dade College, Florida, a Talloires Declaration signatory since 2006, and all had attended Green Studies professional development workshops. Written documents such as assignments and samples of student work were used for triangulation. The annual report of the college’s Earth Ethics Institute and its Web site served as additional sources. The interviews were recorded, transcribed, and analyzed for common themes. The Talloires Declaration’s 10-point action plan and the key characteristics of ESD (UN DESD, 2006) served as the conceptual framework. The study found that the professors considered ESD an essential issue. The majority discussed the economic and social aspects of ESD; however, the environmental aspect was mentioned most frequently. The professors’ conceptualizations of ESD were influenced by their experiences and evidenced by the metaphors they used. Although their engagement with ESD differed, the professors expressed optimism toward ESD related teaching and learning. They regarded ESD as compatible with their subjects, and most had already been infusing sustainability into their courses or planned to do so. Additionally, the participants’ teaching practices reflected many of the characteristics of ESD. Even though the professors considered ESD challenging, they believed that they could make contributions to the college’s effort. The metaphor of “Planting a Seed” was frequently used to describe this holistic approach. The study also found that many professors regarded interpersonal relationships and communication significant factors for the advancement of ESD. The participants described several challenges to integrating ESD at their college. These related to time constraints, density of curriculum, institutional size and fragmentation, dearth of administrative support and incentives, students’ lack of academic preparation and sustainability awareness, students’ inability to focus on ESD because of personal, social, or economic circumstances, and professors’ frustration about a divisive atmosphere as a result of their engagement with sustainability. Despite these obstacles, the professors believed that ESD could be successfully woven into the community college experience.