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

作者： Zhang, Zhenya Arcaini, Paolo Hasuo, Ichiro Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan Hayama240-0193 Japan

The verification of hybrid systems is intrinsically hard, due to the continuous dynamics that leads to infinite search spaces. Therefore, research attempts focused on hybrid system falsification of a black-box model, a technique that aims at finding an input signal violating the desired temporal specification. Main falsification approaches are based on stochastic hill-climbing optimization, that tries to minimize the degree of satisfaction of the temporal specification, given by its robust semantics. However, in the presence of constraints between the inputs, these methods become less effective. In this article, we solve this problem using a search space transformation that first maps points of the unconstrained search space to points of the constrained one, and then defines the fitness of the former ones based on the robustness values of the latter ones. Based on this search space transformation, we propose a falsification approach that performs the search over the unconstrained space, guided by the robustness of the mapped points in the constrained space. We introduce three versions of the proposed approach that differ in the way of selecting the mapped points. Experiments show that the proposed approach outperforms state-of-the-art constrained falsification approaches. © 1982-2012 IEEE.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Formal Verification of Access Control Model for My Health Record system

Formal Verification of Access Control Model for My Health Re...

引用

IEEE international conference on Engineering of Complex computer systems

作者： Victor Rivera Australian National University Canberra Australia

ISBN: (数字)9781728185583

ISBN: (纸本)9781728185590

My Health Record system is the Australian Government`s digital health record system that holds My Health Record. My Health Record is a secure online health record containing consumers' health information. The system aims to provide health care professionals with access to key health information (e.g. listing medicines, allergies and key diagnoses), radiology and pathology test results. The system (previously named Personally Controlled Electronic Health Record) enables consumers to decide how to share information with any of their health care providers who are registered and connected to the system. The My Health Record system operates under the Australian legislative framework My Health Records Act 2012. The Act establishes, inter alia, a privacy framework specifying which entities can collect, use and disclose certain information in the system and the penalties that can be imposed on improper collection, use and disclosure of this information. This paper presents the formal specification (from the legislation) and verification of the My Health Record regarding how consumers can control who access the information, and how the system adheres to such access. We rely on the correct-by-construction Event-B method to prove control and access properties of the system.

关键词： Privacy Legislation Quality of service Radiology Regulation Formal specifications Testing

来源：评论

学校读者我要写书评

暂无评论

Secured cloud for enterprise computing 34

Secured cloud for enterprise computing

引用

34th international conference on computers and Their Applications, CATA 2019

作者： Faizi, Salman M. Rahman, Shawon S.M. Information Technology Capella University 225 South 6th St MinneapolisMN55402 United States Department of Computer Science and Engineering University of Hawaii-Hilo HiloHI96720 United States Capella University 225 South 6th St MinneapolisMN55402 United States

ISBN: (纸本)9781510885967

Cloud computing is a transformative technology that organizations cannot ignore. Before adopting cloud computing, an organization must determine its needs and risks and encapsulate them into cloud service provider selection criteria. Due to being sharable and the openly accessible nature of cloud computing, the criteria must highlight data security and protection against malware. Only after developing the criteria, should the organizations select a cloud service provider. Choosing the right provider is essential. Copyright © 2012-2020 ***. All rights reserved.

关键词： Distributed database systems

来源：评论

学校读者我要写书评

暂无评论

UAV Beam Alignment for Highly Mobile Millimeter Wave Communications

UAV Beam Alignment for Highly Mobile Millimeter Wave Communi...

引用

作者： Zhang, Weizheng Zhang, Wei Wu, Jun School of Electrical Engineering and Telecommunications University of New South Wales SydneyNSW Australia College of Electronics and Information Engineering Tongji University Shanghai China School of Computer Science Fudan University Shanghai China

Unmanned Aerial Vehicles (UAVs) have the advantages of high mobility and flexibility that can be potentially used as aerial base stations (BSs) to provide millimeter-wave (mmWave) communication with ground users. However, the UAV mmWave beamforming must be carefully designed to provide directional transmission and support reliable connections. In this paper, we consider a UAV mmWave system, where the UAV serves as a BS to cover mobile users on the ground. Firstly, we study the beam training and propose beam training codebook designs for both insufficient and sufficient beam training cases. Then, we propose efficient beam tracking methods to predict the beam direction with user mobility, where both random and inertial motion are considered. Simulation results show that the average downlink capacity increases with the proposed beam training codebook. Further, the mean angular error of our proposed beam tracking is lower than existing method. © 1967-2012 IEEE.

关键词： Beamforming

来源：评论

学校读者我要写书评

暂无评论

UAV-Assisted Cooperative Communications with Time-Sharing Information and Power Transfer

UAV-Assisted Cooperative Communications with Time-Sharing In...

引用

作者： Yin, Sixing Zhao, Yifei Li, Lihua Yu, F. Richard School of Information and Communication Engineering Beijing University of Posts and Telecommunications Beijing100876 China Department of Systems and Computer Engineering Carleton University OttawaONK1S 5B6 Canada

In this paper, we focus on a UAV-assisted cooperative communication system based on simultaneous wireless information and power transfer (SWIPT), where the UAV serves as a relay and its transmission capability is partly powered by radio signal from the source via the time-sharing mechanism. We study the end-to-end cooperative throughput maximization problem by optimizing the UAV's decision profile, power profile and trajectory for both amplify-and-forward (AF) and decode-and-forward (DF) protocols. The problem is decomposed into three optimization subproblems for decision profile, power profile and trajectory, and solved through alternating optimization, by which each of the subproblems is solved with the other two fixed. A binarization algorithm is further proposed to make the decision profile feasible. We show that the proposed solution outperforms not only two SWIPT-based strategies, but also a similar solution from an existing work without consideration for SWIPT. In addition, results indicate that the proposed algorithm performs efficiently in both optimality and convergence. © 1967-2012 IEEE.

关键词： Cooperative communication

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of Artificial Neural Networks and Support Vector Machines for predicting stock prices in National Stock Exchange of India

A Comparative Study of Artificial Neural Networks and Suppor...

引用

2019 international conference on Data science and Communication, IconDSC 2019

作者： Rajput, G.G. Kaulwar, Bhagwat H. Department of Computer Science Science Akkamahadevi Women's University Vijayapura India Department of Computer Science Science Solapur University Solapur India

ISBN: (纸本)9781538693193

A system for prediction of future trend of a particular index or stock increases investment opportunity in share market. Machine learning techniques are used in developing trend prediction systems. This study compares the capability of Artificial Neural Networks (ANN) and Support Vector Machines (SVM) models for predicting the closing price of a particular stock listed in National Stock Exchange (NSE) of India. Time series data of two companies, namely, State Bank of India (SBIN) and Larsen Toubro Limited (LT), are chosen as case studies. Principal Component Analysis (PCA) was used to convert high dimensional correlated data to low dimensional linearly uncorrelated data. The PCA data was used with ANN to obtain better results. For SBIN, models were trained for 2012 and tested for 2013 data. For LT, models were trained for 2015 and tested for 2016 data. The computational results indicate that SVM yielded better results compared to ANN with PCA. © 2019 IEEE.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

Evaluation of secrecy rate in cooperative communication system 34

Evaluation of secrecy rate in cooperative communication syst...

引用

34th international conference on computers and Their Applications, CATA 2019

作者： Yang, Cheng-Ying Liang, Hsin-Ying Huang, Pin-Yen Department of Computer Science University of Taipei Taipei Taiwan Dept. of Info. and Comm. Eng. Chaoyang University of Technology Taichung Taiwan Department of Computer Science National Chengchi University Taipei Taiwan

ISBN: (纸本)9781510885967

Cooperative system is a tendency for future communications because of its spatial diversity to improve the system performance. However, the security is a critical issue in the wireless application with a highly private request. Although the encryption schemes have been proposed to approach the secure purpose, those schemes need a lot of computing resource. It is not practical for the applications with limited computing ability, such as IoT. According to Shannon theory of perfect secrecy, the security could be implemented on the physical layer. Based on the positive secrecy rate, the evaluation of security, secure communication could be practical. This work concentrates on the theoretical solution to the secrecy rate in the AF mode cooperative communication system. Also, the numerical results with the proposed methodology are given. It shows the effects of eavesdropper could not affect the secure communication if the number of the eavesdropper is less than that of relays in the system. The appropriate relay assignment benefits the secure communication. Copyright © 2012-2020 ***. All rights reserved.

关键词： Secure communication

来源：评论

学校读者我要写书评

暂无评论

Clock-Aware Placement for Large-Scale Heterogeneous FPGAs

Clock-Aware Placement for Large-Scale Heterogeneous FPGAs

引用

作者： Chen, Jianli Lin, Zhifeng Kuo, Yun-Chih Huang, Chau-Chin Chang, Yao-Wen Chen, Shih-Chun Chiang, Chun-Han Kuo, Sy-Yen State Key Laboratory of Asic and System Fudan University Shanghai China College of Mathematics and Computer Science Fuzhou University Fuzhou China MediaTek Hsinchu Taiwan Synopsys Hsinchu Taiwan Department of Electrical Engineering Graduate Institute of Electronics Engineering National Taiwan University Taipei Taiwan Center for Discrete Mathematics and Theoretical Computer Science Fuzhou University Fuzhou350000 China Department of Computer Science and Information Engineering National Taiwan University Taipei106 Taiwan

A modern field-programmable gate array (FPGA) often contains an ASIC-like clocking architecture which is crucial to achieve better skew and performance. Existing conventional FPGA placement algorithms seldom consider clocking resources, and thus may lead to clock routing failures. To address the special FPGA clocking architecture, this article presents an effective clock-aware placement algorithm for large-scale heterogeneous FPGAs. Our algorithm consists of four major technologies: 1) a combinatorial clock fence region method to effectively reduce the overuse of clocking resources;2) a smoothed heterogeneous density function to lead heterogeneous blocks to desired sites and a coordinate transformation technique to facilitate CLB cell spreading;3) a heterogeneous force modulation algorithm to stabilize placement movement and a hierarchical contraction technique to remedy an insufficiency of the multilevel placement framework;and 4) a two-level clock-aware packing and legalization scheme to generate an optimized, clocking-violation-free placement. We evaluate our results based on the ISPD 2017 Clock-Aware Placement Contest benchmark suite. Compared with the state-of-the-art placers, the experimental results show that our algorithm achieves the best-routed wirelength. © 1982-2012 IEEE.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

Hydrone: Reconfigurable Energy Storage for UAV Applications

Hydrone: Reconfigurable Energy Storage for UAV Applications

引用

作者： Kim, Jiwon Baek, Sungwoo Choi, Yonghun Ahn, Junick Cha, Hojung Department of Computer Science Yonsei University Seoul Korea Republic of

Unmanned aerial vehicles (UAVs) are often used in mission-critical applications, requiring a critical criterion in flight time. Unfortunately, severe power fluctuations, caused by specific flight patterns, degrade the deliverable capacity of the battery and hamper the flight time. A common approach to mitigating power fluctuations is to employ a hybrid energy storage system using a Li-ion battery with an ultracapacitor (UC). However, the conventional scheme poses inherent problems of low-energy density and power leakage due to the use of the UC and the supplementary hardware required for hybrid storage. In this article, we propose Hydrone, a reconfigurable battery architecture that maximizes the flight time of UAVs, overcoming the previous limitations. Hydrone addresses two key challenges that arise when hybrid energy storage is utilized in UAVs: 1) capacity loss and 2) power leakage. First, the proposed scheme compromises the capacity loss of hybrid storage by using a minimal capacity UC for use as a buffer to counteract the power fluctuations. Second, the power leakage of the hybrid battery is minimized by draining power from the UC only when it is necessary. To this end, the Hydrone architecture provides reconfigurability in hardware and offers two modes of battery operation, i.e., a battery-only mode and a hybrid mode. An appropriate operation is then selected at runtime depending on the flight situation and battery status. To switch modes, we employed a reinforcement learning-based switch control, reflecting the power fluctuation adequately on the flight and battery states. We implemented a hardware prototype to demonstrate the efficiency of Hydrone. Our extensive evaluation shows that the flight time of a UAV is prolonged up to 39% in our experiment setup. © 1982-2012 IEEE.

关键词： Supercapacitor

来源：评论

学校读者我要写书评

暂无评论

A Parallelized Dynamic Task Scheduling for Batch of Task in a computational grid

引用

international Journal of computers and Applications 2019年第1期41卷 38-52页

作者： Sheikh, Sophiya Nagaraju, Aitha Shahid, Mohammad Department of Computer Science Central University of Rajasthan Kishangarh Ajmer India Department of Commerce Aligarh Muslim University Aligarh India

The emerging computational grid (CG) system is used for effective utilization of geographically dispersed computing resources in order to fulfill the compute-intensive requirement of the users. Mapping and scheduling of a Batch of Task (BoT) on CG resources have been proved to be NP-complete. In this paper, we propose a Parallelized Dynamic Task Scheduling (PDTS) approach for BoT to minimize job completion time and improving resource utilization by enhancing task level parallelism. The algorithm works in two phases;the first phase divides the task into subtasks to exploit parallelism while in the second phase when the task is available in the memory for execution, it allocates it to the most suitable and available resources dynamically. A simulation study has been carried out to evaluate PDTS by comparing with other heuristic approaches with similar objectives by using the GridSim toolkit. The obtained empirical results show that PDTS outperforms than other considered scheduling strategies in all the cases under study. © 2018, © 2018 Informa UK Limited, trading as Taylor & Francis Group.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：