To see the other types of publications on this topic, follow the link: Softwares DIC.

Dissertations / Theses on the topic 'Softwares DIC'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Softwares DIC.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Clauß, Matthias, and Günther Fischer. "Automatisches Software-Update." Universitätsbibliothek Chemnitz, 2003. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200301040.

Full text
Abstract:
Vorgestellt wird ein neuer Dienst zum eigenverantwortlichen Software-Update von PC-Systemen, die unter Linux Red Hat 7.3 betrieben werden. Grundlage des Dienstes bildet das Verfahren YARU (Yum based Automatic RPM Update) als Bestandteil der im URZ eingesetzten Admin-Technologie für Linux-Rechner.
APA, Harvard, Vancouver, ISO, and other styles
2

Heik, Andreas, and Edwin Wegener. "Software unter Windows XP." Universitätsbibliothek Chemnitz, 2003. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200301032.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Borch, Matthias. "Aktuelle Software für die SLUB." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2006. http://nbn-resolving.de/urn:nbn:de:swb:14-1160062550537-99632.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wolf, Timo. "Rationale based unified software engineering model supporting informal collaboration, rationale, and traceability in global distributed software development." kostenfrei, 2007. http://mediatum2.ub.tum.de/doc/619335/document.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Brendler, Silvio. "Neuere Hilfsmittel der Namenforschung: III. Kartographische Software." Gesellschaft für Namenkunde e.V, 2005. https://ul.qucosa.de/id/qucosa%3A31427.

Full text
Abstract:
This article draws attention to technological advances in cartography and reminds us that cartographic software makes work in modern geography of names (areal onomastics) much easier than it used to be. Especially geographic information systems (GIS) allow name students not only to present but also to interpret data.
APA, Harvard, Vancouver, ISO, and other styles
6

Demir, Kadir Alpaslan. "Measurement of software project management effectiveness." Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/dissert/2008/Dec/08Dec%5FDemir.pdf.

Full text
Abstract:
Dissertation (PhD. in Software Engineering)--Naval Postgraduate School, December 2008.
Dissertation Advisor(s): Michael, James Bret ; Osmundson, John. "December 2008." Description based on title screen as viewed on January 29, 2009. Includes bibliographical references (p. 385-400). Also available in print.
APA, Harvard, Vancouver, ISO, and other styles
7

Vogel, Ronny. "eCommerce-Software: Genügt da nicht eine HTML-Seite?" Universitätsbibliothek Chemnitz, 1999. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199900351.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Olagbemiro, Albert O. "Application of Real Options theory to software engineering for strategic decision making in software related capital investments." Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/dissert/2008/Dec/08Dec%5FOlagbemiro_PhD.pdf.

Full text
Abstract:
Dissertation (Ph.D. in Software Engineering)--Naval Postgraduate School, December 2008.
Dissertation Supervisor(s): Shing, Man-Tak ; Mun, Jonathan. "December 2008." Description based on title screen as viewed on January 29, 2009. Includes bibliographical references (p. 175-181). Also available in print.
APA, Harvard, Vancouver, ISO, and other styles
9

Taing, Nguonly, Thomas Springer, Nicolás Cardozo, and Alexander Schill. "A Rollback Mechanism to Recover from Software Failures in Role-based Adaptive Software Systems." ACM, 2017. https://tud.qucosa.de/id/qucosa%3A75214.

Full text
Abstract:
Context-dependent applications are relatively complex due to their multiple variations caused by context activation, especially in the presence of unanticipated adaptation. Testing these systems is challenging, as it is hard to reproduce the same execution environments. Therefore, a software failure caused by bugs is no exception. This paper presents a rollback mechanism to recover from software failures as part of a role-based runtime with support for unanticipated adaptation. The mechanism performs checkpoints before each adaptation and employs specialized sensors to detect bugs resulting from recent configuration changes. When the runtime detects a bug, it assumes that the bug belongs to the latest configuration. The runtime rolls back to the recent checkpoint to recover and subsequently notifes the developer to fix the bug and re-applying the adaptation through unanticipated adaptation. We prototype the concept as part of our role-based runtime engine LyRT and demonstrate the applicability of the rollback recovery mechanism for unanticipated adaptation in erroneous situations.
APA, Harvard, Vancouver, ISO, and other styles
10

Püschel, Georg, and Frank J. Furrer. "Cognitive Computing: Collected Papers." Technische Universität Dresden, 2015. https://tud.qucosa.de/id/qucosa%3A28990.

Full text
Abstract:
Cognitive Computing' has initiated a new era in computer science. Cognitive computers are not rigidly programmed computers anymore, but they learn from their interactions with humans, from the environment and from information. They are thus able to perform amazing tasks on their own, such as driving a car in dense traffic, piloting an aircraft in difficult conditions, taking complex financial investment decisions, analysing medical-imaging data, and assist medical doctors in diagnosis and therapy. Cognitive computing is based on artificial intelligence, image processing, pattern recognition, robotics, adaptive software, networks and other modern computer science areas, but also includes sensors and actuators to interact with the physical world. Cognitive computers – also called 'intelligent machines' – are emulating the human cognitive, mental and intellectual capabilities. They aim to do for human mental power (the ability to use our brain in understanding and influencing our physical and information environment) what the steam engine and combustion motor did for muscle power. We can expect a massive impact of cognitive computing on life and work. Many modern complex infrastructures, such as the electricity distribution grid, railway networks, the road traffic structure, information analysis (big data), the health care system, and many more will rely on intelligent decisions taken by cognitive computers. A drawback of cognitive computers will be a shift in employment opportunities: A raising number of tasks will be taken over by intelligent machines, thus erasing entire job categories (such as cashiers, mail clerks, call and customer assistance centres, taxi and bus drivers, pilots, grid operators, air traffic controllers, …). A possibly dangerous risk of cognitive computing is the threat by “super intelligent machines” to mankind. As soon as they are sufficiently intelligent, deeply networked and have access to the physical world they may endanger many areas of human supremacy, even possibly eliminate humans. Cognitive computing technology is based on new software architectures – the “cognitive computing architectures”. Cognitive architectures enable the development of systems that exhibit intelligent behaviour.:Introduction 5 1. Applying the Subsumption Architecture to the Genesis Story Understanding System – A Notion and Nexus of Cognition Hypotheses (Felix Mai) 9 2. Benefits and Drawbacks of Hardware Architectures Developed Specifically for Cognitive Computing (Philipp Schröppe)l 19 3. Language Workbench Technology For Cognitive Systems (Tobias Nett) 29 4. Networked Brain-based Architectures for more Efficient Learning (Tyler Butler) 41 5. Developing Better Pharmaceuticals – Using the Virtual Physiological Human (Ben Blau) 51 6. Management of existential Risks of Applications leveraged through Cognitive Computing (Robert Richter) 61
APA, Harvard, Vancouver, ISO, and other styles
11

Gramlich, Ludwig. "Juristische Probleme bei der Entwicklung und Nutzung von Software." Universitätsbibliothek Chemnitz, 1998. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-199800372.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Teichmann, Gunter, Heiko Hoffmann, Martin Engelien, Elke Eichenberg, and Diana Ruth. "Software on Demand (SWoD) 2.0 – Bedarfsgerechte Software für die Zusammenarbeit in Business Communities." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-141061.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Teichmann, Gunter, Heiko Hoffmann, Martin Engelien, Elke Eichenberg, and Diana Ruth. "Software on Demand (SWoD) 2.0 – Bedarfsgerechte Software für die Zusammenarbeit in Business Communities." Technische Universität Dresden, 2008. https://tud.qucosa.de/id/qucosa%3A27931.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Maier-Komor, Thomas. "Methoden der Metaprogrammierung zur Rekonfiguration von Software eingebetteter Systeme." [S.l.] : [s.n.], 2006. http://mediatum2.ub.tum.de/doc/613984/document.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
15

Däumler, Martin. "Timing Analysis in Software Development." Master's thesis, Universitätsbibliothek Chemnitz, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200800384.

Full text
Abstract:
Rapid development processes and higher customer requirements lead to increasing integration of software solutions in the automotive industry’s products. Today, several electronic control units communicate by bus systems like CAN and provide computation of complex algorithms. This increasingly requires a controlled timing behavior. The following diploma thesis investigates how the timing analysis tool SymTA/S can be used in the software development process of the ZF Friedrichshafen AG.Within the scope of several scenarios, the benefits of using it, the difficulties in using it and the questions that can not be answered by the timing analysis tool are examined. (new: additional files)
APA, Harvard, Vancouver, ISO, and other styles
16

Baum, David. "Introducing aesthetics to software visualization." Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-175905.

Full text
Abstract:
In software visualization, but also in information visualization in general, there is a great need for evaluation of visualization metaphors. To reduce the amount of empirical studies a omputational approach has been applied successfully, e.g., to graph visualization. It is based on measurable aesthetic heuristics that are used to estimate the human perception and the processing of visualizations. This paper lays a foundation for adopting this approach to any field of information visualization by providing a method, the repertory grid technique, to identify aesthetics that are measurable, metaphor-specific, and relevant to the user in a structured and repeatable way. We identified 25 unique aesthetics and revealed that the visual appearance of the investigated visualizations is mainly influenced by the package structure whereby methods are underrepresented. These findings were used to improve existing visualizations.
APA, Harvard, Vancouver, ISO, and other styles
17

Riegel, Torvald. "Software Transactional Memory Building Blocks." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-115596.

Full text
Abstract:
Exploiting thread-level parallelism has become a part of mainstream programming in recent years. Many approaches to parallelization require threads executing in parallel to also synchronize occassionally (i.e., coordinate concurrent accesses to shared state). Transactional Memory (TM) is a programming abstraction that provides the concept of database transactions in the context of programming languages such as C/C++. This allows programmers to only declare which pieces of a program synchronize without requiring them to actually implement synchronization and tune its performance, which in turn makes TM typically easier to use than other abstractions such as locks. I have investigated and implemented the building blocks that are required for a high-performance, practical, and realistic TM. They host several novel algorithms and optimizations for TM implementations, both for current hardware and future hardware extensions for TM, and are being used in or have influenced commercial TM implementations such as the TM support in GCC.
APA, Harvard, Vancouver, ISO, and other styles
18

Bardens, Johannes [Verfasser]. "Die Zweitverwertung urheberrechtlich geschützter Software / Johannes Bardens." München : Verlag Dr. Hut, 2013. http://d-nb.info/1042307938/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Menzel, Michael. "Software-Testautomatisierung : Leitfaden für die effiziente Einführung /." Saarbrücken : VDM, Müller, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2889520&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
20

Menzel, Michael. "Software-Testautomatisierung Leitfaden für die effiziente Einführung." Saarbrücken VDM, Müller, 2004. http://deposit.d-nb.de/cgi-bin/dokserv?id=2889520&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Stallkamp, Markus. "Ziele und Entscheiden die Goalgetter-Methode und die Goalgetter-Software /." [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=981588611.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Baum, David. "Variabilitätsextraktion aus makrobasierten Software-Generatoren." Master's thesis, Universitätsbibliothek Leipzig, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-132719.

Full text
Abstract:
Die vorliegende Arbeit beschäftigt sich mit der Frage, wie Variabilitätsinformationen aus den Quelltext von Generatoren extrahiert werden können. Zu diesem Zweck wurde eine Klassifizierung von Variablen entwickelt, die im Vergleich zu bestehenden Ansätzen eine genauere Identifikation von Merkmalen ermöglicht. Zudem bildet die Unterteilung die Basis der Erkennung von Merkmalinteraktionen und Cross-tree-Constraints. Weiterhin wird gezeigt, wie die gewonnenen Informationen durch Merkmalmodelle dargestellt werden können. Da diese auf dem Generator-Quelltext basieren, liefern sie Erkenntnisse über den Lösungsraum der Domäne. Es wird sichtbar, aus welchen Implementierungskomponenten ein Merkmal besteht und welche Beziehungen es zwischen Merkmalen gibt. Allerdings liefert ein automatisch generiertes Merkmalmodell nur wenig Erkenntnisse über den Lösungsraum. Außerdem wurde ein Prototyp entwickelt, der eine Automatisierung des beschriebenen Extraktionsprozesses ermöglicht.
APA, Harvard, Vancouver, ISO, and other styles
23

Mostafa, Abdelelah M. "Regression approach to software reliability models." [Tampa, Fla] : University of South Florida, 2006. http://purl.fcla.edu/usf/dc/et/SFE0001648.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Höß, Oliver, and Anette Weisbecker. "Wege zu einer Software-Komponenten-Industrie -Erfolgsfaktoren für die Bildung von virtuellen Gemeinschaften in der Software-Entwicklung." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-205068.

Full text
Abstract:
Software hat sich in den letzten Jahren zu einem der zentralen Faktoren innerhalb der industriellen Wertschöpfungskette entwickelt. Die Wertschöpfung der Primärbranche, d.h. der softwareentwickelnden Unternehmen in Deutschland, übersteigt mit ca. 25 Mrd. Euro (im Jahr 2000) die Wertschöpfung im Sektor Landwirtschaft, Forstwirtschaft und Fischerei um ca. 20 % [GfK+2000]. Außerdem hängt die Produktivität fast aller produzierenden Branchen sowie des Dienstleistungssektors weitestgehend von der Unterstützung durch geeignete Software ab. Aus dieser großen Bedeutung ergibt sich ein enormes Einsparpotenzial, das durch die effiziente Erstellung und durch den effizienten Einsatz von Software realisiert werden kann.
APA, Harvard, Vancouver, ISO, and other styles
25

Gädke, Achim, Markus Rosenstihl, Christopher Schmitt, Holger Stork, and Nikolaus Nestle. "DAMARIS – a flexible and open software platform for NMR spectrometer control: DAMARIS – a flexible and open software platform for NMRspectrometer control." Diffusion fundamentals 5 (2007) 6, S. 1-9, 2007. https://ul.qucosa.de/id/qucosa%3A14270.

Full text
Abstract:
Home-built NMR spectrometers with self-written control software have a long tradition in porous media research. Advantages of such spectrometers are not just lower costs but also more flexibility in developing new experiments (while commercial NMR systems are typically optimized for standard applications such as spectroscopy, imaging or quality control applications). Increasing complexity of computer operating systems, higher expectations with respect to user-friendliness and graphical user interfaces as well as increasing complexity of the NMR experiments themselves have made spectrometer control software development a more complex task than it used to be some years ago. Like that, it becomes more and more complicated for an individual lab to maintain and develop an infrastructure of purely homebuilt NMR systems and software. Possible ways out are: ● commercial NMR hardware with full-blown proprietary software or ● semistandardized home-built equipment and common open-source software environment for spectrometer control. Our present activities in Darmstadt aim at providing a nucleus for the second option: DArmstadt MAgnetic Resonance Instrument Software (DAMARIS) [1]. Based on an ordinary PC, pulse control cards and ADC cards, we have developed an NMR spectrometer control platform that comes at a price tag of about 8000 Euro. The present functionalities of DAMARIS are mainly focused on TD-NMR: the software was successfully used in single-sided NMR [2], pulsed and static field gradient NMR diffusometry [3]. Further work with respect to multipulse/multitriggering experiments in the time domain [4] and solid state NMR spectroscopy multipulse experiments are under development.
APA, Harvard, Vancouver, ISO, and other styles
26

Benkwitz, Alexander. "The software JMulTi." Doctoral thesis, Humboldt-Universität zu Berlin, Wirtschaftswissenschaftliche Fakultät, 2002. http://dx.doi.org/10.18452/14861.

Full text
Abstract:
Die Dissertation entwickelt und untersucht Methoden für die Analyse dynamischer Mehrgleichungsmodelle (VAR Modelle). Zuerst wird ein allgemeines Konzept für die Einbindung statistischer Prozeduren in eine menügesteuerte Software entwickelt. Die resultierende Java--Bibliothek besteht aus konfigurierbaren Oberflächenkomponenten und Funktionen, die die Kommunikation zum statistischen Softwarepaket GAUSS ermöglichen. Diese Bibliothek ist die Grundlage für die Software JMulTi, einem menügeführten Programm zur Analyse univariater und multivariater Zeitreihen. Der Einsatz von JMulTi bei der Analyse von VAR Modellen wird anschließend dokumentiert. Dazu werden für den monetären Sektor in Deutschland unrestringierte und restringierte VAR Modelle geschätzt und unterschiedliche Bootstrapkonfidenzintervallen für Impulsantworten berechnet und verglichen. Diese Intervalle sind Gegenstand einer abschließenden und detaillierten Analyse. Es wird untersucht, ob die in JMulTi verwendeten Bootstrapverfahren (und weitergehende Vorschläge wie z.B. das Subsampling) in der Lage sind, die mögliche Inkonsistenz des standardasymptotischen Verfahrens bei der Berechnung von Konfidenzintervallen für Impulsantworten zu überwinden. Eine Monte-Carlo-Studie illustriert die Leistungsfähigkeit der untersuchten Methoden.
The thesis develops and examines tools for the analysis of dynamic multi-equation models (VAR models). First, a general concept for the integration of statistic procedures into a menu controlled software is developed. The resulting Java-library consists of configurable graphical user interface components and functions, which allow communication to the statistic software package GAUSS. This library is the basis for the software JMulTi, a menu-driven program for analyzing univariate and multivariate time series. The use of JMulTi for analyzing VAR models is documented next. Unrestricted and restricted VAR models for the monetary sector of Germany are estimated and different bootstrap confidence intervals for impulse responses are computed and compared. These intervals are subject of a concluding and detailed analysis. It is examined whether the bootstrap methods used in JMulTi (and further suggestions, e.g. the subsampling) are able to overcome the possible inconsistency of the standard asymptotic method when computing confidence intervals for impulse responses. A Monte-Carlo-study illustrates the performance of the examined methods.
APA, Harvard, Vancouver, ISO, and other styles
27

Chandna, Sonali. "Software Defined Survivale Optical Interconnect for Data Centers." Thesis, Université d'Ottawa / University of Ottawa, 2017. http://hdl.handle.net/10393/36623.

Full text
Abstract:
For service providers, extending the Software Defined Network (SDN) concept from packet switching in Layers 2 and 3 to circuit switching in transport layers is a promising approach to meet high burstiness and high bandwidth requirements. A multi-layer controller that can provide automated controller-based restoration and protection, even for unprotected links in a multi-administrative domain, would be a significant improvement. It would allow service providers to ensure provision of guaranteed Service Level Agreement (SLA) maintenance, with optimal bandwidth usage, high availability and reduced errors. In this thesis, we propose a Software Defined Survivable Optical Interconnect (SDSOI) architecture for Data Centers (DC). This unique architecture will address service providers’ challenges related to bandwidth management, and optimize the time required while interconnecting numerous DCs to meet the high SLA demands. The architecture is built according to the overlay SDN concept, and categorizes the application layers into online, offline and third party applications. The offline application performs the routine DC tasks, while the online application manages various dynamic DC demands. An SDSOI driven Data Center Optical Interconnect (DCOI) can handle the extensive, high quality, on-demand access to the contents. The feasibility of SDSOI is verified and demonstrated using Open Network Operating System (ONOS) as the SDN controller, Mininet as the network emulator and Optical Transport Network (OTN) as the optical framework. Our work primarily focusses on the creation of business applications in the SDSOI model, and the northbound protocols or interfaces used by the applications to interact with the controller. To verify the effectiveness of the proposed SDSOI architecture and its business applications, we simulated ‘Day Night Scheduling’, an application that combines characteristics of offline and online applications. Its primary function is to package and schedule varying DC bandwidths to service providers and optimize bandwidth usage at different times of day, along with the survivability of the interconnects.
APA, Harvard, Vancouver, ISO, and other styles
28

Liskowsky, R., and R. Pjater. "Modellierung gruppenorientierter Software-Entwicklungsprozesse mit Notes/Domlno." Josef Eul Verlag GmbH, 2000. https://tud.qucosa.de/id/qucosa%3A29795.

Full text
Abstract:
Mit der ständigen Zunahme der Entwicklung und Produktion von Software, die sich gegenwärtig in einer fehlenden Zahl von Spezialisten ausdrückt, wächst der Zwang, die damit verbundenen Prozesse weiter zu rationalisieren. Diese unbedingte Notwendigkeit bezieht sich nicht nur auf die Verbesserung der technischen Hilfsmittel, also der Werkzeuge, sondern auch auf den Prozess der Aufteilung von Entwicklungsaufgaben innerhalb eines Prozessteams. Darin ingeschlossen ist der Aufbau notwendiger Kommunikations- und Koordinationsbeziehungen als Grundlage für das optimale Zusammenwirken der Teammitglieder in einer verteilten Community. [... aus dem Text]
APA, Harvard, Vancouver, ISO, and other styles
29

Horáková, Jana. "The gestures that software culture is made of." Hochschule für Musik und Theater 'Felix Mendelssohn Bartholdy' Leipzig, 2016. https://slub.qucosa.de/id/qucosa%3A15860.

Full text
Abstract:
This paper demonstrates the relevance of Vilém Flusser’s concept of post-industrial (programmed) apparatus in contemporary programmed media theory, as represented in the paper by software studies. Examples of software art projects that investigate the limits of apparatus programmability are introduced as examples of artistic gestures of freedom. The interpretation is supported by references to the general theory of gesture proposed by Flusser. The paper suggests that this new interpretative method, described by the author as a discipline for the ‘new people’ of the future can serve alongside software studies as an appropriate theory of software art, understood as gestures of freedom within the apparatus of programmed media.
APA, Harvard, Vancouver, ISO, and other styles
30

Herrmann, Paul, Udo Kebschull, and Wilhelm G. Spruth. "Hard- und Software-Entwicklung eines ATM-Testgenerator/ Monitors." Universität Leipzig, 1998. https://ul.qucosa.de/id/qucosa%3A34538.

Full text
Abstract:
Das Modell von B-ISDN beschreibt ein digitales Allzweck-Netzwerk, das die Übertragung von Daten und Sprache in einem gemeinsamen Netzwerk gleichermaßen unterstützt. Als Transportprotokoll für B-ISDN wurde ATM (Asynchronous Transfer Mode) von der ITU (International Telecommunication Union) festgelegt. Da es sich bei ATM um verbindungsorientierte Hochgeschwindigkeits-Netzwerke mit einer Übertragungsrate ab 155MBit/s handelt, unterscheiden sich die Methoden zur Fehlerverifikation wesentlich von denen in herkömmlichen Netzen. In der vorliegenden Arbeit wird ein ATM-Testgenerator/Monitor vorgestellt, der auf der Basis einer spezifischen Entwicklungsumgebung für eingebettete Systeme des FZI Karlsruhe an der Universität Leipzig entwickelt wird. Ausgehend von den momentan auf dem Markt befindlichen ATM-Testgeräten und Teststrategien wird die Hard- und Software- Architektur des ATM-Testgenerator/Monitors erläutert und die auftretenden Probleme diskutiert. Um den ATM-Testgenerator/Monitor auch von entfernten Lokationen anzusprechen, soll eine Benutzerschnittstelle über ein geeignetes Protokoll mit dem Netscape Browser kommunizieren. Mit Hilfe eines CORBA ORBs werden dem Nutzer unterschiedliche Anwender-Programme zur Verfügung gestellt.
APA, Harvard, Vancouver, ISO, and other styles
31

ARAÚJO, Renata Bezerra e. Silva de. "Extração automática de modelos CSP a partir de casos de uso." reponame:Repositório Institucional da CPRM, 2014. http://rigeo.cprm.gov.br/xmlui/handle/doc/1192.

Full text
Abstract:
Submitted by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:18:39Z No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5)
Approved for entry into archive by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:18:52Z (GMT) No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5)
Approved for entry into archive by Flasleandro Oliveira (flasleandro.oliveira@cprm.gov.br) on 2014-05-05T18:19:00Z (GMT) No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5)
Made available in DSpace on 2014-05-05T18:19:09Z (GMT). No. of bitstreams: 1 dissertacao_rbsa_final.pdf: 3125474 bytes, checksum: 127a694ac384496fa8a37d473ede57da (MD5)
No ciclo de vida de desenvolvimento de software, especificação de requisitos é uma atividade muito propensa a definições incorretas. Isto geralmente acontece porque esses documentos são normalmente escritos em linguagem natural, tornando muito alta a possibilidade de introduzir ambiguidades e interpretações errôneas. Por outro lado, a utilização de linguagem natural traz simplicidade e flexibilidade ao se especificar requisitos, considerando que esta é uma notação que pode ser compreendida tanto pelo cliente quanto pelo desenvolvedor. Uma vez que projetos de software possuem documentos precisos, engenheiros de software que tenham bom conhecimento em linguagens formais podem criar manualmente uma especificação formal com o propósito de validar as propriedades do sistema. No entanto, esta criação manual pode não cobrir todos os requisitos ou podem conter inconsistências. Desta forma, a geração automática de modelos formais a partir de documento de requisitos parece ser uma boa solução para este problema. Para alcançar este objetivo, os documentos de requisitos devem ser simples, diretos, uniformes e sem ambuiguidades. Para que isto aconteça, Linguagens Naturais Controladas (Controlled Natural Languages - CNL) são comumente utilizadas. Este trabalho faz parte do projeto de Pesquisa e Desenvolvimento do CIn Brazil Test Center (CInBTCRD), que é uma cooperação entre a Motorola e o Centro de Informática da Universidade Federal de Pernambuco (CIn-UFPE). Em primeiro lugar, este trabalho propõe uma linguagem restrita (CNL) para definir casos de uso contendo uma noção de estado, os quais consideram dados de entrada, saída, guarda e atualização de variáveis, como um complemento para a descrição textual. Depois disso, uma tradução automática dessa linguagem para a algebra de processos CSP foi proposta, a fim de permitir a análise formal de requisitos e geração de casos de teste. Finalmente, foi realizada a implementação e integração desta linguagem e sua tradução para CSP em uma ferramenta conhecida como TaRGeT, cujo propósito é a geração de casos de teste a partir de documentos de casos de uso que seguem um template padrão e são escritos utilizando uma CNL. A TaRGeT original não era capaz de lidar com definições de dados e as manipulações destes dados, e utiliza sistemas rotulados por transição (labelled transition systems) em vez de CSP, como formalismo. Para ilustrar as técnicas propostas neste trabalho, um estudo de caso foi realizado no ambiente da Motorola, adaptando um exemplo de caso de uso real da indústria de modo a encaixá-lo no nosso template. O documento de caso de uso considera situações de envio e recebimento de SMS/MMS, contendo uma feature com 7 casos de uso, incluindo definições e manipulações de dados, relacionamentos entre casos de uso e 6 fluxos alternativos. O CSP gerado contém 570 linhas de código e a verificação de suas propriedades foi checada com sucesso utilizando-se a ferramenta FDR, um verificador de modelo para CSP
APA, Harvard, Vancouver, ISO, and other styles
32

Bittrich, Daniel. "Verbunddokumente als Nutzeroberfläche von Software für die Tragwerksplanung." [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=970186215.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Camara, Louis Richard. "Statistical modeling and assessment of software reliability." [Tampa, Fla] : University of South Florida, 2006. http://purl.fcla.edu/usf/dc/et/SFE0001699.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

Freitas, Arthur. "Hardware/Software Co-Verification Using the SystemVerilog DPI." Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700941.

Full text
Abstract:
During the design and verification of the Hyperstone S5 flash memory controller, we developed a highly effective way to use the SystemVerilog direct programming interface (DPI) to integrate an instruction set simulator (ISS) and a software debugger in logic simulation. The processor simulation was performed by the ISS, while all other hardware components were simulated in the logic simulator. The ISS integration allowed us to filter many of the bus accesses out of the logic simulation, accelerating runtime drastically. The software debugger integration freed both hardware and software engineers to work in their chosen development environments. Other benefits of this approach include testing and integrating code earlier in the design cycle and more easily reproducing, in simulation, problems found in FPGA prototypes.
APA, Harvard, Vancouver, ISO, and other styles
35

Poller, Andreas. "Approaches for Automated Software Security Evaluations." Master's thesis, Universitätsbibliothek Chemnitz, 2006. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200601872.

Full text
Abstract:
As a consequence of the highly increasing cross-linking of computer systems in computer networks, the possibilities for accessing programs operated at these machines is becoming more and more independent from the possibilities of having physical access to them. Thus the former existing physical access controls have to be replaced by logical access controls which ensure that computer systems are only used for the intended purpose and that the stored data are handled securely and confidentially. The efficiency of such logical protection mechanism is verified by applying software security tests. During such tests it is proved whether security functions can be bypassed especially by exploiting software errors. In this diploma thesis approaches for the automation of software security tests are examined regarding their effectiveness and applicability. The results are used to introduce a requirement and evaluation model for the qualitative analysis of such security evaluation automation approaches. Additionally, the assertion is made that a highly automated software security evaluation is not a sensible development goal referring to the estimated cost-benefit ratio which is gained by trying to realise this goal. Based on this assertion, this diploma thesis discusses how to join the capabilities of a human tester and a software evaluation assistance system in an efficient test process. Based on this considerations, the design and implementation of a software security evaluation system which has been developed prototypically for this diploma thesis is described. This system significantly involves the human tester in the evaluation process but provides approaches for automation where possible. Furthermore this proof-of-concept prototype is evaluated regarding its practical applicability
Durch die zunehmende starke Vernetzung von Computertechnologie wird die Möglichkeit des Zugriffs auf einzelne Computersysteme und den darauf ablaufenden Programmen zunehmend ebenso stark unabhängig von den physischen Zugangsmöglichkeiten des Zugreifenden zu diesen Systemen. Diese wegfallenden physischen Zugangsbarrieren müssen deshalb durch logische Zugriffsbeschränkungen ersetzt werden, die sicherstellen, dass Computersysteme nur zu den vorgesehen Zwecken verwendet und die darin gespeicherten Daten sicher und vertraulich verarbeitet werden. Die Wirksamkeit dieser logischen Schutzmechanismen wird mit Hilfe von s.g. Softwaresicherheitstests verifiziert. Dabei wird insbesondere überprüft, inwiefern Schutzfunktionen durch Zuhilfenahme von in der Software vorhandenen Programmfehlern umgangen werden können. Diese Diplomarbeit überprüft bestehende Ansätze für die Automatisierung solcher Sicherheitstests hinsichtlich ihrer Wirksamkeit und Anwendbarkeit. Aus den Resultaten dieser Untersuchung wird ein allgemeines Anforderungs- und Bewertungsmodell entwickelt, welches die qualitative Bewertung von Ansätzen zur Sicherheitstestautomatisierung zulässt. Desweiteren wird die Behauptung aufgestellt, dass die Forderung nach einer zu starken Automatisierung des Testverfahrens sich ungünstig gegenüber des Kosten-Nutzen-Verhältnisses auswirkt, welches bei der Realisierung dieser Forderungen zu erwarten ist. Darauf aufbauend versucht die Diplomarbeit abzugrenzen, wie sich die Fähigkeiten des menschlichen Testers und eines teilautomatisierbaren Softwaresystems effizient in einem Sicherheitstestprozess verbinden lassen. Basierend auf diesen Betrachtungen wird beschrieben, wie ein Sicherheitsevaluierungssystem, welches prototypisch für diese Diplomarbeit entwickelt wurde, den Menschen zur Erstellung von Testalgorithmen einbindet aber, wenn dies zweckmäßig ist, Automatisierungen ermöglicht. Dieses System wird daraufhin auf seine praktische Anwendbarkeit untersucht
APA, Harvard, Vancouver, ISO, and other styles
36

Rodríguez, Rodríguez Verónica. "Software Design Model for Adaptability and Adaptivity of Learning Objects Interfaces." Thesis, Universidad de las Américas Puebla, 2012. http://catarina.udlap.mx/u_dl_a/tales/documentos/dsc/rodriguez_r_v/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Powale, Kalkin. "Automotive Powertrain Software Evaluation Tool." Master's thesis, Universitätsbibliothek Chemnitz, 2018. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-233186.

Full text
Abstract:
The software is a key differentiator and driver of innovation in the automotive industry. The major challenges for software development are increasing in complexity, shorter time-to-market, increase in development cost and demand of quality assurance. The complexity is increasing due to emission legislations, variants of product and new communication technologies being interfaced with the vehicle. The shorter development time is due to competition in the market, which requires faster feedback loops of verification and validation of developed functionalities. The increase in development cost is contributed by two factors; the first is pre-launch cost, this involves the cost of error correction in development stages. Another is post-launch cost; this involves warranty and guarantees cost. As the development time passes the cost of error correction also increases. Hence it is important to detect the error as early as possible. All these factors affect the software quality; there are several cases where Original Equipment Manufacturer (OEM) have callbacks their product because of the quality defect. Hence, there is increased in the requirement of software quality assurance. The solution for these software challenges can be the early quality evaluation in continuous integration framework environment. The most prominent in today\'s automotive industry AUTomotive Open System ARchitecture (AUTOSAR) reference architecture is used to describe software component and interfaces. AUTOSAR provides the standardised software component architecture elements. It was created to address the issues of growing complexity; the existing AUTOSAR environment does have software quality measures, such as schema validations and protocols for acceptance tests. However, it lacks the quality specification for non-functional qualities such as maintainability, modularity, etc. The tool is required which will evaluate the AUTOSAR based software architecture and give the objective feedback regarding quality. This thesis aims to provide the quality measurement tool, which will be used for evaluation of AUTOSAR based software architecture. The tool reads the AUTOSAR architecture information from AUTOSAR Extensible Markup Language (ARXML) file. The tool provides configuration ability, continuous evaluation and objective feedback regarding software quality characteristics. The tool was utilised on transmission control project, and results are validated by industry experts.
APA, Harvard, Vancouver, ISO, and other styles
38

Volkmer, Toni. "OpenMP parallelization in the NFFT software library." Universitätsbibliothek Chemnitz, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-94837.

Full text
Abstract:
We describe an implementation of a multi-threaded NFFT (nonequispaced fast Fourier transform) software library and present the used parallelization approaches. Besides the NFFT kernel, the NFFT on the two-sphere and the fast summation based on NFFT are also parallelized. Thereby, the parallelization is based on OpenMP and the multi-threaded FFTW library. Furthermore, benchmarks for various cases are performed. The results show that an efficiency higher than 0.50 and up to 0.79 can still be achieved at 12 threads.
APA, Harvard, Vancouver, ISO, and other styles
39

Baum, Markus, and Denis Anders. "Spritzgießsimulation mit der kommerziellen Simulations-Software Cadmould®." Technische Universität Chemnitz, 2019. https://monarch.qucosa.de/id/qucosa%3A34246.

Full text
Abstract:
Der Vortrag erläutert die Anwendung der Spritzgießsimulation mit der kommerziellen Simulations-Software Cadmould®. Zu Beginn wird der Hintergrund der Arbeitsweise der Software erläutert und die möglichen Restriktionen aufgezeigt. Es wird auf die Besonderheit des patentierten 3D-F Verfahrens der Firma Simcon eingegangen. Im Anschluss erfolgt die Betrachtung der Anwendung von Cadmould® an einem konkreten Produktbeispiel.
APA, Harvard, Vancouver, ISO, and other styles
40

Werner, Stefan. "Synchrone Groupware für die Software-Engineering-Ausbildung ein Beispiel für die Ableitung unterstützender Werkzeuge aus problemorientierter Sicht /." [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=966538633.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Beer, Daniel, Steffen Höhne, Gudula Rünger, and Michael Voigt. "Software- und Kriterienkatalog zu RAfEG - Referenzarchitektur für E-Government." Universitätsbibliothek Chemnitz, 2005. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200500321.

Full text
Abstract:
Das RAfEG-Projekt (Referenzarchitektur für E-Government) hat eine Softwarearchitektur zur Unterstützung der elektronischen Abbildung von öffentlichen Verwaltungsdienstleistungen zum Ziel, wobei insbesondere auch interne Verwaltungsprozessabläufe einbezogen werden. Schwerpunkt ist dabei die Konzeption und Umsetzung einer Referenzimplementierung, die die Erstellung von Anwendungssoftware für eine breite Klasse von E-Government-Anwendungen ermöglicht. Die Architektur als auch die Implementierung selbst ist für heterogene, (räumlich) verteilte Plattformen mit verteilten Prozessabläufen konzipiert. Der vorliegende Informatik-Bericht erstellt dazu einen Systemkatalog, welcher die aktuell in Frage kommenden Systeme, Technologien und Charakteristika mit dem Ziel der Definition und Gewichtung der jeweils zugrunde zu legenden Anforderungskriterien in Form eines Kriterienkataloges zusammenfasst.
APA, Harvard, Vancouver, ISO, and other styles
42

Müller, Richard. "Software Visualization in 3D." Doctoral thesis, Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-164699.

Full text
Abstract:
The focus of this thesis is on the implementation, the evaluation and the useful application of the third dimension in software visualization. Software engineering is characterized by a complex interplay of different stakeholders that produce and use several artifacts. Software visualization is used as one mean to address this increasing complexity. It provides role- and task-specific views of artifacts that contain information about structure, behavior, and evolution of a software system in its entirety. The main potential of the third dimension is the possibility to provide multiple views in one software visualization for all three aspects. However, empirical findings concerning the role of the third dimension in software visualization are rare. Furthermore, there are only few 3D software visualizations that provide multiple views of a software system including all three aspects. Finally, the current tool support lacks of generating easy integrateable, scalable, and platform independent 2D, 2.5D, and 3D software visualizations automatically. Hence, the objective is to develop a software visualization that represents all important structural entities and relations of a software system, that can display behavioral and evolutionary aspects of a software system as well, and that can be generated automatically. In order to achieve this objective the following research methods are applied. A literature study is conducted, a software visualization generator is conceptualized and prototypically implemented, a structured approach to plan and design controlled experiments in software visualization is developed, and a controlled experiment is designed and performed to investigate the role of the third dimension in software visualization. The main contributions are an overview of the state-of-the-art in 3D software visualization, a structured approach including a theoretical model to control influence factors during controlled experiments in software visualization, an Eclipse-based generator for producing automatically role- and task-specific 2D, 2.5D, and 3D software visualizations, the controlled experiment investigating the role of the third dimension in software visualization, and the recursive disk metaphor combining the findings with focus on the structure of software including useful applications of the third dimension regarding behavior and evolution.
APA, Harvard, Vancouver, ISO, and other styles
43

Markert, Daniel. "Entwicklung einer generischen Testumgebung für Automotive Software Systems." Master's thesis, Universitätsbibliothek Chemnitz, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-218589.

Full text
Abstract:
Kurz nach der Jahrtausendwende führte die steigende Innovation und Komplexität von entwickelten Automotive-Systemen zum Anstieg der Anzahl von installierten elektronischen Systemen in Fahrzeugen. Dies wurde und wird noch immer durch die stetig wachsende Anzahl von rechtlichen und sicherheitstechnischen Vorgaben verstärkt. Da ein signifikanter Teil der Entwicklungskosten neuer Systeme in der Softwareentwicklung auf den im Automotive-Bereich verwendeten Steuergeräten (Electronic Control Unit, oder ECU) entsteht, wurde 2003 der AUTOSAR Developement Partnership ins Leben gerufen. Das Ziel dieser Arbeit ist, ein einheitliches System zu realisieren, in welchem eine vom Anbieter unabhängige Testbasis für AUTOSAR-konforme Tests ermöglicht werden soll, so dass ein Begleiten des Entwicklungsprozesses möglich ist. Es sollen sich Testmodule verschiedener Art am System anmelden und schließlich einem Arbeitsfluss zur Absicherung von AUTOSAR-Steuergeräten zur Entwicklungszeit hinzugefügt werden.
APA, Harvard, Vancouver, ISO, and other styles
44

Glänzel, Janine. "Kurzvorstellung der 3D-FEM Software SPC-PM3AdH-XX." Universitätsbibliothek Chemnitz, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200900211.

Full text
Abstract:
In diesem Preprint wird die Weiterentwicklung der 3D-FEM Software SPC-PM3Adh-XX kurz vorgestellt. Die Einleitung beschreibt schematisch den Ablauf des Programms und sechs Programmversionen. Weiterhin werden die allgemeinen Bedienungsanleitungen und die Funktionalität der einzelnen Versionen aufgeführt. Im letzten Abschnitt, dem Anhang, werden kurz das Standardfile und das Radiale Basisfunktionen-Datenfile erklärt.
APA, Harvard, Vancouver, ISO, and other styles
45

Priemer, Jürgen. "Entscheidungen über die Einsetzbarkeit von Software anhand formaler Modelle /." Sinzheim : Pro-Universitate-Verl, 1995. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=006845353&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Henkel, Joachim. "Offene Innovationsprozesse die kommerzielle Entwicklung von Open-Source-Software." Wiesbaden Dt. Univ.-Verl, 2004. http://d-nb.info/986296074/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Henkel, Joachim. "Offene Innovationsprozesse die kommerzielle Entwicklung von Open-Source-Software /." Wiesbaden : Dt. Univ.-Verl, 2007. http://sfx.metabib.ch:9003/sfx_locater?sid=ALEPH:DSV01&genre=book&isbn=978-3-8350-0978-3&id=doi:10.1007/978-3-8350-5497-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Jiménez, Santiago Nora Irene. "Software para el control de servicios del DIF Chimalhuacán." Tesis de Licenciatura, Universidad Autónoma del Estado de México, 2014. http://hdl.handle.net/20.500.11799/62455.

Full text
Abstract:
Los registros de los servicios otorgados en cada CDC (Centro de Desarrollo Comunitario) se realizan de manera manual, en formatos de papel y con subutilización de personal en algunos centros; en el peor de los casos, no existe el encargado de la captura de dichos registros, y se requiere utilizar el personal de otra área y más tiempo para realizar la recopilación de datos para la elaboración de los informes, tiempo que podría ser aprovechado para mejorar los servicios en el Centro. El director de cada centro, y el director general no tienen la información clara y oportuna de los servicios otorgados para así poder tomar decisiones de aplicar o retirar recursos en áreas que lo necesitan. La generación de estadísticas y comparaciones entre centros son tardadas y en ocasiones erróneas debido a que los informes semanales que se entregan, se retrasan hasta 3 días, la captura de la información está mal hecha ya que cada centro aplica su propio criterio por no contar con formatos estándares para esta captura. ¿Será posible que un sistema de información en línea permita la captura de información de cada CDC para generar reportes, comparaciones y estadísticas de cada centro, que sirva como una ayuda para la toma de decisiones por parte de los directivos y de esta manera optimizar los recursos de personal y financieros?
APA, Harvard, Vancouver, ISO, and other styles
49

Du, Jia-Zheng. "Methods and software development for sectional and topological optimization of frame structures." Reims, 2004. http://theses.univ-reims.fr/exl-doc/GED00000024.pdf.

Full text
Abstract:
Afin de satisfaire les besoins industriels en calcul et optimisation des structures, des méthodes de l'optimisation de section et de topologie de structures de poutre ont été étudiées et des logiciels pertinents basés sur ces méthodes ont été développés en utilisant les logiciels MSC/Patran-Nastran comme plate-forme. En combinant la méthode de critère d'optimalité et la méthode de programmation mathématique, différentes méthodes sont utilisées pour traiter les limitations avec différentes propriétés. Le modèle original de l'optimisation de section est transformé en un problème dual selon la théorie duale pour améliorer l'efficacité de résolution. La méthode de "Approximate Scaling Step" et la méthode d'Elimination des Limitations Négatives permettent d'accélérer la procédure d'optimisation. Basé sur la méthode ICM (Independent Continuous Mapping), un modèle de l'optimisation topologique utilisant les variables continues (entre 0 et 1 au lieu de 0 ou 1) est établi. Trois critères de convergence sont introduits pour obtenir rapidement et précisément la topologie optimale d'une structure. Pour ne pas éliminer les éléments ayant leur variable topologique nulle au cours de l'optimisation, la méthode de faible matériau est utilisée et comparée à la méthode de section minime. L'optimisation de topologie dans plusieurs cas de chargement est étudiée sous trois types de limitations : les limitations locales de contraintes, les limitations globales de déplacements et leur combinaison. Les méthodes ci-dessus ont été implantées dans les logiciels MSC/Patran&Nastran. Des exemples ont montré une amélioration importante de l'efficacité et de la précision dans l'optimisation de section et de topologie
To satisfy the requirement on computation and optimization of frame structures in the engineering field, some sectional and topological optimization methods of frame structures are studied and a relevant software based on the present study is developed using the MSC/Patran&Nastran software as platform. Combining the optimality criteria method and the mathematical programming method, several methods are adopted to deal with the constraints with different properties. The original sectional optimization model is transformed into a dual problem according to the dual theory in order to reduce the number of the design variables so speed up the resolution. The methods of Approximate Scaling Step and Deletion of Negative Constraints also largely improve the efficiency. Based on the ICM (Independent Continuous Mapping) method, a topological optimization model with continuous topological variables (between 0 and 1 instead of 0 or 1) is built. In order to quickly and accurately obtain the optimum topological structures, three criteria are introduced and a self-adaptive algorithm is proposed. To deal with the elements with their null topological variable, the weak material method is proposed and compared with the tiny section method. The topological optimization for multi-loading cases is studied with three conditions: the local stress constraints, the global displacement constraints and their combination. According to the above methods, the MSC/Patran&Nastran software is secondly developed. The examples clearly show the notable improvement of the efficiency and accuracy
APA, Harvard, Vancouver, ISO, and other styles
50

Jäkel, Tobias, Martin Weißbach, Kai Herrmann, Hannes Voigt, and Max Leuthäuser. "Position paper: Runtime Model for Role-based Software Systems." IEEE, 2016. https://tud.qucosa.de/id/qucosa%3A75302.

Full text
Abstract:
In the increasingly dynamic realities of today's software systems, it is no longer feasible to always expect human developers to react to changing environments and changing conditions immediately. Instead, software systems need to be self-aware and autonomously adapt their behavior according to their experiences gathered from their environment. Current research provides role-based modeling as a promising approach to handle the adaptivity and self-awareness within a software system. There are established role-based systems e.g., for application development, persistence, and so on. However, these are isolated approaches using the role-based model on their specific layer and mapping to existing non-role-based layers. We present a global runtime model covering the whole stack of a software system to maintain a global view of the current system state and model the interdependencies between the layers. This facilitates building holistic role-based software systems using the role concept on every single layer to exploit its full potential, particularly adaptivity and self-awareness.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography