检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

Modal extension rule

progress in Natural science:Materials International 2005年第6期15卷 550-558页

作者： WU Xia*, SUN Jigui, liN Hai and FENG Shasha(college of computer {3. and technology, Jilin university, changchun 13.012, china key laboratory for symbolic {13. and knowledge engineering, Jilin university, changchun 13.012, china) college of computer science and {3. Jilin University Changchun 130012 China key laboratory for symbolic {3. and knowledge engineering Jilin University Changchun 130012 China

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to p-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.

关键词： theorem proving extension rule modal logics functional transformation.

A software cascading faults model

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science china(Information sciences) 2011年第11期54卷 2454-2458页

作者： liu YanHeng 1,2,liu Xuelian 3.& WANG Jian 1,2 1 {3. laboratory of symbolic computation and knowledge engineering of Ministry of Education,Jilin university,changchun 13.012,{13. 2 college of computer science and technology,Jilin university,changchun 13.012,{13. 3.college of Software,Jilin university,changchun 13.012,{13. 1. key laboratory of symbolic {3. and knowledge engineering of Ministry of Education Jilin University Changchun 130012 China2. College of Computer Science and Technology Jilin University Changchun 130012 China3. College of Software Jilin University Changchun 130012 China

Functions and call relations are extracted into nodes and edges,respectively,by which a novel topological model is *** directional edges and the corresponding weight values express the call relations and tightness *** introducing two concepts of function fault-tolerant capability and software fault intensity and by designing a allocation rule on fault-tolerant capability,a cascading fault model is built to explore fault propagation *** on practical software networks show that a weak fault intensity,a small number of initial faults,and a strong fault-tolerant capability can slow down the spreading *** functions with more call relations and more closer tightness contribute more to the stability of the whole system.

关键词： software fault tolerant cascading faults fault-tolerant capability fault intensity

Design and Implementation of a Trusted remote remediation Framework for Vehicle Software

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Design and Implementation of a Trusted Remote Remediation Fr...

第二十九届中国控制会议

作者： WANG Jian 1,li Bin 2,liu Yanheng 3.1.college of {3. science and technology,Jilin university,changchun 13.012.p.r.china2 Mathemetics School,Jilin university,changchun 13.012.p.r.china3.key {13. of symbolic computation and knowledge engineering of Ministry of Education,changchun 13.012.p.r.china

With the rapid development of vehicle electronic systems,the vehicle software failure rate has also been rising over *** 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 *** 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.

关键词： Trusted Channel Vehicle Software remote remediation Bidirectional Authentication

A Simple Cascading Failures Model of Internet

在线全文

cnki会议

学校读者我要写书评

暂无评论

A Simple Cascading Failures Model of Internet

第二十七届中国控制会议

作者： Wang Jian 1,2,liu Yanheng 1,2,Wei Da 1,2,zhang Jing 1,2 1.college of {3. science and technology,Jilin university,changchun 13.012.p.r.china 2.key laboratory of symbolic computation and {13. engineering of Ministry of Education,Jilin university,changchun 13.012.p.r.china

Internet is a complex network with the characteristic of self-organization criticality,and the evolvement of network will inevitably lead to a critical state,which makes the probability of system happening cascading failures increase *** paper introduces the characteristics of dynamics and topology of Internet,analyzes the reasons of cascading fail-ures occurred in details,discusses the potential causes of the characteristic of self-organization and then puts forward a simple fault propagation model called ICFM（Internet Cascading Failures Model） .Simulation results show that the Internet does have the characteristic of self-organization criticality and the model can contribute a lot to the detection and control of cascading failures of Internet.

关键词： Complex network Internet Cascading failures propagation model Network topology

AppliCATION OF ACL-BASED MIDDLEWArE IN AGrICULTUrE EXpErT SYSTEM

在线全文

cnki会议

学校读者我要写书评

暂无评论

APPLICATION OF ACL-BASED MIDDLEWARE IN AGRICULTURE EXPERT SY...

The 3.d International Symposium on Intelligent Information technology in Agriculture(ISIITA)

作者： Xiaoqiang Song~(1 2) Jing Huang~(1 2) Dayou liu~(1 2) Hongliu Yang~(1 2) 1.college of {3. science and technology Jilin university changchun 13.012 china. 2.key laboratory of {13. computation and knowledge engineering of Ministry of Education Jilin university changchun 13.012 china.

＜正＞This paper introduces the ACL（Agent Communication Languages）into the communication mechanism of agriculture intelligent expert system,to complete knowledge exchanging of knowledge access middleware in IEIA（Integrated Environment of Intelligent Applications）.By applying this technique, we can obtain the knowledge reusing and sharing among the different inference machines in the agriculture intelligent expert system in order to achieve the cooperation of multi inference *** application systems based on agent communication languages well settle down the limitation of conventional expert systems with single special knowledge,laid a good foundation to realize flexibly, expandable,powerful knowledge access middleware in IEIA.

关键词： ACL IEIA middleware XML

A New Markov Model Used for path prediction Over WLAN

在线全文

cnki会议

学校读者我要写书评

暂无评论

A New Markov Model Used for Path Prediction Over WLAN

第一届工程科学与力学中的计算方法国际会议

作者： Xuegang yu Yanheng liu Da Wei Ming Tian and pin Wang college of {3. science and technology Jilin university changchun china key laboratory of symbolic {13. and knowledge engineering of Ministry of Education Jilin university changchun china Department of Mathematics Ocean university of china Qingdao china

＜正＞In order to reduce the complexity of the state space in Order-k Markov predictor, a new Step-2 Markov predictor is proposed to make path prediction over WLAN. The Step-2 Markov predictor’s feasibility is proved by calculating and comparing conditional entropy of Step-2 and Order-k Markov predictors. And the paper also analyzes and compares the prediction accuracy of the two kinds of Markov predictors using actual Wi-Fi trace data. The work shows that the Step-2 Markov predictor is more stable than Order-1 Markov predictor for different length trace files and it also reduces the complexity of the Markov state space dramatically and gets approximately the same prediction accuracy with Order-2 Markov predictor and higher accuracy than Order-others Markov predictors.

关键词： path prediction order-k Markov model step-k Markov model

在线全文

cnki会议

学校读者我要写书评

暂无评论

车载自组网的可信认证与信任评估框架

通信学报 2009年第S1期30卷 107-113页

作者：吴静刘衍珩王健李伟平吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 长春吉大正元信息技术股份有限公司吉林长春130012

车载自组网(VANET,vehicular ad hoc networks)具有无中心、移动性和多跳传输等特点,使得传统的密钥管理方式不再适用。可信计算技术的快速发展和成功应用为解决VANET的有效认证和信任评估问题提供了一条潜在途径。针对具有自组织特性的... 详细信息

车载自组网(VANET,vehicular ad hoc networks)具有无中心、移动性和多跳传输等特点,使得传统的密钥管理方式不再适用。可信计算技术的快速发展和成功应用为解决VANET的有效认证和信任评估问题提供了一条潜在途径。针对具有自组织特性的VANET网络,基于可信计算技术提出了一种新的认证和信任评估框架,引入了可信属性和可信等级的概念,给出了密钥管理结构和移动节点认证过程,着重指出了该框架潜在的实际应用。另外,阐述了在该框架下的信任评估方法。

关键词：车载自组网可信计算认证信任评估密钥管理

在线全文

学校读者我要写书评

暂无评论

一种求解二元约束满足问题自适应粒子群算法

计算机工程与应用 2009年第29期45卷 10-13页

作者：付宏杰欧阳丹彤孙吉贵吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林工程技术师范学院信息工程学院长春130052

提出了一种求解二元约束满足问题的自适应粒子群算法(SApSO),其中每个粒子具有两种状态,定义了一个反应粒子活跃程度的变量以决定粒子所属的状态。为了平衡粒子不同进化阶段的开发和探测能力,在SApSO中引入了随着每个粒子的进化状态和... 详细信息

提出了一种求解二元约束满足问题的自适应粒子群算法(SApSO),其中每个粒子具有两种状态,定义了一个反应粒子活跃程度的变量以决定粒子所属的状态。为了平衡粒子不同进化阶段的开发和探测能力,在SApSO中引入了随着每个粒子的进化状态和粒子群的进化状态动态改变的惯性权重。利用自适应的选取方式代替随机选择的盲目搜索方式,使群体在解空间搜索时,能够自适应地去探索新的区域,选择有希望找到更优解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原算法(pS-CSp)能以更快的速度收敛到全局解。算法的效率大约提高两倍,平均迭代次数大约为原来的一半。

关键词：粒子群算法二元约束满足问题惯性权重适应度

采用词向量注意力机制的双路卷积神经网络句子分类模型

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（工学版） 2018年第9期52卷 1729-1737页

作者：郭宝震左万利王英吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

针对句子中不同的词对分类结果影响不同以及每个词对应的词向量受限于单一词向量训练模型的特点,提出一种基于词向量注意力机制的双路卷积神经网络句子分类模型(AT-DouCNN).该模型将注意力机制和卷积神经网络相结合,以不同训练算法得到... 详细信息

针对句子中不同的词对分类结果影响不同以及每个词对应的词向量受限于单一词向量训练模型的特点,提出一种基于词向量注意力机制的双路卷积神经网络句子分类模型(AT-DouCNN).该模型将注意力机制和卷积神经网络相结合,以不同训练算法得到的词向量同时作为输入,分别进行卷积和池化,并在全连接层进行融合,不仅能够使得具体分类任务下句子中的关键信息更易被提取,还能够有效地利用不同种类的词向量得到更加丰富的句子特征,进而提高分类的准确率.实验结果表明:所提出的模型在3.公开数据集上的分类准确率分别达到50.6%、88.6%和95.4%,具有良好的句子分类效果.

关键词：词向量注意力机制双路卷积神经网络句子分类