检索结果-南通市图书馆

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

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 science and technology, jilin university, changchun 130012, china key laboratory for symbolic computation and knowledge engineering, jilin university, changchun 130012, china) college of computer science and technology Jilin University Changchun 130012 China key laboratory for symbolic computation 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 key laboratory of symbolic computation and knowledge engineering of Ministry of Education,jilin university,changchun 130012,china 2 college of computer science and technology,jilin university,changchun 130012,china 3 college of Software,jilin university,changchun 130012,china 1. key laboratory of symbolic computation 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

A Simple Cascading Failures Model of Internet

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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 computer science and technology,jilin university,changchun 130012,p.r.china 2.key laboratory of symbolic computation and knowledge engineering of Ministry of Education,jilin university,changchun 130012,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

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

在线全文

cnki会议

学校读者我要写书评

暂无评论

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

第二十九届中国控制会议

作者： WANG Jian 1,li Bin 2,liu Yanheng 3 1.college of computer science and technology,jilin university,changchun 130012,p.r.china2 Mathemetics School,jilin university,changchun 130012,p.r.china3 key laboratory of symbolic computation and knowledge engineering of Ministry of Education,changchun 130012,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

Design and Implementation of WpKI-based Gas Station Online payment System

在线全文

cnki会议

学校读者我要写书评

暂无评论

Design and Implementation of WPKI-based Gas Station Online P...

第二十九届中国控制会议

作者： WANG Jian1,2,liu Yanheng1,2,DONG Tianzhe1,2 1.college of computer science and technology,jilin university,changchun 130012,p.r.china 2.key laboratory of symbolic computation and knowledge engineering of Ministry of Education,changchun 130012,p.r.china

Through analyzing the security problems which exist in general on-line payment systems,this paper proposes a scheme based on WpKI（Wireless public key Infrastructure）and further designs and implements a gas station on-line payment *** using WpKI technology which includes SSL（Secure Sockets Layer）protocol,digital signature and digital certificate,the designed on-line payment system can achieve data privacy,authenticity,integrity and non-repudiation during on-line payment process.

关键词： Online payment WpKI CA Digital Certificate

AppliCATION OF ACL-BASED MIDDLEWArE IN AGrICULTUrE EXpErT SYSTEM

在线全文

cnki会议

学校读者我要写书评

暂无评论

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

The 3rd 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 computer science and technology jilin university changchun 130012 china. 2.key laboratory of symbolic computation and knowledge engineering of Ministry of Education jilin university changchun 130012 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

在线全文

cnki会议

学校读者我要写书评

暂无评论

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

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

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

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

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

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

维普期刊数据库

Hybrid ant colony algorithm for traveling salesman problem

在线全文

学校读者我要写书评

暂无评论

progress in Natural science:Materials International 2003年第4期 57-61页

作者： HUANG Lan , ZHOU Chunguang and WANG Kangping(college of computer science and technology, jilin university, changchun 130012, china) college of computer science and technology Jilin University Changchun 130012 China

A hybrid approach based on ant colony algorithm for the traveling salesman problem is proposed, which is an improved algorithm characterized by adding a local search mechanism, a cross-removing strategy and candidate ... 详细信息

关键词： hybrid ant colony algorithm traveling salesman problem combinatorial optimization.

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

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

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

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

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

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

维普期刊数据库