Collecting Data About Logic Simulation

Design of high performance hardware and software based gate-switch level logic simulators requires knowledge about the logic simulation process itself. Unfortunately, little data is publically available concerning key aspects of this process. An example of this is the lack of published empirical measurements relating to the time distribution of events generated by such simulators. This paper presents a gate-switch level logic simulator lsim which is oriented towards the collection of data about the simulation process. The basic components of lsim are reviewed, and its relevant data gathering facilities are discussed. An example is presented which illustrates the use of lsim in gathering data on event distributions and on communications requirements under alternative logic circuit partitionings

Face Validation Method Alternatives for Shiphandling Fuzzy Logic Difficulty Model

The development of shiphandling difficulty model for ferry is based on the empirical experience through the Master of Ro-Ro ferries. The SHDMF is consisted from two parts which are the Analytic Hierarchy Process (AHP) and Fuzzy Inference System. Both parts had been validated through internal validation in the form of consistency test for the first part and robustness test for the second part. Further, the external/face validation is required to compare the proposed model with similar model through benchmarking approach. The benchmarking approaches are elaborated for the reliability, validity, possibility, efficiency and effectiveness. Through fuzzy group decision making method, the questionnaire survey is performed to verify the most appropriate approach based on the shiphandling simulator as the most preferred benchmarking tool by experts. Next, the proposed scenario is overviewed and discussed especially related to the advantages and drawbacks of shiphandling simulator. Keywords: shiphandling difficulty, fuzzy group decision making, internal validation Model pengukuran kesulitan pengendalian feri didasarkan pada pengalaman empiris melalui pernyataan nahkoda kapal feri Ro-Ro. SHDMF terdiri atas dua bagian, yaitu Analytic Hierarchy Process dan Fuzzy Inference System. Kedua bagian ini telah divalidasi melalui validasi internal dalam bentuk uji konsistensi untuk bagian pertama dan uji kehandalan untuk bagian kedua. Selanjutnya validasi atau wajah eksternal diperlukan untuk membandingkan model yang diusulkan dengan model yang diperoleh dari benchmarking. Pendekatan benchmarking dijabarkan untuk kehandalan, validitas, kemungkinan, efisiensi, dan efektivitas. Melalui metode fuzzy kelompok pembuatan keputusan, survei kuesioner dilakukan untuk memverifikasi pendekatan yang paling tepat dengan simulator pengendalian kapal sebagai alat yang paling disukai oleh para ahli untuk benchmarking. Selanjutnya skenario yang ditinjau-ulang dan dibahas terutama terkait dengan keuntungan dan kelemahan simulator pengendalian kapal. Kata

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach

This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful toolsets coming from the formal verification area. At the high level, we use UPDM, the system model provided by the british army as well as a new type of contract based on behavioral patterns. At low level, we rely on a powerful simulation toolset combined with recent advances from the area of statistical model checking. The approach has been applied to a case study developed at EADS Innovation Works.Comment: In Proceedings AiSoS 2013, arXiv:1311.319

The role of learning on industrial simulation design and analysis

The capability of modeling real-world system operations has turned simulation into an indispensable problemsolving methodology for business system design and analysis. Today, simulation supports decisions ranging from sourcing to operations to finance, starting at the strategic level and proceeding towards tactical and operational levels of decision-making. In such a dynamic setting, the practice of simulation goes beyond being a static problem-solving exercise and requires integration with learning. This article discusses the role of learning in simulation design and analysis motivated by the needs of industrial problems and describes how selected tools of statistical learning can be utilized for this purpose

Kesan penggunaan prosedur pembelajaran kawalan kendiri (self-regulated learning) terhadap pencapaian akademik, kemahiran meta kognitif dan motivasi pelajar politeknik : kajian kes

Pembelajaran Kawalan Kendiri (PKK) merupakan satu strategi pembelajaran efektif yang membantu pelajar untuk kompeten dan mempunyai autonomi dalam diri. Namun, prosedur yang betul bagi mengaplikasikan PKK masih memerlukan penambahbaikan disebabkan oleh pelajar cepat bosan belajar subjek teori. Pelajar juga didapati mengamalkan surface learning, mudah hilang fokus dalam kelas dan tidak cekap dalam mengawal kemahiran meta kognitif. Oleh itu, tujuan kajian ini dilaksanakan adalah untuk membangunkan satu prosedur PKK khusus untuk pelajar politeknik yang mengambil subjek Prinsip Pengurusan dan diuji keberkesanannya terhadap pencapaian akademik, kemahiran meta kognitif dan motivasi pelajar. Terdapat dua (2) fasa telah digunakan dalam kajian ini. Fasa pertama (1) ialah pembangunan prosedur PKK menggunakan analisis dokumen dan model Kemp. Analisis frekuensi telah digunakan dalam fasa ini. Terdapat tiga (3) hasil dapatan kajian daripada fasa pembangunan iaitu Prosedur PKK, Aktiviti Pengajaran dan Rancangan Pengajaran Harian (RPH). Fasa kedua (2) ialah pelaksanaan prosedur PKK menggunakan reka bentuk kuasi eksperimen iaitu ujian pra-pasca bagi kumpulan-kumpulan tidak seimbang. 43 orang pelajar Politeknik Sultan Haji Ahmad Shah (POLISAS) telah dipilih sebagai kumpulan rawatan manakala 38 orang pelajar Politeknik Merlimau (PMM) sebagai kumpulan kawalan. Analisis deskriptif skor min dan analisis inferensi MANCOVA telah digunakan dalam kajian ini bagi menguji perbezaan antara kumpulan kajian. Berdasarkan hasil analisis MANCOVA yang telah dijalankan, didapati wujud perbezaan yang signifikan secara statistik antara kumpulan rawatan dan kawalan bagi pencapaian akademik [F (1, 76) = 24.786, p = .000], kemahiran meta kognitif [F (1, 76) = 14.864, p = .000] dan motivasi [F (1, 76) = 65.148, p = .000]. Kesimpulannya, prosedur PKK terbukti berkesan dan boleh dijadikan panduan kepada pensyarah dalam mengaplikasikan PKK dengan lebih efektif dan berkesan

Improving Aircraft Engines Prognostics and Health Management via Anticipated Model-Based Validation of Health Indicators

The aircraft engines manufacturing industry is subjected to many dependability constraints from certification authorities and economic background. In particular, the costs induced by unscheduled maintenance and delays and cancellations impose to ensure a minimum level of availability. For this purpose, Prognostics and Health Management (PHM) is used as a means to perform online periodic assessment of the engines’ health status. The whole PHM methodology is based on the processing of some variables reflecting the system’s health status named Health Indicators. The collecting of HI is an on-board embedded task which has to be specified before the entry into service for matters of retrofit costs. However, the current development methodology of PHM systems is considered as a marginal task in the industry and it is observed that most of the time, the set of HI is defined too late and only in a qualitative way. In this paper, the authors propose a novel development methodology for PHM systems centered on an anticipated model-based validation of HI. This validation is based on the use of uncertainties propagation to simulate the distributions of HI including the randomness of parameters. The paper defines also some performance metrics and criteria for the validation of the HI set. Eventually, the methodology is applied to the development of a PHM solution for an aircraft engine actuation loop. It reveals a lack of performance of the original set of HI and allows defining new ones in order to meet the specifications before the entry into service

Methods in Psychological Research

Psychologists collect empirical data with various methods for different reasons. These diverse methods have their strengths as well as weaknesses. Nonetheless, it is possible to rank them in terms of different critieria. For example, the experimental method is used to obtain the least ambiguous conclusion. Hence, it is the best suited to corroborate conceptual, explanatory hypotheses. The interview method, on the other hand, gives the research participants a kind of emphatic experience that may be important to them. It is for the reason the best method to use in a clinical setting. All non-experimental methods owe their origin to the interview method. Quasi-experiments are suited for answering practical questions when ecological validity is importa