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

International Conference on Advances in Biomedical Engineering (ICABME)

作者： Roy Abi Zeid Daou Elias Aad Farid Nakhle Ali Hayek Josef Börcsök Lebanese German University Public Health Faculty Jounieh Lebanon Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE

This paper presents a system that is able to monitor the patient vital signs (Heart Rate, SPO 2 , NIBP, ECG, temperature and respiration rate) and send them continuously to the doctor's android phone device. The system enables multiple patients to be connected to the same doctor. Within the system, the health care professional may activate/deactivate any of the vital signs sensors. He can also set a prescription for the patient, schedule a meeting,... When bad activities are received, a message is directly sent to the doctor and to the patient relatives in order to alert them. Note that the Bluetooth connection is used to send/receive data between the patient platform and its android system. The tested results showed an almost error free system with an accuracy above 95% and a few milliseconds delay between the vital signs reading and their upload over the server.

关键词： Medical services Sensors Servers Temperature measurement Electrocardiography Bluetooth Telemedicine

来源：评论

学校读者我要写书评

暂无评论

Training Policy for Privacy-Preserving Logistic Regression in Federated Learning Environments

Training Policy for Privacy-Preserving Logistic Regression i...

引用

Federated Learning Technologies and Applications (FLTA), International Conference on

作者： Jorge M. Cortés-Mendoza Andrei Tchernykh Horacio González-Vélez Cloud Competency Centre National College of Ireland Dublin Ireland Computer Science Department CICESE Research Center Ensenada Mexico Institute for System Programming RAS Moscow Russia

ISBN: (数字)9798350354812

ISBN: (纸本)9798350354829

Logistic Regression (LR) is a widely used statistical model for classification problems. However, its training and evaluation in a shared environment increase the possibility of information leaking. A federated LR reduces security issues by using only locally available data for training. In a Federated Learning (FL) environment, LR receives the coefficients of local models to create the federated LR model, which is then distributed to update the local models. The exchange process does not leak confidential information when LR coefficients are encrypted. Homomorphic Encryption (HE) allows the merging of local LR models with privacy preservation (HE-LR). This work presents a novel training policy to reduce the training time with only slightly decreased quality in an FL environment with HE. We analyze the accuracy and time of FL policies with HE-LR that progressively reduce the amount of training data and exchange the LR coefficients in a privacy-preserving manner. The results show that the proposed policy can speed up the training time between 12% and 69%, compared to the traditional FL approach, with an average decrease in accuracy of 1.79% and 1.95%.

关键词： Training Measurement Logistic regression Privacy Accuracy Federated learning Merging Training data Cryptography Homomorphic encryption

来源：评论

学校读者我要写书评

暂无评论

Comparative Analysis of Minimum Chip Thickness, Surface Quality and Burr Formation in Micro-Milling of Wrought and Selective Laser Melted Ti64

SSRN

引用

SSRN 2023年

作者： Yalçın, Bekir Karakılınç, Uçan Ergene, Berkay Aslantaş, Kubilay Isparta University of Applied Sciences Department of Computer Programming Isparta32200 Turkey Pamukkale University Department of Mechanical Engineering Denizli20160 Turkey Afyon Kocatepe University Department of Mechanical Engineering Afyonkarahisar 03200 Turkey

Selective laser melting (SLM) is a three dimensional (3D) printing process which can manufacture functional parts with complex geometries as an alternative to using traditional processes (i.e. via machining of wrought metal). The fabricated parts can be then machined if precision and high surface finish are required, particularly when miniature channels/geometries smaller than 1 mm are to be made on the part. Therefore, micro milling has a significant role in the production of such miniscule geometries. In this experimental effort, the micro machinability of Ti-6Al-4V (Ti64) parts produced via SLM compared with wrought Ti64. The aim is to study the effect of micro milling parameters: feeds per tooth of 0.05, 0.1, 0.25, 0.5, 1, 2, 5 and 10 μm/tooth, cutting depths of 25, 50, 100 and 200 μm and spindle speeds of 5000, 10000, 20000 and 50000 rpm © 2023, The Authors. All rights reserved.

关键词： Surface properties

来源：评论

学校读者我要写书评

暂无评论

COMPOzE-intention-based music composition through constraint programming

COMPOzE-intention-based music composition through constraint...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： M. Henz S. Lauer D. Zimmermann Programming Systems Laboratory University of Saarland Saarbruecken Germany Computer Science Department University of Saarland Saarbruecken Germany Graduate School for Cognitive Science University of Saarland Saarbruecken Germany

We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for intention based composition. COMPOzE is based on constraint programming over finite domains of integers. We argue that constraint programming provides a suitable technology for this task and that the libraries and tools available for the constraint programming system Oz effectively support the implementation of COMPOzE. This work links the research areas of automatic music composition on one hand and finite domain constraint programming on the other, and contributes the tool COMPOzE, which practically demonstrates the potential of constraint programming to open up new areas of application for automatic music composition.

关键词： Multiple signal classification Application software computer science Cognitive science Electronic mail Libraries Automatic programming Music Concrete Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Reliable System Design with a High Degree of Diagnostic Procedures for Embedded Systems

Reliable System Design with a High Degree of Diagnostic Proc...

引用

IET Irish Signals and Systems Conference

作者： Michael H. Schwarz Josef Boercsoek Department of Safety Computer Technology University of Kassel Department of Computer Architecture and System Programming University of Kassel

ISBN: (纸本)9781629935881

Maintenance starts with reliable diagnostics. programming Logic Controllers (PLCs) are often equipped with a high degree of diagnostic procedures in order to ensure that the processing unit is functioning correctly. It is vital to verify that the system with its programme is still within a 'healthy' state, otherwise a safety function is called and the system is brought into a safe state, or if possible, defect and malfunctioning components are exchanged during operation and the process can continue without shutting down the system. However, when it comes to smaller devices such as intelligent sensors, embedded controller devices with the functionality of an e.g. PID (Proportional-Integral-Derivative), predictive controller, filter or analytical algorithm, which is embedded into a FPGA or micro-controller then diagnostics and verification methods are often not considered in the way they should be. For example, if an intelligent sensor system is not able to diagnose that the sensor-head is malfunctioning, but the sensor-head still provides some data, then the smart algorithm bases its calculation on wrong data, which can cause a dangerous situation. This paper investigates and shows recent results to combine diagnostic methods for small scale devices. Several safety-related structures are considered with a high degree of diagnostic coverage. The paper presents relevant procedures and structures to increase the reliability of small devices without utilising a full scale microcontroller system.

关键词： Reliability Safety structure Maintenance Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Uvlhub: A Feature Model Data Repository Using Uvl and Open Science Principles

SSRN

引用

SSRN 2023年

作者： Romero-Organvidez, David Galindo, José A. Sundermann, Chico Horcas, Jose-Miguel Benavides, David Department of Computer Languages and Systems University of Seville Spain Institute of Software Engineering and Programming Languages Ulm University Germany CAOSD ITIS Software University of Málaga Spain

Feature models are the de facto standard for modelling variabilities and commonalities. Concrete models in different domains exist;however, many are in private or sparse repositories or belong to discontinued projects. The dispersion of knowledge of feature models hinders the study and reuse of these artefacts in different studies. The Universal Variability Language (UVL) is a community effort textual feature model language that promotes a common way of serialising feature models independently of concrete tools. Open science principles promote transparency, accessibility, and collaboration in scientific research. Although some attempts exist to promote feature model sharing, the existing solutions lack open science principles by design. In addition, existing and public feature models are described using formats not always supported by current tools. This paper presents UVLHUB, a repository of feature models in UVL format. UVLHUB provides a front end that facilitates the search, upload, storage, and management of feature model datasets, improving the capabilities of discontinued proposals. Furthermore, the tool communicates with Zenodo providing a permanent save of datasets and following open science principles. UVLHUB includes existing datasets and is readily available to include new data and functionalities in the future. It is maintained by three active universities in variability modelling. © 2023, The Authors. All rights reserved.

关键词： Concretes

来源：评论

学校读者我要写书评

暂无评论

Analysis of Twitter hashtags: Fuzzy clustering approach

Analysis of Twitter hashtags: Fuzzy clustering approach

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： Lotfi A. Zadeh Ali M. Abbasov Shahnaz N. Shahbazova Department of Electrical Engineering and Computer Sciences University of California Berkeley CA Minister of Communications High Technologies of the Republic of Azerbaijan Azerbaijan AZ Department of Information Technology & Programming Azerbaijan Technical University Baku Azerbaijan

The overwhelming acceptance of social media creates opportunities to learn about facts and events that are echoed in posts, tweets and messages uploaded by users. Analysis of these data can lead to interesting observations and conclusions. Of special importance are aspects related to temporal and dynamic nature of these findings. This paper presents a simple fuzzy-based approach of pre-processing and analyzing Twitter hashtags. The obtained fuzzy clusters are further examined in order to gain insight related to temporal trends and patterns of hashtags' popularity.

关键词： Twitter Tagging Pragmatics Data visualization Diamonds Media

来源：评论

学校读者我要写书评

暂无评论

Optics in computer Architectures: Basis of WDM, Technologies and Potentials

Optics in Computer Architectures: Basis of WDM, Technologies...

引用

ICONS International Conference on Systems

作者： Y. Wang T. Kusserrow S. Irmer A. Hasse M. Bartels N. Dharmarasu H. Hillmer J. Borcsok O. Mikami Institute of Nanostructure Technologies and Analytics (INA) University of Kassel Kassel Germany Department of Computer Architecture and System Programming University of Kassel Germany Department of Information Telecommunication and Electronics Tokai University Hiratsuka-shi Japan

We present novel concepts, technologies and potentials of optical data communication, especially for future computer architectures. The WDM (wavelength division multiplexing) and the optical wiring technologies are explained in detail. Experimental results of tunable optical filters, which play a major role in WDM systems, are reported. New concepts for novel optical interconnectors and novel miniaturized lasers for direct generation of green light are proposed as examples for possible next generation components to improve the performance of optical communication based computer architecture.

关键词： Optical computing computer architecture Wavelength division multiplexing Optical filters Optical interconnections Data communication Wiring Tunable circuits and devices Optical devices Optical fiber communication

来源：评论

学校读者我要写书评

暂无评论

Lemma functions for frama-C: C programs as proofs

arXiv

引用

arXiv 2018年

作者： Volkov, Grigoriy Mandrykin, Mikhail Efremov, Denis Faculty of Computer Science National Research University Higher School of Economics Moscow Russia Software Engineering Department Ivannikov Institute for System Programming Russian Academy of Sciences Moscow Russia

This paper describes the development of an auto-active verification technique in the Frama-C framework. We outline the lemma functions method and present the corresponding ACSL extension, its implementation in Frama-C, and evaluation on a set of string-manipulating functions from the Linux kernel. We illustrate the benefits our approach can bring concerning the effort required to prove lemmas, compared to the approach based on interactive provers such as Coq. Current limitations of the method and its implementation are discussed. Copyright © 2018, The Authors. All rights reserved.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Modeling of DC Traction Motor In Ansys RMXPRT

Modeling of DC Traction Motor In Ansys RMXPRT

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Vitalii Herasymenko Vladyslav Pliuhin Valentyn Noskov Oleksandr Zakovorotnyi Mykola Mezentsev Tetyana Orlova Department of Electric Transport O. M. Beketov National University of Urban Economy in Kharkiv Kharkiv Ukraine Department of the Systems of Electricity Supply and Electricity Consumption of Cities O. M. BeketovNational University of Urban Economy in Kharkiv Kharkiv Ukraine Department of Computer Engineering and Programming National Technical University «Kharkiv Polytechnic Institute» Kharkiv Ukraine Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine

DC traction motors are widely used in all branches of urban economy. They began to be used in industry about a hundred years ago with the advent of the first calculation methods. When designing a DC motor, it is important to consider it comprehensively, together with the electric drive system. The article discusses the application of a more correct approach to modeling a series-excited DC motor using the ANSYS software package, in particular, the ANSYS RMxprt / Maxwell/ Simplorer bundle. The main stages of initial data input are considered and the main calculation results are shown. Using ANSYS Maxwell allows you to quickly and automatically build a typical machine geometry using RMxprt. When solving non-standard structures, it is possible to use 3D design with step-by-step elements. The analysis of the obtained graphic dependences of electric power parameters makes it possible to judge the efficiency of the electric motor and its operational properties in idling and under load. The simulation results show excellent agreement with the data obtained experimentally.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：