全文获取类型
| 收费全文 | 367篇 |
| 免费 | 11篇 |
| 国内免费 | 16篇 |
专业分类
| 系统科学 | 23篇 |
| 丛书文集 | 9篇 |
| 教育与普及 | 1篇 |
| 理论与方法论 | 1篇 |
| 现状及发展 | 6篇 |
| 综合类 | 354篇 |
出版年
| 2023年 | 4篇 |
| 2022年 | 2篇 |
| 2021年 | 1篇 |
| 2020年 | 11篇 |
| 2019年 | 2篇 |
| 2018年 | 1篇 |
| 2017年 | 3篇 |
| 2016年 | 2篇 |
| 2015年 | 7篇 |
| 2014年 | 14篇 |
| 2013年 | 11篇 |
| 2012年 | 9篇 |
| 2011年 | 3篇 |
| 2010年 | 16篇 |
| 2009年 | 20篇 |
| 2008年 | 26篇 |
| 2007年 | 32篇 |
| 2006年 | 24篇 |
| 2005年 | 31篇 |
| 2004年 | 20篇 |
| 2003年 | 22篇 |
| 2002年 | 18篇 |
| 2001年 | 17篇 |
| 2000年 | 24篇 |
| 1999年 | 11篇 |
| 1998年 | 23篇 |
| 1997年 | 5篇 |
| 1996年 | 8篇 |
| 1995年 | 5篇 |
| 1994年 | 8篇 |
| 1993年 | 3篇 |
| 1992年 | 2篇 |
| 1991年 | 1篇 |
| 1990年 | 2篇 |
| 1989年 | 4篇 |
| 1988年 | 1篇 |
| 1986年 | 1篇 |
排序方式： 共有394条查询结果，搜索用时 0 毫秒
141.
前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具. 相似文献
142.
张广泉 《重庆师范学院学报》1998,15(4):7-10
基于文（１￣３）,提出反应式系统并发描述的时态逻辑模型,并给出抽象计算模型的时态语义。 相似文献
143.
144.
并发系统基本模型及其分析 总被引：3，自引：2，他引：3
张广泉 《重庆大学学报(自然科学版)》1998,21(3):26-31
本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网,ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等, 相似文献
145.
模糊交互时态逻辑及其语义结构 总被引：1，自引：0，他引：1
Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。 相似文献
146.
提出了一种基于进程代数的行为分析与检测方法.通过静态分析二进制码获得系统的控制流程图,并将其转换为进程表达式;通过消除表达式不确定性、添加并发操作以及约简归并等方式对表达式进行重写;根据并发规则消除进程表达式中的并发算子,建立分布式系统的行为检测模型,并给出行为检测的方法.理论分析和实验表明:所提出的方法降低了行为分析和检测的复杂度,在控制流分析方面具有较好的精确性. 相似文献
147.
柳泽亮 《科技情报开发与经济》2008,18(34):15-16
基于网络环境下异构数据库多线程处理的原理,介绍了跨库检索系统的模式和功能,结合山西大学商务学院图书馆的实际情况,就数据库设计思想和并发检索实现等问题提出了见解。 相似文献
148.
149.
150.
自动谈判是目前人们研究的一个热点问题,在对卖方进行的多并发谈判研究的基础上,本文提出了一种基于Agent技术的自动谈判模型,使得模型能管理一个卖方同时进行的多个双边谈判事务. 相似文献