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

International Conference on Distributed Computing Systems Workshop

作者： C.A. Constantinides T. Elrad Mathematical and Computer Sciences Department Loyola University Chicago USA Concurrent Programming Research Group Department of Computer Science Illinois Institute of Technology USA

ISBN: (纸本)0769510809

As concurrent software systems become larger, the interaction of their components is becoming more complex. This interaction may limit reuse, making it difficult to validate design and correctness and perhaps forcing reengineering of these systems in order to meet future requirements. In order to reduce this complexity and to build stable and adaptable concurrent software systems, we present an approach that emphasizes the separation of interaction components from the functional components.

关键词： Software systems Concurrent computing Mathematical programming Maintenance engineering Design engineering Software maintenance Software reusability computer science computer errors Software quality

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an EMG-based System for Monitoring and Help Request

Design and Implementation of an EMG-based System for Monitor...

引用

2022 International Conference on Smart Systems and Power Management, IC2SPM 2022

作者： Zeine, Carla Daou, Roy Abi Zeid Telawi, Samer Boercsoek, Josef Hayek, Ali Haidar, Gaby Abou University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Kassel Germany Lebanese German University Faculty of Public Health Jounieh Department of Computer Architecture and System Programming Biomedical Technologies Department Jounieh Lebanon Université la Sagesse Faculty of Engineering Furn El Chebbak Mechatronics Department Beirut Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany American University of Science and Technology Faculty of Engineering Zahle Lebanon

ISBN: (数字)9781665452915

ISBN: (纸本)9781665452915

Integrating electrophysiological signals in larger systems is getting wider due to the fact that such modalities facilitate the daily tasks of users. However, the high cost of monitoring systems (e.g., oscilloscopes) limits the testing and analysis of the acquired signal from such noisy systems (i. e., electrophysiological devices). The proposed system is a part of a larger proj ect that deals with the identification of sign language movements through the use of Muscle-computer Interfaces. On one hand, the user is able to display the signal acquired by the electrodes on an LCD screen. On the other hand, the system helps a mute patient to issue a special message to his surrounding environment that does not know the sign language to ask for help. The second feature is not unique, as it can be replaced by any other application based on the user's needs. The system was tested on several persons, and the results are promising. © 2022 IEEE.

关键词： Liquid crystal displays

来源：评论

学校读者我要写书评

暂无评论

Security Goals Assurance Based on Software Active Monitoring

Security Goals Assurance Based on Software Active Monitoring

引用

International Conference on Secure System Integration and Reliability Improvement, SSIRI

作者： Changzhi Zhao Wei Dong Martin Leucker Zhichang Qi Department of Computer Science National University of Defense Technology Changsha China Institute of Software Technology and Programming Languages University of Lübeck Germany

Access control is a vital security mechanism in today's operating systems, and the security policies dictating the security relevant behaviors is lengthy and complex, for example in Security-Enhanced Linux (SELinux). It is extremely difficult to verify the consistency between the security policies and the security goals desired by applications. In this paper, we present how to predict whether the information flow security goal is violated or not during runtime, how to generate the corresponding control actions on-line when divergence is detected and how to apply these actions in time based on software active monitoring technique. The symbolic security information flow model of SElinux is generated from a formalization of the access control mechanism which can be used to generate the N-step ahead projection of the future behavior. Information flow security goals are expressed in linear temporal logic (LTL) which provides clear description of the objectives desired by applications. Anticipatory monitor is generated from LTL formula automatically. We consider an on-line scheme where after the occurrence of an event, the next control action is determined on the basis of the N-step ahead projection of the future behavior. This procedure is repeated after the occurrence of next security relevant event. Thus, a closed-loop system is generated that all behavior sequences will satisfy the security goals.

关键词： Context Monitoring Semantics Access control Cost accounting Syntactics

来源：评论

学校读者我要写书评

暂无评论

Uncertain multi-objective restricted solid transportation problem with budget and vehicle cost

UPB Scientific Bulletin, Series C: Electrical Engineering an...

引用

UPB Scientific Bulletin, Series C: Electrical Engineering and computer Science 2016年第1 1期78 78卷 161-174页

作者： Baidya, Abhijit Bera, Uttam Kumar Maiti, Manoranjan Department of Mathematics National Institute of Technology Agartala-West-Tripura India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University WB India

In this paper, we investigate six new transportation models with breakability and vehicle cost under some restriction on transported amount. An extra constraint on the total budget at each destination is imposed. Here six models are formulated under different environments such as crisp, stochastic and fuzzy. Using expected value of fuzzy number and chance constraint programming technique, we convert the respective fuzzy and random Models into its crisp equivalent. To get the preference of the objective function, we apply weighted sum method and a gradient based optimisation technique-generalised reduced gradient (GRG) method are applied and using LINGO-13 software to get the optimal solutions.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Advanced IOT Traffic Light Control System 5

Advanced IOT Traffic Light Control System

引用

5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023

作者： Hamad, Martin Abou El Hajj, Antonio Daou, Roy Abi Zeid Hayek, Ali Haidar, Gaby Abou Lebanese German University Faculty of Public Health Biomedical Technologies Department Lebanon MART Learning Education and Research Center Lebanon University of Kassel Department of Computer Architecture and System Programming Kassel Germany American University of Science and Technology Engineering Faculty Zahle Lebanon

ISBN: (纸本)9798350309959

For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more and more critical, and if not treated smartly this issue will negatively affect drivers by wasting time and fuel gas while waiting for hours in lanes. This paper presents a new and smart way to mitigate this issue in an affordable cost, minimum processing power, and low power consumption. This concept takes into consideration the majority of the cases that may cause congestion and presents a smart and accurate outputs to ease traffic flow leading to the prediction of the peak hours of traffic congestion for smarter control. A model is designed to study the case of a four lanes crossroad with two traffic lights and two LCD monitors. The strategy in reading data is divided into two parts: real data from sensors and pre collected data from google maps to create a kind of a predicted pattern over a certain time interval. The responsiveness of the system is analyzed thoroughly, and the accuracy of all possible cases is carefully considered and evaluated. Each part of the system was tested alone, and the overall system is still in an ongoing testing phase. The results have shown minimum faulty errors and accepted outputs that can lead to safe traffic control decisions. Finally, integrating more IoT devices and sensors between V2V, V2P, V2I with the help of artificial intelligence will definitely optimize this system with higher accuracy. © 2023 IEEE.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

A PIPELINED BROADCAST FOR MULTIDIMENSIONAL MESHES

引用

Parallel Processing Letters 1995年第2期5卷 281-292页

作者： JERRELL WATTS ROBERT VAN DE GEIJN Scalable Concurrent Programming Laboratory California Institute of Technology Pasadena California 91125 USA Department of Computer Sciences University of Texas at Austin Austin Texas 78712 USA

We address the problem of performing a pipelined broadcast on a mesh architecture. Meshes require a different approach than other topologies, and their very nature puts a tighter bound on the performance that one can hope to achieve. By using the appropriate techniques, however, one can obtain excellent performance for sufficiently long messages. The resulting algorithm will work on meshes of any dimension with any number of nodes. Our model assumes that the mesh is a torus and/or that it has bidirectional links and uses wormhole routing. Performance data from the Cray T3D are included.

关键词： Broadcast pipelining communication mesh torus

来源：评论

学校读者我要写书评

暂无评论

Forecasting and modeling on average rainwater and vapor pressure in Chelyabinsk Russia using deep Learning models 6

Forecasting and modeling on average rainwater and vapor pres...

引用

6th Smart Cities Symposium, SCS 2022

作者： Abotaleb, Mostafa Makarovskikh, Tatiana Subhi, Alhumaima Ali Alkattan, Hussein Adebayo, Adelaja Oluwaseun Department of System Programming South Ural State University Chelyabinsk454080 Russia Electronic and Computer Center University of Diyala BaqubahMJJ2+R9G Iraq Information Communication and Technology Department Lagos State University Lagos102101 Nigeria

ISBN: (纸本)9781839538544

Machine learning technique is full-fledged as a boosting sector to develop modeling and forecasting of complex time series observations in the present environment. This study made an attempt to inspect the future performance of rainfall data and vapor in Chelyabinsk by using a machine learning technique. The data series is divided into a training set (60%) and a test set (40%) for model developing a validation purpose. We further developed deep learning models such as, LSTM, BILSTM, GRU and compared on the basis of ME, RMSE, MAE, MPE, MAPE, ACF1 on the training data set. For testing data set, we compared these deep learning models based on RMSE. LSTM model acts as a superior machine learning model over BILSTM and GRU in this data series. Forecasting performance of these three models significantly at par. This finding may be significant to build a strong literature of the Chelyabinsk weather's forecast, which can be helpful for policy makers and researchers. Also, we strongly believe that, this work could be used as a literature adaptation of machine learning technique for complex time series over statistical models. © 2022 IET Conference Proceedings. All rights reserved.

关键词： Statistical tests

来源：评论

学校读者我要写书评

暂无评论

Distributed computer System for Adaptive Control of LD Convertor Steel Making

引用

IFAC Proceedings Volumes 1988年第19期21卷 299-302页

作者： A.N. Georgieva P.A. Bayrov I.N. Ivanchev M.S. Gerasimova S.R. Simeonov Department of Programming and Computer Systems Application Higher Institute of Chem. Technology 1156 Sofia Bulgaria Department of Black Metallurgy Higher Institute of Chem Technology 1156 Sofia Bulgaria

An adaptive algorithm for LD converter steel refining control is presented. Avoiding the traditionally used balance approach, here a real-time process parameters estimation and control is applied. A Recursive Least Squares method is used and a minimum variance control strategy is realized. The original idea is that the converter steel making process| is considered as a continuous process which is sampled and one heat time is considered as one sample time. So, the process model parameters are adjusted after each heat and the algorithm adapts very fast to the technological conditions chanson. A distributed PS/XT computer two-leves control system is realized. Successful industrial results are obtained.

关键词： Time-varying systems multivariable control systems parameter estimation adaptive control computer control steel refining process

来源：评论

学校读者我要写书评

暂无评论

Recent Developments and the New Direction in Soft-Computing Foundations and Applications 1

引用

丛书名： Studies in Fuzziness and Soft Computing

1000年

作者： Lotfi A. Zadeh Ronald R. Yager Shahnaz N. Shahbazova Marek Z. Reformat Vladik Kreinovich

ISBN: (数字)9783319754086

ISBN: (纸本)9783319754079;9783030092238

This book is an authoritative collection of contributions in the field of soft-computing. Based on selected works presented at the 6th World Conference on Soft Computing, held on May 22-25, 2016, in Berkeley, USA, it describes new theoretical advances, as well as cutting-edge methods and applications. Theories cover a wealth of topics, such as fuzzy logic, cognitive modeling, Bayesian and probabilistic methods, multi-criteria decision making, utility theory, approximate reasoning, human-centric computing and many others. Applications concerns a number of fields, such as internet and semantic web, social networks and trust, control and robotics, computer vision, medicine and bioinformatics, as well as finance, security and e-Commerce, among others. Dedicated to the 50th Anniversary of Fuzzy Logic and to the 95th Birthday Anniversary of Lotfi A. Zadeh, the book not only offers a timely view on the field, yet it also discusses thought-provoking developments and challenges, thus fosteringnew research directions in the diverse areas of soft computing.

关键词： Computational Intelligence Artificial Intelligence Game Theory, Economics, Social and Behav. Sciences Engineering Economics, Organization, Logistics, Marketing Control, Robotics, Mechatronics

来源：评论

学校读者我要写书评

暂无评论

Optimal Control of Dengue-Chikungunya Co-infection: A Mathematical Study 4th

Optimal Control of Dengue-Chikungunya Co-infection: A Mathem...

引用

4th IFIP TC 12 International Conference on Intelligence Science, ICIS 2020

作者： De, Anupam Maity, Kalipada Panigrahi, Goutam Maiti, Manoranjan Department of Applied Sciences Haldia Institute of Technology Haldia West Bengal India Department of Mathematics Mugberia Gangadhar Mahavidyalaya Bhupatinagar West Bengal India Department of Mathematics National Institute of Technology Durgapur Durgapur West Bengal India Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore West Bengal India

ISBN: (纸本)9783030748258

In the present work, we developed a mathematical model for dengue-Chikungunya co-infection to analyze the disease transmission dynamics and interrelationship. We considered the essence of time dependent optimal control with the help of Pontryagin’s maximum principle. The result of diverse combinations of control measures is analyzed and shown graphically. © 2021, IFIP International Federation for Information Processing.

关键词： Co-infection Dengue-Chikungunya Optimal control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：