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

International Journal of Digital Content Technology and its Applications 2012年第6期6卷 80-88页

作者： Jialiang, He Dantong, Ouyang Tian, Bai Liming, Zhang College of Computer Science and Technology Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China

Special physical character and strictly limited resources in tags make RFID systems being confronted with many security problems, mobile reader brings higher design requirements for RFID protocols. In this paper, a lightweight RFID authentication protocol for mobile reader is proposed, this protocol only requires O(1) work to identify and authenticate a tag in the server and is suitable for the low-cost RFID systems. The security and performance of the proposed protocol are analyzed as well.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

QUASI-PERIODIC SOLUTIONS OF THE GENERAL NONLINEAR BEAM EQUATIONS

引用

Communications in Mathematical Research 2012年第1期000卷 54-67页

作者： Gao Yi-xian1 2 (1. College of Mathematics and Statistics Northeast Normal University Changchun 130024) (2. key laboratory of Symbolic Computation and knowledge engineering of ministry of education Jilin University Changchun 130012)Li Yong College of Mathematics and Statistics Northeast Normal UniversityChangchun 130024 Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012

In this paper, one-dimensional (1D) nonlinear beam equations of the form utt - uxx + uxxxx + mu = f (u) with Dirichlet boundary conditions are considered, where the nonlinearity f is an analytic, odd function and f(u) = O(u3). It is proved that for all m ∈ (0, M*]  R (M* is a fixed large number), but a set of small Lebesgue measure, the above equations admit small-amplitude quasi-periodic solutions corresponding to finite dimensional invariant tori for an associated infinite dimensional dynamical system. The proof is based on an infinite dimensional KAM theory and a partial Birkhoff normal form technique.

关键词： beam equation KAM theorem quasi-periodic solution partial Birkhoff normal form

来源：评论

学校读者我要写书评

暂无评论

An improved median-based Otsu image thresholding Algorithm

An improved median-based Otsu image thresholding Algorithm

引用

2012 Conference on Modelling, Identification and Control (MIC2012)

作者： Xiaolu Yang Xuanjing Shen Jianwu Long Haipeng Chen College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University

ISBN: (纸本)9781627483766

Robust and automatic thresholding of gray level images has been commonly used in the field of pattern recognition and computer vision for objects detecting,tracking and *** Otsu scheme,a widely used image thresholding technique,provides approving results for segmenting a gray level image with only one modal distribution in gray level ***,it provides poor results if the histogram of a gray level is *** enhancing the performance of the Otsu algorithm further,in this work,an improved median-based Otsu image thresholding algorithm is *** extensive tests are performed and the experiments show that our method obtain more satisfactory results than the original Otsu thresholding algorithm.

关键词： Image segmentation Image thresholding Otsu algorithm

来源：评论

学校读者我要写书评

暂无评论

Reducing Uncertainty of Low-Sampling-Rate Trajectories

Reducing Uncertainty of Low-Sampling-Rate Trajectories

引用

International Conference on data engineering

作者： Kai Zheng Yu Zheng Xing Xie Xiaofang Zhou School of Information Technology and Electrical Engineering University of Queensland Brisbane Australia Microsoft Research Asia Beijing China Key Laboratory of Data Engineering and Knowledge Engineering Ministry of Education China School of Information Renmin University of China China

ISBN: (纸本)9781467300421

The increasing availability of GPS-embedded mobile devices has given rise to a new spectrum of location-based services, which have accumulated a huge collection of location trajectories. In practice, a large portion of these trajectories are of low-sampling-rate. For instance, the time interval between consecutive GPS points of some trajectories can be several minutes or even hours. With such a low sampling rate, most details of their movement are lost, which makes them difficult to process effectively. In this work, we investigate how to reduce the uncertainty in such kind of trajectories. Specifically, given a low-sampling-rate trajectory, we aim to infer its possible routes. The methodology adopted in our work is to take full advantage of the rich information extracted from the historical trajectories. We propose a systematic solution, History based Route Inference System (HRIS), which covers a series of novel algorithms that can derive the travel pattern from historical data and incorporate it into the route inference process. To validate the effectiveness of the system, we apply our solution to the map-matching problem which is an important application scenario of this work, and conduct extensive experiments on a real taxi trajectory dataset. The experiment results demonstrate that HRIS can achieve higher accuracy than the existing map-matching algorithms for low-sampling-rate trajectories.

关键词： Trajectory Roads Global Positioning System Inference algorithms Uncertainty Artificial neural networks educational institutions

来源：评论

学校读者我要写书评

暂无评论

A novel combine forecasting method for predicting news update time

Journal of Software

引用

Journal of Software 2012年第12期7卷 2787-2793页

作者： Wang, Mengmeng Zuo, Xianglin Zuo, Wanli Wang, Ying College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin Unversity Changchun China

With the rapid development of Internet, information provided by the Internet has shown explosive growth. In the face of massive and constantly updated information on the Internet, how the user can fast access to more valuable and more information has become one of the hot spots. The time of Web Page update appears to be erratic, so forecasting the update time of news reports is even more difficult. From the view of application, we can use mathematical models to maximize the approximation of variation, although it cannot be completely accurate. So is the predicting the update time of news which helps in improving the news crawler's scheduling policy. In this paper, we proposed a combined predict algorithm for news update. In order to predict the update time of news, firstly, we applied the Exponential Smoothing method to our dataset, and we also have selected the optimal parameters. Secondly, we leveraged the Naive Bayes Model for prediction. Finally, we combined two methods for Combination Forecasting, as well as made a compare with former methods. Through the experiments on Sohu News, we show that Combination Forecasting method outperforms other methods while estimating localized rate of updates. © 2012 ACADEMY PUBLISHER.

关键词： Websites

来源：评论

学校读者我要写书评

暂无评论

Interpolation and approximation for data living on manifold surfaces

引用

Computer Aided Drafting,Design and Manufacturing 2012年第4期22卷 16-20页

作者： HU Jianping LIU Xiuping WANG Xiaochao XIE Qi School of Science Northeast Dianli University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University School of Mathematical Sciences Dalian University of Technology

Meshed surfaces are ubiquitous in digital geometry processing and computer graphics. The set of attributes associated with each vertex such as the vertex locations, curvature, temperature, pressure or saliency, can be recognized as data living on mani- fold surfaces. So interpolation and approximation for these data are of general interest. This paper presents two approaches for mani- fold data interpolation and approximation through the properties of Laplace-Beltrami operator （Laplace operator defined on a mani- fold surface）. The first one is to use Laplace operator minimizing the membrane energy of a scalar function defined on a manifold. The second one is to use bi-Laplace operator minimizing the thin plate energy of a scalar function defined on a manifold. These two approaches can process data living on high genus meshed surfaces. The approach based on Laplace operator is more suitable for manifold data approximation and can be applied manifold data smoothing, while the one based on bi-Laplace operator is more suit- able for manifold data interpolation and can be applied image extremal envelope computation. All the application examples demon- strate that our procedures are robust and efficient.

关键词： manifold data interpolation and approximation Laplace operator bi-Laplace operator manifold data smoothing imageextremal envelope computation

来源：评论

学校读者我要写书评

暂无评论

An Improved Median-based Otsu Image Thresholding Algorithm

引用

AASRI Procedia 2012年 3卷 468-473页

作者： Xiaolu Yang Xuanjing Shen Jianwu Long Haipeng Chen College of Computer Science and Technology Jilin University Changchun Jilin 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China

Robust and automatic thresholding of gray level images has been commonly used in the field of pattern recognition and computer vision for objects detecting, tracking and recognizing. The Otsu scheme, a widely used image thresholding technique, provides approving results for segmenting a gray level image with only one modal distribution in gray level histogram. However, it provides poor results if the histogram of a gray level is non-bimodal. For enhancing the performance of the Otsu algorithm further, in this work, an improved median-based Otsu image thresholding algorithm is presented. Finally extensive tests are performed and the experiments show that our method obtain more satisfactory results than the original Otsu thresholding algorithm.

关键词： Image segmentation Image thresholding Otsu algorithm

来源：评论

学校读者我要写书评

暂无评论

Structure optimization of Bayesian network based on dependency analysis of relational database

International Journal of Digital Content Technology and its ...

引用

International Journal of Digital Content Technology and its Applications 2012年第22期6卷 400-408页

作者： Wang, Limin Xia, Huijie Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University China College of Computer Science and Technology Jilin University China State Key Laboratory for Novel Software Technology Nanjing University China

The utilization of expert knowledge to construct Bayesian Network (BN) is one of the key issues of uncertain inference. In this paper the learning procedure of BN is simplified by applying data dependencies in relational database, which help to remove extraneous attributes and build the initial network structure. The final classification model named FM-NB inherits the simplicity of Naive Bayes (NB) and the ability to maintain inter-dependencies among attributes of Tree augmented NB(TAN). The inter-dependencies are expressed by Functional dependencies (FDs) and Local Multivalued dependencies (LMVDs), which relaxed the precondition about attribute sets of Multivalued dependency (MVD) and solved the problem related to conditional independence of Embedded Multivalued dependencies (EMVDs). Experimental results are presented to show the effectiveness and efficiency of the proposed approach.

关键词： Barium compounds

来源：评论

学校读者我要写书评

暂无评论

Lightweight encryption function structure protection of RFID security protocol

引用

Advances in Information Sciences and Service Sciences 2012年第7期4卷 155-162页

作者： Jialiang, He Dantong, Ouyang Xi, Zhu Jinchao, Ji Tian, Bai College of Computer Science and Engineering Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China Australian School of Business University of New South Wales Australia

In this paper, a new security requirement about RFID protocols is proposed firstly, it is lightweight encryption function structure protection. Subsequently, a lightweight RFID authentication protocol is proposed as a case study, this protocol only requires O(1) work to identify and authenticate a tag in the server and only one-way hash function, XOR operation are needed in tags. In addition, we give formal reasoning for this protocol by using GNY logic;the security properties of this protocol are analyzed as well by comparing with the related RFID protocols.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Formal model extraction for combinational equivalence checking

引用

Journal of Convergence Information Technology 2012年第8期7卷 371-380页

作者： Zhang, Guiling Ouyang, Dantong Bai, Hongtao Zeng, Hailin Ma, Tiemin Zhang, Yuehua School of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun China Center for Computer Fundamental Education Jilin University Changchun China

In formal verification, the first step is to build a formal model. Most of the academic tools represent the designs in BLIF or BLIF-MV network, while cannot directly take Verilog source code as an input. For instance, VIS depends on the translator vl2mv to compile Verilog into the intermediate format BLIF-MV first, and then extracts the FSM (Finite State Models) from it instead of the direct Verilog source code. However, Verilog and VHDL are the most common used hardware description languages for large scale integrated circuits. It is necessary if the source code could be used directly, rather than an intermediate format. We notice that synthesizable Verilog is well-structured which can be represented in SSA (Static Single Assignment) form. In this paper, we describe a method that extracts formal model directly from Verilog source code by converting the code to SSA form. With this method, we have implemented a prototype system that extracts formal model of Verilog programs. We also prove the conversion function-preserving by translating SSA back to Verilog and checking its equivalence with the primary design. To ensure correctness and robustness, we have tested our system with ISCAS and picoJava-II, a specification of microprocessor, and the experimental results on these realistic circuits show that the conversion procedure is function-preserving. Moreover, we take it as the front-end of CEC (Combinational Equivalence Checking) and demonstrate the formal model extracted with our method can be exploited efficiently in CEC.

关键词： Computer hardware description languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：