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

The M-computations induced by accessibility relations in nonstandard models M of Hoare logic

Frontiers of Computer Science 2016年第4期10卷 717-725页

作者： Cungen CAO Yuefei SUI Zaiyue ZHANG Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Department of Computer Science Jiangsu University of Sciences and Technology Zhenjiang 212003 China

Hoare logic is a logic used as a way of specifying semantics of programming languages, which has been extended to be a separation logic to reason about mutable heap structure. In a model M of Hoare logic, each program α induces an M-computable function fα M on the universe of M; and the M-recursive functions are defined on M. It will be proved that the class of all the M-computable functions fα M induced by programs is equal to the class of all the M- recursive functions. Moreover, each M-recursive function is ∑ 1 NM -definable in M, where the universal quantifier is a num- ber quantifier ranging over the standard part of a nonstandard model M.

关键词： Hoare logic recursive ：Function computable function nonstandard model of Peano arithmetic

来源：评论

学校读者我要写书评

暂无评论

Understanding the Dynamical Characteristics of Neural Networks by Universal Fuzzy Logical Framework

Understanding the Dynamical Characteristics of Neural Networ...

引用

2005 International Conference on Neural Networks and Brain(ICNN&B’05)

作者： Hong Hu Zhongzhi Shi Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Science

ISBN: (纸本)0780394224

The analytical study of a large scale nonlinear neural network is an uneasy *** try to analyze the function of neural systems by probing into the fuzzy logical framework of the neural ceUs'dynamical *** papers investigate the relation between fuzzy logic and neural *** most investigations focus on finding new function of neural system by combining fuzzy logical and neural system. In this paper,a novel approach is used to understand the nonlinear dynamic characteristics of neural system by analyzing the fuzzy logic framework of neural *** is the only way to understand the behavior of a large scale nonlinear neural *** abstracting the fuzzy logical framework of a neural cell,our analysis enables the delicate design of network *** an example,a difficulty task to build a recurrent network model of primary visual cortex by common dynamical analysis can be easily completed by this kind approach.

关键词： Understanding the Dynamical Characteristics of Neural Networks by Universal Fuzzy Logical Framework Fuzzy

来源：评论

学校读者我要写书评

暂无评论

The universal fuzzy logical framework of neural circuits and its application in modeling primary visual cortex

引用

Science China(Life Sciences) 2008年第10期51卷 902-912页

作者： HU Hong1, LI Su2, WANG YunJiu2, QI XiangLin2 & SHI ZhongZhi1 1 Key Laboratory of intelligent information processing, institute of computing Technology, Chinese Academy of Sciences, Beijing 100080, China 2 Laboratory of Visual information processing, institute of Biophysics, Chinese Academy of Sciences, Beijing 100101, China 1. Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 China 2. Laboratory of Visual Information Processing Institute of Biophysics Chinese Academy of Sciences Beijing 100101 China

Analytical study of large-scale nonlinear neural circuits is a difficult task. Here we analyze the function of neural systems by probing the fuzzy logical framework of the neural cells' dynamical equations. Al- though there is a close relation between the theories of fuzzy logical systems and neural systems and many papers investigate this subject, most investigations focus on finding new functions of neural systems by hybridizing fuzzy logical and neural system. In this paper, the fuzzy logical framework of neural cells is used to understand the nonlinear dynamic attributes of a common neural system by abstracting the fuzzy logical framework of a neural cell. Our analysis enables the educated design of network models for classes of computation. As an example, a recurrent network model of the primary visual cortex has been built and tested using this approach.

关键词： nonlinear dynamical system fuzzy logic visual cortex

来源：评论

学校读者我要写书评

暂无评论

Monotonic and nonmonotonic gentzen deduction systems for L_(3)-valued propositional logic

引用

Frontiers of Computer Science 2021年第3期15卷 123-135页

作者： Cungen CAO Lanxi HU Yuefei SUI Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing 100190China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing 100049China

A sequent is a pair(Г,△),which is true under an as-signment if either some formula inГis false,or some formula in △ is *** L3-valued propositional logic,a mulisequent is a triple △|Θ|Г,which is true under an assignment if either some formula in △ has truth-value t,or some formula in Θ has truth-value m,or some formula in Г has truth-value￡.Corre-spondingly there is a sound and complete Gentzen deduction system G for multisequents which is ***,a CO-multisequent is a triple △:Θ:Г,which is valid if there is an assignment v in which each formula in△has truth-value≠t,each formula in Θ has truth-value≠m,and each formula in Г has truth-value≠￡.Correspondingly there is a sound and com-plete Gentzen deduction system G-for co-multisequents which is nonmonotonic.

关键词： three-valued logic multisequent co-multise-quent monotonicity Gentzen deduction system

来源：评论

学校读者我要写书评

暂无评论

A sound and complete R-calculi with respect to contraction and minimal change

引用

Frontiers of Computer Science 2014年第2期8卷 184-191页

作者： Wei LI Yuefei SUI State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

AGM postulates are for belief revision （revision by a single belief）, and DP postulates are for iterated revision （revision by a finite sequence of beliefs）. R-calculus is given for R-configurations △｜Г, where △ is a set of atomic formulas or the negations of atomic formulas, and Г is a finite set of formulas. We shall give two R-calculi C and M （sets of de- duction rules） such that for any finite consistent sets Г, △of formulas in the propositional logic, there is a consistent set ⊙ Г C of formulas such that △IГ → △, ⊙ is provable and⊙ is a contraction of F by A or a minimal change of F by A; and prove that C and M are sound and complete with respect to the contraction and the minimal change, respectively.

关键词： belief revision R-calculus minimal change,contraction

来源：评论

学校读者我要写书评

暂无评论

Gradient-Based Differential kWTA Network With Application to Competitive Coordination of Multiple Robots

引用

IEEE/CAA Journal of Automatica Sinica 2022年第8期9卷 1452-1463页

作者： Mei Liu Xiaoyan Zhang Mingsheng Shang Long Jin School of Information Science and Engineering Lanzhou UniversityLanzhou 730000 State Key Laboratory of Tibetan Intelligent Information Processing and Application Xining 810016China Chongqing Key Laboratory of Big Data and Intelligent Computing Chongqing Institute of Green and Intelligent TechnologyChinese Academy of SciencesChongqing 400714China Shenzhen Research Institute Lanzhou UniversityShenzhen 518063China

Aiming at the k-winners-take-all(kWTA)operation,this paper proposes a gradient-based differential kWTA(GDk WTA)*** obtaining the network,theorems and related proofs are provided to guarantee the exponential convergence and noise resistance of the proposed GD-kWTA ***,numerical simulations are conducted to substantiate the preferable performance of the proposed network as compared with the traditional ***,the GD-k WTA network,backed with a consensus filter,is utilized as a robust control scheme for modeling the competition behavior in the multi-robot coordination,thereby further demonstrating its effectiveness and feasibility.

关键词： Consensus filter k-winners-take-all(kWTA) multirobot coordination noise resistance

来源：评论

学校读者我要写书评

暂无评论

Lightweight Vision Model-based Multi-user Semantic Communication Systems

arXiv

引用

arXiv 2025年

作者： Jiang, Feibo Tu, Siwei Dong, Li Wang, Kezhi Yang, Kun Liu, Ruiqi Pan, Cunhua Wang, Jiangzhou Hunan Provincial Key Laboratory of Intelligent Computing and Language Information Processing Hunan Normal University Changsha410081 China School of Information Science and Engineering Hunan Normal University Changsha410081 China School of Computer Science Hunan University of Technology and Business Changsha410205 China Xiangjiang Laboratory Changsha410205 China Department of Computer Science Brunel University London United Kingdom School of Computer Science and Electronic Engineering University of Essex ColchesterCO4 3SQ United Kingdom Changchun Institute of Technology China Wireless and Computing Research Institute ZTE Corporation Beijing100029 China National Mobile Communications Research Laboratory Southeast University Nanjing210096 China National Mobile Communications Research Laboratory Southeast University Nanjing China Purple Mountain Laboratories Nanjing China

Semantic Communication (SemCom) is a promising new paradigm for next-generation communication systems, emphasizing the transmission of core information, particularly in environments characterized by uncertainty, noise, and bandwidth constraints. However, existing image SemCom systems face several challenges, such as inefficient knowledge base construction, insufficient semantic encoding, and lack of multi-user semantic sharing. To address these issues, we propose a Lightweight Vision Model-based Multi-user Semantic Communication System (LVM-MSC). First, we construct a Lightweight Knowledge Base (LKB) based on the fast Segment Anything Model (SAM). LKB incorporates the extensive image knowledge of the SAM model while significantly reducing the number of parameters through its convolutional architecture. Next, we design an Efficient Semantic Codec (ESC) based on the Masked AutoEncoder (MAE) architecture. ESC enhances semantic compression at both the pixel and semantic levels and implements lightweight semantic decoding tailored for user devices. Furthermore, we propose a Multi-user Semantic Sharing (MSS) transmission for the multi-user SemCom. By calculating the similarity of semantic information among different users in the sharing semantic space, we unify the transmissions of similar semantic information through broadcasting, further improving the transmission efficiency. Finally, simulation results demonstrate the feasibility and effectiveness of the proposed LVM-MSC system. Copyright © 2025, The Authors. All rights reserved.

关键词： Latent semantic analysis

来源：评论

学校读者我要写书评

暂无评论

Object tracking by chiaroscuro patterns 11

Object tracking by chiaroscuro patterns

引用

11th IEEE International Conference on information Reuse and Integration, IRI 2010

作者： Song, Yuqing Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences China

ISBN: (纸本)9781424480975

Chiaroscuro in art is characterized by strong contrasts between light and dark. An object in a certain light condition has a certain chiaroscuro pattern in appearance;and this pattern is invariant to the changes of illumination and pose within a certain extent. In this paper we introduce an object tracking method based on chiaroscuro patterns. The chiaroscuro pattern of an image is computed by running a medial axis transform on selected level sets. The medial axes are pruned and decomposed into segments. These segments make a chiaroscuro pattern. The end points of the segments are collected as key points, which are fed to Kalman filter for object tracking. The effectiveness of the algorithm is demonstrated by experiments. © 2010 IEEE.

关键词： Kalman filters

来源：评论

学校读者我要写书评

暂无评论

Dependency-based bracketing transduction grammar for statistical machine translation

Dependency-based bracketing transduction grammar for statist...

引用

23rd International Conference on Computational Linguistics, Coling 2010

作者： Su, Jinsong Liu, Yang Mi, Haitao Zhao, Hongmei Lü, Yajuan Liu, Qun Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences China

In this paper, we propose a novel dependency-based bracketing transduction grammar for statistical machine translation, which converts a source sentence into a target dependency tree. Different from conventional bracketing transduction grammar models, we encode target dependency information into our lexical rules directly, and then we employ two different maximum entropy models to determine the reordering and combination of partial dependency structures, when we merge two neighboring blocks. By incorporating dependency language model further, large-scale experiments on Chinese-English task show that our system achieves significant improvements over the baseline system on various test sets even with fewer phrases.

关键词： Computer aided language translation

来源：评论

学校读者我要写书评

暂无评论

Semantic-driven management and search for resources in research community

Semantic-driven management and search for resources in resea...

引用

2006 2nd International Conference on Semantics Knowledge and Grid, SKG

作者： Junsheng, Zhang Zhixian, Yan Key Lab. of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences

ISBN: (纸本)0769532055

In recent years, semantic search has become one hot motivation of the semantic web. In this paper, we propose a semantic-based resource management and search architecture and its implementation in research community, including most of the research relevant resources. We have built two authoring tools respectively for concepts and instances. With the authoring tools, semantic search portal is provided, which has three different interfaces, respectively for retrieval of concept, instance and semantic relationship. Compared with the traditional search methods, semantic search methodology not only gives us more interesting and satisfying search results, whose precision is higher than those of traditional ones only based on keywords, but also displays the results in a more structural and semantic way. © 2006 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：