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

6th International Conference on Artificial Intelligence and Security, ICAIS 2020

作者： Yu, Wenbin Xiong, Zijia Dong, Zangqiang Xu, Yinsong Liu, Wenjie Qu, Zhiguo Liu, Alex X. Jiangsu Engineering Center of Network Monitoring School of Computer and Software Nanjing University of Information Science and Technology NanjingJiangsu210044 China The Department of Computer Science and Application Zhengzhou Institute of Aeronautical Industry Management ZhengzhouHenan450015 China Department of Computer Science and Engineering Michigan State University East LansingMI48824-1226 United States

ISBN: (纸本)9783030578831

In the optical frequency level communication, quantum effect becomes the source of significant communication errors. One alternative to classical detection is orthogonal projection measurement. In this paper, based on the coherent state’s quantum measurement and discrimination, the quantum optimal detection of binary coherent state signal in the presence of thermal noise was studied. Our numerical results showed the error probabilities of quantum detection under the OOK and BPSK modulation, and verified the performance of these two modulation methods in the thermal noise field background. © 2020, Springer Nature Switzerland AG.

关键词： Optical communication

来源：评论

学校读者我要写书评

暂无评论

Medicine and Disease Association Prediction via Attention-Based Medical Heterogeneous Information Network Representation Learning

IAENG International Journal of Computer Science

引用

IAENG International Journal of computer science 2022年第1期49卷 69-78页

作者： Zhang, Bin Yang, Dan Lin, Zhihuang Master of Computer Science and Software Engineering Department University of Science and Technology Liao Ning Anshan China School of Computer Science and Software Engineering University of Science and Technology Liao Ning Anshan China

Knowledge of medication and disease has been rapidly accumulated. Also, an increasing number of researchers have paid more attention to predicting medicine-disease associations by machine learning methods. The associations of entities in the medical heterogeneous information network involve different association types. In this paper, we propose MHIN-MD, a representation learning of medical heterogeneous network model to solve the association between medicines and diseases in medical heterogeneous information network. Specifically, we first construct a medical heterogeneous information network contains diseases, medicines, diagnosis, etc. Next, we design a neural network model to learn the feature vector representation of medical nodes information. We try to find the association between medicines and diseases through the characteristics of medicines structure and the interaction between medicines. Using the Euclidean distance to calculate medicine similarity and disease similarity, generates a set of similar nodes between medicines and diseases to prediction association between medicines and diseases. Finally, our extensive experiments on MIMIC- III datasets and DrugBank datasets, the result demonstrates that MHIN-MD can outperform baselines in the association prediction. © 2022. All Rights Reserved.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

Energy-efficient task Clustering Scheduling on homogeneous clusters

Energy-efficient task Clustering Scheduling on homogeneous c...

引用

11th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2010

作者： Liu, Wei Li, Hongfeng Shi, Feiyan Department of Computer Science Wuhan University of Technology Wuhan 430063 China State Key Lab. of Software Engineering Wuhan University Wuhan 430072 China China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Wuhan University of Technology Department of Computer Science Wuhan China

ISBN: (纸本)9780769542874

Clusters provide powerful computing performance is at cost of huge energy consumption. Scheduling a parallel application with a set of precedence-constrained tasks on cluster is challenging because of high communication cost. Although task duplication based scheduling algorithm is applied to minimize communication overhead, most of them only consider scheduling lengths, however completely ignoring energy consumption of cluster. Based on this consideration, we propose a novel Energy-Performance Balanced Task Duplication based Clustering Scheduling algorithm (EPBTDCS for short) in homogenous clusters which can significantly saving energy by judiciously shrinking communication energy consumption when assigning parallel tasks to computing nodes. This algorithm not only reduces energy dissipation in cluster without significantly degrading system performance, but also gets an optimal scheduling with a simple and loose condition. We conducted extensive experiments based on real-world SPEC fpppp and Sparse Matrix Solver parallel tasks applications running on a simulated cluster. By comparing with task duplication-based scheduling (TDS for short) and non-duplication-based scheduling (MCP for short) algorithms to prove our algorithm can save energy consumption greatly. © 2010 IEEE.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Business buddy: Connecting you and your business partners

Business buddy: Connecting you and your business partners

引用

International MultiConference of Engineers and computer Scientists, IMECS 2014

作者： Kwok, Kenneth Kin Pong Tsui, Ho Wang Yang, Yichen Chan, Wai Lun Man, Ka Lok Lei, Chi-Un Department of Electrical and Electronic Engineering University of Hong Kong Hong Kong Hong Kong Department of Computer Science and Software Engineering Xi'an Jiaotong-Liverpool University China Baltic Institute of Advanced Technology Lithuania

ISBN: (纸本)9789881925336

Keeping record of schedule and administrative information and analyzing it can be demanding in both time and mental ways. With the view to overcoming the obstacles and even provide a better service, we propose a schedule and administration management tool, called Business Buddy. With the help of voice recognition, dictation, cloud system and language analysis, the tool can keep record of the information of the business partners met in meetings. Features, technical implementation and future development are described in this positioning paper.

关键词： Common core curriculum Intelligent advisory service Recognition Time management

来源：评论

学校读者我要写书评

暂无评论

Object-oriented reengineering

引用

21st European Conference on Object-Oriented Programming, ECOOP 2007

作者： Demeyer, Serge Guéhéneuc, Yann-Gaël Keller, Anne Lange, Christian F. J. Mens, Kim Kuhn, Adrian Kuhlemann, Martin Department of Mathematics and Computer Science University of Antwerp Belgium Department of Computer Science and Operations Research Université de Montréal Canada Engineering and Technology Group Eindhoven University of Technology Netherlands Département d'Ingénierie Informatique Université Catholique de Louvain Belgium Software Software Composition Group University of Berne Switzerland School of Computer Science University of Magdeburg Germany

ISBN: (纸本)3540781943

The ability to reengineer object-oriented legacy systems has become a vital matter in today's software industry. Early adopters of the object-oriented programming paradigm are now facing the problem of transforming their object-oriented "legacy" systems into full-fledged frameworks. To address this problem, a series of workshops has been organised to set up a forum for exchanging experiences, discussing solutions, and exploring new ideas. Typically, these workshops were organised as satellite events of major software engineering conferences, such as ECOOP [1,2,3,4,5,6,7,8,9,10,11] and ESEC/FSE [12,13,14] . During the past 10 years, participants of this workshop series have been actively contributing to the state-of-the-art on reengineering of object-oriented systems. This special 10 th anniversary edition was no exception and this report summarises the key discussions and outcome of that workshop. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Reengineering

来源：评论

学校读者我要写书评

暂无评论

Deep Learning-Based Model for Detection of Brinjal Weed in the Era of Precision Agriculture

引用

computers, Materials & Continua 2023年第10期77卷 1281-1301页

作者： Jigna Patel Anand Ruparelia Sudeep Tanwar Fayez Alqahtani Amr Tolba Ravi Sharma Maria Simona Raboaca Bogdan Constantin Neagu Department of Computer Science and Engineering Institute of TechnologyNirma UniversityAhmedabad382481India Software Engineering Department College of Computer and Information SciencesKing Saud UniversityRiyadh12372Saudi Arabia Computer Science Department Community CollegeKing Saud UniversityRiyadh11437Saudi Arabia Centre for Inter-Disciplinary Research and Innovation University of Petroleum and Energy StudiesDehradun248001India Doctoral School University Politehnica of BucharestBucharest060042Romania National Research and Development Institute for Cryogenic and Isotopic Technologies-ICSI Rm ValceaRamnicu Valcea240050Romania Power Engineering Department Gheorghe Asachi Technical University of IasiIasi700050Romania

The overgrowth of weeds growing along with the primary crop in the fields reduces crop *** solutions like hand weeding are labor-intensive,costly,and time-consuming;farmers have used *** application of herbicide is effective but causes environmental and health ***,Precision Agriculture(PA)suggests the variable spraying of herbicides so that herbicide chemicals do not affect the primary *** by the gap above,we proposed a Deep Learning(DL)based model for detecting Eggplant(Brinjal)weed in this *** key objective of this study is to detect plant and non-plant(weed)parts from crop *** the help of object detection,the precise location of weeds from images can be *** dataset is collected manually from a private farm in Gandhinagar,Gujarat,*** combined approach of classification and object detection is applied in the proposed *** Convolutional Neural Network(CNN)model is used to classify weed and non-weed images;further DL models are applied for object *** have compared DL models based on accuracy,memory usage,and Intersection over Union(IoU).ResNet-18,YOLOv3,CenterNet,and Faster RCNN are used in the proposed *** outperforms all other models in terms of accuracy,i.e.,88%.Compared to other models,YOLOv3 is the least memory-intensive,utilizing 4.78 GB to evaluate the data.

关键词： Precision Agriculture Deep Learning brinjal weed detection ResNet-18 YOLOv3 CenterNet Faster RCNN

来源：评论

学校读者我要写书评

暂无评论

Symbolic model checking for discrete real-time systems

引用

science China(Information sciences) 2018年第5期61卷 203-225页

作者： Xiangyu LUO Lijun WU Qingliang CHEN Haibo LI Lixiao ZHENG Zuxi CHEN College of Computer Science & Technology Huaqiao University Guangxi Key Laboratory of Trusted Software Guilin University of Electronic Technology School of Computer Science and Engineering University of Electronic Science and Technology of China Department of Computer Science Jinan University

A considerably large class of critical applications run in distributed and real-time environments,and most of the correctness requirements of such applications must be expressed by time-critical *** enable the specification and verification of these properties in both qualitative and quantitative manners,we propose a new real-time temporal logic RTCTL*, by incorporating both the quantitative(bounded)future and past temporal operators from the qualitative temporal logic CTL*. First, we propose a symbolic method for constructing the temporal tester for arbitrary principally temporal formulas. A temporal tester is constructed as a non-deterministic transducer with a fresh boolean output variable, such that at any position the output variable is set to be true if and only if the corresponding formula holds starting from that *** we propose a symbolic model checking method for RTCTL* over finite-state transition systems with weak fairness constraints based on the compositionality of testers. The soundness and completeness of the model checking method, the expressiveness of RTCTL*, and the complexity of the tester construction are described and proven. We have already implemented an efficient model checking prototype for the real-time linear temporal logic RTLTL, which is a quantifier-free version of RTCTL*, by building upon the Nu SMV model checker. The theoretical and the experimental results from the prototype both confirm that for checking bounded temporal formulae of the form f U[0,b]g or f S[0,b]g, our method performs exponentially better than the translation-based method in Nu SMV.

关键词： symbolic model checking temporal tester real-time temporal logic just discrete system OBDDs

来源：评论

学校读者我要写书评

暂无评论

Event detection and evolution in multi-lingual social streams

引用

Frontiers of computer science 2020年第5期14卷 213-227页

作者： Yaopeng Liu Hao Peng Jianxin Li Yangqiu Song Xiong Li Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang UniversityBeijing100083China State Key Laboratory of Software Development Environment Beihang UniversityBeijing100083China Department of Computer Science and Engineering HKUSTHong Kong99907China National Computer Network Emergency Response Technical Team/Coordination Center of China Beijing100029China

Real-life events are emerging and evolving in social and news *** methods have succeeded in capturing designed features of monolingual events,but lack of interpretability and multi-lingual *** this end,we propose a multi-lingual event mining model,namely MLEM,to automatically detect events and generate evolution graph in multilingual hybrid-length text streams including English,Chinese,French,German,Russian and ***,we merge the same entities and similar phrases and present multiple similarity measures by incremental word2vec *** propose an 8-tuple to describe event for correlation analysis and evolution graph *** evaluate the MLEM model using a massive human-generated dataset containing real world *** results show that our new model MLEM outperforms the baseline method both in efficiency and effectiveness.

关键词： event detection event evolution stream processing multi-lingual anomaly detection

来源：评论

学校读者我要写书评

暂无评论

VCLT: An accurate trajectory tracking attack based on crowdsourcing in VANETs 15th

VCLT: An accurate trajectory tracking attack based on crowds...

引用

15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015

作者： Lin, Chi Liu, Kun Xu, Bo Deng, Jing Yu, Chang Wu Wu, Guowei School of Software Dalian University of Technology Dalian116621 China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province Dalian116621 China Department of Computer Science University of North Carolina at Greensboro GreensboroNC27412 United States Department of Computer Science and Information Engineering Chung Hua University Hsinchu Taiwan

ISBN: (纸本)9783319271361

We investigate trajectory tracking in Vehicular Ad hoc Networks (VANETs) in this work. Previous tracking methods suffer from low accuracy, large overhead, and big error. In this paper, we propose a Vehicular Crowdsourcing Localization and Tracking (VCLT) scheme for mounting a trajectory tracking attack. In our scheme, crowdsourcing technique is applied to sample the location information of certain users. Then matrix completion algorithm is used to generate our predictions of the users’ trajectories. To alleviate the error disturbance of the recovered location data, Kalman filter technique is implemented and the trajectories of certain users are recovered with accuracy. At last, extensive simulations are conducted to show the performance of our scheme. Simulations results reveal that the proposed approach is able to accurately track the trajectories of certain users. © Springer International Publishing Switzerland 2015.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Formal Methods and software engineering 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Shaoying Liu Tom Maibaum Keijiro Araki

ISBN: (数字)9783540881940

ISBN: (纸本)9783540881933

Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must be - veloped on the basis of both formal methods and existing software technologies in software engineering, and they must serve the improvement of the softwa- engineering process. ICFEM 2008 marks the tenth anniversary of the ?rst ICFEM conference, which was held in Hiroshima in 1997. It aims to bring together researchers and practitioners who are interested in the development and application of formal engineering methods to present their latest work and discuss future research directions. The conference o?ers a great opportunity for researchers in both formal methods and software engineering to exchange their ideas, experience, expectation and to ?nd out whether and how their research results can help advance the state of the art.

关键词： software engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Programming Techniques software engineering Models and Principles Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：