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

International Conference on Fuzzy Systems and knowledge Discovery (FSKD)

作者： XuePing Zhang YanXia Zhu Nan Hua Key Laboratory of Spatial Data Mining & Information Sharing of Ministry of Education Fuzhou China College of Information Science and Engineering Henan University of Technology Zhengzhou China Technology Department Zhengzhou Super HW Network Technology Company Limited Zhengzhou China

Based on FP-tree algorithm, this article introduced the method of multi-thread processing and a Multi-Threaded Paralleled frequent item-set mining Algorithm - MTPA was proposed. It has been applied to an enterprise human resources management system. Through the experiments of paralleled mining by using increasing multi-thread processing, it has been proved that MTPA which on the condition of multi-core processors can improve the efficiency of frequent item-set mining effectively.

关键词： data mining Algorithm design and analysis Itemsets educational institutions Resource management

来源：评论

学校读者我要写书评

暂无评论

Secure compression of privacy-preserving witnesses in vehicular ad hoc networks

Secure compression of privacy-preserving witnesses in vehicu...

引用

IEEE International Conference on Wireless and Mobile Computing, Networking And Communications (WiMob)

作者： Bo Qin Qianhong Wu Lei Zhang Josep Domingo-Ferrer Department of Maths School of Science Xi'an University of Technology China Department of Compo Engineering and Maths UNESCO Chair in Data Privacy Universitat Rovira i Virgili Catalonia Spain Key Laboratory of AISTC Ministry of Education School of Comp Wuhan University of China China

Vehicular ad hoc networks (VANETs) are designed to improve traffic safety and efficiency. To this end, the traffic communication must be authenticated to guarantee trustworthiness for guiding drivers and establishing liability in case of traffic accident investigation. Cryptographic authentication techniques have been extensively exploited to secure VANETs. Applying cryptographic authentication techniques such as digital signatures raises challenges to efficiently store signatures on messages growing with time. To alleviate the conflict between traffic liability investigation and limited storage capacity in vehicles, this paper proposes to aggregate signatures in VANETs. Our proposal can preserve privacy for honest vehicles and trace misbehaving ones, and provides a practical balance between security and privacy in VANETs. With our proposal, cryptographic witnesses of safety-related traffic messages can be significantly compressed so that they can be stored for a long period for liability investigation. Our proposal allows a large number of traffic messages to be verified as if they were a single one, which speeds up the response of vehicles to traffic reports.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of a trusted remote remediation framework for vehicle software

Design and implementation of a trusted remote remediation fr...

引用

Chinese Control Conference (CCC)

作者： Jian Wang Bin Li Yanheng Liu College of Computer Science and Technology Jilin University Changchun P. R. China Mathemetics School Jilin University Changchun P. R. China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun P. R. China

With the rapid development of vehicle electronic systems, the vehicle software failure rate has also been rising over time. Providing the convenient and effective maintenance on the vehicle software has become a fundamental block constraining the progress of vehicle electronic industry. A trusted remote remediation framework for vehicle software is presented and realized to enable drivers to online upgrade version or fix bug without needing for driving the vehicles back to the factories or using the specific devices. In this framework, the trusted remediation server takes responsibility for managing and providing the patch programs and the trusted remediation client can download directly from the remediation server to upgrade programs or fix software errors, achieving the self-repair in complex vehicular networks.

关键词： Vehicles Authentication File systems Servers Universal Serial Bus

来源：评论

学校读者我要写书评

暂无评论

Using SROIQB to model and compose semantic Web service

引用

Tongxin Xuebao/Journal on Communications 2010年第8 A期31卷 1-9页

作者： Liu, Da-You Liu, Si-Pei Qi, Hong College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China

One kind of semantic Web service modeling and reasoning method based on description logic with Boolean role constructors (SROIQB) was introduced. By using DL to figure out the hyponymy relationship between concepts in domain ontology and model Web service functional semantic in ServiceProfile, and define Boolean role expressions to describe the composition process in ProcessProfile respectively. Furthermore, Boolean role expression is introduced to describe all possible composition structures of atomic services and then semantic Web service composition can be regarded as a process of consistence checking and class subsumption computing reasoning on DL knowledge base. Thus the comparison and example validation show that introduced one kind of new and reasonable semantic Web service modeling and composition method in the framework of semantic Web by using SROIQB, which with more strong expressive capability and decidable type inference.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

A sensitive indicator of regional space-time accessibility

引用

Annals of GIS 2010年第3期16卷 155-164页

作者： Fang, Zhixiang Shaw, Shih-Lung Li, Qingquan State Key Laboratory of Information Engineering in Surveying Mapping and Remote Sensing Wuhan University Wuhan Hubei China Engineering Research Center for Spatio-Temporal Data Smart Acquisition and Application Ministry of Education of China Wuhan Hubei China Department of Geography University of Tennessee Knoxville TN United States

The concept of accessibility needs to take into account factors like individual needs, preferences, and abilities as well as transportation, land use, and finances. This article proposes a sensitive space-time accessibility indicator from a regional perspective. This indicator, representing cumulative available activity time with a regional context, is different from both traditional accessibility measures (e.g., gravity-based accessibility, cumulative accessibility, utility-based accessibility, and so on) and previous concepts of individual space-time accessibility. The major advantage of this indicator is its sensitivity to the location of the anchor point, the transportation network, the distribution of activity sites over the whole region, and certain individual needs such as minimum activity times and activity time budgets. Several examples are worked to demonstrate these sensitivities and an innovative accessibility pattern which was previously unknown. This indicator should be helpful for planning agencies to assess urban environmental patterns and for business owners to evaluate potential business locations. © 2010 Taylor & Francis.

关键词： Region Space-time accessibility Spatial pattern Time-geography

来源：评论

学校读者我要写书评

暂无评论

An Efficient Method for Calculating Qualitative Spatial Relations

引用

电子学报(英文版) 2009年第1期18卷 42-46页

作者： WANG Shengsheng LIU Dayou College of Computer Science and Technology Key Laboratory of Symbolic Computing and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China

Qualitative spatial relations are widely used in geospatial ontologies, geospatial (semantic) web services, spatial description logics etc. Methodology to obtain qualitative spatial relations (especially complex spatial relations) from Geographical information system (GIS) has not been studied in previous literatures. An efficient method for calculating complex qualitative spatial relations is discussed here. First, the multi-granularities approximate representation of spatial objects is proposed, it is designed for GIS object types (such as polygon), and requires less process time. Then some algorithms for calculating complex spatial relations based on the multi-granularities approximate representation are given. Finally, this method is implemented and used to obtain topology and direction relations from world map. The analysis and test results show that this method supports complex and integrated spatial relations and requires less process time than traditional method. This method is suitable for obtaining spatial relations for geospatial ontologies and other applications.

关键词：空间关系计算地理信息系统地理本体信息系统设计网络服务描述逻辑空间对象

来源：评论

学校读者我要写书评

暂无评论

A NEW CASCADING FAILURE MODEL WITH DELAY TIME IN CONGESTED COMPLEX NETWORKS

引用

Journal of Systems Science and Systems engineering 2009年第3期18卷 369-381页

作者： Jian WANG Yanheng LIU Yu JIAO College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China

Cascading failures often occur in congested complex networks. Cascading failures can be expressed as a three-phase process： generation, diffusion, and dissipation of congestion. Different from the betweenness centrality, a congestion function is proposed to represent the extent of congestion on a given node. Inspired by the restart process of a node, we introduce the concept of ＂delay time,＂ during which the overloaded node Cannot receive or forward any traffic, so an intergradation between permanent removal and nonremoval is built and the flexibility of the presented model is demonstrated. Considering the connectivity of a network before and after cascading failures is not cracked because the overloaded node are not removed from network permanently in our model, a new evaluation function of network efficiency is also proposed to measure the damage caused by cascading failures. Finally, we investigate the effects of network structure and size, delay time, processing ability, and traffic generation speed on congestion propagation. Cascading processes composed of three phases and some factors affecting cascade propagation are uncovered as well.

关键词： Complex networks cascading failures congestion effects propagation model

来源：评论

学校读者我要写书评

暂无评论

Statistical properties of visibility graph of energy dissipation rates in three-dimensional fully developed turbulence

引用

Physica A: Statistical Mechanics and its Applications 2010年第13期389卷 2675-2681页

作者： Chuang Liu Wei-Xing Zhou Wei-Kang Yuan School of Business East China University of Science and Technology Shanghai 200237 China Engineering Research Center of Process Systems Engineering (Ministry of Education) East China University of Science and Technology Shanghai 200237 China Research Center for Econophysics East China University of Science and Technology Shanghai 200237 China School of Science East China University of Science and Technology Shanghai 200237 China Research Center on Fictitious Economics & Data Science Chinese Academy of Sciences Beijing 100080 China State Key Laboratory of Chemical Engineering East China University of Science and Technology Shanghai 200237 China

We study the statistical properties of complex networks constructed from time series of energy dissipation rates in three-dimensional fully developed turbulence using the visibility algorithm. The degree distribution is found to have a power-law tail with the tail exponent α = 3.0 . The exponential relation between the number of the boxes N B and the box size l B based on the edge-covering box-counting method illustrates that the network is not self-similar, which is also confirmed by the hub-hub attraction according to the visibility algorithm. In addition, it is found that the skeleton of the visibility network exhibits excellent allometric scaling with the scaling exponent η = 1.163 ± 0.005 .

关键词： Turbulence Energy dissipation rate Visibility graph Degree distribution Self-similarity Allometric scaling

来源：评论

学校读者我要写书评

暂无评论

Deriving all minimal consistency-based diagnosis sets using SAT solvers

引用

Progress in Natural Science:Materials International 2009年第4期19卷 489-494页

作者： Xiangfu Zhao a,b, Liming Zhang a,b, Dantong Ouyang a,b, Yu Jiao a,b a key laboratory of Symbolic Computation and knowledge engineering of ministry of education, Jilin University, Changchun 130012, China b School of Computer Science and Technology, Jilin University, Changchun 130012, China [a]Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China [b]School of Computer Science and Technology Jilin University Changchun 130012 China

In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solv- ers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best effciency for the singleor double-fault diagnosis.

关键词： Conjunctive normal form Consistency-based diagnosis Model-based diagnosis SAT solver

来源：评论

学校读者我要写书评

暂无评论

Computing minimal diagnosis with binary decision diagrams algorithm

Computing minimal diagnosis with binary decision diagrams al...

引用

6th International Conference on Fuzzy Systems and knowledge Discovery, FSKD 2009

作者： Wang, Kun Li, Zhan-Shan Ai, Yang Zhang, Yong-Gang Key Laboratory of Symbolic Computation Knowledge Engineering for Ministry of Education Jilin University Jilin Changchun China

ISBN: (纸本)9780769537351

In this paper we propose an algorithm of computing minimal diagnosis based on BDD (Binary Decision Diagram). First we give the concept of disjunction equations, and map the collection of conflict sets into disjunction equations, then we compile the system into a BDD, further we compute the minimal hitting sets by solving the BDD and minimizing hitting sets. The reliability and completeness of the algorithm are proved. Variable ordering and construct controlling of BDD are used to further reduce the size of final BDD and the number of non-minimal hitting sets to be generated. The efficiency of computing minimal hitting sets is highly improved. Experimental results show that the algorithm isn't restricted by the structure of system and conflict sets, compared with three algorithms in the references, it can generate all the minimal hitting sets, and it works well in random circumstances. © 2009 IEEE.

关键词： Binary decision diagrams

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：