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

A New Framework for IPv6 Crossing GPRS Network

A New Framework for IPv6 Crossing GPRS Network

The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

作者： Shujing Li Siguo Chen Jian Wang Yanheng Liu College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin UniversityChangchun 130012 China

ISBN: (纸本)9781424472352

In order to realize that IPv6 (Internet Protocol version 6) clients are able to visit remote IPv6 servers through GPRS (General Packet Radio Service), we proposed a new and feasible framework. After discussing the limitations of those existing methods which aren't suitable for GPRS network, we then detailedly demonstrated the proposed framework, and also gave the implementations based on NetFilter framework, Libnet as well as Libipq. Simulation results show that the isolated IPv6 areas can be efficiently connected by GPRS network through the presented framework.

关键词： IPv4 IPv6 GPRS Wireless Access tunnel

来源：评论

学校读者我要写书评

暂无评论

Complete 3D model reconstruction using a depth sensor

Complete 3D model reconstruction using a depth sensor

引用

International Conference on Intelligent Computing and Integrated Systems (ICISS)

作者： Guangyu Mu Miao Liao Ruigang Yang Dantong Ouyang Zhiwen Xu Xiaoxin Guo Department of Computer Science and Technology Jilin University Changchun China Department of Engineering Center of Visualization and Virtual Environment University of Kentucky Lexington USA Department of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of MOE Jilin University Changchun China

We propose a fast and simple application system of 3D model reconstruction. We acquire range images by using a combination of a regular camera and a depth sensor. The reconstruction of a 3D model consists of four key steps: (i) Initial alignment either feature tracking or the 4-points congruent sets algorithm is used to align surfaces captured at different frames. (ii)The iterative closest point (ICP) method is applied to further align the piecewise surfaces from the last step. (iii) The surfaces are merged into a whole 3D model by the volumetric method. (iv) In the refinement step, we fill holes and produce a complete 3D model that approximates the original model with robust repair of polygonal models. At last, we present the experimental results which show that the errors between our reconstructed model and the ground truth are less than 1%.

关键词： Biomedical imaging Uncertainty

来源：评论

学校读者我要写书评

暂无评论

Research on Indoor Wireless Localization System for Radioactive Sources Based on ZigBee

Research on Indoor Wireless Localization System for Radioact...

引用

International Conference on Computing Control and Industrial engineering (CCIE)

作者： Ruixue Li Zhiyi Fang Baocong Hao Fengjie Yang College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China Qiming Information Technology Company Limited Changchun China

ISBN: (纸本)9781424467501

This paper made a good many research on the related theory about indoor localization technology, and pointed out the key techniques for the proposed remote wireless monitoring system solution for radioactive sources. Because of the specificity of system monitoring objects-radioactive sources, ZigBee technology was adopted to implement the monitoring system, by studying the typical indoor localization technology. Functional requirements and difficulties in implementation, during the indoor localization of radioactive sources, were analyzed from three points of view. After the detailed planning of the ZigBee network nodes, the indoor wireless localization system for radioactive sources was designed. Four major functional modules, including system management, serial communication, data processing, and data storage, were devised to realize the host computer. Testing environment was constructed to test the localization system. Test results show that the indoor wireless localization system can meet users' requirements, controlling the localization error in the range of 3m.

关键词： ZigBee Remote monitoring Control systems System testing Wireless sensor networks Indoor environments Radio control Educational technology Paper technology Global Positioning System

来源：评论

学校读者我要写书评

暂无评论

Soil fertility grading with Bayesian Network transfer learning

Soil fertility grading with Bayesian Network transfer learni...

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Hai-Yang Jia Juan Chen He-Long Yu Da-You Liu College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin China College of Information technology Jilin agricultural University Changchun Jilin China

Soil fertility grading is an important issue in the agriculture domain, AI based approach has been applied recently. But in most circumstance data obtaining is a expensive and time consuming procedure, sometimes even impossible. This paper presents a Bayesian Network based transfer learning algorithm. The existing training results can be transferred between the nearby land squares. The proposed algorithm considers both the similarity between the learning task and the geographical position of the land squares. Empirical experiment were implemented to prove the efficiency of the algorithm.

关键词： Bayesian methods Machine learning Learning Soil Random variables Machine learning algorithms Training data

来源：评论

学校读者我要写书评

暂无评论

Semantic Retrieval System Based on Corn Ontology

Semantic Retrieval System Based on Corn Ontology

引用

Japan-China Joint Workshop on Frontier of Computer Science and Technology (FCST)

作者： Hong Qi Liangliang Zhang Ying Gao Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China College of Computer Science and Technology Jilin University China Alcatel Lucent Shanghai Bell Company Limited China Jilin University Changchun Jilin CN

Most of the current information retrieval systems are mainly based on full text matching of keywords or topic-based classification, often return a large number of irrelevant information, and are unable to meet the user's request. Ontology-based semantic retrieval is a hot issue in current research. In this paper, the corn plant ontology is constructed using Formal Concept Analysis based approach in which the concept lattice is built from terminology-file relationship table and further reduced. Based on the corn plant ontology, we propose a semantic annotation method in which the feature words are selected by an improved method for weight calculation and the RDF triples are generated by syntactic parser. Finally a semantic retrieval system for corn plant is developed. In comparative experiment one hundred documents are selected as the dataset, and the result shows that the semantic retrieval system introduced in this paper is superior to keyword-based retrieval method in precision ratio and recall ratio.

关键词： Semantics Ontologies Information retrieval Lattices Feature extraction Resource description framework Optical wavelength conversion

来源：评论

学校读者我要写书评

暂无评论

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 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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：