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

7th Chinese Semantic Web Symposium and the 2nd Chinese Web scienceConference, CSWS 2013

作者： Lu, Yuting Gu, Jinguang Huang, Zhisheng Computer Science and Technology Wuhan University of Science and Technology Wuhan 430065 China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan 430065 China Department of Computer Science Vrije University of Amsterdam 1081hv Amsterdam Netherlands

ISBN: (纸本)9783642540240

Medication guide ontology has great significance for semantic study of rational use of drugs. Nowadays, medical ontology is mainly constructed manually, which spends a lot in time and manpower, and is also difficult to ensure the accuracy. This paper proposes a method of constructing the domain ontology of medication guide automatically. The method uses semantic pattern analysis to extract information, optimizes the extracted concepts and relations, generates medication guide ontology, and then provides the interface of pattern expansion to adapt to the changing medication guide data. Finally, it realizes the automatic construction of ontology system, and conducts experiments on to verify the feasibility of the system. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Towards Thwarting Unauthorized Network Accesses with a Feather-Weight Hypervisor

Towards Thwarting Unauthorized Network Accesses with a Feath...

引用

International Conference on Cloud Computing and Big Data (CloudCom-Asia)

作者： Yan Wen Jinjing Zhao Hua Chen Lufeng Zhang Information System Security National Key Laboratory of Science and Technology Beijing China

In the cloud computing environment, most of applications rely on the network access to achieve their functionalities. Untrusted or vulnerable cloud applications will incur unauthorized network accesses which may bring on the user information leakage or other threats. In this paper, we propose a novel feather-weight hardware-assisted hypervisor, namely NFVisor (Network Filter Hypervisor), to thwart such unauthorized network accesses. Compared to previous host-based approaches, NFVisor offers two distinct advantages: preinstalled commodity OS compatibility and non-by passable manipulation of network accesses. Unlike typical hypervisors, deploying NFVisor does not require OS reinstallation. By intercepting the low-level interactions between the OS and the hardware, NFVisor can manipulate the network accesses at the hypervisor layer instead of the OS layer, which is subvertable for the privileged malware. Our functionality evaluation shows NFVisor can impede unauthorized network connections effectively while the performance evaluation shows desktop-oriented workloads achieve 94.12% of native speed on average.

关键词： Virtual machine monitors Hardware Kernel Malware Virtualization computer architecture

来源：评论

学校读者我要写书评

暂无评论

Exponential-condition-based barrier certificate generation for safety verification of hybrid systems

引用

25th International Conference on computer Aided Verification, CAV 2013

作者： Kong, Hui He, Fei Song, Xiaoyu Hung, William N. N. Gu, Ming Dept. of Computer Science and Technology Tsinghua University Beijing China School of Software Tsinghua University Beijing China Dept. of ECE Portland State University OR United States Synopsys Inc. Mountain View CA United States Tsinghua National Laboratory for Information Science and Technology China Key Laboratory for Information System Security MOE China

ISBN: (纸本)9783642397981

A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the benefit of avoiding explicit computation of the exact reachable set which is usually intractable for nonlinear hybrid systems. In this paper, we propose a new barrier certificate condition, called Exponential Condition, for the safety verification of semi-algebraic hybrid systems. The most important benefit of Exponential Condition is that it has a lower conservativeness than the existing convex conditions and meanwhile it possesses the convexity. On the one hand, a less conservative barrier certificate forms a tighter over-approximation for the reachable set and hence is able to verify critical safety properties. On the other hand, the convexity guarantees its solvability by semidefinite programming method. Some examples are presented to illustrate the effectiveness and practicality of our method. © 2013 Springer-Verlag.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Mining user interests in web logs of an online news service based on memory model

Mining user interests in web logs of an online news service ...

引用

2013 IEEE 8th International Conference on Networking, Architecture and Storage, NAS 2013

作者： Wang, Wei Zhao, Dongyan Luo, Haining Wang, Xin Key Laboratory on Information Security Engineering University of CAPF Xi'an China Institute of Computer Science and Technology Peking University Beijing China Computer Management Center Armed Police General Hospital Beijing China

ISBN: (纸本)9780769550343

User profiling plays an important role in online news recommendation systems. In this paper, we analyze the relationship between users' clicking behaviors and the category of the news story to model user's interests by mining web log data of an adaptive news system. We train a Memory-based User Profile (MUP), which imitates human being's learning, remembering and forgetting mechanisms, to predict users' potential interests dynamically. We mainly focus on experimental analysis to refine the MUP scheme. Firstly, we materialize the meanings of all parameters of MUP by important factors (i.e., absorbing factor, forgetting factor, timescale and learning strength) in human being's learning and forgetting process. Secondly, we demonstrate how to determine the values of parameters for different users to reflect their distinct learning and forgetting abilities. Thirdly, we derive a threshold from MUP's recursion formula, which can be used to simply distinguish long-term and short-term interests. Our evaluations are carried out on IdoIcan's web log data, results show MUP can model user's profile effectively. © 2013 IEEE.

关键词： User profile

来源：评论

学校读者我要写书评

暂无评论

Mountain landslide monitoring based on wireless sensor network

引用

information technology Journal 2013年第15期12卷 3357-3362页

作者： Li, Xiaoling Yuan, Jimin School of Computer Science and Technology Chengdu University 610106 Chengdu China University Key Laboratory of Pattern Recognition Intelligent Information Processing 610106 Chengdu China Department Computer Engineering Chengdu Aeronautic Vocational and Technical College Chengdu 610000 China

The study provides a design scheme for the mountain landslide monitoring system based on wireless sensor networks. Different sensors are mainly used to collect data about the water depth in the soil and the sloping angel of the hillside in real-time. After data analysis and processing by monitoring center, the warning information is provided for related departments to take effective measures rapidly to protect people's lives and properties. © 2013 Asian Network for Scientific information.

关键词： Landforms

来源：评论

学校读者我要写书评

暂无评论

Index modulated OFDM with ICI self-cancellation in underwater acoustic communications

Index modulated OFDM with ICI self-cancellation in underwate...

引用

Asilomar Conference on Signals, systems & computers

作者： Miaowen Wen Yuke Li Xiang Cheng Liuqing Yang School of Electronic and Information Engineering South China University of Technology Guangzhou China State Key Laboratory of Management and Control for Complex Systems Institute of Automation Chinese Academy of Sciences Beijing China School of Electronics Engineering and Computer Science Peking University Beijing China Department of Electrical and Computer Engineering Colorado State University Fort Collins CO USA

ISBN: (纸本)9781479982981

OFDM is promising for underwater acoustic (UWA) communications due to its potential to combat the large delay spread. However, the performance of the OFDM system is seriously deteriorated by the inter-carrier interference (ICI) caused by the transmitter/receiver motion and ocean waves. In this paper, we propose a novel ICI countermeasure. The key idea is to inactivate partial subcarriers according to index modulation and meanwhile transmit signals with opposite polarity on two adjacent active subcarriers for ICI self cancellation. Simulation results validate that the proposed scheme achieves much better bit error rate (BER) performance than many existing schemes in UWA communications.

关键词： OFDM Modulation Bit error rate Indexes Receivers Transmitters Sonar equipment

来源：评论

学校读者我要写书评

暂无评论

Research on the degeneration problem of key sequence based on chaos

Research on the degeneration problem of key sequence based o...

引用

5th IEEE International Conference on Intelligent Networking and Collaborative systems, INCoS 2013

作者： Wang, Jing-Jing Wei, Ping Chen, Jia-Yong Key Laboratory of Network and Information Security of APF Department of Electronic Technology Engineering University of APF Xi'an 710086 China Laboratory-Center of Computer Department of Information Engineering Engineering University of APF Xi'an 710086 China Laboratory of Information and Network of APF Department of Information Engineering Engineering University of APF Xi'an 710086 China

ISBN: (纸本)9780769549880

In view of the degeneration problem of chaos characteristics of the secret-key sequences, a new key sequence generation system was designed, combining chaos and cryptography. The simulation results shows that, not only can the system generate its own parameters randomly, but also it can generate chaos secret-key sequences, which have the merits of long periodicity, great complexity and strong security, etc. © 2013 IEEE.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

A big data based data storage systems for rock burst experiment

引用

International Journal of Wireless and Mobile Computing 2013年第5期6卷 463-472页

作者： Zhang, Yu Bai, Yan-Ping Zhu, Dong-Feng Lv, Zhao-Yong Department of Computer Science Beijing University of Civil Engineering and Architecture Beijing China State Key Laboratory for GeoMechanics and Deep Underground Engineering China University of Mining and Technology Beijing China School of Management Capital Normal University Beijing China School of Computer Science and Technology Beijing Institute of Technology Beijing China Department of Computer Teaching and Network Information Beijing University of Civil Engineering and Architecture Beijing China

State key laboratory for GeoMechanics and Deep Underground Engineering, Deep-Lab for short, has been committed to the study of rock burst. Deep-Lab accumulated a large number of rock-burst data. With the deepening of the research progress, massive-data dilemma, artificial-management-data dilemma and experimental-data-analysis dilemma have become three big problems of rock burst. These dilemmas restrict the development of rock burst research technologies. This article takes big data in rock burst experiment as research objects and innovatively introduces big data technology into rock burst. Digital features of rock-burst experimental data were extracted. On this basis, a big data based data storage systems for rock burst experiment, BDSS for short, was designed and built. Then an integrated rock burst experimental platform was constructed. Experiments show that, BDSS solves three dilemmas of rock burst, and realises the distributed storage system of data. BDSS also realises dynamic and efficient load of rock-burst big data, and its efficient query under complication conditions. Copyright © 2013 Inderscience Enterprises Ltd.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

LSB replacement steganography software detection based on model checking

LSB replacement steganography software detection based on mo...

引用

11th International Workshop on Digital Forensics and Watermaking, IWDW 2012

作者： Zhao, Zheng Liu, Fenlin Luo, Xiangyang Xie, Xin Yu, Lu Department of Network Engeering Zhengzhou Information Science and Technology Institute Zhengzhou 450002 China State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Science Beijing 100093 China Department One Academy of National Defense Information 430000 Wuhan China

ISBN: (纸本)9783642400988

Steganography software detection is one of effective approaches for steganography forensics using software analysis. In this paper a method of LSB replacement steganography software detection is proposed. Firstly three typical implementations of LSB replacement algorithms are analyzed and Finite Automatons description of them are presented. Secondly the control flow automatons are constructed for softwares to be detected. Finally, the model checking method for identifying LSB replacement steganography software is adopted. Experimental results show that the proposed method can reliably detect LSB replacement steganography softwares of different versions and those that are reimplemented relatively. © 2013 Springer-Verlag.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A game theoretic method to model and evaluate attack-defense strategy in cloud computing

A game theoretic method to model and evaluate attack-defense...

引用

2013 IEEE 10th International Conference on Services Computing, SCC 2013

作者： Fan, Guisheng Yu, Huiqun Chen, Liqiong Liu, Dongmei Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China State Key Laboratory for Novel Software Technology Nanjing University 210093 China Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China

ISBN: (纸本)9780768550268

Cloud computing has attracted much interest recently from both industry and academic. However, it is difficult to construct perfectly secure mechanisms, in face of complex and various attack behaviors in cloud computing. In this paper, a stochastic game model (SGM) is proposed to describe the attack-defense behavior in cloud computing, the physical machine, attack-defense behavior and their attributes are modeled by using SGM, thus forming the attack-defense game model of cloud computing. On this basis, the Nash equilibrium of attack-defense process of physical machine is computed in order to get the best defense strategy. The related theories of Petri net are used to verify the correctness of proposed method. The computation formula and the actual meaning of performance index are given. The enforcement algorithm is also proposed. Both case study and simulation results show that the proposed method can adapt quickly to the changes in cloud application, thus improving the security of cloud computing. © 2013 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：