Search results

In modern integrated modular avionics (IMA), it plays an important role to guarantee safety and reliability of the system. The safety and reliability of communication scheduling plays a crucial role in this IMA platforms-based network system. To verify the safety and reliability of the communication scheduling in this network, sufficient and typical test data must be generated to input into the network, obtain and evaluate the corresponding output.

To generate communication scheduling data, this paper presents an iterative communication scheduling data generation algorithm for a configured network of IMA platforms. First, the algorithm generates all possible communication schedules for the first timestamp. Then, constraint is introduced to decrease the quantity of communication schedules to improve the efficiency. The communication schedules are gradually extended to the second timestamp until the final timestamp, i.e. length of communication scheduling sequence.

To verify the efficiency and feasibility of the algorithm, a model is built based on the architecture analysis and design language (AADL) by mapping the correlation time of generated communication scheduling data into task properties. Schedulability is analyzed by loading this model into AADL Inspector. The simulation result illustrates that the proposed algorithm is efficient and feasible.

The proposed method can provide data support for communication scheduling test for the network of IMA platforms.

A constraint-based iterative communication scheduling data generation algorithm is proposed for the network of IMA platforms automatically.

Based on a formalization of the 1981 constitutional negotiation in Canada, this article analyses the impact of procedural constraints on collective decisions. Four procedural constraints are considered: voting procedures, voting rules, decision rules, and the order of presentation of options to the vote. Sincere voting (voting according to a voter's preference scale), complete information, and free communication are assumed in the first part of the analysis. The assumption of sincere voting is relaxed in the second part where strategic voting is considered The analysis shows that (1) a collective decision is determined by some interaction of voters' preferences, procedural constraints, and voting strategies, and (2) procedural constraints can be ordered in terms of their relative impact on the collective decision (in decreasing order: decision rules, voting rules, order of presentation, voting procedures). In the conclusion, a general model of the determination of collective decisions is presented.

This purpose of this paper is to identify the travel constraints faced by retired travelers and the influence that becoming old in the 21st century exerts on the erection of travel barriers.

This research relies on a qualitative approach and the narrative analysis of 15 transcribed interviews with retired adults between the ages of 60 and 85 years. It uses the typology from the hierarchical leisure constraints model to identify and classify the travel constraints faced by older adults today.

Interviews with retired respondents led to the identification of 10 categories of travel constraints. The results confirm the specific influence of advancement in age and the need to reinterpret known constraints in the context of ageing today.

This paper contributes to the understanding of the travel constraints faced by retired adults today. It reveals the necessity to take the influence of ageing today into account to fully understand travel constraints for the current generations of retired travelers.

This paper provides recommendations to help practitioners and social policy makers overcome the barriers that prevent retired adults from travelling.

This research helps to understand the constraints faced by retired adults when they wish to travel and provides recommendations on how to overcome them, thus contributing to helping retired adults optimize their travel potential and reap the health and wellness benefits associated with traveling.

This research identifies the specific constraints faced by retired adults today and presents them in a clear and readable format of constraint categories. It extends the existing research on older consumers, marketing and tourism.

The purpose of this paper is to develop a distributed task allocation method for cooperative mission planning of multiple heterogeneous unmanned aerial vehicles (UAVs) based on the consensus algorithm and the online cooperative strategy.

In this paper, the allocation process is conducted in a distributed framework. The cooperative task allocation problem is proposed with constraints and uncertainties in a real mission. The algorithm based on the consensus algorithm and the online cooperative strategy is proposed for this problem. The local chain communication mode is adopted to restrict the bandwidth of the communication link among the UAVs, and two simulation tests are given to test the optimality and rapidity of the proposed algorithm.

This method can handle both continuous and discrete uncertainties in the mission space, and the proposed algorithm can obtain a feasible solution in allowable time.

This study is only applied to the case that the total number of the UAVs is less than 15.

This study is expected to be practical for a real mission with uncertain targets.

The proposed algorithm can go beyond previous works that only deal with continuous uncertainties, and the Bayesian theorem is adopted for estimation of the target.

This essay examines the broad thesis of organizational learning theorist Chris Argyris in terms of communicative action, and finds his critical understanding of Model I and the emancipatory potential embedded in double‐loop learning consistent with prominent themes in critical organization study.

This paper investigates the use of process redesign tools and techniques in education. We argue that process thinking is an important strategy for improving education. An adaptation of business process redesign to learning is presented by integrating together concepts from educational theory, computer mediated communication, and business process redesign. Three conventional educational processes ‐ questioning, discussion, and document exchange ‐ are analyzed and redesigned with electronic mail, bulletin board, and World Wide Web technologies. The characteristics of each technology and its potential for process redesign are outlined. The results of an exploratory case study show that learning process redesign is viable and can impact ON educational outcomes. We conclude with suggestions for future research.

The purpose of this paper is to demonstrate the innovative application of an Appreciative Inquiry (AI) approach for the design and implementation of organizational stress management interventions, alongside a case study of the successful design and implementation of the approach. By utilizing the AI methodology to develop a “local stress theory” for the participating organization, the authors propose a model which can be utilized in other similar organizations.

Stage 1: 35 participants completed up to ten daily logs by answering four positively framed questions regarding their working day. Stage 2: semi-structured interviews (n=13). The interview schedule was designed to further elaborate log findings, and begin looking into feasible organizational changes for improvement of stress. Stage 3: two focus groups (Stage 3, total 13 employees) verified interventions from logs and interviews and discuss how these can be implemented.

The log phase identified two key themes for improvement: managerial/organizational support and communication. From these, interviews and focus groups led to workable proposals for simple but likely effective changes. The authors reported findings to management, emphasizing organizational change implementation, and these were subsequently implemented.

The study demonstrated the effectiveness of AI to identify and implement relatively simple but meaningful changes. The AI cycle was completed but allocating lengthy follow-up time for evaluation of outcomes was not possible, although initial responses were favorable. There are also issues of generalizability of the findings.

This is the among first studies to utilize an AI approach for the design of stress management interventions.

Research of existing literature reveals some models (sequence of steps) for companies that want to plan distribution channels. None of these models uses strong contributions from transaction cost economics, bringing a possibility to elaborate on a “distribution channels planning model”, with these contributions and organizing the steps according to a sequence that would be useful for companies when reviewing the distribution process. This sequence was refined through in‐depth interviews with companies. Presents the final version of our model incorporating the results from the interviews.

This paper presents M-PoP, a method to model large, complex, and dynamic business processes. These processes have sometimes resulted from alliances of organizations (i.e. joint ventures and mergers and acquisitions) and are referred to as Processes-of-Business Processes (PoP). Due to the difficulty of modeling these dynamic processes, alliances of organizations have often lost opportunities, competitiveness, and profitability, so requiring suitable modeling methods.

The authors proposed M-PoP that can model PoP through three views in different abstraction levels and using well-known techniques in industry and academia, mainly those from Business Process Model and Notation (BPMN). For this, M-PoP presents three main steps: identification of PoP elements, modeling of PoP, and verification of PoP models. To evaluate M-PoP, we applied it in a real-world business process in the health domain.

The evaluation results point out the capability and viability of M-PoP to deal with dynamic business processes.

M-PoP still needs to be applied in various real-world scenarios to gather evidence of its productivity, efficiency, and scalability.

This novel method could change the way organizations model their business processes and, as a consequence, it could leverage strategic business opportunities.

M-PoP is the first method that makes it possible to model large and complex business processes and, most importantly, dynamic processes.