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

International IEEE Conference on Intelligent Systems, IS

作者： Petar Mrazovic Elif Eser Hakan Ferhatosmanoglu Josep L. Larriba-Pey Mihhail Matskin Dept. of Software and Computer System Royal Institute of Technology Stockholm Sweden Dept. of Computer Engineering Bilkent University Ankara Turkey Dept. of Computer Science University of Warwick Coventry United Kingdom Dept. of Computer Architecture Polytechnic University of Catalonia Barcelona Spain

ISBN: (纸本)9781538670989;9781538670972

The urban parking spaces for loading/unloading are typically over-occupied, which shifts delivery operations to traffic lanes and pavements, increases traffic, generates noise, and causes pollution. We present a data analytics based routing optimization that improves the circulation of vehicles and utilization of parking spaces. We formalize this new problem and develop a novel multivehicle route planner that avoids congestions at loading/unloading areas and minimizes the total duration. We present the developed tool with an illustration and analysis for the urban freight in the city of Barcelona, which monitors tens of thousands of deliveries every day. Our system includes an effective evaluation of candidate routes by considering the waiting times and further delays of other deliverers as a first class citizen in the optimization. A two-layer local search is proposed with a greedy randomized adaptive method for variable neighborhood search. Our approach is applied and validated over data collected across Barcelona's urban freight transport network, which contains 3,704,034 parking activities. Our solution is shown to significantly improve the use of available parking spaces and the circulation of vehicles, as evidenced by the results. The analysis also provides useful insights on how to manage delivery routes and parking spaces for sustainable urban freight transport and city logistics.

关键词： Loading Optimization Planning Routing Urban areas Roads Load modeling

来源：评论

学校读者我要写书评

暂无评论

ArchRanker: A Ranking Approach to Design Space Exploration 14

ArchRanker: A Ranking Approach to Design Space Exploration

引用

ACM/IEEE International Symposium on computer architecture

作者： Tianshi Chen Qi Guo Ke Tang Olivier Temam Zhiwei Xu Zhi-Hua Zhou Yunji Chen State Key Laboratory of Computer Architecture Institute of Computing Technology (ICT) CAS China Carnegie Mellon University United States University of Science and Technology of China China Inria France National Key Laboratory for Novel Software Technology Nanjing University China

ISBN: (纸本)9781479943944

Architectural Design Space Exploration (DSE) is a notoriously difficult problem due to the exponentially large size of the design space and long simulation times. Previously, many studies proposed to formulate DSE as a regression problem which predicts architecture responses (e.g., time, power) of a given architectural configuration. Several of these techniques achieve high accuracy, though often at the cost of significant simulation time for training the regression models. We argue that the information the architect mostly needs during the DSE process is whether a given configuration will perform better than another one in the presences of design constraints, or better than any other one seen so far, rather than precisely estimating the performance of that configuration. Based on this observation, we propose a novel ranking-based approach to DSE where we train a model to predict which of two architecture configurations will perform best. We show that, not only this ranking model more accurately predicts the relative merit of two architecture configurations than an ANN-based state-of-the-art regression model, but also that it requires much fewer training simulations to achieve the same accuracy, or that it can be used for and is even better at quantifying the performance gap between two configurations. We implement the framework for training and using this model, called ArchRanker, and we evaluate it on several DSE scenarios (unicore/multicore design spaces, and both time and power performance metrics). We try to emulate as closely as possible the DSE process by creating constraint-based scenarios, or an iterative DSE process. We find that ArchRanker makes 29.68% to 54.43 % fewer incorrect predictions on pair-wise relative merit of configurations (tested with 79,800 configuration pairs) than an ANN-based regression model across all DSE scenarios considered (values averaged over all benchmarks for each scenario). We also find that, to achieve the same accuracy as Arc

关键词： Design DSE training

来源：评论

学校读者我要写书评

暂无评论

TileSpMSpV: A Tiled Algorithm for Sparse Matrix-Sparse Vector Multiplication on GPUs 22

TileSpMSpV: A Tiled Algorithm for Sparse Matrix-Sparse Vecto...

引用

Proceedings of the 51st International Conference on Parallel Processing

作者： Haonan Ji Huimin Song Shibo Lu Zhou Jin Guangming Tan Weifeng Liu Super Scientific Software Laboratory China University of Petroleum-Beijing China China Northeastern University United States of America State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China

ISBN: (纸本)9781450397339

Sparse matrix-sparse vector multiplication (SpMSpV) is an important primitive for graph algorithms and machine learning applications. The sparsity of the input and output vectors makes its floating point efficiency in general lower than sparse matrix-vector multiplication (SpMV) and sparse matrix-matrix multiplication (SpGEMM). Existing parallel SpMSpV methods focused on various row- and column-wise storage formats and merging operations. However, the data locality and sparsity pattern of the input matrix and vector are largely ignored. We in this paper propose TileSpMSpV, a tiled algorithm for accelerating SpMSpV on GPUs. Firstly, tile-wise storage structures are developed for fast positioning a group of nonzeros in matrix and vectors. Then, we develop the TileSpMSpV algorithm on top of the storage structures. In addition, to accelerate directional optimization breadth-first search (BFS) by using TileSpMSpV, we propose a TileBFS algorithm including three kernels called Push-CSC, Push-CSR and Pull-CSC. In the experiments running on a high-end NVIDIA GPU and using 2757 sparse matrices, the TileSpMSpV algorithm outperforms TileSpMV, cuSPARSE and CombBLAS by a factor of on average 1.83, 17.18 and 17.20 (up to 7.68, 1050.02 and 235.90), respectively. Moreover, our TileBFS algorithm outperforms Gunrock and GSwitch by a factor of on average 2.88 and 4.52 (up to 21.35 and 1000.85), respectively.

关键词： GPU Sparse matrix BFS Tiling SpMSpV

来源：评论

学校读者我要写书评

暂无评论

Research on the Design Method of Prefabricated Concrete Structure Based on BIM

引用

computer-Aided Design and Applications 2023年 20卷 148-164页

作者： Yang, Fan Hussain, Saddam Fadhel, Mustafa Abbas Ghafoor, Kayhan Zrar Gannan University of Science and Technology Jiangxi Ganzhou China Department of Civil and Architecture Engineering Kyushu Institute of Technology Fukuoka Kitakyushu8040015 Japan University of Al Muthanna Samawa66001 Iraq Department of Computer Science Knowledge University Erbil44001 Iraq Department of Software & Informatics Engineering Salahaddin University-Erbil Erbil44001 Iraq

With the gradual development in industrialization, the advent of computer and information technology has evolved in the field of engineering and construction industry. BIM technology has become a valuable part of prefabricated concrete engineering with the advancement of modern technology based on 3D modeling simulation. In order to realize the industrialization and automation of prefabricated concrete structures, this paper analyzes the characteristics of fabricated concrete structure and BIM, combining the two techniques. This work applies BIM to fabricated concrete design and chooses finite element analysis and calculation software ETABS to analyze the structure model. The results show that the mass participation ratio of the model studied in this paper reaches more than 90%, the interlayer displacement angle is less than 1/550, and the modal and shell internal force analysis results meet the requirements. In this paper, modal analysis, shell internal force analysis under live load and structural dynamic analysis under response spectrum load conditions were carried out on the ETABS model converted from the Revit model and the model directly established by ETABS. The ETABS model converted from the Revit model by the data interface plug-in can be used for structural analysis. © 2023, CAD Solutions, LLC. All rights reserved.

关键词： Finite element method

来源：评论

学校读者我要写书评

暂无评论

A Toolbox of Feminist Wonder: Theories and methods that can make a difference 26

A Toolbox of Feminist Wonder: Theories and methods that can ...

引用

26th ACM Conference on computer-Supported Cooperative Work and Social Computing, CSCW 2023

作者： Hansson, Karin Bardzell, Shaowen Bhandari, Aparajita Boulicault, Marion Doyle, Dylan Thomas Erete, Sheena Cerratto Pargman, Teresa Lazem, Shaimaa Muller, Michael Normark, Maria Petterson, Adrian Rosén, Anton Poikolainen Taylor, Alex S. Thomas, Jakita O. Watson, Julia Södertörn University The School of Natural Sciences Technology and Environmental Studies Sweden Georgia Institute of Technology The School of Interactive Computing United States Cornell University Department of Communication United States University of Edinburgh Department of Philosophy United States University of Colorado Boulder Department of Information Science United States University of Maryland College of Information United States Stockholm University The Department of Computer and Systems Sciences Sweden City for Scientific Research and Technological Applications The Informatics Research Institute Egypt Ibm Research Human Centered Ai United States Uppsala University Department of Informatics and Media Sweden University of Toronto Faculty of Information Canada Aalto University The School of Arts Design and Architecture Finland City University of London The Centre for Human Computer Interaction Design United Kingdom Auburn University Department of Computer Science and Software Engineering United States University of Toronto Department of Computer Science Canada

ISBN: (纸本)9798400701290

This one-day hybrid workshop builds on previous feminist CSCW workshops to explore feminist theoretical and methodological approaches that have provided us with useful tools to see things differently and make space for change. Since its inception over a decade ago, feminist HCI has progressed from the margins to mainstream HCI, with numerous references in the literature. Feminist HCI has also evolved to incorporate other critical HCI practices such as Queer HCI, participatory design, and speculative design. While feminist approaches have grown in popularity and become mainstream, it is getting more difficult to distinguish the feminist emancipatory core from other attempts of developing and improving society in various ways. In this workshop, we therefore want to revisit our feminist roots, where theory is a liberatory and creative practice, motivated by affect, curiosity, and wonder. From this standpoint, we consider which of our feminist tools can make a significant difference today, in a highly datafied world. The goal of this workshop is to;1) create an inventory of feminist theories and concepts that have had an impact on our work as designers, educators, researchers, and activists;2) develop a feminist toolbox for the CSCW community to strengthen our feminist literacy. © 2023 Owner/Author.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

SAT-based arithmetic circuit bug-hunting method

引用

Jisuanji Xuebao/Chinese Journal of computers 2007年第12期30卷 2082-2089页

作者： Chen, Yun-Ji Zhang, Jian H.-H., Shen W.-W., Hu Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China

E-CNF is hybrid of Boolean formula and mathematic formula. SAT-based arithmetic circuit bug-hunting method translates the verification problem into E-CNF, and solves E-CNF through E-SAT solver, E-SAT solver is an extension of complete SAT solver, with tag clause technique. Experiments show that SAT-based arithmetic bug-hunting method is powerful in finding bugs in arithmetic circuits.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Analytical Model of Customer Churn Based on Bayesian Network

Analytical Model of Customer Churn Based on Bayesian Network

引用

International Conference on Computational Intelligence and Security

作者： Peng Sun Xin Guo Yunpeng Zhang Ziyan Wu College of Computer Science Northwestern Polytechnical University Xi'an Shaanxi Province China Civil Engineering Institute Xi'an University of Architecture and Technology Xi'an Shaanxi Province China School of Software and Microelectronics Northwestern Polytechnical University Xi'an Shaanxi Province China School of Mechanics Civil Engineering & Architecture Northwestern Polytechnical University Xi'an Shaanxi Province China

A customer churn analytical model based Bayesian network is built for prediction of customer churn. We propose Bayesian Network approaches to predict churn motivation, mining the result in churn characters in order to help decision-making manager formulate corresponding detainment strategy. Experimental results show that classification performance of both methods is resultful.

关键词： Mathematical model Bayes methods Educational institutions Predictive models Analytical models Broadband communication Companies

来源：评论

学校读者我要写书评

暂无评论

Multi-Unit Floor Plan Recognition and Reconstruction Using Improved Semantic Segmentation of Raster-Wise Floor Plans

arXiv

引用

arXiv 2024年

作者： Kratochvila, Lukas de Jong, Gijs Arkesteijn, Monique Bilík, Šimon Zemčík, Tomáš Horak, Karel Rellermeyer, Jan S. Department of Control and Instrumentation Faculty of Electrical Engineering and Communication Brno University of Technology Brno Czech Republic Department of Software Technology Faculty of Electrical Engineering Mathematics and Computer Science TU Delft Delft Netherlands Department of Management in the Built Environment Faculty of Architecture and the Built Environment TU Delft Delft Netherlands Computer Vision and Pattern Recognition Laboratory Department of Computational Engineering Lappeenranta-Lahti University of Technology LUT Lappeenranta Finland Dependable and Scalable Software Systems Institute of Systems Engineering Faculty of Electrical Engineering and Computer Science Leibniz University Hannover Hannover Germany

Digital twins have a major potential to form a significant part of urban management in emergency planning, as they allow more efficient designing of the escape routes, better orientation in exceptional situations, and faster rescue intervention. Nevertheless, creating the twins still remains a largely manual effort, due to a lack of 3D-representations, which are available only in limited amounts for some new buildings. Thus, in this paper we aim to synthesize 3D information from commonly available 2D architectural floor plans. We propose two novel pixel-wise segmentation methods based on the MDA-Unet and MACU-Net architectures with improved skip connections, an attention mechanism, and a training objective together with a reconstruction part of the pipeline, which vectorizes the segmented plans to create a 3D model. The proposed methods are compared with two other state-of-the-art techniques and several benchmark datasets. On the commonly used CubiCasa benchmark dataset, our methods have achieved the mean F1 score of 0.86 over five examined classes, outperforming the other pixel-wise approaches tested. We have also made our code publicly available to support research in the field. © 2024, CC BY.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

Innovative Approaches in Network architecture: Enhancing Connectivity and Performance in the Era of 5G and Beyond

Innovative Approaches in Network Architecture: Enhancing Con...

引用

Sustainable Communication Networks and Application (ICSCNA), International Conference on

作者： Sunita Pachar Satti Sudha Mohan Reddy Lakshmi Narasimhan Srinivasagopalan Balla Mounica B Srinivasa Rao Sivakoteswararao Katta IBM Department GLA University Department of ECE SRKR Engineering College India Software Development Enterprise Architecture Plano TX USA Computer Science and Engineering (AI&ML) Vignan Institute of Technology and Science Hyderabad Ace Engineering College Hyderabad Department of Mechanical KIETW Kakinada

ISBN: (数字)9798331530013

ISBN: (纸本)9798331530020

This research study examines the evolving ecosystem of network applications for enhancing connectivity and performance in 5G and beyond (B5G) networks. The objective is to streamline large-scale deployment of vertical applications through a middleware layer, facilitating interactions among network operators and third parties based on varying trust levels. The proposed model addresses the complexity and computational demands of enabling adaptable, secure, and scalable applications for diverse 5G platforms. In particular, this study highlights the 5G-EPICENTRE project, which enables traffic management and dynamic control, especially for missioncritical Public Protection and Disaster Relief (PPDR) applications. By optimizing resource allocation, the model reduces computational costs while meeting the unique demands of PPDR services, such as high-quality video and data for emergency operations. The model's effectiveness will be evaluated through experiments leveraging 5G Core (5GC) control-plane capabilities, with a focus on quality of service (QoS) and latency. Practical limitations, including the integration challenges of multi-network APIs, are discussed in the conclusion.

关键词： Adaptation models 5G mobile communication Computational modeling Scalability Ecosystems Quality of service Telecommunications Complexity theory Resource management Protection

来源：评论

学校读者我要写书评

暂无评论

Computational representation for a simulation scenario definition language

Computational representation for a simulation scenario defin...

引用

AIAA Modeling and Simulation Technologies Conference, 2018

作者： Durak, Umut Jafer, Shafagh Wittman, Rob Mittal, Saurabh Hartmann, Sven Zeigler, Bernard P. Institute of Flight Systems Braunschweig38108 Germany Embry-Riddle Aeronautical University Daytona BeachFL32114-3900 United States The MITRE Corporation McLean VA22102 United States Clausthal University of Technology Clausthal-Zellerfeld38678 Germany RTSync Corp. and Arizona Center for Integrated M&S TucsonAZ85621 United States Flight Dynamics and Simulation Department of Electrical Computer Software and Systems Engineering Department Head Simulation Experimentation and Gaming Architecture Analytics Department Department of Informatics Department of Electrical and Computing Engineering

ISBN: (数字)9781624105289

ISBN: (纸本)9781624105289

The modeling and simulation community in aviation is in search of standardization in simulation scenario definition. While the System Entity Structure (SES) ontology promises an effective formal means of domain modeling, computational representation is still a key challenge to tackle for fostering wide-acceptance and standardization. This paper presents an eXtended Markup Language (XML) based approach. It first gives the relational specification and the schema definition of the SES ontology. Following a layered modeling workflow, it then presents a schema definition for the simulation scenario definition language and exemplifies its utilization. © 2018, American institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： Standardization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：