The Experts below are selected from a list of 6471 Experts worldwide ranked by ideXlab platform
Kenji Ohmori - One of the best experts on this subject based on the ideXlab platform.
-
development of functional reactive programming using an incrementally modular Abstraction Hierarchy
International Conference on IT Convergence and Security ICITCS, 2015Co-Authors: Kenji OhmoriAbstract:The incrementally modular Abstraction Hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functional programming. In this work, this was done by using the Netwire programming library to implement functional reactive programming in the language Haskell, which is based on category theory. We developed the incrementally modular Abstraction Hierarchy (IMAH) to introduce a modern mathematical method for developing computer games in Netwire and demonstrated that IMAH is capable of facilitating the design and implementation of this challenging but difficult application area.
-
ICITCS - Development of Functional Reactive Programming Using an Incrementally Modular Abstraction Hierarchy
2015 5th International Conference on IT Convergence and Security (ICITCS), 2015Co-Authors: Kenji OhmoriAbstract:The incrementally modular Abstraction Hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functional programming. In this work, this was done by using the Netwire programming library to implement functional reactive programming in the language Haskell, which is based on category theory. We developed the incrementally modular Abstraction Hierarchy (IMAH) to introduce a modern mathematical method for developing computer games in Netwire and demonstrated that IMAH is capable of facilitating the design and implementation of this challenging but difficult application area.
-
Incrementally Modular Abstraction Hierarchy Using Algebraic Topology
Transactions on Computational Science XXIII, 2014Co-Authors: Kenji Ohmori, Tosiyasu L. KuniiAbstract:We have introduced a new design method called incrementally modular Abstraction Hierarchy (IMAH). IMAH is based on algebraic topology and it provides seven levels of Abstraction Hierarchy. Using IMAH, designers can begin their development at any level of the Abstraction Hierarchy. By ascending the Hierarchy, they can generalize their design. By descending it, they can specialize their development. When complete, they are able to consider the entire conceptual and physical view of what they have achieved through their work. Though IMAH is a powerful tool, it requires only a simple explanation to be accepted by most researchers and developers. In this paper, we will use basic mathematical concepts, pushouts and pullbacks, to show how systems can be designed in both bottom-up and top-down fashions.
-
lego robot design using incrementally modular Abstraction Hierarchy
Modeling Identification and Control, 2013Co-Authors: Kenji OhmoriAbstract:Incrementally Modular Abstraction Hierarchy (IMAH) is a new design method that consists of Abstraction levels starting from the most general level and ending at the most specific one. IMAH is a common method that can be applied to wide variety of application areas. In this paper, IMAH is applied to an embedded system that is implemented as a concurrent system. In a concurrent system, each component of the system is regarded as an agent. The agents in the system cooperate with each other to achieve required services. This paper describes the design of the concurrent system that is theoretically supported by IMAH while avoiding logical faults. The design of a LEGO robot is carried out by descending the Abstraction Hierarchy, where the specification is transformed to components, state transition diagram, the description of communicating sequential processes (CSP) and program codes. When descending the
-
Visualization of Joinery Using Homotopy Theory and Attaching Maps
Transactions on Computational Science XVI, 2012Co-Authors: Kenji Ohmori, Tosiyasu L. KuniiAbstract:Visualization plays an important role to understand complicated phenomena. Joinery is complicated combination of woods. The mechanism of joinery, in particular the difference between the tenon-mortise and lap joints, is analyzed using homotopy theory. Then, designing a simple house is visually described using the incrementally modular Abstraction Hierarchy that starts from the homotopy level and ends at the physical level. At the cellular structured level that plays an important role in design, the frame represented by a fundamental group of homotopy theory is transformed into CW-complex consisting of cells, where the concept model is transferred to the physical model. Visualization of designing joinery is realized at each level of the Abstraction Hierarchy to help a designer understand joinery intuitively.
Tosiyasu L. Kunii - One of the best experts on this subject based on the ideXlab platform.
-
Incrementally Modular Abstraction Hierarchy Using Algebraic Topology
Transactions on Computational Science XXIII, 2014Co-Authors: Kenji Ohmori, Tosiyasu L. KuniiAbstract:We have introduced a new design method called incrementally modular Abstraction Hierarchy (IMAH). IMAH is based on algebraic topology and it provides seven levels of Abstraction Hierarchy. Using IMAH, designers can begin their development at any level of the Abstraction Hierarchy. By ascending the Hierarchy, they can generalize their design. By descending it, they can specialize their development. When complete, they are able to consider the entire conceptual and physical view of what they have achieved through their work. Though IMAH is a powerful tool, it requires only a simple explanation to be accepted by most researchers and developers. In this paper, we will use basic mathematical concepts, pushouts and pullbacks, to show how systems can be designed in both bottom-up and top-down fashions.
-
Visualization of Joinery Using Homotopy Theory and Attaching Maps
Transactions on Computational Science XVI, 2012Co-Authors: Kenji Ohmori, Tosiyasu L. KuniiAbstract:Visualization plays an important role to understand complicated phenomena. Joinery is complicated combination of woods. The mechanism of joinery, in particular the difference between the tenon-mortise and lap joints, is analyzed using homotopy theory. Then, designing a simple house is visually described using the incrementally modular Abstraction Hierarchy that starts from the homotopy level and ends at the physical level. At the cellular structured level that plays an important role in design, the frame represented by a fundamental group of homotopy theory is transformed into CW-complex consisting of cells, where the concept model is transferred to the physical model. Visualization of designing joinery is realized at each level of the Abstraction Hierarchy to help a designer understand joinery intuitively.
-
Designing and modeling cyberworlds using the incrementally modular Abstraction Hierarchy based on homotopy theory
The Visual Computer, 2010Co-Authors: Kenji Ohmori, Tosiyasu L. KuniiAbstract:For designing and modeling complicated and sophisticated systems such as cyberworlds, their mathematical foundation is critical. To realize it, two important properties called the homotopy lifting property (HLP) and homotopy extension property (HEP) are applied for designing and modeling a system in a bottom-up way and a top-down way, respectively. In this paper, an enterprise system and a real-time embedded system are considered as important socially emerging cases of cyberworlds, where the π -calculus processes for describing these behaviors formally, a Petri net for explaining process interactions, and XMOS XC programs are modeled and designed by our approach. The spaces in both properties are specified by the incrementally modular Abstraction Hierarchy by climbing down the Abstraction Hierarchy from the most abstract homotopy level to the most specific view level, while keeping invariants such as homotopy equivalence and topological equivalence.
-
An example of a tracking function using the cellular data system
2010Co-Authors: Toshio Kodama, Tosiyasu L. Kunii, Yoichi SekiAbstract:In the era of cloud computing, where data and data dependencies constantly change, a mechanism within system development that can correspond to those changes in user requirements is needed. The Incrementally Modular Abstraction Hierarchy (IMAH) offers the most appropriate mathematical background to model dynamically changing information worlds by descending from the abstract level to the specific, while preserving invariants. In this paper, we have applied the Cellular Data System (CDS), based on IMAH, to the development of core logic for a budget tracking function, and verified that using CDS makes the data modeling simpler.
-
CW - Mathematical Foundation for Designing and Modeling Cyberworlds
2009 International Conference on CyberWorlds, 2009Co-Authors: Kenji Ohmori, Tosiyasu L. KuniiAbstract:For designing and modeling complicated and sophisticated systems such as cyber worlds, their mathematical foundation is critical. To realize it, two important properties called the homotopy lifting property and homotopy extension property are applied for designing and modeling a system in a bottom-up way and a top-down way, respectively. Activities of Internet Company are described by $\pi$-calculus processes and a Petri net which are derived from system requirements in a bottom-up way and a top-down way using the homotopy lifting property and the homotopy extension property. Entities in both properties are specified by the incrementally modular Abstraction Hierarchy by climbing down the Abstraction Hierarchy from the most abstract homotopy level to the most specific view level, while keeping invariants such as homotopy equivalence or topological equivalence.
Qiming Chen - One of the best experts on this subject based on the ideXlab platform.
-
a structured approach for cooperative query answering
IEEE Transactions on Knowledge and Data Engineering, 1994Co-Authors: Wesley W Chu, Qiming ChenAbstract:This paper proposes the use of a type Abstraction Hierarchy as a framework for deriving cooperative query answers. The type Abstraction Hierarchy integrates the Abstraction view with the subsumption (is-a) and composition (part-of) views of a type Hierarchy. Such a framework provides multilevel object representation, which is an important aspect of cooperative query answering. The concept of pattern that specifies one or more conditions on an object is also proposed. Patterns have smaller granularity than types, and thus provide more specific semantic information. Cooperative query answering consists of query relaxation, generalization, specialization, and association on patterns. Query relaxation can be explicitly specified by the user or implicitly performed by the system. The implicit and explicit relaxations can also be combined and performed interactively by both the system and the user. CSQL, an extension of SQL for cooperative query answering, is also proposed. Preliminary experimental results reveal that the proposed type Abstraction Hierarchy provides an organized structure representing concepts at different knowledge levels in various domains, and provides a systematic and efficient method for cooperative query answering. >
-
cooperative query answering via type Abstraction Hierarchy
1991Co-Authors: Wesley W Chu, Qiming Chen, Reichi LeeAbstract:Cooperative query answering consists of analyzing the intent of the query and providing generalized, neighborhood or associated information relevant to the query. The key issues to accomplish cooperative query answering consist of supporting different knowledge representations at different abstract levels and providing inference between these levels. In this paper the Type Abstraction Hierarchy is proposed which is characterized by dealing with subtyping from subsumption, composition, and also Abstraction views. Based on the type Abstraction feature provided by this model, an inference technique for cooperative query answering is developed. Such an inference is performed by abstracting and refining the goal to generalize and specialize the query scope and to derive relevant answers with different generality, coverage, and approximation, or to link related subjects at certain levels by using different representations of knowledge given at different levels. A prototype system has been implemented at UCLA that demonstrates the use of this approach for such decision making and problem solving applications as conceptual query processing, neighborhood inference, and subject association.
Kim J. Vicente - One of the best experts on this subject based on the ideXlab platform.
-
Toward theory-driven, quantitative performance measurement in ergonomics science: The Abstraction Hierarchy as a framework for data analysis
Theoretical Issues in Ergonomics Science, 2002Co-Authors: Elfreda Lau, Kim J. Vicente, Michael W. CarterAbstract:Measurement in ergonomics science has not kept pace with theorizing. As a result, it is rare to find measures of human performance that are simultaneously objective, quantitative, sensitive, and theoretically grounded. This article proposes a new set of measures, based on the Abstraction Hierarchy (AH) framework, that satisfies all of these criteria. Each level of the AH can be used to define a quantitative state space that can serve as a frame of reference for objective measurement. These state spaces are complementary because they provide different views of the same human-environment behaviour. Collectively, this set of measures can be used to determine if a participant is strongly or weakly coupled to functional or physical distal properties of the work domain. Data from a longitudinal study are used as a case study to test the value of these novel measures. The empirical results show that these AH-based measures provide unique insight into participants' behaviour that was not revealed by many, more tr...
-
Model-Based Approaches for Analyzing Cognitive Work: A Comparison of Abstraction Hierarchy, Multilevel Flow Modeling, and Decision Ladder Modeling
International Journal of Cognitive Ergonomics, 2001Co-Authors: Catherine M. Burns, Kim J. VicenteAbstract:Model-based approaches to cognitive task analysis rely on abstracting from the problem domain, rather than a description of task performance. Various classes of work analysis models can be distinguished: task models, work domain structure models, and work domain goal models. In this article, we discuss 3 specific model-based approaches: the Abstraction Hierarchy (AH), Multilevel Flow Modeling (MFM), and the Decision Ladder (DL). The AH creates a model of the work domain structure, MFM of work domain goals, and DL of actor tasks. The 3 approaches are compared in the context of a common example-that of a power plant boiler-to show clearly the differences among the 3 classes of techniques.
-
Wanted: psychologically relevant, device- and event-independent work analysis techniques
Interacting with Computers, 1999Co-Authors: Kim J. VicenteAbstract:Abstract This article offers a commentary on Richardson, Ormerod, and Shepherd (in press) while building on the previous discussion in this journal of the relative merits of task analysis and systems analysis in human–computer interface design [1] , [2] , [7] . The SGT scheme described by Richardson et al. represents a valuable contribution to the work analyst’s toolkit. However, it is limited in the extent to which it can identify the information requirements associated with unanticipated events. The Abstraction Hierarchy [23] is an event-independent work domain analysis technique that can be used to overcome this limitation while still satisfying the criteria of device-independence and psychological relevance. Future research should integrate the complementary advantages of SGT and the Abstraction Hierarchy into a single, unified framework for work analysis.
-
Advancing Performance Measurement in Cognitive Engineering: The Abstraction Hierarchy as a Framework for Dynamical Systems Analysis
Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 1998Co-Authors: Elfreda Lau, Kim J. Vicente, Michael W. CarterAbstract:This paper describes a novel approach to performance measurement that is based on the Abstraction Hierarchy (AH) and dynamical systems theory (DST). Each level in the AH provides a systematic way of identifying a state space that can be used to conduct complementary DST analyses. This approach was applied to data from a longitudinal experiment that measured subjects' performance in interacting with a process control microworld simulation on a quasi-daily basis over a period of six months. The variability in trajectories at each level of the AH was examined over successive blocks of trials. The analyses at different levels revealed complementary insights into subjects' behavior. Collectively, the results provided objective, quantitative evidence that highly experienced and very proficient subjects were actually performing the task using very different strategies. Thus, integration of the AH and DST provides a novel measurement approach that can reveal unique and important insights into performance.
-
Attention Allocation within the Abstraction Hierarchy
Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 1997Co-Authors: Michael E. Janzen, Kim J. VicenteAbstract:Previous research has shown that Rasmussen's Abstraction Hierarchy, which consists of both physical and functional system models, provides a useful basis for interface design for complex human?machine systems. However, very few studies have quantitatively analysed how people allocate their attention across levels of Abstraction. This experiment investigated the relationship between attention allocation strategies and performance on a thermal-hydraulic process simulation. Subjects controlled the process during both normal and fault situations for about an hour per weekday for approximately one month. All subjects used a multi-level interface consisting of four separate windows, each representing a level of the Abstraction Hierarchy. Subjects who made more frequent use of functional levels of information exhibited more accurate system control under normal conditions, and more accurate diagnosis performance under fault trials. Moreover, subjects who made efficient use of functional information exhibited faster fault compensation times. In contrast, subjects who made infrequent or inefficient use of functional information exhibited poorer performance on both normal and fault trials. These results provide some initial, specific evidence of the advantages of an Abstraction Hierarchy interface over more traditional interfaces that emphasize physical rather than functional information.
Thong Quoc Nguyen - One of the best experts on this subject based on the ideXlab platform.
-
Modeling Abstraction Hierarchy Levels of the Cyber Attacks Using Random Process
Open Journal of Statistics, 2017Co-Authors: Gilles Durrieu, Emmanuel Frénod, Thierry Morineau, Thong Quoc NguyenAbstract:Aspects of human behavior in cyber security allow more natural security to the user. This research focuses the appearance of anticipating cyber threats and their Abstraction Hierarchy levels on the mental picture levels of human. The study concerns the modeling of the behaviors of mental states of an individual under cyber attacks. The mental state of agents being not observable, we propose a non-stationary hidden Markov chain approach to model the agent mental behaviors. A renewal process based on a nonparametric estimation is also considered to investigate the spending time in a given mental state. In these approaches, the effects of the complexity of the cyber attacks are tak-en into account in the models.
-
Modeling Abstraction Hierarchy Levels of the Cyber Attacks Using Random Process
Open Journal of Statistics, 2017Co-Authors: Gilles Durrieu, Emmanuel Frénod, Thierry Morineau, Thong Quoc NguyenAbstract:International audienceAspects of human behavior in cyber security allow more natural security to the user. This research focuses the appearance of anticipating cyber threats and their Abstraction Hierarchy levels on the mental picture levels of human. The study concerns the modeling of the behaviors of mental states of an individual under cyber attacks. The mental state of agents being not observable, we propose a non-stationary hidden Markov chain approach to model the agent mental behaviors. A renewal process based on a nonparametric estimation is also considered to investigate the spending time in a given mental state. In these approaches, the effects of the complexity of the cyber attacks are tak-en into account in the models
