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

Proceedings of 2020 IEEE/ACM international Workshop on HPC User Support Tools, HUST 2020 and the Workshop on programming and Performance Visualization Tools, ProTools 2020 - Held in conjunction with SC 2020: the international conference for High Performance Computing, Networking, Storage and Analysis

Proceedings of 2020 IEEE/ACM International Workshop on HPC U...

引用

7th Annual IEEE/ACM international Workshop on HPC User Support Tools, HUST 2020 and the 2nd Workshop on programming and Performance Visualization Tools, ProTools 2020

ISBN: (纸本)9781665422802

the proceedings contain 9 papers. the topics discussed include: simulation-based performance prediction of HPC applications: a case study of HPL;automation of NERSC Application usage report;exascale potholes for HPC: execution performance and variability analysis of the flagship application code HemeLB;HPC software tracking strategies for a diverse workload;integrating science gateways with secure cloud computing resources: an examination of two deployment patterns and their requirements;demystifying python package installation with Conda-Env-Mod;OpenACC profiling support for clang and LLVM using Clacc and TAU;and usability and performance improvements in hatchet;empirical modeling of spatially diverging performance.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Computationally Fast Particle Swarm Optimization Power System Stabilizer Design for Interconnected Multimachine Power System

Computationally Fast Particle Swarm Optimization Power Syste...

引用

international conference on Electrical Energy Systems (ICEES)

作者： Subash Ranjan Kabat Chinmoy Kumar Panigrahi Ajit Kumar School of Electrical Engineering KIITDeemed to be University Bhubaneswar India NIT Patna India

ISBN: (数字)9781728176123

ISBN: (纸本)9781728176130

In this paper, for multi-machine power system, computationally fast binary particle swarm optimization (BPSO) based power system stabilizer design is presented. It is necessary to make the best setting of PSS (Power System Stabilizer) parameters for improving its contribution towards the damping oscillation with less computational time for solving the PSO programming. the result shows the performance of PSS in a multi-machine environment for a proposed objective function. Time-domain simulation results of the PSO based PSS under different operating conditions are demonstrated on the 16-machine, 68-bus system.

关键词： Damping Stability criteria Power system stability Linear programming Particle swarm optimization Time-domain analysis Oscillators

来源：评论

学校读者我要写书评

暂无评论

Submerged aquatic vegetation cover and complexity drive crustacean zooplankton community structure in a large fluvial lake: An in situ approach

引用

JOURNAL OF GREAT LAKES RESEARCH 2020年第4期46卷 767-779页

作者： Bolduc, Patricia Bertolo, Andrea Hudon, Christiane Pinel-Alloul, Bernadette Univ Quebec Trois Rivieres Dept Sci Environm 3351 Boul ForgesCP 500 Trois Rivieres PQ G9A 5H7 Canada Univ Quebec Trois Rivieres Ctr Rech Interact Bassins Versants Ecosyst Aquat 3351 Boul ForgesCP 500 Trois Rivieres PQ G9A 5H7 Canada Univ Quebec Trois Rivieres Grp Rech Interuniv Limnol & Environm Aquat 3351 Boul ForgesCP 500 Trois Rivieres PQ G9A 5H7 Canada Univ Montreal Dept Sci Biol 90 Ave Vincent dIndyCP 6128 Montreal PQ H2V 2S9 Canada Environm & Climate Change Canada St Lawrence Ctr Fluvial Ecosyst Res Sect 105 McGill7th Floor Montreal PQ H2Y 2E7 Canada

Submerged aquatic vegetation (SAV) is considered an important driver of the zooplankton community, owing to the refuge offered by its structural complexity. However, non-destructive in situ approaches to assess quantitatively the features of SAV beds and their effects on zooplankton community are still lacking. this study aims to: 1) estimate SAV cover and complexity using subaquatic upward photographs (SUP) and 2) analyse the relationship between SAV variables and crustacean zooplankton composition and functional diversity (FD). SAV biomass and zooplankton were sampled at 52 stations in a large fluvial lake. Two metrics based on SUP were used to quantify SAV cover and complexity: 1) the percentage of the underwater landscape occupied by SAV (PLAND: SAV cover), and 2) its perimeter-area fractal dimension (PAFRAC: SAV complexity). Zooplankton composition and functional diversity were estimated based on crustacean species assemblages and functional traits. We used linear models to describe the relationships between SAV indices, environmental variables and zooplankton abundance, biomass and FD. SUP was an effective method to estimate in situ SAV cover and complexity. PLAND and PAFRAC were positively related to SAV biomass and zooplankton abundance, yielding a non-destructive assessment of the SAV-zooplankton relationships. Our study partially supports the habitat complexity-ecological niche availability hypothesis, as SAV cover and complexity influenced zooplankton functional groups and diversity indices. However, water transparency and depth also had important effects in interaction with PLAND and PAFRAC, and it remains difficult to fully disentangle the effects of SAV complexity from SAV cover on crustacean zooplankton community structure. Crown Copyright (C) 2019 Published by Elsevier B.V. on behalf of international Association for Great Lakes Research. All rights reserved.

关键词： Submerged aquatic vegetation SAV cover and complexity Zooplankton community structure Underwater photography Large fluvial lake

来源：评论

学校读者我要写书评

暂无评论

Design and simulation of key mechanism for transverse sealing of fresh food packaging machine 7

Design and simulation of key mechanism for transverse sealin...

引用

2021 7th international Forum on Manufacturing Technology and Engineering Materials, IFEMMT 2021

作者： Zheng, Zhaoqi Shi, Bingjian Mei, Wenjuan Liu, Chaoran An, Zimin Shi, Pu Wang, Ruifang Tianjin Key Lab. of Intgd. Des. and On-line Monitoring for Light Indust. and Food Mach. and Equip. College of Mechanical Engineering Tianjin University of Science and Technology Tianjin300222 China Tianjin International Joint Research and Development Center of Low-Carbon Green Process Equipment Tianjin China

In order to improve the freshness and safety of fresh food, packaging is necessary for the processing industry of agricultural products. At present, the packaging of fresh food in China is mainly manual packaging, which has high labor intensity and low production efficiency. In response to this situation, this study focused on the transverse sealing device of the fresh food packaging machine. the device completed the transverse sealing operation through the cooperation of two main mechanisms, including an up wind box and an anthropomorphic hand folding mechanism. the anthropomorphic hand folding mechanism was composed of roller, cylinder and lower wind box. this paper makes a study of design and simulation of key mechanism for transverse sealing of fresh food packaging machine, improving the completion of the transverse sealing of the packaging machine. the experiment showed that the designed structure basically satisfied the functional requirements of the fresh food packaging machine for the sealing operation of the transverse sealing device. And the optimal parameter of the air outlet of the up wind box was 640 mm2, the lower wind box of anthropomorphic hand folding mechanism was 19 air outlets with a diameter of 2 mm. © Published under licence by IOP Publishing Ltd.

关键词： Production efficiency

来源：评论

学校读者我要写书评

暂无评论

Design of Attendance Monitoring System Using RFID

Design of Attendance Monitoring System Using RFID

引用

international conference on Advanced Computing and Communication Systems (ICACCS)

作者： K. Aravindhan S.K.B. Sangeetha K. Periyakaruppan K.P. Keerthana V. SanjayGiridhar V. Shamaladevi SNS College of Engineering Coimbatore SRM Institute of Science and Technology Chennai KGiSL Institute of Technology Coimbatore

the attendance of employees was recently seen as one of the most important elements or issues in paying salaries. Various automatic identification technologies such as radio frequency identification have been more popular (RFID). A wide range of research and other applications have been produced to maximize this technology and express certain concerns. RFID is a wireless equipment that uses data move from an electronic tag, identify as RFID tag, or label for sending data to RFID reader, for the rationale of classify and pathway objects via radio waves. In addition to the programmable logic circuit, such as Arduino, the current study aims at recommending an RFID based Attendance Management System (AMS), as well as a system of information services on academic domains. the system proposed is aimed at managing the attendance system of employees with RFID tags/stickers to communicate with an Arduino UNO connecting RFID Reader/Writer module. the Arduino UNO receives authentication data, which is then sent through an Ethernet module, to Google Spreadsheets in order to store and access data in real time. the attendance system is therefore non-paper and organized because of the timestamp, the card key and the columns on the API table.

关键词： Industries Wireless communication Prototypes programming Real-time systems Remuneration Object recognition

来源：评论

学校读者我要写书评

暂无评论

Building a Flexible Mobile Robotics Teaching Toolkit by Extending MATLAB/Simulink with ROS and Gazebo

Building a Flexible Mobile Robotics Teaching Toolkit by Exte...

引用

Mechatronics and Robotics Engineering (ICMRE), international conference on

作者： Yun Niu Hafeezullah Qazi Yalin Liang School of marine science and technology Northwestern Polytechnical University Xian China

ISBN: (数字)9781665414890

ISBN: (纸本)9781665430531

To improve the learning efficiency in robotic simulation environments with physical characteristics, this paper presents a toolkit for mobile robotics teaching via extending the MATLAB/Simulink using ROS and Gazebo simulator. the content discusses the proposed software architecture firstly, the access to virtual sensors and actuators has been integrated and the communication details are also hidden to allow the students to focus on programming and debugging their key algorithms. An example showing how to carry out the mobile robotic teaching using the proposed toolkit is also given. After properly creating the robot models under Gazebo, the code developed for the simulation process can be directly implemented in the real robot without modifications. It is proved by the teaching practice that the proposed toolkit can significantly speed up development of robotic solutions and boost the student active learning experience.

关键词： Visualization Education programming Robot sensing systems Path planning Robots Matlab

来源：评论

学校读者我要写书评

暂无评论

Demo: Functors and Music 7

Demo: Functors and Music

引用

7th ACM SIGPLAN international Workshop on functional Art, Music, Modeling, and Design (FARM)

作者： Apfelmus, Heinrich Germany

ISBN: (纸本)9781450368117

We present work-in-progress on two projects whose combination enables live coding music in Haskell: cnoidal, a library for representing and transforming music, and Hyper-Haskell, a Haskell interpreter with a worksheet interface and graphical output. the library represents music as a collection of time intervals tagged with values, a data structure known as temporal media. Parametric polymorphism suggests various functor instances, like Applicative Functor, which we find to be highly useful for live coding. However, a lawful Monad instance can only be defined for some variants of the data type. We stress that these projects are not a specialized music environment, instead we compose a library with a general purpose interpreter.

关键词： music live coding algorave monad applicative functor interpreter Haskell functional programming

来源：评论

学校读者我要写书评

暂无评论

7th international Symposium on Model-Based Safety and Assessment, IMBSA 2020

7th International Symposium on Model-Based Safety and Assess...

引用

7th international Symposium on Model-Based Safety and Assessment, IMBSA 2020

ISBN: (纸本)9783030589196

the proceedings contain 15 papers. the special focus in this conference is on Model-Based Safety and Assessment. the topics include: Identification and Quantification of Hazardous Scenarios for Automated Driving;an Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems;SafeML: Safety Monitoring of Machine Learning Classifiers through Statistical Difference Measures;Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks;u-Map: A Reference Map for Safe Handling of Runtime Uncertainties;argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities;Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling;Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation;branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems;optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer programming;counterexample Interpretation for Contract-Based Design;property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems;failure Mode Reasoning in Model Based Safety Analysis.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An Improved RSA Algorithm for Wireless Localization

An Improved RSA Algorithm for Wireless Localization

引用

7th international conference on Communications, Signal Processing, and Systems (CSPS)

作者： Fu, Jiafei Hua, Jingyu Xu, Zhijiang Lu, Weidang Li, Jiamin Zhejiang Univ Technol Coll Informat Engn Hangzhou 310023 Peoples R China Southeast Univ Natl Mobile Commun Res Lab Nanjing 210096 Peoples R China

ISBN: (纸本)9789811365041;9789811365034

Wireless localization has become a hot issue in Internet of things, but the none-line-of-sight (NLOS) propagation will degrade the performance of traditional localization algorithms. therefore, this paper proposed an improved range scaling algorithm (RSA) in the wireless sensor networks, where we use a two-step improvement to enhance the constrained optimization model. Simulations demonstrate that the proposed algorithm outperforms the compared algorithms, and effectively suppress the localization error caused by the none-line-of-sight propagation.

关键词： Wireless location None-line-of-sight propagation Range scaling algorithm (RSA) Quadratic programming

来源：评论

学校读者我要写书评

暂无评论

Executing Scenario-Based Specification with Dynamic Generation of Rich Events 1

引用

7th international conference on Model-Driven Engineering and Software Development (MODELSWARD)

作者： Harel, David Katz, Guy Marron, Assaf Sadon, Aviran Weiss, Gera Weizmann Inst Sci Rehovot Israel Hebrew Univ Jerusalem Jerusalem Israel Ben Gurion Univ Negev Beer Sheva Israel

ISBN: (数字)9783030378738

ISBN: (纸本)9783030378738;9783030378721

Scenario-Based programming (SBP) is an approach to modeling and running complex, event-based, system behavior by composing narrower views of overall behavior. In this paper we introduce significant extensions to the strict interfaces by which scenarios in existing SBP frameworks specify what the system must, may, or must not do, and to the mechanisms that execute these scenarios: (i) we allow events with a multitude of variables and parameters;each event can become an entire model, and each event selection can be the selection of a major section of the new state of the system and the environment;(ii) we extend the basic request/block SBP interfaces with a rich set of composable constraints and functions, which can describe desired and undesired variable assignments, where each constraint may relate to all variables or to just a subset thereof;(iii) we introduce a central, application-agnostic mechanism for adding optimization to standard event selection;and (iv) we relate our method to Null-Space Behavior (NSB)-a successful compositional approach in control theory. We demonstrate these language-independent concepts through several use cases that are implemented in a variety of languages and solvers.

关键词： Scenario-Based programming Behavioral programming Constraint solvers SMT solvers NSB Mathematica MATLAB-Simulink Z3 Python

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：