Skip to main content

Research Repository

Advanced Search

Outputs (830)

GN-DTD: Graphical notation for describing XML documents (2010)
Presentation / Conference Contribution
Zainol, Z., & Wang, B. (2010, April). GN-DTD: Graphical notation for describing XML documents. Presented at 2nd International Conference on Advances in Databases, Knowledge, and Data Applications, DBKDA 2010

This paper presents a graphical approach to model XML documents based on a Data Type Documentation called Graphical Notations-Data Type Documentation (GN-DTD). GN-DTD allows us to capture syntax and semantic of XML documents in a simple way but preci... Read More about GN-DTD: Graphical notation for describing XML documents.

Regular lattice and small-world spin model simulations using CUDA and GPUs (2010)
Journal Article
Hawick, K. A., Leist, A., & Playne, D. P. (2011). Regular lattice and small-world spin model simulations using CUDA and GPUs. International Journal of Parallel Programming, 39(2), 183-201. https://doi.org/10.1007/s10766-010-0143-4

Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over evenmulti-coreCPUs for lattice-oriented applications in computational physics. Models such as the Ising and Potts models... Read More about Regular lattice and small-world spin model simulations using CUDA and GPUs.

A translation of state machines to temporal fault trees (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010, June). A translation of state machines to temporal fault trees. Presented at 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W)

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or c... Read More about A translation of state machines to temporal fault trees.

Cognitive architectures for affect and motivation (2010)
Journal Article
Davis, D. N. (2010). Cognitive architectures for affect and motivation. Cognitive Computation, 2(3), 199-216. https://doi.org/10.1007/s12559-010-9053-4

General frameworks of mind map across tasks and domains. By what means can a general architecture know when it has adapted to a specific task, a particular environment or a specific state of a previously known environment? Our current work on this th... Read More about Cognitive architectures for affect and motivation.

Robo-CAMAL: A BDI Motivational Robot (2010)
Journal Article
Davis, D., & Gwatkin, J. (2010). Robo-CAMAL: A BDI Motivational Robot. Paladyn, 1(2), 116-129. https://doi.org/10.2478/s13230-010-0010-4

Motivation is a central concept in the development of autonomous agents and robots. This paper describes an architecture that uses a psychological BDI model of reasoning, combined with a distributed multi-level model of motivation. The robot controll... Read More about Robo-CAMAL: A BDI Motivational Robot.

Specification and use of component failure patterns (2010)
Thesis
Wolforth, I. P. Specification and use of component failure patterns. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4211022

Safety-critical systems are typically assessed for their adherence to specified safety properties. They are studied down to the component-level to identify root causes of any hazardous failures. Most recent work with model-based safety analysis has f... Read More about Specification and use of component failure patterns.

Beyond desktop point and click: Immersive walkthrough of aerospace structures (2010)
Presentation / Conference Contribution
Courter, D., Springer, J. P., Neumann, C., Cruz-Neira, C., & Reiners, D. (2010, March). Beyond desktop point and click: Immersive walkthrough of aerospace structures. Presented at 2010 IEEE Aerospace Conference, Big Sky, MT, USA

There are a number of 3D applications that have shown the benefits of using visualization techniques for virtual prototyping and education in aerospace engineering. However,these applications typically run only on desktop computers and user interacti... Read More about Beyond desktop point and click: Immersive walkthrough of aerospace structures.

Generalizable safety annotations for specification of failure patterns (2010)
Journal Article
Papadopoulos, Y., Walker, M., Grunske, L., & Wolforth, I. (2010). Generalizable safety annotations for specification of failure patterns. Software: Practice and Experience, 40(5), 453-483. https://doi.org/10.1002/spe.966

Components in programmable systems often exhibit patterns of failure that are independent of function or system context. In this paper, we show that it is possible to capture, and reuse where appropriate, such patterns for the purposes of system safe... Read More about Generalizable safety annotations for specification of failure patterns.

Reliable decentralized supervisory control of fuzzy discrete event systems (2010)
Journal Article
Wang, F., Feng, Z., & Jiang, P. (2010). Reliable decentralized supervisory control of fuzzy discrete event systems. Fuzzy Sets and Systems, 161(12), 1657-1668. https://doi.org/10.1016/j.fss.2010.02.002

Decentralized supervisory control has been introduced to deal with a class of fuzzy discrete event systems (DES) in which state transitions are uncertain. In this paper, we develop the work on fuzzy DES to consider the reliable decentralized supervis... Read More about Reliable decentralized supervisory control of fuzzy discrete event systems.

Multi-objective optimisation of safety-critical hierarchical systems (2010)
Thesis
Parker, D. (. J. Multi-objective optimisation of safety-critical hierarchical systems. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4209821

Achieving high reliability, particularly in safety critical systems, is an important and often mandatory requirement. At the same time costs should be kept as low as possible. Finding an optimum balance between maximising a system's reliability and m... Read More about Multi-objective optimisation of safety-critical hierarchical systems.