We present an approach for producing oracles from TLA (temporal logic of action) specification of a system. Such oracles are useful, for monitoring purposes, to detect temporal faults by checking a running implementat...
详细信息
We present an approach for producing oracles from TLA (temporal logic of action) specification of a system. Such oracles are useful, for monitoring purposes, to detect temporal faults by checking a running implementation of a system against a verified behavioral model. We use the Ben-Ari classical incremental garbage collection algorithm for illustration.
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CARREL...
详细信息
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in an agent-based platform called CARREL. It is an agent-agency which mediates organ transplants. We present two possible ways to infer the stable and preferred extensions of an argumentation framework, one in a declarative way using answer set programming (ASP) and the other one in a procedure way.
In this paper, we present the computational model of an agent for CSCL environments, based on the answer set programming (ASP) formalism. The complete model is formally presented in the declarative language of DLV, a ...
详细信息
In this paper, we present the computational model of an agent for CSCL environments, based on the answer set programming (ASP) formalism. The complete model is formally presented in the declarative language of DLV, a system for implementing ASP models. We propose a representation schema for the agent's beliefs about the learner and the domain, together with the corresponding inference system with the appropriate rules to derive new beliefs about the capabilities of the learner, and its use in order to support effective collaboration and maintain learning possibilities for the group members. The model proposed provides a representation of the structural knowledge frontier and the social knowledge frontier of the learner, which are the components for the definition of the learner's zone of proximal development (ZPD). Based on the ZPD of its learner the agent can propose her an intelligent learning task. The model includes a concept of group supportive task that allows the agents to maintain the ZPD for the learners in the group, as presented in the results.
Since business logic is complex and changes frequently, e-business software architecture becomes more complex and difficult to maintain. From the perspective of software architecture design, this paper proposes a temp...
详细信息
Since business logic is complex and changes frequently, e-business software architecture becomes more complex and difficult to maintain. From the perspective of software architecture design, this paper proposes a temporal ECA based architecture for e-business systems (TECAB) representing business logic in the form of temporal ECA, sketches a conflict-managing mechanism based on meta-action. The TECAB can separate business logic from business processing reasonably and support dynamic e-business logic effectively. TECAB has been applied to develop CRM system application, integrated with the conflict-management mechanism and storing TECA rule and action constraint with XML language
Traditionally, flow charts have been used to describe industrial control systems. Flow charts provide a nice step-by-step orderliness to complex systems; but unfortunately, real systems do not operate step-by-step, th...
详细信息
Traditionally, flow charts have been used to describe industrial control systems. Flow charts provide a nice step-by-step orderliness to complex systems; but unfortunately, real systems do not operate step-by-step, they operate concurrently. In real systems there will be many actions happening simultaneously. Trying to use flow charts to describe concurrent systems becomes a difficult and complex task. Trying to write programs from such flow charts is even more of a chore, and such programs will not usually run efficiently. Nowadays, there is a lot of talk about describing complex industrial systems as "state-action machines." Using state-action machines is a big step in the right direction, but many programmers continue to try to use flow chart techniques to describe state-action machines. This practice leads to diagrams that are in some cases more complex than traditional flow charts. This paper describes a way to create complex control systems as interacting sets of state-event-action (SEA) modules. The SEA method involves dividing any machine, assembly line, or process into distinct modules. Each module progresses through its own particular set of states, and responds with specific actions to external and internal events according to its state.
Detailed clearing procedures and written switching instructions, together with a single line diagram, must be used in order to perform maintenance operations on a working zone (WZ). Previous papers of the authors have...
详细信息
Detailed clearing procedures and written switching instructions, together with a single line diagram, must be used in order to perform maintenance operations on a working zone (WZ). Previous papers of the authors have introduced a graphical representation, a color convention and a logic code to facilitate programming. This paper advances the above techniques through the "Parise Program", which is offered as a faster, easier way to establish lockout procedures. A software program using a PC, based on the model in this paper, has been developed. A software program using a PC, based on the model in this paper, has been developed
A novel multilevel/analog electrically erasable programmable read only memory (EEPROM) cell fabricated by standard complementary metal oxide semiconductor (CMOS) logic process is presented. The cell is operated by sel...
详细信息
A novel multilevel/analog electrically erasable programmable read only memory (EEPROM) cell fabricated by standard complementary metal oxide semiconductor (CMOS) logic process is presented. The cell is operated by select-gate-controlled channel current induced drain avalanche hot hole for programming and hot electron for erasing. The self-convergent programming scheme is proposed allows this cell to be easily adopted for the multilevel or analog storage. In addition, a compact SPICE sub-circuit model of the cell has been established to facilitate cell behavior simulation with its interfacing circuits, especially for multilevel/analog nonvolatile memory applications.
We propose a resource-based model of human-computer interaction, and discuss how WIPPOG, a rule-based language for multiset transformations, can support such a model. WIPPOG is here adopted as an enactment mechanism f...
详细信息
We propose a resource-based model of human-computer interaction, and discuss how WIPPOG, a rule-based language for multiset transformations, can support such a model. WIPPOG is here adopted as an enactment mechanism for task models expressed by a visual notation. We exploit this resource-based perspective to model some common interaction errors and suggest possible prevention and mitigation strategies.
暂无评论