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

9th IEEE/ACM international symposium on Cluster computing and the Grid

作者： Sastry, Lakshmi Fowler, Ronald Nagella, Srikanth Churchill, Jonathan E-Science Centre Science and Technology Facilities Council UK

ISBN: (纸本)9781424439355

The science & Technology Facilities Council is home to international Facilities such as the ISIS Neutron Spallation Source, Central Laser Facility and Diamond Light Source, the National Grid Service including national super computers, Tier1 data service for CERN particle physics experiment, the British Atmospheric data Centre and the British Oceanographic Data Centre at the Space science and Technology department. Together these Facilities generate several Terabytes of data per month which needs to be handled, catalogued and provided access to. In addition, the scientists within STFC departments also develop complex simulations and undertake data analysis for their own experiments. Facilities also have strong ongoing collaborations with UK academic and commercial users through their involvement with Collaborative Computational Programme, generating very large simulation datasets. There is thus the need to support high resolution data analysis using distributed compute, data and visualization resources. At the same time, these requirements offer the computational and visualization scientists within STFC unique opportunities to advocate the take up of advanced visualization techniques and toolkits in distributed high performance, high resolution hardware environment. It gives an opportunity to understand the requirements and usefulness of distributed visualization. Given this seemingly advantageous position, the STFC vizNET partners have been actively pursuing visualization awareness activities and services aimed at application holders of various scientific disciplines. These activities include holding workshops, hands-on tutorials, show case demonstrations and the setting up of hardware based visualization services with technical support. This report provides details of these activities, the outcomes, the status and some suggestions as to the way forward.

关键词： Data visualization distributed computing Grid computing High performance computing Physics computing Hardware Home computing Councils Marine technology Space technology

来源：评论

学校读者我要写书评

暂无评论

Computation orchestration - A basis for wide-area computing

引用

SOFTWARE AND SYSTEMS MODELING 2007年第1期6卷 83-110页

作者： Misra, Jayadev Cook, William R. Univ Texas Austin Austin TX 78712 USA

The widespread deployment of networked applications and adoption of the internet has fostered an environment in which many distributed services are available. There is great demand to automate business processes and workflows among organizations and individuals. Solutions to such problems require orchestration of concurrent and distributed services in the face of arbitrary delays and failures of components and communication. We propose a novel approach, called Orc for orchestration, that supports a structured model of concurrent and distributed programming. This model assumes that basic services, like sequential computation and data manipulation, are implemented by primitive sites. Orc provides constructs to orchestrate the concurrent invocation of sites to achieve a goal - while managing time-outs, priorities, and failure of sites or communication.

关键词： wide-area computing web services computation orchestration distributed computing process algebra thread-based programming

来源：评论

学校读者我要写书评

暂无评论

Radar emitter signal recognition based on coordinated attention 21

Radar emitter signal recognition based on coordinated attent...

引用

21st international symposium on distributed computing and applications for business engineering and science, DCABES 2022

作者： Jiajun, Ding Yunyang, Yan Yian, Liu School of Artificil Intelligence and Computer Science Jiangnan University Wuxi China

ISBN: (纸本)9781665454629

Aiming at the problem that complex radar emitter signals are difficult to be recognized at low signal-to-noise ratio, a method based on improved coordinate attention network is proposed. Firstly, the radar signal is converted into a two-dimensional time-frequency image to reflect the signal feature information. Then the time-frequency image preprocessing and denoising by convolutional neural network. Finally, the coordinated attention network is used for feature extraction, and then the classification of radar emitter source signals are realized. Experiments results show that the proposed method can validly improve the accuracy of radar signal recognition under the condition of low SNR. © 2022 IEEE.

关键词： Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

Development of Classroom Assistant Software Based on Mini Program 20

Development of Classroom Assistant Software Based on Mini Pr...

引用

20th international symposium on distributed computing and applications for business engineering and science, DCABES 2021

作者： Guo, Yucheng Liang, Yufei School of Computer Science Wuhan University of Technology Wuhan China Yangtze Optical Fiber and Cable Joint Stock Limited Company Wuhan China

ISBN: (纸本)9781665428897

This paper introduces a classroom assistant application based on mini program which provides classroom teaching interaction, attendance checking, mobile phone management and other functions. Through this application, teachers can interact with students in class and ask them questions to know how well they have mastered the knowledge;they can initiate attendance check to understand students' attendance in an efficient and time-saving way;they can release assignments and notifications to students in the form of push messages;the application has developed a software activity management function. This function can monitor whether students play with their cell phones in class and thus can avoid student distractions improving the quality of teaching. © 2021 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

A auboptimal CI algorithm and its application to distributed target tracking

A auboptimal CI algorithm and its application to distributed...

引用

2011 10th international symposium on distributed computing and applications to business, engineering and science, DCABES 2011

作者： Cui, Hai-Xiao Wu, Xiao-Jun Luo, Xiao-Qing School of IOT Engineering Jiangnan University Wuxi China

ISBN: (纸本)9780769544151

When the fused variables are independent or the statistics of variables are known perfectly, Kalman filter is rigorous and yields minimum mean squared error estimate. But in most situations, it is impossible to guarantee that the fused variables are independent and even might be highly correlated. In that case, it is possible to "over estimate" the statistics. CI algorithm can achieve a consistent estimation, when the correlation between the fused variables are unknown. However the caculation of optimal ω of CI costs lots of time. A simple way to calculate a sub optimal ω is proposed to reduce the time complexity and get a sub optimal estimation. According to the geometrical explanation of CI, a simple calculation equation of ω is given. And the functions of three kinds of fusion algorithm are illustrated in an application of decentralized estimation with circle topology, where it is impossible to consistently use a Kalman filter or other algorithms that need independent constraints. © 2011 IEEE.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Identification of Sleep Apnea from Single-Lead Electrocardiogram 19

Identification of Sleep Apnea from Single-Lead Electrocardio...

引用

19th IEEE international Conference on Computational science and engineering, 14th IEEE international Conference on Embedded and Ubiquitous computing and 15th international symposium on distributed computing and applications to business, engineering and science, CSE-EUC-DCABES 2016

作者： Hassan, Ahnaf Rashik Haque, Md. Aynal Department of Electrical and Electronic Engineering Bangladesh University of Engineering and Technology Dhaka Bangladesh

ISBN: (纸本)9781509035939

An automatic sleep apnea detection algorithm is essential not only for alleviating the onus of physicians of analyzing a high volume of data but also for making a portable sleep quality evaluation device feasible. Most prior studies are either multi-lead based or yield poor accuracy which hinder the aforementioned goals. In this work, we propound a statistical and spectral feature based method for automated apnea detection from singlelead electrocardiogram. The efficacy of the selected features is demonstrated by intuitive, graphical and statistical validation. RUSBoost is introduced for sleep apnea classification. Again, most of the existing works focus on the feature extraction part. The effect of various classification models is poorly studied. Besides propounding an automated sleep apnea screening method, we study the performance of eight well-know classifiers for our feature extraction scheme. The optimal choices of parameters for RUSBoost are also inspected. The results of our experiments manifest that the proposed method outperforms the state-of-theart ones in terms of accuracy. © 2016 IEEE.

关键词： Electrocardiograms

来源：评论

学校读者我要写书评

暂无评论

Research on Tightly Coupled Multi-Robot Architecture Using Microkernel-based, Real-Time, distributed Operating System

Research on Tightly Coupled Multi-Robot Architecture Using M...

引用

international symposium on Information science and engineering

作者： Wang Guoqin Xu Meihua Shanghai Univ Coll Mechatron Engn & Automat Shanghai 200041 Peoples R China

ISBN: (纸本)9780769534947

This paper presents a method to build a real-time distributed operating system. We first discuss the theory of microkernels and their operating system implementations, to find a way to build a real-time distributed operating system that meet the requirements in constructing tightly coupled multi-robot architecture. We choose DROPS as the basis, and do many modifications on real time and distributivity on it, to make it hard real-time, and make both real-time and time-sharing components run distributed on it. We then use this operating system to implement a multi-robot architecture to show reasonableness and practicability. Besides in multi-robot architecture, we introduce the idea that, using this operating system, the clusters may allow any computer or computing device of the users to participate in, to build much bigger distributed systems, hence named advanced cloud computing.

关键词： Real time systems Operating systems Cloud computing distributed computing Educational institutions Mechatronics Automation Computer architecture Prototypes Multirobot systems

来源：评论

学校读者我要写书评

暂无评论

On Eavesdropping Attacks in Wireless Networks 19

On Eavesdropping Attacks in Wireless Networks

引用

作者： Dai, Hong-Ning Wang, Hao Xiao, Hong Li, Xuran Wang, Qiu Macau University of Science and Technology China Norwegian University of Science and Technology Aalesund Norway Faculty of Computer Guangdong University of Technology Guangzhou China

ISBN: (纸本)9781509035939

Eavesdropping attacks have become one of major threats in wireless networks since it is the prerequisite of other malicious attacks. Most of current studies concentrate on designing anti-eavesdropping schemes. There are few studies on quantitatively evaluating the eavesdropping attacks conducted by the malicious nodes. However, it is important to investigate the eavesdropping attacks since we can design cost-effective antieavesdropping schemes if we know the eavesdropping behaviors. For example, we can offer a better protection on the confidential communications if we know which location is more vulnerable to eavesdropping attacks. In this paper, we propose a general analytical framework to quantify the eavesdropping probability in wireless networks with consideration of various factors, such as node density and impacts of channel conditions. We validate the accuracy of our proposed model by conducting extensive simulations. Besides, we show that our general model can also be used to underwater acoustic networks. © 2016 IEEE.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Mining model of purchase intention based on support vector machine algorithm 20

Mining model of purchase intention based on support vector m...

引用

20th international symposium on distributed computing and applications for business engineering and science, DCABES 2021

作者： Zhang, Mengtong Dong, Jichang Huang, Wenkan School of International Education Wuhan University of Technology Wuhan China School of Science Wuhan University of Technology Wuhan China School of Computer Science and Artificial Intelligence Wuhan University of Technology Wuhan China

ISBN: (纸本)9781665428897

The automobile industry is an important pillar industry of the national economy, while new energy automobile industry is a strategic emerging industry. Firstly, the Spearman correlation coefficient of each index of each brand is calculated, and then the influencing factors of each brand are obtained, and the customer mining model of each brand is established. Finally, it tests the willingness of 15 target customers to buy electric vehicles and conducts k-fold cross-verification. The results show that the purchase user's number of different brands is NO.2 and 4 for brand 1, NO.7 for brand 2 and NO.12 for brand 3. The comprehensive prediction accuracy is as high as 0.94, indicating that the model has high sensitivity and the test results are accurate. © 2021 IEEE.

关键词： Automotive industry

来源：评论

学校读者我要写书评

暂无评论

Practical Formal Verification for Model Based Development of Cyber-Physical Systems 19

Practical Formal Verification for Model Based Development of...

引用

作者： Ishigooka, Tasuku Saissi, Habib Piper, Thorsten Winter, Stefan Suri, Neeraj Center for Technology Innovation - Controls Research and Development Group Hitachi Ltd. Ibaraki Japan Technical University of Darmstadt Darmstadt Germany

ISBN: (纸本)9781509035939

The application of cyber-physical systems (CPSs) in safety-critical applications requires rigorous verification of their functional correctness and safety-relevant properties. We propose a practical verification framework which enables to fill the gaps between model-based development and the formal verification process seamlessly connecting them. The verification framework consists of (a) a model transformation method, which automatically transforms the plant models of CPSs including differential algebraic equations (DAE) to equivalent models without DAE to reduce verification complexity induced by DAE solver execution, and (b) a model simplification method, which automatically simplifies bond-graph models by replacing complex bond-graph components with simpler components for further verification overhead reductions. We successfully applied the proposed verification framework for safety verification of an automotive brake control system. The results of the study demonstrate that the automated model transformations of the CPS models yield significant verification complexity reductions without impairing the ability to detect unsafe behavior of the brake control system in a formal verification based on symbolic execution. © 2016 IEEE.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：