搜索结果: 46-60 共查到“知识库 计算机科学技术基础学科其他学科”相关记录148条 . 查询时间(2.938 秒)
分配序列效应代数的理想和同余
序列效应代数 分配序列效应代数 理想
2009/10/12
分配的序列效应代数（简记为DSEA），是指在一个效应代数上带有一种乘积运算并满足一定的条件。介绍了分配的序列效应代数中的左理想、右理想、理想、素理想和同余等概念，并且证明了满足（RDP）性质并且以1为乘积单位的分配序列效应代数是具有（RDP）性质的反格分配序列效应代数的子直积。
基于中介逻辑的模糊知识推理的搜索处理
中介逻辑 模糊知识表示 状态空间
2009/9/30
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识，合理修改与或图，将每一谓词表达式视为状态结点，把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上，修改启发函数，将模糊知识的推理问题转化为状态空间中的搜索问题，并给出了一种否定信息的处理方法。
软Vague关系再研究
软集 Vague关系 软Vague关系
2009/9/30
给出了软Vague关系的广义交、狭义交、狭义并、相对补运算的概念，并分别研究了这些运算的若干代数性质。
基于模糊粗糙k-均值的用户访问模式的聚类
Web 挖掘 Web 聚类 用户浏览模式 粗糙k2均值
2009/9/27
Web 用户访问过的网页以及在该网页上的浏览时间体现了用户的访问兴趣. 为了更好的衡量任
意两个用户访问模式之间的相似P相异度,每个用户访问模式都被转换成具有相等长度的模糊向量,其
中每个元素要么是0 要么是模糊语言变量,它体现了用户是否访问过该网页及在该网页上的浏览时间.
由于类的边界可能是模糊的,因而使用粗糙k2均值法对这些代表用户浏览特征的模糊向量进行聚类. 最
后使用Davies...
基于多通道语音卡的招投标专家系统
多通道 自动应答 主动拨号 自动合成语音
2010/3/4
针对招投标中抽取评标专家过程出现的不公平与效率低问题，设计一种基于多通道语音卡的招投标专家系统。该系统借鉴语音卡多通道的优势，采用自动合成语音技术实现语音自动应答和主动拨号自动完成抽取评标专家并入库的智能管理。运行结果表明，该系统运行成本低、应用范围广。
基于交互式马尔可夫链的模型检验
交互式马尔可夫链 模型检验 性能评价
2009/9/18
研究了基于交互式马尔可夫链（IMC)的模型检验，IMC是集功能描述和性能刻画为一体的并发系统模型，模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能，并且与现有的算法相一致。实验分析表明，该算法具有较高的性能，适用于大型复杂系统的验证和评价。
分布式测量系统服务窗口动态调度方法研究
性能评价 摄动分析 分布式测量系统
2009/9/9
在网络制造环境下, 动态时间性能是测量系统的重要指标. 针对基于 CORBA (Common object request broker architecture) 和尺寸测量接口标准 (Dimensional measurement interface standard, DMIS) 的分布式测量系统 (Distributed measurement system, DMS), 根据多用户非抢占...
基于Petri网结构分析的监控器综合
Petri网 监控器综合 不可控不可观变迁
2009/9/8
在基于Petri网建模的离散事件系统中, 提出利用局部关联信息进行约束转换, 并实现Petri网结构监控器综合的方法. 对以Parikh矢量约束形式给出的控制规范, 不可控不可观变迁会导致约束成为非法约束, 分析了不可控变迁的前向关联结构和不可观变迁的后向关联结构, 利用局部关联变迁实现对不可控和不可观变迁的间接控制, 从而将非法矢量约束转换为合法约束, 并保证初始控制规范的实现. 与基于矩阵的监...
MORE EFFICIENT ALGORITHMS FOR CLOSEST STRING AND SUBSTRING PROBLEMS
MORE EFFICIENT ALGORITHMS CLOSEST STRING AND SUBSTRING
2012/12/3
The closest string problem and the closest substring problem are all natural theoretical computer science problems and find important applications in computational biology. Given n input strings, the ...
Two-Variable Scattering Formulas to Describe Some Classes of Lossles Two-Ports with Mixed, Lumped Elements and Commensurate Stubs
Scattering parameters two-variable description mixed element networks
2009/7/28
Using the semi-analytic method based on the construction of two-variable scattering functions, which describe lossless two-ports with two kinds of elements, for some classes of ladder networks formed ...
Floquet Wave Diffraction Theory for Tapered Planar Strip Array Green's Function
Floquet wave diffraction theory Fluquet-ray algorithm array Green's function
2009/7/28
This paper deals with the derivation and physical interpretation of a uniform high frequency representation of the Green's function for a planar phased array of dipoles. The asymptotic representation ...
Analysis of Nonlinear Sustained Oscillations in Discrete Systems with Backlash and Resolution by Using a Discretization-Oriented Describing Function
Backlash describing function resolution
2009/7/27
In this paper, a discretization-oriented describing function is derived for nonlinear devices combining backlash and quantization (resolution) while being subject to discretization through a sampler a...
BR0代数中的次极大×滤子
BR0代数 ×滤子 次极大×滤子
2009/7/24
首先在BR0代数M中引入×滤子，然后又给出了M中次极大×滤子的概念，并讨论了它的性质，得到了BR0代数中的每个×滤子都可表示为一些次极大×滤子的交的结果。特别地，在满足×滤子降链条件的BR0代数中，每个×滤子都可表示为有限个次极大×滤子的交。
Gödel区间值逻辑系统的广义拟重言式
广义重言式 模糊逻辑 命题演算
2009/7/24
吴洪博博士将王国俊教授在R0逻辑系统中的广义重言式理论推广到Gödel逻辑系统中，通过定义两个同构映射，得到其逻辑系统F（S）的一个分划。将这一理论推广到区间值模糊命题逻辑系统中，定义了两个新的区间同构映射，最终得到区间值逻辑系统F（S）的一个分划。
Sugeno测度空间基于复样本的统计学习理论
复经验风险最小化原则 关键定理 收敛速度的界
2009/7/24
引入复gλ随机变量、准范数的定义，给出了复gλ随机变量的期望和方差的概念及若干性质；证明了基于复gλ随机变量的马尔可夫不等式、契比雪夫不等式和辛钦大数定律；提出了Sugeno测度空间中复经验风险泛函、复期望风险泛函以及复经验风险最小化原则严格一致性等定义；证明并构建了基于复gλ随机样本的统计学习理论的关键定理和学习过程一致收敛速度的界，为系统建立基于复gλ随机样本的统计学习理论奠定了理论基础。
...