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

IEEE International Conference on Software Quality, Reliability and Security (QRS)

作者： Matej Klima Miroslav Bures Martin Blaha Department of Computer Science Faculty of Electrical Engineering System Testing IntelLigent Lab (STILL) Czech Technical University in Prague Czech Republic Department of Fire Support Faculty of Military Leadership University of Defence Czech Republic

ISBN: (数字)9798350365634

ISBN: (纸本)9798350365641

Path-based testing is an established method for creating test cases comprising sequences of steps executed in a system Under Test (SUT). Several algorithms for generating the test sequences (paths) that satisfy various test coverage criteria determining their properties are published in the literature. However, existing path-based testing techniques have limited applicability in numerous practical cases, such as when executing a particular test step in the test further excludes the execution of another test step. More complex exclusion requirements (further denoted negative constraints) exist in real systems, depending on the number of executions of a particular test step. In the paper, we discuss two possible negative constraints, namely, (1) the complete exclusion of a step as a consequence of the execution of a particular previous step and (2) the requirement to include a particular step maximally once in one test path, when another step was executed previously. We present a novel ant-colony-optimization (ACO) principle-based algorithm, accepting a SUT model based and a set of negative constraints, and computing a set of test paths while maximizing edge coverage and satisfying the given set of negative constraints. We compare the results of the ACO-based algorithm with those returned by a baseline, an alternative algorithm that excludes specific test paths from a set of test paths satisfying edge coverage, and, for reference, with results returned by an algorithm that generates test paths that satisfy edge coverage. Evaluated on 152 problem instances, the presented ACO-based algorithm outperformed the baseline in the average length of test paths (representing the testing costs) lower by 32.62%. Also, the ratio of edge coverage satisfaction in the set of test paths computed by the ACO-based algorithm is better by 3.41% compared to the baseline.

关键词： Ant colony optimization Costs Computational modeling Software algorithms Software quality Minimization Software reliability

来源：评论

学校读者我要写书评

暂无评论

Robust and digital hyper-polarization protocol of nuclear spins via magic sequential sequence

arXiv

引用

arXiv 2025年

作者： Li, Haiyang Liao, Hao Wang, Ping Faculty of Arts and Sciences Beijing Normal University Zhuhai519087 China National Engineering Laboratory on Big Data System Computing Technology Guangdong Province Engineering Center of China-made High Performance Data Computing System College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China

Hyper-polarization of nuclear spins is crucial for advancing nuclear magnetic resonance (NMR) and quantum information technologies, as nuclear spins typically exhibit extremely low polarization at room temperature due to their small gyro-magnetic ratios. A promising approach to achieving high nuclear spin polarization is transferring the polarization of electron to nuclear spin. The nitrogen-vacancy (NV) center in diamond has emerged as a highly effective medium for this purpose, and various hyper-polarization protocols have been developed. Among these, the pulsed polarization (PulsePol) method has been extensively studied due to its robustness against static energy shifts of the electron spin. In this study, we introduce a sequential polarization protocol and identify a series of magic and digital sequences for hyper-polarizing nuclear spins. Notably, we demonstrate that some of these magic sequences exhibit significantly greater robustness compared to the PulsePol protocol in the presence of finite half π pulse duration of the protocol. This enhanced robustness positions our protocol as a more suitable candidate for hyper-polarizing nuclear spins species with large gyromagnetic ratios and also ensures better compatibility with high-efficiency readout techniques at high magnetic fields. Additionally, the generality of our protocol allows for its direct application to other solid-state quantum systems beyond the NV center. © 2025, CC BY.

关键词： Chemical shift

来源：评论

学校读者我要写书评

暂无评论

Disclosure Privacy Information Social Media on TikTok

Disclosure Privacy Information Social Media on TikTok

引用

International Conference on Information Management and Technology (ICIMTech)

作者： Dedy Syamsuar Fazri Fahrezi Ahnaf Favian Edy Irwansyah Achmad Fakhri Irawan Professional Engineer Program Dept. Information System Department Faculty of Engineering School of Information System Bina Nusantara University Jakarta Indonesia Information System Department School of Information System Bina Nusantara University Jakarta Indonesia Computer Science Department School of Information System Bina Nusantara University Jakarta Indonesia

ISBN: (数字)9798350390025

ISBN: (纸本)9798350390032

With the rapid development of technology, the use of social media by the public, especially among young people, is increasing. One of the social media platforms currently used by young people is the TikTok application. It is a video-based TikTok feature accompanied by music, writing, and pictures that are considered attractive, so teenagers like it to show their existence and self-disclosure. Therefore, this study aims to examine the intention of users to disclose their privacy. As the basis of the theory, this study deployed the privacy calculus theory, where the perceived benefits and perceived risks play crucial roles in the intention to disclose their privacy. The study successfully collected 369 responses. The empirical findings indicated that only the relationship between Perceived Personalization (PP) and Perceived Risk (PR) was not supported. However, all the remaining hypotheses were supported. These findings emphasize how several complicated variables influence social media users' intentions to disclose their privacy. When people feel in control of their privacy settings and see significant benefits, they are more likely to divulge personal information; nevertheless, perceived risks can greatly discourage users.

关键词： Privacy Video on demand Social networking (online) Writing Control systems Calculus Information management Web sites

来源：评论

学校读者我要写书评

暂无评论

Development and Validation of Customer Intention Factors for Live-Stream Shopping 7

Development and Validation of Customer Intention Factors for...

引用

7th International Conference on New Media Studies, CONMEDIA 2023

作者： Fernando, Erick Hidayat, Desman Pengaribuan, Christian Haposan Prabowo, Yulius Denny Universitas Multimedia Nusantara Faculty of Engineering and Informatics Department of Information System Tangerang Indonesia Bina Nusantara University Binus Entrepreneurship Center Management Department Jakarta11480 Indonesia Sampoerna University Management Study Program Faculty of Business Jakarta12780 Indonesia Bina Nusantara University Binus Online Learning Computer Science Department Jakarta11480 Indonesia

ISBN: (纸本)9798350307504

Along with technological improvements, online shopping is currently developing quickly. Online shops started by selling electronics, clothing, food, and home appliances and continue to evolve, selling various things. Currently, digital marketing has a novel technique, namely live shopping, where sellers can present, promote and offer their products directly through live streaming on social media and e-commerce platforms. This research will focus on gaining insight into the factors influencing customers to watch and purchase through live streaming. This research is an early-stage study of exploring and searching for research models. The study used a literature review approach by reviewing similar previous research articles. Several variable components were used in this study. The findings of the factors include visibility capacity, meta-vocation capacity, purchase orientation capacity, social presence, price, perceived product quality, perceived enjoyment, purchase orientation, perceived usefulness, and intention to buy. These factors were tested and proved to be valid with Cronbach's Alpha value being more than 0.5 and reliable with the value of the loading factor a greater than 0.6. Criteria The factors of the findings for further analysis of the relationship between factors and other variables. © 2023 IEEE.

关键词： Domestic appliances

来源：评论

学校读者我要写书评

暂无评论

High Rate and Selective Deep Reactive-Ion Etching Process for the Formation of High-Density Vertical Interconnects into Dielectric Build-Up Film

High Rate and Selective Deep Reactive-Ion Etching Process fo...

引用

Electronics system-Integration Technology Conference, ESTC

作者： Ioannis Tsigaras Ioannis Alexiou Ewald Strolz Roland Rettenmeier Christian Voigt Lars Böttcher Evatec AG Trübbach Switzerland Faculty IV – Electrical Engineering and Computer Science TU Berlin Berlin Germany System Integration & Interconnection Technologies Fraunhofer IZM Berlin Germany

ISBN: (数字)9798350390360

ISBN: (纸本)9798350390377

In this work, DRIE is applied for the formation of vertical interconnects into the most mainstream dielectric build-up films. For the experiments, Evatec CLUSTERLINE® 600 tool is used that is designed for panel-level substrates up to 650 mm x 650 mm size and can be integrated in a high volume manufacturing system. The influence of different gas mixtures, power ratios, and etching step duration on the etch rate and etched pattern's structure are discussed.

关键词： Films Etching Dielectrics Substrates Manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

Real-Time Violent Action Recognition Using Key Frames Extraction and Deep Learning

引用

computers, Materials & Continua 2021年第11期69卷 2217-2230页

作者： Muzamil Ahmed Muhammad Ramzan Hikmat Ullah Khan Saqib Iqbal Muhammad Attique Khan Jung-In Choi Yunyoung Nam Seifedine Kadry Deparment of Computer Science and Information Technology The University of LahoreSargodha CampusSargodha40100Pakistan Department of Computer Science COMSATS University IslamabadWah CampusWah Cantt47040Pakistan School of System and Technology University of Management and TechnologyLahore54782Pakistan Department of Computer Science and Information Technology University of SargodhaSargodha40100Pakistan College of Engineering Al Ain UniversityAl AinUnited Arab Emirates Department of Computer Science HITEC University TaxilaTaxilaPakistan Applied Artificial Intelligence Ajou UniversitySuwonKorea Department of Computer Science and Engineering Soonchunhyang UniversityAsanKorea Department of Mathematics and Computer Science Faculty of ScienceBeirut Arab UniversityLebanon

Violence recognition is crucial because of its applications in activities related to security and law *** semi-automated systems have issues such as tedious manual surveillances,which causes human errors and makes these systems less *** approaches have been proposed using trajectory-based,non-object-centric,and deep-learning-based *** studies have shown that deep learning techniques attain higher accuracy and lower error rates than those of other ***,the their performance must be *** study explores the state-of-the-art deep learning architecture of convolutional neural networks(CNNs)and inception V4 to detect and recognize violence using video *** the proposed framework,the keyframe extraction technique eliminates duplicate consecutive *** keyframing phase reduces the training data size and hence decreases the computational cost by avoiding duplicate *** feature selection and classification tasks,the applied sequential CNN uses one kernel size,whereas the inception v4 CNN uses multiple kernels for different layers of the *** empirical analysis,four widely used standard datasets are used with diverse *** results confirm that the proposed approach attains 98%accuracy,reduces the computational cost,and outperforms the existing techniques of violence detection and recognition.

关键词： Violence detection violence recognition deep learning convolutional neural network inception v4 keyframe extraction

来源：评论

学校读者我要写书评

暂无评论

Imperceptible and Sparse Adversarial Attacks via a Dual-Population-Based Constrained Evolutionary Algorithm

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2023年第2期4卷 268-281页

作者： Tian, Ye Pan, Jingwen Yang, Shangshang Zhang, Xingyi He, Shuping Jin, Yaochu Anhui University Key Laboratory of Intelligent Computing and Signal Processing of Ministry of Education Institutes of Physical Science and Information Technology Hefei230601 China Hefei Comprehensive National Science Center Institute of Artificial Intelligence Hefei230088 China Anhui University School of Computer Science and Technology Hefei230601 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing of Ministry of Education School of Artificial Intelligence Hefei230601 China Anhui University Anhui Engineering Laboratory of Human-Robot Integration System and Intelligent Equipment School of Electrical Engineering and Automation Hefei230601 China Bielefeld University Faculty of Technology Bielefeld33619 Germany

The sparse adversarial attack has attracted increasing attention due to the merit of a low attack cost via changing a small number of pixels. However, the generated adversarial examples are easily detected in vision since the perturbation to each pixel is relatively large. To achieve imperceptible and sparse adversarial attacks, this article formulates a bi-objective constrained optimization problem, simultaneously minimizing the 0 and 2 distances to the original image, and proposes a dual-population-based constrained evolutionary algorithm to solve it. The proposed method solves the optimization problem by evolving two populations, where one population is responsible for finding feasible solutions (i.e., successful attacks) and the other one is to minimize both the 0 and 2 distances. Moreover, a population initialization strategy and two genetic operators are customized to accelerate the convergence speed. Experimental results indicate that the proposed method can achieve high success rates with low attack costs, and strikes a better balance between the 0 and 2 distances than state-of-the-art methods. © 2020 IEEE.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

Constant-Weight Convolutional Codes for Index Modulation 25

Constant-Weight Convolutional Codes for Index Modulation

引用

25th International ITG Workshop on Smart Antennas, WSA 2021

作者： Bailon, Daniel Nicolas Freudenberger, Jürgen Kühn, Volker Institute for System Dynamics HTWG Konstanz University of Applied Sciences Germany Institute of Communications Engineering Faculty of Computer Science and Electrical Engineering University of Rostock Germany

ISBN: (纸本)9783800756889

The encoding of antenna patterns with generalized spatial modulation as well as other index modulation techniques require w-out-of-n encoding where all binary vectors of length n have the same weight w. This constant-weight property cannot be obtained by conventional linear coding schemes. In this work, we propose a new class of constant-weight codes that result from the concatenation of convolutional codes with constant-weight block codes. These constant-weight convolutional codes are nonlinear binary trellis codes that can be decoded with the Viterbi algorithm. Some constructed constant-weight convolutional codes are optimum free distance codes. Simulation results demonstrate that the decoding performance with Viterbi decoding is close to the performance of the best-known linear codes. Similarly, simulation results for spatial modulation with a simple on-off keying show a significant coding gain with the proposed coded index modulation scheme. © VDE VERLAG GMBH ∙ Berlin ∙ Offenbach

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Intrusion Detection using Deep Neural Network Algorithm on the Internet of Things 11

Intrusion Detection using Deep Neural Network Algorithm on t...

引用

11th IEEE International Conference on Communication, Networks and Satellite, COMNETSAT 2022

作者： Ikhwan, Syariful Wibowo, Adi Warsito, Budi School of Postgraduate Studies Diponegoro University Doctoral Program of Information System Semarang Indonesia Institut Teknologi Telkom Purwokerto D3 Telecommunication Engineering Banyumas Indonesia Diponegoro University Computer Science Informatics Department of Science and Mathematics Faculty Semarang Indonesia Diponegoro University Statistics Department of Science and Mathematics Faculty Semarang Indonesia

ISBN: (纸本)9781665460309

The increasing use of IoT devices on future networks is very helpful for humans in their lives. However, the increase in devices connected to IoT networks also increases the potential for attacks against those networks. Vulnerabilities in Internet of Things (IoT) networks can be exposed at any time. Artificial intelligence can be used to protect the IoT network by being able to detect attacks on the network so that they can be prevented. In this study, network detection was carried out using the Deep Neural Network (DNN) algorithm. The test was carried out using the UNSW Bot-IoT dataset with a comparison of training data of 75% of the overall data. The results obtained show the ability of the algorithm to detect attacks on average with 99.999% accuracy. The validation loss and training loss look very small. In this study, there is a validation loss that still occurs in overfitting, but the difference is very small. © 2022 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

A Position Control system for a Single-port Laparoscopic Manipulating Robot

A Position Control System for a Single-port Laparoscopic Man...

引用

2022 International Electrical engineering Congress, iEECON 2022

作者： Sonsilphong, Amornthep Sonsilphong, Suphachoke Soemphol, Chaiyong Hormdee, Daranee Khampitak, Kovit Rajamangala University of Technology Isan Department of Electrical Engineering Khon Kean Thailand Khon Kaen University Data Science Health Informatics Program Faculty of Medicine Khon Kaen Thailand Mahasarakham University Faculty of Engineering Department of Electrical Engineering Mahasarakham Thailand Khon Kaen University Embedded System RD Group Computer Engineering Faculty of Engineering Khon Kaen Thailand Khon Kean University Faculty of Medicine Department of Obstetrics and Gynecology Khon Kean Thailand

ISBN: (纸本)9781665402064

The research herein proposes a position control system, designed for a single-port surgical robot, based on the lockup table method. The programmable logic controller (PLC) was implemented to move the single- port surgical robot and handle laparoscope and surgical instruments with feedback control. The output responses of the desired angle were investigated under several conditions. The rotating angle allows movement of the laparoscope in the range of -10o to +10o. The error of the desired position of the designed system was less than approximately ± 0.1o. Moreover, the output data from several experiments may be employed to improve the open-loop control systems. This system is also capable of providing computer vision task implementation, enabling semi- automatic or automatic surgery in the future. © 2022 IEEE.

关键词： Laparoscopy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：