Immersive learning has gained significant attention withthe rising trend of spatial computing, particularly in the after-pandemic era. Numerous research has explored the potential of immersive learning in higher educ...
详细信息
In the early stages of model driven development, models are frequently incomplete and partial. Partial models represent multiple possible concrete models, and thus, they are able to capture uncertainty and possible de...
详细信息
ISBN:
(纸本)9783319614731;9783319614724
In the early stages of model driven development, models are frequently incomplete and partial. Partial models represent multiple possible concrete models, and thus, they are able to capture uncertainty and possible design decisions. When using models of a complex modeling language, several well-formedness constraints need to be continuously checked to highlight conceptual design flaws for the engineers in an early phase. While well-formedness constraints can be efficiently checked for (fully specified) concrete models, checking the same constraints over partial models is more challenging since, for instance, a currently valid constraint may be violated (or an invalid constraint may be respected) when refining a partial model into a concrete model. In this paper we propose a novel technique to evaluate well-formedness constraints on partial models in order to detect if (i) a concretization may potentially violate or (ii) any concretization will surely violate a well-formedness constraint to help engineers gradually to resolve uncertainty without violating well-formedness. For that purpose, we map the problem of constraint evaluation over partial models into a regular graph pattern matching problem over complete models by semantically equivalent rewrites of graph queries.
In this paper, we describe the general structure and evaluation of a multi-agent based system module that was conceptualized to explain, and therefore, enrich the search results of the retrieval process within a distr...
详细信息
Researches on multimedia learning from multiple representations focused primarily on integrations of texts and pictures according to Paivio's dual coding theory. Mayer and Moreno defined multimedia instruction as ...
详细信息
ISBN:
(纸本)9780889866997
Researches on multimedia learning from multiple representations focused primarily on integrations of texts and pictures according to Paivio's dual coding theory. Mayer and Moreno defined multimedia instruction as presenting words and pictures intended to foster learning. Procedures to make proprietary contents exportable to open standard followed and got published. However, the link between multimedia instruction design and learning contents transformation was still very weak and had to overcome this research gap. We took multimedia learning theory and cognitive overload into consideration, and proposed an instruction production model based on multimedia learning theory to decrease building cost and to improve quantity and quality of outputs. the research included full-text databases for Chinese ancient documents in Academia Sinica as well as "Flickr" as a research object to build multimedia instructions composed of textural and graphical contents. the results indicated the availability of our model. Some derived issues were discussed as well.
An Intelligent semi-physical simulation system of flight control system of the Hybrid Flight Vehicle(HFV) is proposed. It is designed according to the requirement of flight control system test, demonstration of flight...
详细信息
ISBN:
(纸本)9781538643624
An Intelligent semi-physical simulation system of flight control system of the Hybrid Flight Vehicle(HFV) is proposed. It is designed according to the requirement of flight control system test, demonstration of flight control algorithm, as well as simulation of flight under multiple flight conditions. the hardware of the system is consisted of flight control computer, portable test box, and the simulation computer. the system, portable and universal, setting serial port communications, switch communications, optical communications, data acquisition and flight control in one. Using Real-Time eXtension(RTX) and Microsoft Foundation Classes (MFC) as the development environment, the software of system is based on a modular design concept, giving a friendly human machine interface and easily expanding. the simulation platform has been successfully applied to the ground simulation of the flight control system, completing multi-state flight simulation, achieving comprehensive bus information monitoring, data-storage and display in real time. the system gets the condition that may occur during the flight, laying the solid foundation for the flight test.
this paper discussed such possibility that viewed sense to aesthetic feeling experiences of virtual space as subjects in aesthetics, through describing some aesthetic phenomena and experiences in the present virtual f...
详细信息
this paper discussed such possibility that viewed sense to aesthetic feeling experiences of virtual space as subjects in aesthetics, through describing some aesthetic phenomena and experiences in the present virtual field, then to put forward to some imagines on developing the visual field of nowaday aesthetics. And it expected to make a research by comparing between traditional time-space and digital art virtual opinions of space-time and aesthetic theory.
A CMOS ASIC has been designed and implemented for readout and control of MEMS vibratory gyroscopes. A low noise design is achieved by using the technique of sinusoidal chopper stabilization with a chopping frequency o...
详细信息
In order to accomplish the product special requirements of customers and establish the product developing platform for non-professional effectively, the requirement feature and requirement agile expression model of...
详细信息
ISBN:
(纸本)9781424452668
In order to accomplish the product special requirements of customers and establish the product developing platform for non-professional effectively, the requirement feature and requirement agile expression model of individualized product were put forward. the logical meta model and physical structure model of individualized product requirement information were built, the basic management and operating of model integration, mapping, extraction, refine and recombination were accomplished in terms of XOEM based. the Man-machine coordination requirement information analysis was built to simplify spatial search of system. the synchronization validation of requirement compatibility was accomplished by Bottom-Up reduction to ensure the reliability and validity of product information which customer express.
Misconceptions caused by many factors, based on previous observation is the difficulty of students in visualizing or imagining the concept given, thus obstructing students to achieve the goal of physics learning. Misc...
详细信息
In recent years, the Service Oriented Architecture (SOA) has evolved itself into emerging technologies like cloud computing to give it more relevance. ANU-SOAM - a service oriented middleware - aims to provide conveni...
详细信息
ISBN:
(纸本)9780889868649
In recent years, the Service Oriented Architecture (SOA) has evolved itself into emerging technologies like cloud computing to give it more relevance. ANU-SOAM - a service oriented middleware - aims to provide convenient API, a unique data service extension and proper load-balancing techniques for high performance scientific computing. the data service extension offers both Common Data Service (CDS) and Local Data Service (LDS). CDS helps set data common to all service instances and to manipulate it using add, get, put, sync, etc. functions. the LDS allows consumer to partially replicate data among service instances to improve memory scalability. Comparable paradigms like MPI are mostly agnostic and non-responsive to heterogeneous conditions. the SOA approach enables ANU-SOAM to have load balancing techniques implemented withthe help of a Resource Manager. Experiments using N Body Solver and Heat Transfer applications have shown that ANU-SOAM performs as good as most of its MPI counterparts, especially under heterogeneous conditions.
暂无评论