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

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Harsha Moraliyage Dilantha Haputhanthri Chamod Samarajeewa Nishan Mills Daswin De Silva Milos Manic Andrew Jennings Centre for Data Analytics and Cognition La Trobe University Melbourne Australia Department of Computer Science Virginia Commonwealth University Richmond USA

Increasing energy consumption and diversified energy generation have led to the proliferation of energy management (EM) systems for optimized grid operations and net zero carbon emissions. Artificial Intelligence (AI) is centric to EM systems to process large volumes of high velocity data for anomalies, predictions, optimization and other actionable insights that unravel the complexities of grid operations. Managing Energy AI capabilities itself is becoming an increasingly complex task that requires extensive resourcing and expertise. In this paper, we aim to address this gap by formalizing the role of Automated Machine Learning (AutoML) by proposing a novel framework for its key functionalities in critical energy infrastructure. This framework provides a generic and cohesive abstraction to assist with integrating and managing the complexities of AI capabilities. The framework is empirically evaluated in the microgrid setting of a multi-campus, multi-functional tertiary education institution. Results from these experiments confirm the performance contributions of the proposed framework in addressing the complexities of AI capabilities of EM systems as they transition towards microgrid energy optimisation and net zero carbon emissions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Optimization of Mobile Car Ranging Based on Single Chip Microcomputer 13

Design and Optimization of Mobile Car Ranging Based on Singl...

引用

13th IEEE International Conference on CYBER Technology in Automation, Control, and Intelligent Systems, CYBER 2023

作者： Wu, Fangzheng Wu, Qiang Xu, lanying Zhao, Peng Pan, Guolin Tulane University Department of Computer Science New OrleansLA70118 United States School of Automobile and Transportation Engineering Guangdong Polytechnic Normal University Guangzhou510450 China College of Electromechanical Engineering Guangdong Polytechnic Normal University Guangzhou510635 China

ISBN: (纸本)9798350315196

With the development of society and economy, the number of cars on the road has exploded and caused a series of traffic problems. Only relying on the rear-view mirror has been unable to meet the safety requirements of drivers on the rear collision of cars. Based on the analysis of ultrasonic sensors and STC89C52 microcontroller, the advantages and disadvantages of various ranging principles and factors affecting the accuracy of ultrasonic ranging are studied, and the temperature compensation method is added to improve. The LCD display screen is used to display the distance between the car and the obstacle and the current temperature, and when the distance between the two is less than 5cm, a buzzer is sent to prompt. The ranging system has the advantages of simple structure, low cost, high accuracy, LCD display real-time display of changing distance, and a driving motor to make the car move, to meet the requirements of mobile ranging. © 2023 IEEE.

关键词： Liquid crystal displays

来源：评论

学校读者我要写书评

暂无评论

The Design and Development of a Goal-Oriented Framework for Emotional Virtual Humans

The Design and Development of a Goal-Oriented Framework for ...

引用

IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR)

作者： Samad Roohi Richard Skarbez Department of Computer Science and Information Technology La Trobe University Melbourne Australia

ISBN: (纸本)9781665457262

Affective interaction with virtual humans can enhance the quality of user experience in virtual reality. It takes place through various considerations such as emotional representation in their behavioral patterns, facial expressions, head pose, body stance, and so on. Deciding on the emotional state of a virtual human at a moment, however, is still a challenge. Computational models of emotion, stemming from appraisal theories, are suggested for modeling emotion in virtual agents. Despite their competence in extracting emotion from appraisal values, they are poorly defined in describing how to assess appraisal values within a sense-think-act behavior model. Motivated by this lack of empirical knowledge on the appraisal stage, in this preliminary work, we propose a framework to bridge the gap between a computational model of emotion and a behavior model of virtual humans. To this end, we use a need-based, goal- oriented, autonomous behavior model to generate salient stimuli for eliciting emotions. Our simulation of a case study suggests that the proposed framework can produce sensible emotional states that conform to the essential principles of appraisal-based emotion theories.

关键词： Solid modeling Emotion recognition Computational modeling Virtual reality User experience Appraisal Behavioral sciences

来源：评论

学校读者我要写书评

暂无评论

Tailoring selectivity and efficiency: pyrazolyl-1H-1,2,4-triazole MCM-41 and silica hybrid materials for efficient cadmium(II) removal from water

引用

Environmental science and Pollution Research 2025年第17期32卷 10984-11003页

作者： Draoui, Youssef Radi, Smaail El Mahdaoui, Amal El Massaoudi, Mohamed Rotaru, Aurelian Garcia, Yann do Amparo F. Faustino, Maria da Graça P. M. S. Neves, Maria Moura, Nuno M. M. LCAE Department of Chemistry Faculty of Science University Mohamed I P.O. Box 524 Oujda60 000 Morocco Department of Electrical Engineering and Computer Science & Research Center Mansid "Stefan Cel Mare" University University Street No. 13 Suceava720229 Romania Université Catholique de Louvain Place L. Pasteur 1 Louvain-La-Neuve1348 Belgium LAQV-REQUIMTE Department of Chemistry University of Aveiro Aveiro3810-193 Portugal Higher School of Education and Training University Mohamed I P.O. Box 410 Oujda60000 Morocco

Two novel silica-based hybrid materials, M1 and M2, based on silica gel and MCM-41 with a ditopic triazole-pyrazole ligand grafted onto their surfaces, respectively, were successfully synthesized and fully characterized. The adsorption capacity of these organic–inorganic hybrid materials was evaluated for copper(II), cadmium(II), and lead(II) ions. Experimental parameters including solution pH, contact time, temperature, and adsorbate concentration were systematically investigated. The obtained experimental data were analyzed using diverse adsorption isotherms and models to assess and interpret the behavior of the adsorbents. Notably, the newly synthesized materials exhibited exceptional selectivity, ultra-rapid adsorption rates within the first few minutes, and high removal efficiencies of 81.40 and 121.26 mg/g for M1 and M2, respectively, towards Cd(II). Moreover, reusability assessments demonstrated excellent consistency, with only marginal decreases in adsorption capacities of less than 8% observed over five consecutive cycles. Interestingly, the application of M1 and M2 for the extraction of transition metals from real contaminated river water, from Nador city in Morocco, showcased their effectiveness in removing heavy metal ions even at low concentrations, with M2 achieving up to 67% cadmium removal. These findings highlight the potential of both materials as reliable systems for heavy metal removal in practical environmental remediation applications, with material M2 demonstrating superior performance over M1. © The Author(s) 2025.

关键词： Silica gel

来源：评论

学校读者我要写书评

暂无评论

Graph Spatiotemporal Process for Multivariate Time Series Anomaly Detection with Missing Values

arXiv

引用

arXiv 2024年

作者： Zheng, Yu Koh, Huan Yee Jin, Ming Chi, Lianhua Wang, Haishuai Phan, Khoa T. Chen, Yi-Ping Phoebe Pan, Shirui Xiang, Wei Department of Computer Science and Information Technology La Trobe University Australia Department of Data Science and AI Faculty of IT Monash University Australia School of Information and Communication Technology Griffith University Australia Zhejiang University China

The detection of anomalies in multivariate time series data is crucial for various practical applications, including smart power grids, traffic flow forecasting, and industrial process control. However, real-world time series data is usually not well-structured, posting significant challenges to existing approaches: (1) The existence of missing values in multivariate time series data along variable and time dimensions hinders the effective modeling of interwoven spatial and temporal dependencies, resulting in important patterns being overlooked during model training;(2) Anomaly scoring with irregularly-sampled observations is less explored, making it difficult to use existing detectors for multivariate series without fully-observed values. In this work, we introduce a novel framework called GST-Pro, which utilizes a graph spatiotemporal process and anomaly scorer to tackle the aforementioned challenges in detecting anomalies on irregularly-sampled multivariate time series. Our approach comprises two main components. First, we propose a graph spatiotemporal process based on neural controlled differential equations. This process enables effective modeling of multivariate time series from both spatial and temporal perspectives, even when the data contains missing values. Second, we present a novel distribution-based anomaly scoring mechanism that alleviates the reliance on complete uniform observations. By analyzing the predictions of the graph spatiotemporal process, our approach allows anomalies to be easily detected. Our experimental results show that the GST-Pro method can effectively detect anomalies in time series data and outperforms state-of-the-art methods, regardless of whether there are missing values present in the data. Our code is available: https://***/huankoh/GST-Pro. © 2024, CC BY.

关键词： Time series

来源：评论

学校读者我要写书评

暂无评论

SCU: A Hardware Accelerator for Smart Contract Execution

SCU: A Hardware Accelerator for Smart Contract Execution

引用

IEEE International Conference on Blockchain (Blockchain)

作者： Tao Lu Lu Peng Electrical and Computer Engineering Louisiana State University Baton Rouge LA USA Department of Computer Science Tulane University New Orleans LA USA

Smart contracts and the blockchain have recently been widely used in many application fields. Current smart contracts are executed on general-purpose CPUs and still have a large room to improve performance. In this paper, we first analyze the most popular public blockchain platform Ethereum and characterize smart contracts running on its ecosystem. After identifying its performance limitations, we propose a heterogeneous processor Smart Contract Unit (SCU), which is a hardware-based accelerator in place of the current EVM design. With our proposed novel RISC-style SCU ISA and heterogeneous architecture, SCU can leverage instruction-level parallelism and transaction-level parallelism during smart contract processing and boost its execution performance. Furthermore, SCU can be configured and adapted to different workloads in order to remove bottlenecks. We implement and evaluate the proposed SCU design on a Xilinx FPGA platform. Our design achieves a significant speedup compared to the software implementation on an Intel CPU and runs a few times faster than state-of-the-art design.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Secure User-Centred Healthcare System: Design and Verification 10th

A Secure User-Centred Healthcare System: Design and Verific...

引用

10th International Symposium on From Data Models and Back, DataMod 2021, held as a satellite event of the 19th International Conference on Software engineering and Formal Methods, SEFM 2021

作者： Baranov, Eduard Bowles, Juliana Given-Wilson, Thomas Legay, Axel Webber, Thais Computer Science and Engineering Department Université Catholique de Louvain Louvain-la-Neuve Belgium School of Computer Science University of St Andrews St AndrewsKY16 9SX United Kingdom

ISBN: (纸本)9783031160103

With ever increasing amounts of travel, it is essential to have access to a patient’s medical data from different sources including many jurisdictions. The Serums project addresses this goal by creating a healthcare sharing system that places privacy and security aspects at the center. This raises significant challenges to both maintain privacy and security of medical data and to allow for sharing and access. To address these strict requirements the Serums system design is supported by formal methods where design decisions are modelled and checked to meet safety and security properties. We report an experience in support of the system design with formal modelling with the Uppaal tool and analysis with exhaustive and statistical model checking. Results show that statistical model checking being a simulation-based technique can significantly improve feasibility of analysis while providing support for design decisions to ensure privacy and security. © 2022, Springer Nature Switzerland AG.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

Local Enumeration and Majority Lower Bounds 39

Local Enumeration and Majority Lower Bounds

引用

39th Computational Complexity Conference, CCC 2024

作者： Gurumukhani, Mohit Paturi, Ramamohan Pudlák, Pavel Saks, Michael Talebanfard, Navid Cornell University IthacaNY United States Department of Computer Science and Engineering University of California La Jolla San DiegoCA United States Institute of Mathematics of the Czech Academy of Sciences Prague Czech Republic Department of Mathematics Rutgers University PiscatawayNJ United States University of Sheffield United Kingdom

ISBN: (纸本)9783959773317

Depth-3 circuit lower bounds and k-SAT algorithms are intimately related;the state-of-the-art Σk3 -circuit lower bound (Or-And-Or circuits with bottom fan-in at most k) and the k-SAT algorithm of Paturi, Pudlák, Saks, and Zane (J. ACM’05) are based on the same combinatorial theorem regarding k-CNFs. In this paper we define a problem which reveals new interactions between the two, and suggests a concrete approach to significantly stronger circuit lower bounds and improved k-SAT algorithms. For a natural number k and a parameter t, we consider the Enum(k, t) problem defined as follows: given an n-variable k-CNF and an initial assignment α, output all satisfying assignments at Hamming distance t(n) of α, assuming that there are no satisfying assignments of Hamming distance less than t(n) of α. We observe that an upper bound b(n, k, t) on the complexity of Enum(k, t) simultaneously implies depth-3 circuit lower bounds and k-SAT algorithms: Depth-3 circuits: Any Σk3 circuit computing the Majority function has size at least (nn2 )/b(n, k, n2 ). k-SAT: There exists an algorithm solving k-SAT in time O (Pn/t=12 b(n, k, t) ) . A simple construction shows that b(n, k, n2 ) ≥ 2(1−O(log(k)/k))n. Thus, matching upper bounds for b(n, k, n2 ) would imply a Σk3 -circuit lower bound of 2Ω(log(k)n/k) and a k-SAT _upper bound of 2(1−Ω(log(k)/k))n. The former yields an unrestricted depth-3 lower bound of 2ω(√n) solving a long standing open problem, and the latter breaks the Super Strong Exponential Time Hypothesis. In this paper, we propose a randomized algorithm for Enum(k, t) and introduce new ideas to analyze it. We demonstrate the power of our ideas by considering the first non-trivial instance of the problem, i.e., Enum(3, n2 ). We show that the expected running time of our algorithm is 1.598n, substantially improving on the trivial bound of 3n/2 1.732n. This already improves Σ33 lower bounds for Majority function to 1.251n. The previous bound was 1.154n which follows from the wor

关键词： Hamming distance

来源：评论

学校读者我要写书评

暂无评论

EmoZen: A Robust Word Embedding for Implicit and Explicit Expressions of Emotion

EmoZen: A Robust Word Embedding for Implicit and Explicit Ex...

引用

Annual Conference of Industrial Electronics Society

作者： Prabod Rathnayaka Gihan Gamage Daswin De Silva Damminda Alahakoon Milos Manic Centre for Data Analytics and Cognition La Trobe University Melbourne Australia Department of Computer Science Virginia Commonwealth University Richmond USA

Machine perception of emotions is integral to the development of human-centric Artificial Intelligence (AI) in sustainable industrial applications. Human expressions of emotions are not always direct. Word embeddings are mature techniques that can extract the semantics of such indirect expressions from text data. However, they are not primed to extract emotions. In this paper, we propose a novel approach that generates robust word embeddings for implicit and explicit expressions of emotion. This approach consists of two techniques, mask and rogue, we evaluate both techniques on two benchmark datasets for emotion classification. Our results confirm the effectiveness of the proposed approach in extracting emotions from diverse contexts. We have shared the emotion word embedding for public use.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Applying Aspect-Oriented Design Methodology to Manage Time-Validity of Information in Internet-of-Things Systems

Applying Aspect-Oriented Design Methodology to Manage Time-V...

引用

AI IoT Congress (AIIoT), World

作者： Vyas O' Neill Ben Soh Department of Computer Science and Information Technology La Trobe University Melbourne Australia

The Internet of Things (IoT) is becoming increasingly ubiquitous, typified in software by large-scale multi-agent systems of heterogeneous agents. IoT devices are constrained in terms of memory and processing power, limiting their capacity to hold large sets of information upon which decision-making logic must execute. IoT devices are also frequently deployed as distributed sensors constrained in terms of time, location and communications bandwidth. These constraints demand a level of multi-agent communication and co-ordination to provide accurate, up-to-date information on-demand to different intelligent agents in the system. In this paper, we propose a novel method by which Aspect-Oriented Software Design can be applied to managing the validity of time-constrained data in IoT systems while decoupling the application code from this concern.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：