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

7th International Conference on Information Technology - New Generations, ITNG 2010

作者： Yi, Tingting Fang, Zhiyi Li, Ruixue College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun 130012 China

ISBN: (纸本)9780769539843

In recent years, with the development of the wireless sensor networks, the localization method receives the attention of many researchers. However, due to the network cost and characteristics of sensor nodes, most of the localization algorithms are not well suitable for the wireless sensor network, positioning error is relatively large. Based on the regular moving anchor node and RSSI ranging technique assisting positioning, in this paper, we proposed the RMADV-Hop (Regular Moving Anchor DV-Hop) localization algorithm to improve the DV-Hop algorithm. In the same network condition, we simulated these two localization algorithms using the omnet++ simulation software. Simulation results show that RMADV-Hop algorithm uses less anchor nodes than the DV-Hop algorithm, reduces the cost of network hardware, approximately achieves the evenly distribution of anchor nodes, and can get higher positioning accuracy than the DV-Hop algorithm in the randomly distributed network. © 2010 IEEE.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

Learning the structure of dynamic bayesian network with domain knowledge

Learning the structure of dynamic bayesian network with doma...

引用

2012 International Conference on Machine Learning and Cybernetics, ICMLC 2012

作者： Chen, Juan Jia, Haiyang Huang, Yuxiao Liu, Dayou College of Computer Science and Technology Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China

ISBN: (纸本)9781467314855

Dynamic Bayesian Network (DBN) is a graphical model for representing temporal stochastic processes. Learning the structure of DBN is a fundamental step for parameter learning, inference and application. For large scale problem, the structure learning is intractable. In some domains the training data is very limited and noisy, so learning the DBN structure only with training data is impractical. Domain knowledge may improve both the efficiency and the accuracy of the learning algorithm. But usually, the domain knowledge is uncertainty, unclear and even with conflict. This paper presents a novel algorithm for learning the structure of DBN, which consider the data and domain knowledge simultaneously, empirical experiment shows that the proposed algorithm improved the efficiency and the accuracy of the DBN structure learning. © 2012 IEEE.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

A design of product configuration manager based on weight constraint parameter value in manufacture

A design of product configuration manager based on weight co...

引用

5th International Conference on Control and Automation, ICCA'05

作者： Li, Niya Liu, Dayou Zhang, Jian College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University China

ISBN: (纸本)0780391381

The configuration problem in manufacture is more complicated than most other fields. Therefore, the design of modeling and reasoning module for product configuration manager in manufacture is very important and complex. It is just what is mainly discussed in this paper. A framework of PCM in manufacture is put forward according to the Expert System theories, and a series of formalized knowledge representations and a data-driven graph control strategy for the PCM are provided. In the knowledge representations, the weight constraint is defined to distinguish the origins of the parameter value. It can be used to simplify the consistency check and effectivity check of the parameter. Furthermore, the search space of the configuration problem can be also easily compressed. The control strategy strengthens the real-time interaction between the user and the PCM so as to decompose the reasoning process. The reasoning process of the control strategy is described in detail by the configuration reasoning graph which is defined in this paper. © 2005 IEEE.

关键词： Flexible manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

A PKI-based lightweight workflow model

A PKI-based lightweight workflow model

引用

5th International Conference on Control and Automation, ICCA'05

作者： Zhang, Jian Sun, Jigui Li, Niya Hu, Chengquan Li, Zehai College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education China

ISBN: (纸本)0780391381

The workflow model is the abstract expression of the workflow or the business process. Following the WfMC reference model, a PKI-based lightweight workflow model named as PBLW is put forward in this paper. The framework of PBLW is proposed. Based on the time constraint directed graph, the workflow theory model in formalization is described in detail, and the time constraint problems are discussed in order to enhance the time management ability of the workflow model. Furthermore, in order to express the complicated secure access control constraint of the workflow, a conditioned RBAC model based on PKI technology is presented, according to the traditional RBAC security access control model. Finally, the workflow engine driven algorithms for the workflow instance are given. By the actual inspection and users' feedback, it proves that this model can express the basic requirements of a majority of the process applications. © 2005 IEEE.

关键词： Electronic document identification systems

来源：评论

学校读者我要写书评

暂无评论

Operational semantics of ambient calculus

Operational semantics of ambient calculus

引用

SOSE 2005: IEEE International Workshop on Service-Oriented System engineering

作者： Zhang, Jing Jin, Ying Guo, De-Gui Liu, Lei Jin, Cheng-Zhi Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education of P.R.China Juin University Changchun 130012 China

ISBN: (纸本)0769524389

Mobile ambients is a process calculus for modeling mobile agents in wide-area networks. It has important theoretical and practical values in studying concurrent and mobile computation as well as the security of interactive systems. In this paper a frame structure is given for Mobile Ambients. First we introduce the concept of ambient calculus frame. Then we propose a construction method for translating an ambient definition into the frame definition, a transformation function is given based on the method. Next the movement and interaction of the code are discussed based on the frame structure. Finally an operating semantics is developed basing on the frame structure, an example of a frame and its execution are given. Introducing frame structure for ambient calculus is an attempt to provide languages support for asynchronous, distributed, and mobile programming. The ideas and methods in this paper can also be applied to other calculi with concurrency and mobility. © 2005 IEEE.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Detecting epistasis by LASSO-penalized-model search algorithm in human Genome-Wide Association Studies

Detecting epistasis by LASSO-penalized-model search algorith...

引用

4th International Conference on Materials Science and Information Technology, MSIT 2014

作者： Zhou, Zhi Hui Liu, Gui Xia Su, Ling Tao Han, Liang Yan, Lun College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China

ISBN: (纸本)9783038351733

Extensive studies have shown that many complex diseases are influenced by interaction of certain genes, while due to the limitations and drawbacks of adopting logistic regression (LR) to detect epistasis in human Genome-Wide Association Studies (GWAS), we propose a new method named LASSO-penalized-model search algorithm (LPMA) by restricting it to a tuning constant and combining it with a penalization of the L1-norm of the complexity parameter, and it is implemented utilizing the idea of multi-step strategy. LASSO penalized regression particularly shows advantageous properties when the number of factors far exceeds the number of samples. We compare the performance of LPMA with its competitors. Through simulated data experiments, LPMA performs better regarding to the identification of epistasis and prediction accuracy. © (2014) Trans Tech Publications, Switzerland.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

A BRS-based approach for modeling RFID untraceability

引用

International Journal of Advancements in Computing Technology 2011年第11期3卷 96-103页

作者： Jialiang, He Dantong, Ouyang Youjun, Xu College of Computer Science and Technology Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China College of Computer Science and Information Technology Daqing Normal University China

Untraceability is an important aspect of RFID security. A BRS-based approach for modeling RFID untraceability is provided in this paper. Elements in a RFID protocol can be represented as bigraphs, communications between elements can be represented as reaction rules. RFID untraceability can be represented as behavioral congruences. We take a RFID air interface protocol as a case study and show the usability of this approach.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

Learning essential graph with immune co-evolutionary algorithm

Learning essential graph with immune co-evolutionary algorit...

引用

International Conference on Information Science, Signal Processing and Their Applications

作者： Jia, Haiyang Chen, Juan Liu, Dayou College of Computer Science and Technology Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun Jilin 130012 China

ISBN: (纸本)9780769541327

Essential graph is a graphical representation for Markov equivalence classes of Bayesian networks. Learning essential graph can avoid some problems in traditional Bayesian networks learning algorithms: (1) the number of illegal structures is exponential, which infect the efficiency of structure learning;(2) comparing the structures in same equivalent class slow down the speed of convergence;(3) if the prior distribution for each structure is equal, the more structures contain in the equivalent class the higher prior probability of the class has. This paper employs two competitive bio-inspired algorithms, immune algorithm and co-evolutionary algorithm, for learning Essential graph. The algorithm combines dependency analysis and search-scoring approach together. Experiments show that the searching space was decreased, compare with prior works, the convergence speed and the efficiency was improved. © 2010 IEEE.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

Vertical Traffic Scheduling Control Method Based On Dual Fuzzy Neural Network

Vertical Traffic Scheduling Control Method Based On Dual Fuz...

引用

2023 International Annual Conference on Complex Systems and Intelligent Science, CSIS-IAC 2023

作者： Sun, Xinhao An, Siqi Gao, Xiaoting Cui, Enchang College of Light Industry Liaoning University Shenyang China Jilin University Key Laboratory of Symbolic Symbolic Computation and Knowledge Engineering of Ministry of Education Changchun130012 China

ISBN: (纸本)9798350309003

With the complexity of the functions of modern buildings, the problem of vertical traffic in buildings is becoming more and more prominent. As the only vertical transportation, the elevator is a necessary prerequisite for the development of modern buildings to solve its group control distribution problem. In this paper, a vertical traffic scheduling control method is proposed based on dual fuzzy neural network, a recognition strategy is designed to identify the passenger flow models. The dual fuzzy neural network is used to first identify the traffic network model in which the elevator is located, and then combine the corresponding weights and the confidence of the group control allocation to complete the group control scheduling. Finally, the proposed method is verified through a semi-physical simulation platform, proving the correctness and effectivness for traffic pattern recognition and scheduling strategy optimization of group controllers. © 2023 IEEE.

关键词： Fuzzy neural networks

来源：评论

学校读者我要写书评

暂无评论

Extracting a justification for OWL ontologies by critical axioms

引用

Frontiers of Computer Science 2020年第4期14卷 55-64页

作者： Yuxin YE Xianji CUI Dantong OUYANG College of Computer Science and Technology Jilin UniversityChangchun130012China Key Lab of Symbolic Computation and Knowledge Engineering(Jilin University) Ministry of EducationChangchun130012China College of Information and Communication Engineering Dalian Minzu UniversityDalian116600China

Extracting justifications for web ontology language(OWL)ontologies is an important mission in ontology *** this paper,we focus on black-box techniques which are based on ontology *** creating a recursive expansion procedure,all elements which are called critical axioms in the justification are explored one by *** this detection procedure,an axiom selection function is used to avoid testing irrelevant *** addition,an incremental reasoning procedure has been proposed in order to substitute series of standard reasoning tests *** is implemented by employing a pseudo model to detect“obvious”satisfiability *** experimental results show that our proposed strategy for extracting justifications for OWL ontologies by adopting incremental expansion is superior to traditional Black-box methods in terms of efficiency and performance.

关键词： description logics automated reasoning ontology engineering justification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：