Search results for "Requirement"
showing 10 items of 254 documents
Mulighetskartlegging for kystbaserte næringer i Agder
2017
I Agder er det et sterkt ønske fra kystkommunene om å tilrettelegge for blå vekst i regionen, men for å realisere dette målet er det behov for faktisk kunnskap om hvilke muligheter havet gir – og utelukker – langs hele Agder-kysten. En slik kartlegging vil være et viktig beslutningsgrunnlag for utvikling av næring knyttet til marin sektor i regionen. Dette danner bakgrunnen for prosjektet «Mulighetskartlegging for kystbaserte næringer i Agder» som er gjennomført i samarbeid mellom NIVA og Havforskningsinstituttet. Målet med prosjektet har vært å (1) Kartlegge naturgitte næringsmuligheter innenfor marin sektor langs Agderkysten, (2) Formidle kunnskap om hvilke muligheter havet gir – og utelu…
Verification of JADE Agents Using ATL Model Checking
2015
It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to the specifications. In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered as natural models for compositions of open systems. In development of the proposed solution, we will use our original ATL model checker. In contrast to previous approaches, our tool permits an interactive or programma…
Dimension enrichment with factual data during the design of multidimensional models: application to bird biodiversity
2015
20 pages; International audience; Data warehouses (DW) and OLAP systems are technologies allowing the on-line analysis of huge volume of data according to decision-makers’ needs. Designing DW involves taking into account functional requirements and data sources (mixed design methodology) [1]. But, for complex applications, existing automatic design methodologies seem inefficient. In some cases, decision-makers need querying, as a dimension, data which have been defined as facts by actual automatic mixed approachs. Therefore, in this paper, we offer a new mixed refinement methodology relevant to constellation multidimensional schema. The proposed methodolgy allows to decision-makers to enric…
LifeRescue Software Prototype for Supporting Emergency Responders During Fire Emergency Response: A Usability and User Requirements Evaluation
2017
For an efficient emergency response, emergency responders (ERs) should exchange information with one another to obtain an adequate understanding and common operational picture of the emergency situation. Despite the current developments on information systems, many ERs are unable to get access to the relevant information as the data is heterogeneous and distributed at different places and due to security and privacy barriers. As a result, ERs are unable to coordinate well and to make good decisions. Therefore, to overcome these difficulties, a web-based application called LifeRescue was developed for supporting easy information access during emergency search and rescue operation. The goal o…
Ontology and goal model in designing BDI multi-agent systems
2013
Nowadays several methodological approaches exist, each of them tightly tied up with the implementation platform supporting it. In this paper we propose an intermediate step toward the definition of a methodological approach for supporting the JACAMO framework. This paper resumes a previous work, focused on modeling BDI organizations, and we now address the requirements analysis phase. In particular, we propose the use of an ontological model and a goal model for representing requirements and the domain formalization respectively. The two portions of design process are connected by a heuristic process that allows to extract goals from the ontological model. The resulting models are also used…
Ecosystem Architecture Management in the Public Sector : From Problems to Solutions
2019
Based on our research concerning enterprise architecture (EA) in the Finnish public sector, we discuss how EA concept and tool need to be developed to support government business ecosystem and organization design. Our research context indicates, beyond a federal government or a state one, that even a single municipality, like a city concern, can be perceived as an ecosystem of its sectoral domains, subsidiaries and such. We outline a vision of an overall ontology-based, shared EA repository for the-whole-of-government current state descriptions and specify the central design principles and functional requirements for such a system, illustrating some potential use cases of it. Based on inter…
Towards a More Sustainable City: The Role of the Daylight Factor in Evaluating the Energy Requirements of Buildings
2018
The Daylight factor is the reference parameter used in Energy Standard EN15193:2008 to assess daylight contribution in the energy performance of buildings. But its efficacy in putting in relation buildings energy performance, daylight availability and visual tasks is now a subject of discussion in literature. In fact, the daylight factor is a static indicator independent from building geometry and environmental parameters. From the energy point of view, it has still to be assessed if it can ensure when the switch of artificial light is needed, representing therefore the most disadvantageous outdoor illuminance conditions. The goal of this study is demonstrating if the daylight factor calcul…
Tailored retrieval of health information from the web for facilitating communication and empowerment of elderly people
2020
A patient, nowadays, acquires health information from the Web mainly through a “human-to-machine” communication process with a generic search engine. This, in turn, affects, positively or negatively, his/her empowerment level and the “human-to-human” communication process that occurs between a patient and a healthcare professional such as a doctor. A generic communication process can be modelled by considering its syntactic-technical, semantic-meaning, and pragmatic-effectiveness levels and an efficacious communication occurs when all the communication levels are fully addressed. In the case of retrieval of health information from the Web, although a generic search engine is able to work at…
Provision of tailored health information for patient empowerment: An initial study
2019
Search of "right" health information by patients/citizens is an important step towards their empowerment. The number of health information seekers on the Internet is steadily increasing over the years so it is crucial to understand their information needs and the challenges they face during the search process. However, generic search engines do not make any distinction among the users and overload them with the amount of information. Moreover, specific search engines/sites mostly work on medical literature and are built by hand. This paper analyses the possibility of providing the user with tailored web information by exploiting the web semantic capabilities and, in particular, those of sch…
Lipid content and essential fatty acid (EFA) composition of mature Congolese breast milk are influenced by mothers' nutritional status: Impact on inf…
1998
To measure the lipid content and the fatty acid (FA) composition of breast milk as part of a nutritional survey of the essential fatty acid (EFA) status of 5 months old Congolese infants.Cross sectional nutrition survey.A suburban district of Brazzaville (capital of the Congo).A random sample of nursing mothers and their 5 months old infants (n = 102). Data collection procedures: The mothers were questioned on their socio-economic status, dietary habits, and their body mass index (BMI) was measured. Breast milk samples were collected from each mother. Milk lipid content and fatty acid composition were determined.Compared with milk from various countries, Congolese women's mature breast milk…