检索结果-内蒙古大学图书馆

Queue 2008年第5期6卷 46-58页

作者： Cascaval, Calin Blundell, Colin Michael, Maged Cain, Harold W. Wu, Peng Chiras, Stefanie Chatterjee, Siddhartha Programming models and tools for scalable systems IBM's T.J. Watson Research Center University of Pennsylvania IBM's Systems and Technology Group Austin Research Laboratory Department of Computer Science University of Texas Austin United States

No abstract available

关键词：

来源：评论

学校读者我要写书评

暂无评论

Tracing shifts in emotions in streaming social network data 22nd

Tracing shifts in emotions in streaming social network data

引用

22nd International Symposium on Methodologies for Intelligent systems, ISMIS 2015

作者： Andreasen, Troels Christiansen, Henning Have, Christian Theil Programming Logic and Intelligent Systems Roskilde University Roskilde Denmark Department of Metabolic Genetics University of Copenhagen Copenhagen Denmark

ISBN: (纸本)9783319252513

Shifts in emotions towards given topics on social media are often related to momentous real world events, and for the researcher or journalist, such changes may be the first observable sign that something interesting is going on. Further research on why a topic t suddenly has become, say, more or less popular, may involve searching for topics t′ whose co-occurrence with t have increased significantly together with the change in emotion. We hypothesize that t′ and its increasing relationship to t′ may relate to a contributing cause why the attitude towards t is changing. A method and tool is presented that monitors a stream of messages, reporting topics with changing emotions and indicating explanations by means of related topics whose increasing occurrence are taken as possible clues of why the change did happen. © Springer International Publishing Switzerland 2015.

关键词： Media streaming

来源：评论

学校读者我要写书评

暂无评论

A succinct canonical register automaton model for data domains with binary relations

A succinct canonical register automaton model for data domai...

引用

10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012

作者： Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany

ISBN: (纸本)9783642333859

We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register automata. A major contribution is a construction of succinct canonical register automata, which is parameterized on the set of relations by which elements in the data domain can be compared. We also present a Myhill Nerode-like theorem, from which minimal canonical automata can be constructed. This canonical form is as expressive as general deterministic register automata, but much better suited for modeling in practice since we lift many of the restrictions on the way variables can be accesed and stored: this allows our automata to be significantly more succinct than previously proposed canonical forms. Key to the canonical form is a symbolic treatment of data languages, which allows us to construct minimal representations whenever the set of relations can be equipped with a so-called branching framework. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Soliton dynamics and Peierls-Nabarro barrier in a discrete molecular chain

引用

Physical Review B 2000年第2期61卷 1129-1129页

作者： Larissa Brizhik Alexander Eremko Leonor Cruzeiro-Hansson Yulia Olkhovska Institute of Programming Systems 252187 Kyiv Ukraine

We investigate the motion of a self-localized quasiparticle in a discrete lattice taking into account the interaction of the quasiparticle with the vibrations of the lattice. Using an original method to control the velocity of solitonlike excitations in a discrete system, the dependence of their velocity, momentum, and energy on the carrying wave vector is analyzed. The velocity of the solitonlike excitations is found to saturate at wave vectors below those predicted by continuum models. This is as found in experimental observations. Also, the properties of the Peierls-Nabarro relief, caused by the lattice discreteness, and pinning of a soliton by this barrier, are studied. The influence of the initial condition on the Peierls-Nabarro barrier and soliton motion is investigated. For low-width solitons, a critical value of the wave vector is needed to overcome the Peierls-Nabarro barrier.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Delta-Oriented test case prioritization for integration testing of software product lines 15

Delta-Oriented test case prioritization for integration test...

引用

19th International Software Product Line Conference, SPLC 2015

作者： Lachmann, Remo Lity, Sascha Lischke, Sabrina Beddig, Simon Schulze, Sandro Schaefer, Ina Institute of Software Engineering and Automotive Informatics Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450336130

Software product lines have potential to allow for mass customization of products. Unfortunately, the resulting, vast amount of possible product variants with commonalities and differences leads to new challenges in software testing. Ideally, every product variant should be tested, especially in safety-critical systems. However, due to the exponentially increasing number of product variants, testing every product variant is not feasible. Thus, new concepts and techniques are required to provide efficient SPL testing strategies exploiting the commonalities of software artifacts between product variants to reduce redundancy in testing. In this paper, we present an efficient integration testing approach for SPLs based on delta modeling. We focus on test case prioritization. As a result, only the most important test cases for every product variant are tested, reducing the number of executed test cases significantly, as testing can stop at any given point because of resource constraints while ensuring that the most important test cases have been covered. We present the general concept and our evaluation results. The results show a measurable reduction of executed test cases compared to single-software testing approaches. © 2015 ACM.

关键词： Integration testing

来源：评论

学校读者我要写书评

暂无评论

Approbation of a Generalization of the Synergetic Design of Regulators for a Stochastic Base Immunology System 10

Approbation of a Generalization of the Synergetic Design of ...

引用

10th International Conference on Information Technology and Nanotechnology, ITNT 2024

作者： Kolesnikova, Svetlana Kustova, Ekaterina Institute Of Computational Systems And Programming St. Petersburg State University Of Aerospace Instrumentation St. Petersburg Russia

ISBN: (纸本)9798350372939

The results of application of the invariance condition as the basic principle of the synergetic control theory to a stochastic biomedical object - immunology, are presented. Using four-dimensional nonlinear base object with a delay, it is shown that the assumptions on the object controllability in the state space and the analytical description of the target invariant of the system are the sufficient conditions for an existence of a stochastic regulator minimizing the dispersion of the output variable in transferring a random controlled object to a target manifold of states. © 2024 IEEE.

关键词： Immunology

来源：评论

学校读者我要写书评

暂无评论

Continuous engineering of embedded systems 1

引用

5th IFIP TC 10 Working Conference on Distributed and Parallel Embedded systems, DIPES 2006

作者： Steffen, Bernhard Margaria, Tiziana Chair of Programming Systems Universität Dortmund Germany Chair of Service and Software Engineering Universität Potsdam Germany

ISBN: (数字)9780387393629

ISBN: (纸本)9780387393612

We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle these issues in a model-driven design paradigm, on the behavioral models, and to employ techniques from automata theory, model checking and automata learning. The main practical impact of our approach is its support of the systematic completion and update of user/customer requirements, which by their nature are quite partial and concentrate on the most prominent scenarios. Our technique generalizes these typical requirement skeletons by extrapolation and it indicates via automatically generated traces where the requirement specification is too loose and additional information is required. This works in the initial phases of system development, but also in case of change requests, where our technique hints at possible problems with their realization (feature interactions), and helps to keep the requirement model in synchrony along the chain of new releases. © 2006 by International Federation for Information Processing.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Storage of key Features of Images of Sulfur Imprints in the Mathematical Structure Form

Storage of key Features of Images of Sulfur Imprints in the ...

引用

2020 International Multi-Conference on Industrial Engineering and Modern Technologies, FarEastCon 2020

作者： Bagaev, I.I. Logunova, O.S. Institute of Energy and Automated Systems Nosov Magnitogorsk State Technical University Department of Computer Engineering and Programming Magnitogorsk Russia

ISBN: (纸本)9781728169514

The aim of the study is to develop a method for storing images of sulfur imprints. In the framework of the study, a more effective method of representing images of sulfur imprints by using knowledge of the specificity of these images was developed compared to universal methods. In particular, a method for storing images of sulfur imprints has been developed, which stores information about objects that are significant for technological analysis in the image. The developed method was tested for images of sulfur imprints of continuously cast billets for the conditions of a large metallurgical enterprise in Russia. To conduct a computational experiment, a software product was designed and developed that allows you to convert the image of a sulfur imprint into a mathematical representation, as well as the process of restoring the main image. Using the array of retrospective information of 2011-2018 and the developed software product, the calculation of the effectiveness of the presentation of graphic information in the form of a structural unit of information without directly saving the image was performed. The average share of stored information from the original volume is 0.53 percent © 2020 IEEE.

关键词： Sulfur

来源：评论

学校读者我要写书评

暂无评论

Oxidative power and intracellular distribution of mitochondria control cell oxygen regime when arterial hypoxemia occurs

引用

Biophysics (Russian Federation) 2012年第5期57卷 628-633页

作者： Lyabakh, K.G. Lissov, P.N. International Research and Training Center for Information Technologies and Systems National Academy of Sciences of Ukraine Kiev 03680 Ukraine Institute of Programming Systems National Academy of Sciences of Ukraine Kiev 03680 Ukraine

The regulatory impact of the mitochondria spatial distribution and enlargement in their oxidative power qo2 on tissue oxygenation of skeletal muscle during hypoxia were studied. Investigations were performed by mathem... 详细信息

The regulatory impact of the mitochondria spatial distribution and enlargement in their oxidative power q_o2 on tissue oxygenation of skeletal muscle during hypoxia were studied. Investigations were performed by mathematical modeling of 3D O₂ diffusion-reaction in muscle fiber. The oxygen consumption rate V_o2 and tissue p_o2 were analyzed in response to a decrease in arterial blood oxygen concentration from 19. 5 to 10 vol % at moderate load. Cells with evenly (case 1) and unevenly (case 2) distributed mitochondria were considered. According to calculations, owing to a rise in mitochondria oxidative power from 3. 5 to 6. 5 mL/min per 100 g of tissue it is possible to maintain muscle oxygen V_o2 at a constant level of 3. 5 mL/min per 100 g despite a decrease in O₂ delivery. The minimum value of tissue p_o2 was about 0 and an area of hypoxia appeared inside the cell in case 1. Whereas hypoxia disappeared and minimum value of p_o2 increased from 0 to 4 mmHg if mitochondria were distributed unevenly (case 2). The possibilities of such regulation depended on the relationship "the degree of hypoxemia - the level of oxygen delivery." It was assumed that an increase in mitochondrial enzyme activity and their migration to places of the greatest oxygen consumption rate can improve the oxygen regime in the cell as it adapts to hypoxia. © 2012 Pleiades Publishing, Ltd.

关键词： adaptation cell oxygen regime distribution of mitochondria hypoxemia mathematical model oxidative power of mitochondria rate of oxygen consumption

来源：评论

学校读者我要写书评

暂无评论

Simplicity principles for plug-in development: The jABC approach

Simplicity principles for plug-in development: The jABC appr...

引用

2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012

作者： Naujokat, Stefan Lamprecht, Anna-Lena Steffen, Bernhard Jörges, Sven Margaria, Tiziana Department of Programming Systems TU Dortmund 44227 Germany Department of Service and Software Engineering University Potsdam 14482 Germany

ISBN: (纸本)9781467318204

In this paper we present our experiences from a decade of plug-in development in the jABC framework, that is characterized by rigorous application of simplicity principles in two dimensions. First, the scope of the plug-in development is clearly defined: The jABC readily provides a sophisticated graphical user interface, which has been tailored to working with all kinds of directed graphs. Within this scope, plug-in development can deliberately focus on the actual functionality, like providing semantics to graphs, without having to deal with tedious but semantically irrelevant issues like user interfaces. Second, plug-in functionality can be itself conveniently modeled as a workflow within the jABC. We illustrate our approach by means of two mature plug-ins: Genesys, a plug-in that adds arbitrary code generator functionality to the jABC, and PROPHETS, a plug-in that eases user-level definition of workflows by completing model sketches by means of synthesis capabilities, so that they become complete and executable. We summarize our experience so far and derive general design principles for "lightweight plug-in development", that we are going to realize in the next generation of the jABC, which will be implemented itself as a collection of Eclipse plug-ins. © 2012 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：