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

11th IEEE International Enterprise Distributed Object Computing Conference

作者： Tosic, Vladimir Suleiman, Basem Lutfiyya, Hanan Empirical Software Engineering Program NICTA (National ICT Australia) Australia Department of Computer Science University of Western Ontario Canada School of Computer Science and Engineering University of New South Wales Australia

ISBN: (纸本)9780769528915

WS-Policy4MASC is an XML language for specification of policies for run-time Web service management (monitoring and control) activities executed by the Manageable and Adaptable Services Compositions (MASC) middleware. Among its original contributions are specfication of diverse business values (benefits or costs, tangible or intangible, agreed or possible, absolute or relative) and specification of various control strategies maximizing different business values (e.g., only agreed intangible benefits). To facilitate development of Web service systems that can be managed with WS-Policy4MASC and the MASC middleware and to improve alignment between run-time management activities and design-time models, we developed novel UML profiles for WS-Policy4MASC. Their original contributions are in improved support for: a) specification of run-time management activities and business values within design-time models, b) automatic creation of run-time management policies from design-time models, c) feedback of run-time management information values into analysis of design-time models. We validated our solutions on detailed examples.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Exploiting Approximations in Supervisory Control with Distinguishers

引用

IFAC-PapersOnLine 2018年第7期51卷 13-18页

作者： Rosa, Marcelo Teixeira, Marcelo Malik, Robi Graduate Program in Electrical Engineering Federal University of Technology Paraná Pato Branco Brazil Department of Computer Science University of Waikato Hamilton New Zealand

Distinguishers have been used in Supervisory Control Theory (SCT) of Discrete Event Systems, as a way to simplify modeling tasks. Approximations complement this approach with an alternative to also reduce synthesis effort. Despite the advantages, supervisors obtained from approximated DES plants can be suboptimal, so that the modeling structure has to be reconstructed empirically, until the proper supervisor is found. In this paper we show how to construct suitable-approximations that always lead to least restrictive controllable synthesis. A manufacturing system example is provided to illustrate the approach. © 2018

关键词： Discrete event simulation Automation Control engineering Control theory Controllability Manufacture Models Supervisory personnel Controllable synthesis Distinguishers Modeling structures Modeling task Supervisory control Supervisory control theory

来源：评论

学校读者我要写书评

暂无评论

A ShuffleNet Architecture-Based Multi-Layer Feature Scaling and Fusion Approach for Underwater Net Cage Damage Detection in Aquaculture

A ShuffleNet Architecture-Based Multi-Layer Feature Scaling ...

引用

2024 IEEE International Conference on Consumer Electronics-Asia, ICCE-Asia 2024

作者： Huang, Xiang-Rui Chen, Yi-Cheng Chen, Liang-Bi Hu, Wu-Chih National Penghu University of Science and Technology Master Program in Electrical Engineering and Computer Science Department of Electrical Engineering Penghu Taiwan National Penghu University of Science and Technology Department of Computer Science and Information Engineering Penghu Taiwan

ISBN: (纸本)9798331530839

In offshore aquaculture operations, personnel equipped with diving gear are often necessary to inspect the underwater net cages for damage, particularly on the sea floor. This manual inspection process is time-consuming and complex. To overcome this problem, this paper proposes a computer vision solution for identifying damage in underwater net cages to address the inefficiencies and challenges of traditional manual inspections. The proposed scheme utilizes a high-performance multi-branch computational architecture designed based on ShuffleNet architecture to detect net cage damage more efficiently. Experimental results demonstrate that this work performs well on the ImageNet ILSVRC-2010 dataset and achieves an accuracy of 88.54% in underwater net damage detection. © 2024 IEEE.

关键词： Aquaculture

来源：评论

学校读者我要写书评

暂无评论

Effect of electrolyte anions on the cycle life of a polymer electrode in aqueous batteries

引用

escience 2022年第1期2卷 110-115页

作者： Ye Zhang Lihong Zhao Yanliang Liang Xiaojun Wang Yan Yao Department of Electrical and Computer Engineering Materials Science and Engineering ProgramUniversity of HoustonHoustonTX77204USA Texas Center for Superconductivity at the University of Houston HoustonTX77204USA

Redox polymers are a class of high-capacity, low-cost electrode materials for electrochemical energy storage, butthe mechanisms governing their cycling stability are not well understood. Here we investigate the effect of anionson the longevity of a p-dopable polymer through comparing two aqueous zinc-based electrolytes. Galvanostaticcycling studies reveal the polymer has better capacity retention in the presence of triflate anions than that withsulfate anions. Based on electrode microstructural analysis and evolution profiles of the cell stacking pressure, theorigin of capacity decay is ascribed to mechanical fractures induced by volume change of the polymer activematerials during repeated cycling. The volume change of the polymer with the triflate anion is 61% less than thatwith the sulfate anion, resulting in fewer cracks in the electrodes. The difference is related to the different anionsolvation structures—the triflate anion has fewer solvated water molecules compared with the sulfate anion,leading to smaller volume expansion. This work highlights that anions with low solvation degree are preferablefor long-term cycling.

关键词： Aqueous batteries Polymer electrode Anions Volume chang

来源：评论

学校读者我要写书评

暂无评论

Sentiment Analysis in Indonesian Trading using Lexicon-based and Support Vector Machine

Sentiment Analysis in Indonesian Trading using Lexicon-based...

引用

2023 International Conference on computer science, Information Technology and engineering, ICCoSITE 2023

作者： Oetama, Raymond Sunardi Yanfi, Yanfi Ikhsan Assiddiq Up, Masagus M. Muhamad Isa, Sani Universitas Multimedia Nusantara Information System DepartmentFaculty of Engineering and Informatics Jakarta Indonesia Bina Nusantara University BINUS Graduate Program Computer Science School of Computer Science Computer Science Department Jakarta Indonesia Bina Nusantara University BINUS Graduate Program Computer Science Computer Science Department Jakarta Indonesia

ISBN: (纸本)9798350320954

Many individuals now trade online utilizing trading software in the digital world. Binomo is one of Indonesia's most popular trading platforms. This is because some influencers made several promises to Binomo customers. Since many customers were deceived, this case became quite popular. This study was executed to see how Indonesians felt about the Binomo application after the case went viral. The solution taken was in the form of sentiment analysis because there had been no previous research on sentiment analysis that discussed the Binomo case. The data was scanned using Netlytic tools, a cloud-based text and social network analyzer capable of identifying any talks on social media sites such as Twitter. The sentiment analysis of Binomo trading tweets by using the Multi-Perspective Question Answering lexicon utilized the KNIME tool. But unfortunately, the accuracy of sentiment analysis results is low. Furthermore, the Support Vector Machine technique is also being conducted. The Term Frequency-Inverse Document Frequency method is applied to perform feature extraction whilst the chi-square approach is utilized to identify features that are thought to be useful for inclusion in the classification process and to exclude features that are irrelevant to the target class. The obtained accuracy is 86%. The study proposes that words from the algorithm's outputs can be utilized to improve the quality of sentiment analysis using the lexicon. As an outcome of the algorithm, positive and negative terms are added to the lexicon, increasing the accuracy of sentiment analysis using the new vocabulary from 58.984% to 71.146%. © 2023 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Physician Scheduling using Constraint Satisfaction programming 11

Physician Scheduling using Constraint Satisfaction Programmi...

引用

11th International Japan-Africa Conference on Electronics, Communications, and Computations, JAC-ECC 2023

作者： Bakr, Hend A. Salama, Ahmed M. Fares, Ahmed Zaky, Ahmed B. Cairo University Biomedical Engineering Program Faculty of Engineering Giza Egypt Benha University Computer Systems Engineering Program Faculty of Engineering at Shoubra Banha Egypt Computer science and information technology Programs Alexandria Egypt Benha University On leave from Computer Systems Engineering Program Faculty of Engineering at Shoubra Egypt

ISBN: (纸本)9798350369328

Physician scheduling is a critical task that impacts the quality of patient care, staff satisfaction, and operational efficiency in healthcare institutions. The traditional approach to physician scheduling is manual and time-consuming, which can result in errors, staff burnout, and suboptimal schedules. To address these challenges, researchers have turned to optimization techniques like CSP, which has shown promise in solving physician scheduling problems. This paper reviews the existing literature on CSP for physician scheduling and highlights the benefits and limitations of this approach. CSP's benefits include generating schedules quickly and efficiently, incorporating complex constraints and preferences, and handling changes and disruptions in real time. However, CSP also has some limitations, such as the need for a formalized model and the fact that it may not always generate the most intuitive schedules. Overall, the findings suggest that CSP is a promising approach to physician scheduling that can produce high-quality schedules while minimizing staff burnout and improving operational efficiency. © 2023 IEEE.

关键词： Constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Impact of Multimedia Sensor Placement to Car Licence Number Detection 2022

Impact of Multimedia Sensor Placement to Car Licence Number ...

引用

11th International Conference on Software and computer Applications, ICSCA 2022

作者： Amelia, Afritha Zarlis, Muhammad Suherman, Suherman Efendi, Syahril Graduate Program of Computer Science Faculty of Computer Science and Information Technology University of Sumatera Utara Indonesia Computer Science Faculty of Computer Science and Information Technology University of Sumatera Utara Indonesia Electrical Engineering Faculty of Engineering University of Sumatera Utara Indonesia

ISBN: (纸本)9781450385770

A vehicle has a license plate and can be identified by the license number attached to the vehicle plate. For detection and recognition, multimedia sensors can be used so that it requires a vehicle tracking application that has a vehicle monitoring function and has implications for various fields. One of them is a multimedia sensor that requires an optimal design and method in the form of the number of multimedia sensors to be used, the placement of the multimedia sensor positions and solutions in the event of a system failure. To achieve multimedia sensor performance, research on multimedia sensors is carried out using a camera type with Phase Detection Auto Focus (PDAF) technology which is similar to a pair of right and left eyes to see an object. The objects detected were 2 cars, where the car passed the camera sensor at a speed of 10-15 km/hour 20 times. Changes in the distance of the vehicle to the camera affect the disparity value and the object's accuracy value, namely and the object's Accuracy value of the minimum disparity value of 6.20×106 of 16.88×109. © 2022 ACM.

关键词： Disparity Vehicle plate Phase Detection Auto Focus (PDAF) Tracking application Object accuracy

来源：评论

学校读者我要写书评

暂无评论

Stress detection system for social media users 7

Stress detection system for social media users

引用

7th International Conference on computer science and Computational Intelligence, CSCI 2022

作者： Febriansyah, Mochamad Rizky Nicholas Yunanda, Rezki Suhartono, Derwin Computer Science Department School of Computer Science Bina Nusantara University Jakarta11480 Indonesia Software Engineering Program Computer Science Department School of Computer Science Bina Nusantara University Jakarta11480 Indonesia

Stress detection is a growing topic in the field of natural language processing. The study of stress detection for mental health prediction has been proven to benefit the development of recommender systems and automated mental health assessments in previous studies. Additionally, the widespread usage of social media has served as a potential data source for developing such models. Our research tried to detect whether the users of social media were under stress or not. We used a dataset from Dreaddit consisting of posts from one of the popular social media platforms, Reddit. We propose a machine learning model consisting of Support Vector Machine (SVM), Naïve Bayes, Decision Tree, Random Forest, Bag of Words, and Term Frequency - inverse document frequency (TF-IDF) for stress detection. The final evaluation of the model achieved an 80.00% F-1 Score and 75.00% accuracy, and both were scored by SVM. © 2022 Elsevier B.V.. All rights reserved.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

The Deep Learning Approach For American Sign Language Detection

The Deep Learning Approach For American Sign Language Detect...

引用

2022 IEEE Creative Communication and Innovative Technology, ICCIT 2022

作者： Pangestu, Gusti Heryadi, Yaya Lukas Suparta, Wayan Arifin, Yulyani Bina Nusantara University School of Computer Science Computer Science Department Binus Graduate Program Computer Science Computer Science Department Jakarta Indonesia Bina Nusantara University Binus Graduate Program Computer Science Computer Science Department Jakarta11480 Indonesia Faculty of Engineering Jakarta12930 Indonesia Institut Teknologi Nasional Yogyakarta Faculty of Industrial Technology Department of Electrical Engineering Yogyakarta55281 Indonesia

ISBN: (纸本)9781665468763

Sign language has importance rule to deal with communication process especially with impairments hearing people. Sign language detection also attract lot of researchers to join the challenge of research to detect and recognize the sign language in the field of computer science. Hence, there is still no any standard approach and method to recognize the meaning in every pose of sign language. This research proposed a mechanism to detect Alphabet American Sign Language by utilizing Convolutional Neural Network (CNN) process. The CNN approach was chosen based on the ability and capability to recognize image. In this research, MNIST dataset is used for traning and testing process. The proposed CNN architecture produced 97% of accuracy that outperform the previous research using the same dataset which made this architecture promising. © 2022 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

A verification mechanism of feature models for mobile and context-aware software product lines

A verification mechanism of feature models for mobile and co...

引用

5th Brazilian Symposium on Components, Architectures and Reuse, SBCARS 2011

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Werner, Cláudia Graduate Program in Computer Science Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769546261

Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications. © 2011 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：