Formal verification of automotive embedded UML designs by Bahig, Ghada

“…Requirements are captured in the UML design and compiled automatically into theorems. Model Checkers are run against the compiled formal model and theorems to detect counterexamples that violate the requirements in the UML model. …”
Get full text
Get full text

Risk-based interruption cost index based on customer and interruption parameters by Dzobo, Oliver

Get full text

Novel techniques in large scaleable ATM switches by Lawrence, M.A.

Get full text

Validation and verification of FLUKA for neutron shielding problems by Dondolo, Petrus

“…However, to test their reliability, it is important to verify the simulation codes by comparing them with experimental data. …”
Get full text

Assessment of the behaviour factor for the seismic design of reinforced concrete structural walls according to SANS 10160 : part 4 by Spathelf, Christian Alexander

Get full text

Imposed loads for inaccessible roofs of light industrial steel buildings by De Villiers, Pieter Jacobus

Get full text

Inventory management under uncertainty : a military application

Get full text
Get full text

Cost of Electricity Interruption to Commercial and Industrial End-Users by Akpeji, Kingsley Oladipo

“…All three models were applied in an assessment of reliability worth indices for a case study distribution system to demonstrate the practical application of the cost data. …”
Get full text

Assessment Of Risk Priority Number Of 2.5 Mw Polycrystalline Silicon Photovoltaic Power Plant At Navrongo, Ghana In Sub-Sahara Africa. by ALHASSAN SULLAIMAN

Get full text

ON sectored sensor to actuator networked control systems architectures with fault tolerance at the sensor level by ElMaraashly, Rana Hassan

“…A reliability analysis is thus conducted to evaluate the reliability of each block in the system and then the overall system reliability. …”
Get full text
Get full text

Numerical evaluation (FEA) of end stop impact forces for a crane fitted with hydraulic buffers by Idowu,Ifeolu Mobolaji

Get full text

Efficient redundancy in wired and wireless S2A architectures for NCS by Toubar, Medhat Medhat

“…It is first shown that this NCS succeeds in meeting all control system requirements (zero packet loss and bounded end-to-end delay). Reliability models are then developed to help designers choose the appropriate mix of fault-tolerant techniques in order to maximize lifetime while at the same time minimizing the extra cost due to the added redundancy.…”
Get full text
Get full text

Impact assessment of large-scale penetration of permanent magnet synchronous generators on power quality by Ntsadu, Ntlahla

“…Despite these disadvantages, the grid code requires that PMSGs stay connected to the grid even under grid disturbances. …”
Get full text

Assessing the sensitivity to climate change of the Berg River Voelvlei abstraction system, Western Cape Province, South Africa by Rabakali, Takalani

“…(2) How will the water available for abstraction change in the future under CC scenarios, and what are the implications of these changes for the reliability of the BRVAS? An abstraction model was set up in Excel that used historical streamflow (G1H020-Daljosafat streamflow gauge) and projected river flow data as input. …”
Get full text

The influence of transformational leadership, emotional intelligence, trust, meaning and intention to quit on organisational citizenship behaviour by Schlechter, Anton Francois

Get full text

Exploratory research into IT's support of organisational agility : concept development and pilot testing of an assessment instrument by Stringer, Lance

Get full text

Numerical (FEA) evaluation of crane end buffer impact forces by Haas, Trevor Neville

Get full text