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

International Russian Smart Industry Conference (SmartIndustryCon)

作者： Ivan S. Shchegolikhin Sergey M. Andreev Department of Computer Engineering and Programming Nosov Magnitogorsk State Technical University Magnitogorsk Russia Department of Automated Control Systems Nosov Magnitogorsk State Technical University Magnitogorsk Russia

Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increase the economic efficiency of industry. The technological process of steel sheet production at a metallurgical company includes two major stages: casting of liquid steel into billets and rolling of these billets on a rolling mill. In order to coordinate the productivity of these two stages and to be able to fulfill orders promptly, a warehouse of slabs (billets) is used. Billets of different parties and steel grades are stored in stacks. The billets are moved to the warehouse for storage and from the warehouse to the rolling mill by bridge cranes. In this paper the problem of optimization of the process of continuous cast billets storage is solved to minimize the number of slab handling operations. The problem is decomposed into two subproblems SLAP (Storage Location Assignment Problem) and CSP (Crane Scheduling Problem). A modified genetic algorithm was applied to solve the problem. Using a simulation model of the warehouse, the efficiency of the algorithm was evaluated using different approaches to take the restrictions imposed on the process of slab handling into account. It is shown that the most effective is the algorithm in which there is no restriction on the placement of stacks of billets belonging to one melting._

关键词：

来源：评论

学校读者我要写书评

暂无评论

Beyond Replication: Augmenting Social Behaviors in Multi-User Virtual Realities

Beyond Replication: Augmenting Social Behaviors in Multi-Use...

引用

IEEE Annual International Symposium Virtual Reality

作者： Daniel Roth Constantin Klelnbeck Tobias Feigl Christopher Mutschler Marc Erich Latoschik HCI Group University of Würzburg Programming Systems Group Friedrich-Alexander University Erlangen-NOrnberg (FAU) Machine Learning and Information Fusion Group Fraunhofer IIS

ISBN: (纸本)9781538633663

This paper presents a novel approach for the augmentation of social behaviors in virtual reality (VR). We designed three visual transformations for behavioral phenomena crucial to everyday social interactions: eye contact, joint attention, and grouping. To evaluate the approach, we let users interact socially in a virtual museum using a large-scale multi-user tracking environment. Using a between-subject design (N = 125) we formed groups of five participants. Participants were represented as simplified avatars and experienced the virtual museum simultaneously, either with or without the augmentations. Our results indicate that our approach can significantly increase social presence in multi-user environments and that the augmented experience appears more thought-provoking. Furthermore, the augmentations seem also to affect the actual behavior of participants with regard to more eye contact and more focus on avatars/objects in the scene. We interpret these findings as first indicators for the potential of social augmentations to impact social perception and behavior in VR.

关键词： Avatars Visualization Electronic mail Color Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

Why does the proof-theory of hybrid logic work so well?

引用

Journal of Applied Non-Classical Logics 2007年第4期17卷 521-543页

作者： Braüner, Torben Programming Logic and Intelligent Systems Research Group Roskilde University DK-4000 Roskilde P.O. Box 260 Denmark

This is primarily a conceptual paper. The goal of the paper is to put into perspective the proof-theory of hybrid logic and in particular, try to give an answer to the following question: Why does the proof-theory of hybrid logic work so well compared to the proof-theory of ordinary modal logic? Roughly, there are two different kinds of proof systems for modal logic: systems where the formulas involved in the rules are formulas of the object language, that is, ordinary modal-logical formulas, and systems where the formulas involved in the rules are metalingustic formulas obtained by attaching labels representing possible worlds to ordinary modal-logical formulas. systems of the second kind often also involve an explicit representation of the accessibility relation. From a proof-theoretic point of view, modal-logical systems of the first kind are less well-behaved than systems of the second kind. It turns out that this can be remedied by hybridization, that is, hybridization of modal logics enables the formulation of well-behaved proof systems without involving metalinguistic machinery. What has happened is that the metalinguistic machinery has been internalized in the object language. This gives an answer to the initial question, which is that the proof-theory of hybrid logic works so well because the metalinguistic semantic machinery has been internalized in the object language.

关键词： Hybrid logic Modal logic Natural deduction Proof-theory

来源：评论

学校读者我要写书评

暂无评论

Managed Software Evolution 1

引用

1000年

作者： Ralf Reussner Jan Keim Michael Goedicke Wilhelm Hasselbring Birgit Vogel-Heuser Lukas Märtin

ISBN: (数字)9783030134990

ISBN: (纸本)9783030134983;9783030135010

This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c

关键词： Software Engineering Software Management Management of Computing and Information systems Theory of Computation

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the Dynamic Reconfiguration Of Mobile IPV4 agents in MANET

Evaluation of the Dynamic Reconfiguration Of Mobile IPV4 age...

引用

IASTED International Conference on WIRELESS SENSOR NETWORKS, Part of the Sixth IASTED International Multi-Conference on WIRELESS AND OPTICAL COMMUNICATIONS

作者： Amvame-Nze, G. Abbas, C. J. Barenco García Villalba, L.J. Faculty of Technology Electrical Eigineering School University of Brasilia - UnB Brasilia 70900 Brazil Departamento de Computacion y Tecnología de la Información Universidad Simón Bolivar Oficina MYS 213-B Apartado Postal 89.000 Caracas 1080 Venezuela Dept. Computer Systems and Programming Complutense University of Madrid Spain

This work presents a Dynamic Reconfiguration of Mobile IP Agents (DRMIPA) and failure free architecture integrated with Mobile Ad hoc Networks (MANETs). Actual infra-structured networks do not implement the Mobile IP (MIP) protocol, all MIP agents are static and the cost of having redundancy of MIP agents is often high. We propose a solution that would allow the integration of MIP with MANET. Therefore, new algorithms and messages are presented for DRMIPA in MANET and, a performance analysis is done using the Network Simulator 2 (NS2) and a real world testbed scenario.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

Scaling of parallel multiple sequence alignment on the supercomputer JUQUEEN

Scaling of parallel multiple sequence alignment on the super...

引用

IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： Plamenka Borovska Veska Gancheva Soon-Heum Ko Computer Systems Department Technical University of Sofia Bulgaria Programming and Computer Technologies Department Technical University of Sofia Bulgaria National Supercomputing Center Linkoping University Linkoping Sweden

In this paper is proposed optimization, scaling, performance evaluation and profiling of parallel multiple sequence alignment based on ClustalW algorithm on the supercomputer BlueGene/Q, so-called JUQUEEN, for the case study of the influenza virus sequences. For this purpose a parallel I/O interface for simultaneous and independent access to single file collectively has been designed and verified on the basis of parallel program implementation on the supercomputer JUQUEEN.

关键词： Supercomputers Influenza Program processors Performance evaluation Optimization Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Autonomous applications - Towards a better data integration model

Autonomous applications - Towards a better data integration ...

引用

9th East-European Conference on Advances in Databases and Information systems, ADBIS 2005

作者： Benczúr, András Hernáth, Zsolt Porkoláb, Zoltán Eötvös Loránd University Faculty of Informatics Dept. of Information Systems Pazmany Peter setany 1/C H-1117 Budapest Hungary Eötvös Loránd University Faculty of Informatics Dept. of Programming Languages and Compilers Pazmany Peter setany 1/C H-1117 Budapest Hungary

One of the most important and critical part of integrating already existing standalone applications is to design and implement a common data model and the corresponding data access layer which makes both data sources and processed results being shared and accessible over the applications in question. In case of even well-architected applications or application systems, establishing a common data model and the layer that gives access to data costs relatively large human and computer development resources. The problem of integration may be investigated from several aspects. The esence of these aproaches are the same: trying to achieve run-time environment independent applications' logic. One aspect is OMG's Model Driven Architecture Frame Work [5]. The primary goals of OMG's MDA are portability, interoperability and resuability through architectural concernes of specifying Application's logic, their operational environments, and technical aspects of their implementation details, and mappings between them. This paper views the same problem but with focus on different structural apearances of applications' data, mappings between them, and possible integration of such data models. We call applications autonomous, if they are independent of their all time run-time data access environment. Concerning applications' autonomy, our base idea is that the most natural media that is able to carry information on structural apperance of data and mappings between them are data themselves, using Document Data Model also presented here.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Ensuring Information Security in the Intelligent Scientific and Technical Information systems 15

Ensuring Information Security in the Intelligent Scientific ...

引用

15th International Scientific and Practical Conference on Environment. Technology. Resources, ETR 2024

作者： Kerimov, Komil Azizova, Zarina Bekkamov, Fayzi Rakhimov, Mekhriddin Ochilov, Mannon Department of System and Applied Programming Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Information Security Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Library Information Systems Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan Department of Computer Systems Tashkent University of Information Technologies Named after Muhammad al-Khwarizmi Tashkent Uzbekistan

ISBN: (纸本)9781713899570

Scientific and scientific-technical information is a valuable tool for the development of education, technology and society as a whole. The increase in the volume of information and the development of information networks of data exchange requires special means to ensure information protection of data. Methods, means and systems for information security of scientific, technical and scientific-educational resources in intellectual information systems are of particular importance. The purpose of the research is to develop methods and software tools to ensure information security of valuable scientific and technical information resources in intelligent information systems. The proposed solution for intrusion detection in intelligent system is a web application firewall, which is used for enhanced security, detecting and preventing attacks before they reach the web application. It will protect the system from a whole range of attacks while allowing HTTP traffic monitoring and analyzing small changes or persistent state online. The Web Application Firewall (WAF) has the following features: logging of all HTTP protocol transactions, including request termination permissions and logging of the response;HTTP traffic can be examined in real time to detect attacks;preventing attacks before they reach the web application. This work is performed within the framework of the project on creation of an integrated intelligent system "SMART TUIT", which includes several subsystems (Information Retrieval, Voice Recognition, Pattern Recognition, Scientific Information Assessment, Geoinformation System). © 2024 Komil Kerimov, Zarina Azizova, Fayzi Bekkamov, Mekhriddin Rakhimov, Mannon Ochilov.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Predicting the Performance of ATL Model Transformations (extended abstract)

Predicting the Performance of ATL Model Transformations (ext...

引用

2024 Software Engineering, SE 2024

作者： Groner, Raffaela Bellmann, Peter Höppner, Stefan Thiam, Patrick Schwenker, Friedhelm Tichy, Matthias Ulm University Institute for Software Engineering and Programming Languages James-Franck-Ring UlmD-89069 Germany Ulm University Institute of Medical Systems Biology Albert-Einstein-Allee UlmD-89081 Germany Ulm University Institute of Medical Systems Biology Institute of Neural Information Processing Albert-Einstein-Allee UlmD-89081 Germany Ulm University Institute of Neural Information Processing James-Franck-Ring UlmD-89069 Germany

ISBN: (纸本)9783885797371

Model transformations are used in different areas of computer science. They are often used during the development of software but also at runtime, e.g., to update a digital twin. However, users of these languages still suffer from very limited tool support, especially in the context of performance engineering techniques, users are left to their own devices. In particular, performance prediction approaches for model transformations are unknown until now. To tackle this issue, we performed several experiments in which we used three different machine learning approaches to predict the performance of five transformations written in the Atlas Transformation Language (ATL) based on different characterizations of input models. In our experiments, we trained a random forest, a linear regression, and a support vector regression model with a radial basis functional kernel using real-world models. The results of our experiments show that we can achieve a mean absolute percentage error between 2.07% and 10.63% using support vector regression and a straightforward model characterization consisting of the number of model elements, the number of references, and the number of attributes. We also show a weakness of our approach which fails to predict the performance of transforming attributes with an arbitrary size, like string attributes. More details about our experiments can be found in our corresponding publication, which was accepted by the 2023 ACM/SPEC International Conference on Performance Engineering (ICPE) [Gr23]. © 2024 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Prediction models

来源：评论

学校读者我要写书评

暂无评论

The FMICS-jETI platform: Status and perspectives

The FMICS-jETI platform: Status and perspectives

引用

2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006

作者： Margaria, Tiziana Kubczak, Christian Steffen, Bernhard Naujokat, Stefan Department of Service and Software Engineering Universität Potsdam August Bebel Str. 89 14482 Potsdam Germany Department of Software Engineering Universität Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany Department of Programming Systems Universität Dortmund Otto-Hahn-Str. 14 44227 Dortmund Germany

ISBN: (纸本)0769530710

One of the goals of FMICS, the ERCIM Working Group on Formal Methods for Industrial Critical systems (FMICS) [8], is to transfer and promote the use formal methods technology in industry. The ongoing Verified Software Repository Grand Challenge [11] offers a great opportunity to reach this goal, resulting in a more robust and solid software industry in Europe. We demonstrate here the current status of the FMICS-jETI platform1, a collaborative demonstrator based on the jETI technology2, that provides as repository a collection of verification tools stemming from the activities of the FMICS working group and facilities to orchestrate them in a remote and simple way. At the same time FMICS-jETI itself is a contribution to the VSR repository and thus to the Grand Challenge. © 2007 IEEE.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：