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

International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM)

作者： Yuri Diachenko Yuri Stepchenkov Dmitri Khilko Federal Research Center “Computer Science and Control” Institute of Informatics Problems Moscow Russia

ISBN: (数字)9798350395013

ISBN: (纸本)9798350395020

Self-timed (ST) circuits have higher reliability in comparison with synchronous counterparts and can serve as a promising circuitry basis for microelectronic control unit implementations for robotic complexes and production systems. However, designing ST circuits is more labor-intensive and non-trivial because of the need to adhere to strict signal generation discipline and build an additional indication subcircuit. The synthesis of combinational ST circuits is quite simply formalized by means of dualizing the logical function system obtained by a logic synthesizer and adding an indication subcircuit. However, when synthesizing ST units with memory, including ST counters, this approach leads to excessive hardware redundancy and, as a consequence, to the resulting solution's low level of performance and soft error tolerance. The article analyzes the circuitry basis for the optimal multi-bit ST counter implementation and proposes a method for synthesizing ST counters based on parameterized templates of the ST counter body and its environment, ensuring self-timed implementation, its full functional compliance with the original description, and close to optimal consumer characteristics.

关键词： Production systems Synthesizers Circuits Redundancy Hardware Registers Microelectronics

来源：评论

学校读者我要写书评

暂无评论

Numerical Analysis of Optimal control of Assets and Liabilities by a Bank 4th

Numerical Analysis of Optimal Control of Assets and Liabi...

引用

4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023

作者： Zhukova, Aleksandra Flerova, Anna Chernov, Alexey Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences Vavilov str 44 bld. 2 Moscow Russia Moscow Institute of Physics and Technology Institutki per. 9 Dolgoprudny141701 Russia

ISBN: (纸本)9783031812408

The formal description of the assets and liabilities management (ALM) by a bank within regulatory requirements leads to an optimal control problem with phase constraints. The phase constraints arise from the restrictions on banking activities, which are set by law to maintain the banking process. Solving such model explicitly is rarely possible, and numerical calculations enable to study its properties. The indirect method of the solution involves formulating the system of necessary optimality conditions and then computation of the ordinary differential equations system combined with specific equations for dual variables. This paper provides the details of application of the numerical methods and its specifics in the proposed economic model. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Banking

来源：评论

学校读者我要写书评

暂无评论

Smartphone-based colorimetric detection of formaldehyde in the air

引用

Building Simulation 2024年第11期17卷 2007-2015页

作者： Meng Yang Jin Ye Tao Yu Ying Song Hua Qian Tianyi Liu Yang Chen Junqi Wang Shi-jie Cao Cong Liu School of Energy and Environment Southeast UniversityNanjing210096China School of Energy and Power Jiangsu University of Science and TechnologyZhenjiangJiangsu212100China Wuhan Second Ship Design and Research Institute Wuhan430205China Hubei Provincial Engineering and Technology Research Center for Food Quality and Safety Test Hubei Provincial Institute for Food Supervision and TestWuhan430075China Laboratory of Image Science and Technology the School of Computer Science and EngineeringSoutheast UniversityNanjingChina Jiangsu Provincial Joint International Research Laboratory of Medical Information Processing Southeast UniversityNanjingChina School of Cyber Science and Engineering Southeast UniversityNanjingChina Key Laboratory of Computer Network and Information Integration Southeast UniversityMinistry of EducationNanjingChina School of Architecture Southeast UniversityNanjingChina Jiangsu Province Engineering Research Center of Urban Heat and Pollution Control Southeast UniversityNanjingChina Global Centre for Clean Air Research(GCARE) University of SurreyGuildfordUK

Adverse impacts of exposure to formaldehyde on human health significantly increases attention in monitoring formaldehyde concentrations in the *** formaldehyde detection methods typically rely on large and costly instruments and requires high skills of expertise,preventing it from being widely accessible to *** study introduced a novel approach utilizing smartphone-based colorimetric *** of green channel signals of digital images by a smartphone successfully capture variation of purple color of 4-amino-3-hydrazino-5-mercapto-1,2,4-triazol solution,which is proportional to formaldehyde *** is because that green and purple are complimentary color pairs.A calibration curve was established between green channel signals and formaldehyde concentrations,with a correlation coefficient of *** limit of the smartphone-based method is 0.008 mg/m^(3).Measurement errors decrease as formaldehyde concentrations increase,with median relative errors of 34%,17%,and 6%for concentration ranges of 0–0.06 mg/m^(3),0.06–0.12 mg/m^(3),and 0.12–0.35 mg/m^(3),*** method replaced scientific instrumentation with ordinary items,greatly reducing cost and operation *** would provide an opportunity to realize onsite measurements for formaldehyde by occupants themselves and increase awareness of air quality for better health protection.

关键词： indoor air quality VOC RGB color identification machine vision

来源：评论

学校读者我要写书评

暂无评论

Editorial: The Second International Workshop on Artificial Intelligence Systems in Education - AIxEDU 2

Editorial: The Second International Workshop on Artificial I...

引用

2nd International Workshop on Artificial INtelligent Systems in Education, AIxEDU 2024

作者： Casalino, Gabriella Limongelli, Carla Schicchi, Daniele Taibi, Davide Temperini, Marco Department of Computer Science University of Bari Aldo Moro Bari Italy Department of Civil Computer Science and Aeronautical Technologies Engineering Roma Tre University Rome Italy Institute for Educational Technology Italian National Research Council CNR-ITD Palermo Italy Department of Computer Control and Management Engineering Sapienza University of Rome Rome Italy

The Second International Workshop on Artificial Intelligence Systems in Education (AIxEDU) marks its 2024 edition in conjunction with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA), held from 25-28 November 2024 in Bolzano, Italy. This workshop brings together Artificial Intelligence and Education experts to explore the latest innovations and best practices in applying AI to educational contexts. Participants discuss recent trends, research initiatives, and emerging developments in AI technologies that aim to enhance teaching methodologies, support personalized learning, and address pressing educational challenges. The workshop emphasizes a multidisciplinary approach to understanding how AI systems can promote inclusion, improve learning outcomes, and empower educators while addressing ethical considerations and ensuring equitable access to education aligned with global sustainable development goals. © 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

Optimizing Polynomial-Time Solutions to a Network Weighted Vertex Cover Game

引用

IEEE/CAA Journal of Automatica Sinica 2023年第2期10卷 512-523页

作者： Jie Chen Kaiyi Luo Changbing Tang Zhao Zhang Xiang Li the Adaptive Networks and Control Laboratory Department of Electronic EngineeringFudan UniversityShanghai 200433China the College of Mathematics and Computer Science Zhejiang Normal UniversityJinhua 321004 Yuxi Middle School Taizhou 317399China IEEE the College of Physics and Electronics Information Engineering Zhejiang Normal UniversityJinhua 321004China the College of Mathematics and Computer Science Zhejiang Normal UniversityJinhua 321004China the Adaptive Networks and Control Laboratory Department of Electronic EngineeringFudan UniversityShanghai 200433 the Institute of Complex Networks and Intelligent Systems Shanghai Research Institute for Intelligent Autonomous SystemsTongji UniversityShanghai 201210China

Weighted vertex cover(WVC)is one of the most important combinatorial optimization *** this paper,we provide a new game optimization to achieve efficiency and time of solutions for the WVC problem of weighted *** first model the WVC problem as a general game on weighted *** the framework of a game,we newly define several cover states to describe the WVC ***,we reveal the relationship among these cover states of the weighted network and the strict Nash equilibriums(SNEs)of the ***,we propose a game-based asynchronous algorithm(GAA),which can theoretically guarantee that all cover states of vertices converging in an SNE with polynomial ***,we improve the GAA by adding 2-hop and 3-hop adjustment mechanisms,termed the improved game-based asynchronous algorithm(IGAA),in which we prove that it can obtain a better solution to the WVC problem than using a the ***,numerical simulations demonstrate that the proposed IGAA can obtain a better approximate solution in promising computation time compared with the existing representative algorithms.

关键词： Game-based asynchronous algorithm(GAA) game optimization polynomial time strict Nash equilibrium(SNE) weighted vertex cover(WVC)

来源：评论

学校读者我要写书评

暂无评论

Optimization of Work Planning in the Production of Innovations 4

Optimization of Work Planning in the Production of Innovatio...

引用

4th International Conference on control Systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2022

作者： Kononov, Dmitry Furugyan, Meran Russian State University for the Humanities Institute of Control Sciences of Ras Moscow Russia Federal Research Center Computer Science and Control of Ras Moscow Russia

ISBN: (数字)9781665456593

ISBN: (纸本)9781665456593

The concept of innovation is discussed from the point of view of political economy and the theory of technological structures. The process of creating innovations is considered. The task of existence and search for the optimal process of implementation of the complex of works is formalized. It is assumed that two types of resources are distributed - renewable (Performers, machines, devices) and non-renewable (finance, electricity, combustible materials, RAM assigned to certain software modules). The linear dependence of the duration of tasks on the amount of non-renewable resource allocated to them is known. For the case when interruptions and switching from one Performer to another are allowed when performing tasks, an algorithm of linear complexity has been developed. Analytical expressions are obtained for the minimum volume of a non-renewable resource with a fixed directive period, as well as for the minimum directive period with a fixed volume of a non-renewable resource, for which there is an acceptable schedule. For the case when tasks do not allow interrupts and switches, and the number of processors is fixed, an algorithm of pseudo-polynomial complexity has been developed. These indicators can serve as criteria for the effectiveness of innovation. © 2022 IEEE.

关键词： Computational complexity

来源：评论

学校读者我要写书评

暂无评论

Configuring a Complex Executive System with Nonfixed Parameters 4

Configuring a Complex Executive System with Nonfixed Paramet...

引用

4th International Conference on control Systems, Mathematical Modeling, Automation and Energy Efficiency, SUMMA 2022

ISBN: (数字)9781665456593

ISBN: (纸本)9781665456593

The problem of configuring a complex system is considered. As elements of the system, executors with a link graph that can change over time are considered. Configuration is understood as the process of determining the Executors of a given set of works and organizing their interaction, i.e. formation of the status (set of elements) and/or various structures (relationships) of the system that determine its functioning for the specified purposes. A number of conditions are imposed on communications between Executors. They are caused, firstly, by the physical possibility or impossibility of establishing a connection between each pair of Executors, and secondly, by restrictions on the number of established connections at certain points in time. The established relationships determine the ability to switch the execution of work between the Executors. It is assumed that two types of resources can be used to complete a set of tasks: current production and reserves. The current production resource is the performance of the Executor. At the same time, the desired amount of the general reserve is assigned to each task and allocated to the Executors as a non-renewable resource that increases their productivity. Each task is characterized by a directive interval (fixed parameter) and execution duration, which depends on the amount of reserve allocated to this task (unfixed desired parameter). The problem of determining the system configuration, as well as the distribution of a non-renewable resource between tasks, is solved. This problem is reduced to a multiproduct flow problem, for which necessary and sufficient conditions for the existence of a solution in the form of a system of linear integer relations are obtained. © 2022 IEEE.

关键词： Productivity Sufficient conditions Schedules Automation Switches control systems Mathematical models

来源：评论

学校读者我要写书评

暂无评论

ChatGPT vs Sarcasm - How Well do State of the Art Language Models Handle Sarcasm? 9

ChatGPT vs Sarcasm - How Well do State of the Art Language M...

引用

9th International Conference on control, Decision and Information Technologies, CoDIT 2023

作者： Alexandru-Costin, Bǎroiu Matu Ştefan, Trǎuşan Politehnica University of Bucharest Faculty of Automatic Control and Computer Science Bucharest060042 Romania Research Institute for Artificial Intelligence 'Mihai Draganescu' of the Romanian Academy Bucharest050711 Romania

ISBN: (纸本)9798350311402

The work presented in this paper highlights the ability of state-of-the-art Large Language Models to generate sarcasm. In the recent months, ChatGPT has become increasingly popular and has started a new wave of interest in AI, especially on the non-scientific community. The model has displayed incredible feats, capable of producing human level results in a variety of tasks. To this end, sarcasm generation comes as a natural evaluation of the model's performance, as it was proven to be a highly difficult task, even for humans. As such, ChatGPT was tested in three experimental setups, no instructions, instructed to be sarcastic and instructed to impersonate a sarcastic character. The results generated by the model were benchmarked with a previous version, GPT2. Quantitative and qualitative analyses of the results were conducted, with ChatGPT achieving the highest BLEU score and generating the best results, outclassing its predecessor. © 2023 IEEE.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

Planning a Complex of Works with Heterogeneous Resources under Uncertainty 15

Planning a Complex of Works with Heterogeneous Resources und...

引用

15th International Conference Management of Large-Scale System Development, MLSD 2022

ISBN: (数字)9781665497015

ISBN: (纸本)9781665497015

The problem of distributing a heterogeneous set of resources is considered when planning a complex set of jobs, consisting of basic and urgent tasks (with indefinite request moments). A method has been developed for constructing an admissible schedule of the main jobs, which is minimally subject to change due to requests for urgent jobs. © 2022 IEEE.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

Management of Scientific Agricultural Digital Ecosystems Based on Ecosystem Classification 16

Management of Scientific Agricultural Digital Ecosystems Bas...

引用

16th International Conference Management of Large-Scale System Development, MLSD 2023

作者： Kulba, Vladimir Medennikov, Viktor V.A. Trapeznikov Institute of Control Sciences of the Russian Academy of Sciences Laboratory of Modular Data Processing and Control Systems Moscow Russia Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Information and Computing Systems Department Moscow Russia

ISBN: (纸本)9798350337907

The paper considers a mathematical model for managing a scientific digital ecosystem exemplified by the agriculture case;the model enables assessing the impact science exerts on the regions' socioeconomic position in order to build an adequate response to the advanced economies' regime of severe sanctions against Russia. For these purposes, a systemic analysis of the subject identification and classification of ecosystems was conducted to address the critical issue of determining the basic concepts and terms of the country's digitalization. © 2023 IEEE.

关键词： Agriculture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：