云南高校图书馆联盟文献共享服务平台- BISIMULATION

BISIMULATION: 作品数：21被引量：7H指数：1; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：颜锋韩婷婷陈韬略吕建更多>>; 相关机构：江苏名通信息科技有限公司南京大学更多>>; 相关期刊：《Chinese Journal of Electronics》《High Technology Letters》《Journal of Mathematical Research with Applications》《Frontiers of Computer Science》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划广西壮族自治区自然科学基金国家教育部博士点基金更多>>

BSIN: A Behavior Schema of Information Networks Based on Approximate Bisimulation: 《Tsinghua Science and Technology》2024年第4期1092-1104,共13页Wujie Hu Jinzhao Wu; supported by the National Natural Science Foundation of China(No.12261027);the Innovation Project of Guangxi Graduate Education(No.YCBZ2021027).; Information networks are becoming increasingly important in practice. However, their escalating complexity is gradually impeding the efficiency of data mining. A novel network schema called the Behavior Schema of Info...; 关键词：data mining information network approximate bisimulation controllable error

The parametric complexity of bisimulation equivalence of normed pushdown automata: 《Frontiers of Computer Science》2022年第4期111-117,共7页Wenbo Zhang; supported by the National Natural Foundation of China(Grant Nos.62072299,61872142,61772336,61572318);the Open Project of Shanghai Key Laboratory of Trustworthy Computing(OP202102)。; Deciding bisimulation equivalence of two normed pushdown automata is one of the most fundamental problems in formal verification.The problem is proven to be ACKER-MANN-complete recently.Both the upper bound and the lo...; 关键词：PDA BISIMULATION equivalence checking

Three-Way Granular Approximations Based on Bisimulations: 《Journal of Mathematical Research with Applications》2021年第4期331-339,共9页Zhilian GUO Hailong YANG Lijuan ZHANG; Supported by the National Natural Science of China (Grant Nos. 11526163;61473181);the Research Fund of School of Economic, Northwest University of Political Science and Law (Grant No. 19XYKY02);the Youth Academic Innovation Team in Northwest University of Political Science and Law;the Young Academic Backbone of Chang’an in Northwest University of Political Science and Law; In this paper, we propose three-way granular approximations(3WGAs) based on bisimulations. We discover the relationships between 3WGAs based on underlying relations and 3WGAs based on bisimilarity(the largest bisimula...; 关键词：three-way decision BISIMULATION three-way approximation

Nondeterministic Fuzzy Simulation and Bisimulation: 《Chinese Journal of Electronics》2020年第2期297-303,共7页DENG Hui LI Zhi; supported by the National Natural Science Foundation of China(No.61673310)。; As the abstraction and equivalent technologies, simulation and bisimulation have been applied to the simplifications of some classical and uncertain models structures. The studies of the more generalized simulation an...; 关键词：Nondeterministic FUZZY kripke structure(NFKS) Nondeterministic FUZZY SIMULATION Nondeterministic FUZZY BISIMULATION Nondeterministic FUZZY QUOTIENT

Bisimulation-based stabilization of probabilistic Boolean control networks with state feedback control: 《Frontiers of Information Technology & Electronic Engineering》2020年第2期268-280,共13页Nan JIANG Chi HUANG Yao CHEN Jürgen KURTHS; Project supported by the National Natural Science Foundation of China(Nos.61603268 and 61773319);the Fundamental Research Funds for the Central Universities,China(No.JBK190502)。; This study is concerned with probabilistic Boolean control networks(PBCNs)with state feedback control.A novel definition of bisimilar PBCNs is proposed to lower computational complexity.To understand more on bisimulat...; 关键词：PROBABILISTIC BOOLEAN CONTROL network BISIMULATION STABILIZATION with PROBABILITY one State feedback CONTROL

A fully abstract semantics for value-passing CCS for trees: 《Frontiers of Computer Science》2019年第4期828-849,共22页Ying JIANG Shichao LIU Thomas EHRHARD; We propose a fully abstract semantics for valuepassing CCS for trees (VCCTS) with the feature that processes are located at the vertices of a graph whose edges describe possible interaction capabilities. The operation...; 关键词：process CALCULUS non-interleaving SEMANTICS barbed CONGRUENCE BISIMULATION

Approximate Reachability and Bisimulation Equivalences for Transition Systems被引量：1: 《Transactions of Tianjin University》2016年第1期19-23,共5页王超吴尽昭谭红艳付军; Supported by the National Natural Science Foundation of China(No.11371003 and No.11461006);the Natural Science Foundation of Guangxi(No.2011GXNSFA018154 and No.2012GXNSFGA060003); Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framewor...; 关键词：approximate equivalence REACHABILITY BISIMULATION transition system

A Logical Characterization for Linear Higher-Order Processes: 《Journal of Shanghai Jiaotong university(Science)》2015年第2期185-194,共10页徐贤龙环; the National Natural Science Foundation of China(Nos.61202023,61261130589 and61173048);the PACE Project(No.12IS02001);the Specialized Research Fund for the Doctoral Program of Higher Edueation of China(No.20120073120031); Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of high...; 关键词：modal logic BISIMULATION LINEARITY HIGHER-ORDER process calculi

Process Passing Calculus,Revisited: 《Journal of Shanghai Jiaotong university(Science)》2013年第1期29-36,共8页尹强龙环; the National Natural Science Foundation of China(Nos.61033002,60903020,61202023);the Science and Technology Commission of Shanghai Municipality(No.11XD1402800); In the context of process calculi, higher order π calculus （A calculus） is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, ...; 关键词：higher order π-calculus encoding EXPRESSIVENESS BISIMULATION

Behavioural equivalences of a probabilistic pi-calculus: 《Science China(Information Sciences)》2012年第9期2031-2043,共13页CHEN WeiEn CAO YongZhi WANG HanPin; supported by National Natural Science Foundation of China (Grant Nos. 60973004,61170299,70890080);National Basic Research Program of China (Grant Nos. 2009CB320701,2010CB328103); Although different kinds of probabilistic π-calculus have been introduced and found their place in quantitative verification and evaluation, their behavioural equivalences still lack a deep investigation. We propose ...; 关键词：probabilistic pi-calculus behavioural equivalence probabilistic bisimulation probabilistic barbed bisimulation

BISIMULATION