Automatic generation and verification of railway interlocking control tables using FSM and NuSMV

Due to the important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems. The reliability, safety and integrity of these systems, relies on reliability and integrity of all stages in their lifecycle including the design, verification, manufacture, test, operation and maintenance. In this paper, the automatic generation and verification of interlocking control tables, as one of the most important stages in the interlocking design process has been focused on, by the safety critical research group in the School of Railway Engineering. Three different subsystems including a graphical signalling layout planner, a control table generator and a control table verifier, have been introduced. Using NuSMV model checker, the control table verifier analyzes the contents of control table besides the safe train movement conditions and checks for any conflicting settings in the table. This includes settings for conflicting routes, signals, points and also settings for route isolation and single and multiple overlap situations. The latest two settings, as route isolation and multiple overlap situations are from new outcomes of the work comparing to works represented on the subject recently

Consumer evaluation of brand extension on product features, brand concepts & product concepts.

by Lee Siu-Po & Yu Pun-Wai.Thesis (M.B.A.)--Chinese University of Hong Kong, 1992.Includes bibliographical references.Abstract --- p.iiTable of Contents --- p.iiiList of Figures and Tables --- p.ivAcknowledgement --- p.vChapter Chapter 1 --- Literature Review --- p.1Chapter Chapter 2 --- Research Objective --- p.14Chapter Chapter 3 --- Research Methodology --- p.19Chapter Chapter 4 --- Research Results --- p.26Chapter Chapter 5 --- Conclusion and Recommendation --- p.39Chapter Chapter 6 --- Limitations --- p.41References --- p.44Appendices --- p.45Chapter 1. --- Annotated Questionnaire --- p.46Chapter 2. --- Table 1 - SPSS Results of the Questionnaire --- p.70Chapter 3. --- Table 2 - Tables of Z-values by Brands --- p.73Chapter 4. --- Table 3 - Tables of F-values by Brands --- p.75Chapter 5. --- Graphical Comparisons of Overall Impressions --- p.7

Equilibrium isotherms of red beetroots

The equilibrium moisture content of red beetroot has been studied and the corresponding sorption- desorption curves have been obtained at temperature 20°C. The strain measurement method has been used to establish the sorption curves. Analytical dependence describing the sorption and desorption curves have also been derived. Values of equilibrium moisture contents for temperatures higher than 20°C have been obtained by the Pass and Slepchenko’s method. The results are presented in graphical and table form

Validation of the CIDOC CRM using both extended graphical and category theory representations : includes two New Zealand case studies : a thesis presented in partial fulfilment of the requirements for the degree of Master of Business Studies in Information Systems at Massey University, Palmerston North, New Zealand

There is considerable interest in the use of the Internet to retrieve and integrate multimedia information from centres of cultural heritage such as museums and art galleries. The ultimate desire of most devotees of cultural matters is to have universal access, through a single portal, to detailed information from sites throughout the world. This level of interoperability is not an easy task both technically and culturally. To provide an avenue where some of the technical problems of accessing information from a huge range of unique database environments can be resolved, a semantic conceptual reference model (CRM) was proposed by The International Committee for Documentation of the International Council of Museums (ICOM-CIDOC). The model provides definitions and a formal structure for describing the implicit and explicit concepts and relationships used in cultural heritage documentation. It is intended to provide a common and extensible semantic framework to which any cultural heritage information can be mapped. In this research two methods are proposed and developed to support the validation of the Conceptual Reference Model. The methodologies, one graphical and the other based on category theory, are used to replicate three published international validation activities and two new validations based on information supplied by two New Zealand heritage sites. This report also includes a literature review describing the main ideas and structures that form the basis of the CRM

Neural Ideal Point Estimation Network

Understanding politics is challenging because the politics take the influence from everything. Even we limit ourselves to the political context in the legislative processes; we need a better understanding of latent factors, such as legislators, bills, their ideal points, and their relations. From the modeling perspective, this is difficult 1) because these observations lie in a high dimension that requires learning on low dimensional representations, and 2) because these observations require complex probabilistic modeling with latent variables to reflect the causalities. This paper presents a new model to reflect and understand this political setting, NIPEN, including factors mentioned above in the legislation. We propose two versions of NIPEN: one is a hybrid model of deep learning and probabilistic graphical model, and the other model is a neural tensor model. Our result indicates that NIPEN successfully learns the manifold of the legislative bill texts, and NIPEN utilizes the learned low-dimensional latent variables to increase the prediction performance of legislators' votings. Additionally, by virtue of being a domain-rich probabilistic model, NIPEN shows the hidden strength of the legislators' trust network and their various characteristics on casting votes

Graphic Design Internship

I have always been my own boss. From self-learning graphic design, starting in third grade, to practicing graphic design for clubs and organizations under my digression. I have been lucky enough to work for mainly myself and, when working for others, have had to cater to exclusively my taste—my experience in doing graphic design for teams has in the past been limited to making a design I like, requesting approval with little to no necessary revisions, and finally sending the design to its final destination. Working with the Carbondale Chamber of Commerce this summer was my first time practicing graphic design for someone else. While my personal taste and graphical flare were still appreciated and encouraged, my mentor, LeAnne Gaydos, Program Manager of the Carbondale Chamber of Commerce, called the final shots. This report details my experiences working as a graphic design intern (with a boss) in the midst of the Covid-19 pandemic and its associated restrictions. Below is a table of contents of sorts to acquaint you with this report.https://digitalcommons.imsa.edu/intern_reports_2020/1008/thumbnail.jp