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

IEEE international conference on Automation Science and Engineering (CASE)

作者： Patrizia Bagnerini Mauro Gaggero Marco Ghio University of Genoa Genoa Italy National Research Council of Italy Genoa Italy Space V srl Genoa Italy

We present a new concept of industrial vertical greenhouse, called adaptive vertical farm, based on the possibility of adapting the distance between the shelves to the growth of the plants cultivated therein. this is possible through a set of sensors able to measure the crop height and a set of actuators to automatically move the shelves. A scheduling approach of seedings is proposed that requires the solution of a mixed-integer linear programming problem to fully utilize all the available vertical space and maximize the production yield. Simulation results obtained when cultivating various types of crops and for different greenhouse configurations in terms of total height and number of shelves are reported. the goal is to evaluate the effectiveness of the proposed scheduling approach and of the adaptive vertical farm concept in general, as compared to a vertical farm with fixed shelves.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Day-Ahead Optimal Power Flow for Efficient Energy Management of Urban Microgrid

引用

IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS 2021年第2期57卷 1285-1293页

作者： Arkhangelski, Jura Abdou-Tankari, Mahamadou Lefebvre, Gilles Univ Paris Est Creteil Environm & Syst Lab Ctr Res & Dev Heat Transfer F-9401 Creteil France

this study deals with the urban microgrid energy management that is dedicated to individual and collective self-consumption by providing flexibility to the distribution grid (DG). the proposed urban community microgrid is interconnected to a DG and it consists of an association of centralized storage units (called community energy storage system), community intermittent renewable generation, and intelligent energy management system (EMS). One of the main advantages of urban microgrid is that, in case of faults in the DG, it can cut existing interconnections and continue to supply the responsible community in the island mode. In this study, the developed urban microgrid EMS is based on the predictive control management through the day-ahead optimal power flow (DA-OPF) strategy. the main contributions of this work can be defined by two points. the first point is related to a development of the DA-OPF strategy for the urban microgrid based on the intelligent deep learning data forecasting and the mixed-integer nonlinear programming optimization methods. the second point concerns a development of an optimization function integrating the concept of ancillary services of DG flexibility. Experimental results and economical evaluation are presented in this article. By using the proposed strategies, it results in an important electricity price reduction for the considered urban microgrid, compared to a conventional distribution system and basic operation schemes.

关键词： Microgrids Energy management Optimization Load flow logic gates Energy storage Smart homes Ancillary services (AS) day-ahead optimal power flow (DA-OPF) deep learning (DL) flexibility mixed-integer nonlinear programming (MINLP) renewable energy self-consumption urban microgrid

来源：评论

学校读者我要写书评

暂无评论

Modelling the Risk of Overweight and Obesity Based on the GenObiA Dataset Using Genetic programming 19thth

Modelling the Risk of Overweight and Obesity Based on th...

引用

19th international conference on Computer Aided Systems theory, EUROCAST 2024

作者： Hidalgo, J. Ignacio Mayrhuber, Elisabeth Winkler, Stephan M. Parra, Daniel Velasco, J. Manuel Zamorano-León, José J. Garnica, Oscar Facultad de Informática Universidad Complutense Madrid Madrid Spain Instituto de Tecnología del Conocimiento Madrid Spain Bioinformatics Research Group University of Applied Sciences Upper Austria Hagenberg Austria Faculty of Medicine Universidad Complutense Madrid Madrid Spain

ISBN: (纸本)9783031829598

Obesity, a condition influenced by genetic, environmental, and behavioral factors, poses significant health risks. this study leverages the GenObIA dataset, collected from January 2018 to June 2022, which includes extensive sociodemographic, environmental, behavioral, and genetic data, to model the risk of overweight and obesity using genetic programming techniques. Our aim is to develop predictive models to identify individuals at risk of these conditions, thereby facilitating early intervention and prevention strategies. through structured grammatical evolution and symbolic regression by genetic programming, we generate interpretable machine learning models that reveal the influence of genetic variants, particularly single nucleotide polymorphisms, on obesity. Our findings underscore the importance of age, metabolic syndrome, and lifestyle factors such as alcohol consumption in predicting obesity. the models indicate potential, but further refinement in data preprocessing and model training is necessary to improve prediction reliability. this research contributes to a deeper understanding of obesity and supports the development of targeted public health interventions. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Detecting Micromanagement During Pair programming 19

Detecting Micromanagement During Pair Programming

引用

19th international conference on Information Technology Based Higher Education and Training, IthET 2021

作者： Ubani, Solomon Nielsen, Rodney University Of North Texas Department Of Computer Science And Computer Engineering Denton United States

ISBN: (纸本)9781728188836

One of the biggest challenges hindering effective collaboration and therefore, pair programming, is micromanagement. In this paper, we investigated the capabilities of a pretrained transformer-based machine learning model to detect such micromanagement, following a text classification approach. We collected and labeled a dataset of 42,820 utterances from three course assignments involving 32 pair programmers in remote environments. this is the first successful automated detection of such micromanagement. © 2021 IEEE.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Data extraction from flash memory and reverse engineering using Xilinx 7 series FPGA boards

Data extraction from flash memory and reverse engineering us...

引用

international SoC Design conference, ISOCC

作者： Dongchan Lee Sanghyun Lee Mannhee Cho Hyung-Min Lee Youngmin Kim School of Electronic & Electrical Eng. Hongik University Seoul Republic of Korea School of Electrical Engineering Korea University Seoul Republic of Korea

ISBN: (纸本)9781665459723

In this paper, we introduce a general methodology of reverse engineering for Xilinx FPGA devices using flash memory for programming. Based on the structural analysis of the flash memory used for the most recent 7-Series FPGA, data extraction for reverse engineering is carried out targeting the flash memory with the help of a logic analyzer. the accuracy of the extracted bitstream is finally verified using the in-house reverse engineering tool.

关键词： Reverse engineering programming Data mining Flash memories Field programmable gate arrays Adders

来源：评论

学校读者我要写书评

暂无评论

Towards establishing formal verification and inductive code synthesis in the PLC domain 19

Towards establishing formal verification and inductive code ...

引用

IEEE 19th international conference on Industrial Informatics (INDIN)

作者： Weiss, Matthias Marks, Philipp Maschler, Benjamin White, Dustin Kesseli, Pascal Weyrich, Michael Univ Stuttgart Inst Ind Automat & Software Engn Stuttgart Germany DiffBlue Ltd Oxford England

ISBN: (纸本)9781728143958

Nowadays, formal methods are used in various areas for the verification of programs or for code generation from models in order to increase the quality of software and to reduce costs. However, there are still fields in which formal methods haven't been widely adopted, despite the large set of possible benefits offered. this is the case for the area of programmable logic controllers (PLC). this article aims to evaluate the potential of formal methods in the context of PLC development. For this purpose, the general concepts of formal methods are first introduced and then transferred to the PLC area, resulting in an engineering-oriented description of the technology that is based on common concepts from PLC development. Based on this description, PLC professionals with varying degrees of experience were interviewed for their perspective on the topic and to identify possible use cases within the PLC domain. the survey results indicate the technology's high potential in the PLC area, either as a tool to directly support the developer or as a key element within a model-based systems engineering toolchain. the evaluation of the survey results is performed with the aid of a demo application that communicates with the Totally Integrated Automation Portal from Siemens and generates programs via Fastsynth, a model-based open source code generator. Benchmarks based on an industry-related PLC project show satisfactory synthesis times and a successful integration into the workflow of a PLC developer.

关键词： PLC programming Siemens TIA Openness formal verification code generation counterexample guided inductive synthesis

来源：评论

学校读者我要写书评

暂无评论

Missing Data Analysis and Soil Compressive Modulus Estimation via Bayesian Evolutionary Trees 1

引用

19th international conference on Advanced Intelligent Computing Technology and Applications (ICIC)

作者： Zhang, Wenchao Shi, Peixin Zhou, Xiaoqi Jia, Pengjiao Soochow Univ Suzhou Jiangsu Peoples R China

ISBN: (数字)9789819947522

ISBN: (纸本)9789819947515;9789819947522

Soil compression modulus (Es) is an elemental parameter in geotechnical designs. During Es prediction, missing values in some parameters are inevitable. By analyzing the missing mechanism of the parameters, it is found that some missing values contain important domain knowledge information. A new method for predicting Es with missing values in the parameters is proposed. this method, called BETm, modifies the recursive partitioning scheme during the construction of genetic programming (GP) trees and Bayesian additive regression trees (BARTs) to incorporate missing data into partitioning rules. Compared to traditional interpolations or imputations, it can directly mine the domain information of missing values, avoiding the introduction of unnecessary errors and noise that can obscure this information. It can construct higher order feature variables to explore the interactions between parameters through GP and introduces beneficial uncertainty into an ensemble model through BART. To estimate Es, a database of 2955 geotechnical samples from 101 boreholes, including 5 missing input values, is constructed. A comparison is conducted with the hybrid models of interpolation (e.g., imputation using average values, multivariate imputation) and ensemble learning (e.g., random forest, extreme gradient boosting). the result reveals that BETm achieves an R-2 value of 0.978, MAE of 0.045 MPa, and MAPE of 0.318 outperforming other hybrid models. the proposed model introduces variable importance analysis with Bayesian uncertainty.

关键词： Compression modulus Missing value Genetic programming Bayesian additive regression tree

来源：评论

学校读者我要写书评

暂无评论

Easing Construction of Smart Agriculture Applications Using Low Code Development Tools 19th

Easing Construction of Smart Agriculture Applications Using ...

引用

19th European-Alliance-for-Innovation (EAI) international conference on Mobile and Ubiquitous Systems - Computing, Networking and Services (MobiQuitous)

作者： Oteyo, Isaac Nyabisa Pupo, Angel Luis Scull Zaman, Jesse Kimani, Stephen De Meuter, Wolfgang Boix, Elisa Gonzalez Vrije Univ Brussel Software Languages Lab Brussels Belgium Jomo Kenyatta Univ Agr & Technol Sch Comp & Informat Technol Nairobi Kenya

ISBN: (纸本)9783031347757;9783031347764

Smart agriculture applications are a promising path to the future of modern farming. Building smart agriculture applications is a complex undertaking that requires considering different factors, such as the technology that can be used to implement the applications. these factors require advanced skills in software construction, such as handling the distributed setting for smart agriculture applications. As such, implementing smart agriculture applications requires engaging experienced developers with the skills to tackle the issues mentioned above. Low code development tools have risen that domain experts (e.g., agricultural extension workers that give advice to farmers) outside software engineering can use to construct software applications. the low code development tools provide visual programming environments that developers can use intuitively to construct applications. However, the existing low code development tools do not offer support for low infrastructure networking that sensors can use to communicate directly to mobile devices (e.g., smartphones and tablets), computation at the edge, and offline accessibility capabilities at the edge that are crucial for smart agriculture applications. In this paper, we present DisCoPar-K, a low code development tool that supports the properties mentioned above for implementing smart agriculture applications. We show how DisCoPar-K can improve the development of smart agriculture applications by implementing smart agriculture use cases on it.

关键词： mobile applications visual programming smart agriculture Internet of things cloud computing edge computing

来源：评论

学校读者我要写书评

暂无评论

Shut Off! – Hybrid BICMOS logic for Power-Efficient High Speed Circuits

Shut Off! – Hybrid BICMOS Logic for Power-Efficient High Sp...

引用

international conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)

作者： Christoph W. Wagner Niklas Bräunlich Kevin E. Drenkhahn Georg Gläser Technische Universität Ilmenau Institute for Information Technology Ilmenau Germany Fraunhofer IIS Fraunhofer Institute for Integrated Circuits IIS Ilmenau Germany IMMS Institut für Mikroelektronik- und Mechatronik-Systeme gemeinnützige GmbH (IMMS GmbH) Ilmenau Germany

Power efficiency is crucial, especially in high-speed systems, where conventional approaches like clock gating cannot be employed readily. Special logic families, such as Positive Emitter-Coupled logic (PECL), push the technological frontier, promising even more speed at the expense of an even more strained power budget. We propose a novel hybrid of PECL and Complementary Metal-Oxide-Semiconductor (CMOS) logic to introduce Function Shut-off (FSO), realizing a shut-off at the level of functional blocks and logic primitives inside complex logic cells. Using this approach, we realize a high-speed Linear Feedback Shift Register (LFSR) in a SiGe technology, extending the State of the Art (SOTA) by adding reconfigurability, which is required for its use as sequence generator in Compressed Sensing (CS) applications. We present measurements showing successful fabrication and performance of the packaged die at 20.4 GHz. In this LFSR, employing FSO reduces the supply current by a factor of up to four (depending on the chosen configuration) and reduces active area by 17%.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Concurrent Evolution of Dynamic Single and Dual-Crane Scheduling Scenarios 19thth

Concurrent Evolution of Dynamic Single and Dual-Crane Sche...

引用

19th international conference on Computer Aided Systems theory, EUROCAST 2024

作者： Karder, Johannes Werth, Bernhard Wagner, Stefan Affenzeller, Michael Josef Ressel Center for Adaptive Optimization in Dynamic Environments Heuristic and Evolutionary Algorithms Laboratory University of Applied Sciences Upper Austria Hagenberg4232 Austria Institute for Symbolic Artificial Intelligence Johannes Kepler University Linz4040 Austria

ISBN: (纸本)9783031838873

Various approaches can be used to solve dynamic optimization problems. For example, on the one hand, optimization algorithms can be restarted every time the problem changes. As this results in a loss of optimization progress, algorithms can on the other hand also be implemented in an open-ended way, and to adapt to changing problem data during the run. Some problem updates cause fundamental changes to the optimization scenario. this paper describes different strategies to evolve solutions for such problems with scenario changes in the context of crane scheduling operations. It shows that simply ignoring such changes has negative effects on optimizer convergence, and compares the convergence behavior of five different strategies that can be applied when switches between different scenarios occur. © the Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：