Generic types in C# behave invariantly with respect to sub-typing. We propose a system of type-safe variance for C# that supports the declaration of covariant and contravariant type parameters on generic types. To sup...
详细信息
作者:
Kindler, EugeneUniv Ostrava
Inst Res & Applicat Fuzzy Modeling 30 Dubna St 22 CZ-70103 Ostrava 1 Czech Republic
the implementation and application of simulating agents built into simulation models is discussed. they reflect real activities that are rather disseminated namely in designing and operating industrial systems (but ou...
详细信息
ISBN:
(纸本)0955301807
the implementation and application of simulating agents built into simulation models is discussed. they reflect real activities that are rather disseminated namely in designing and operating industrial systems (but outside that domain as well). Some problems and ways for their solutions will be mentioned and certain applications in industry and in health service as well.
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifications to the base code of an aspect-o...
详细信息
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and correct. While higher-level programmi...
详细信息
Templates are a powerful but poorly understood feature of the C++ language. their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ supports template specialization, their ...
详细信息
Concurrent data accesses in high-level languages like Java and C# are typically mediated using mutual-exclusion locks. threads use locks to guard the operations performed while the lock is held, so that the lock's...
详细信息
this paper introduces into a graphical, computer aided modelling methodology that is particularly suited for the concurrent design of mechatronic systems, viz. of engineering systems with mechanical, electrical, hydra...
详细信息
ISBN:
(纸本)0955301807
this paper introduces into a graphical, computer aided modelling methodology that is particularly suited for the concurrent design of mechatronic systems, viz. of engineering systems with mechanical, electrical, hydraulic or pneumatic components including interactions of physical effects from various energy domains. Beyond the introduction, bond graph modelling of multibody systems, as an example of an advanced topic, is briefly addressed in order to demonstrate the potential of this powerful approach to modelling mechatronic systems. It is outlined how models of multibody systems including flexible bodies can be build in a systematic manner.
Bond graphs have established themselves as a reliable tool for modeling physical systems. Yet, they are highly abstract due to their domain independence. Wrapping techniques allow the modeler to preserve the better of...
详细信息
ISBN:
(纸本)0955301807
Bond graphs have established themselves as a reliable tool for modeling physical systems. Yet, they are highly abstract due to their domain independence. Wrapping techniques allow the modeler to preserve the better of two worlds: the flexibility and reliability of bond graphs on the one hand, and the intuitive appeal and familiarity offered by a domain-specific modeling methodology on the other. the talk introduces a new multi-bond graph library for Dymola that includes a partial re-implementation of Dymola's standard multi-body systems library using wrapped multi-bond graphs.
Sensitivities are very important in electronic circuit analysis and design. this paper presents a general circuit simulation programme that calculates analytical sensitivities with respect to any parameter using autom...
详细信息
ISBN:
(纸本)0955301807
Sensitivities are very important in electronic circuit analysis and design. this paper presents a general circuit simulation programme that calculates analytical sensitivities with respect to any parameter using automatic differentiation. A novel aspect of this implementation is that C++ templates are used along with automatic differentiation libraries to produce (at compilation time) different versions of the model evaluation functions, each optimised for a specific purpose. this results in a good compromise between the time to develop and maintain device models and execution efficiency. Algorithms and software design aspects of the circuit simulator are described. Sensitivities of a bipolar self-biasing current source are used to demonstrate the approach.
the proceedings contain 24 papers. the special focus in this conference is on Logic programming. the topics include: Tableaux calculi for answer set programming;algorithmic aspects of model representations;object-orie...
the proceedings contain 24 papers. the special focus in this conference is on Logic programming. the topics include: Tableaux calculi for answer set programming;algorithmic aspects of model representations;object-oriented constraint programming in java using the library firstcs;causal theories as logic programs;voting theory in answer set programming;evaluating ASP and commercial solvers on the CSPLib (preliminary work);dynamic logic programming and world state evaluation in computer games;executable denotations for concurrent languages using concurrent transaction logic;adding constraint handling rules to curry;INCLP(R) - interval-based nonlinear constraint logic programming over the reals;non-monotonic integrity constraints;complete first-order axiomatization of finite or infinite m-extended trees;many-valued logic programming and fixpoint semantics for higher-order herbrand models;logic programs with contextually scoped negation;declarative web data extraction and annotation;replacements in non-ground answer-set programming;weak order equivalence for logic programs with preferences;decomposition of nonmonotone aggregates in answer set programming;fine-grained parallel implementation of the preflow-push algorithm in CHR;Dijkstra's algorithm with fibonacci heaps;towards a CHR-based model-driven framework of reusable reasoning components;a tool for advanced correspondence checking in answer-set programming and a system for integrating multiple semantics in an answer-set programming framework.
暂无评论