搜索结果: 46-60 共查到“知识库 自动机理论”相关记录107条 . 查询时间(4.129 秒)
APL：科学家实现视频量子密码传输（图）
科学家 视频 量子密码传输 东芝公司
2010/4/21
据美国《科学》杂志在线版2010年4月20日（北京时间）报道，日本东芝公司研究人员利用新研发的光电二极管，使量子密码密钥通信速度大幅提升，视频传输加密得以实现。成果发表于最新一期出版的《应用物理快报》（APL）。
面向服务环境下基于本体映射的多领域业务过程协同
业务过程协同 Web服务 本体 映射
2010/3/1
为解决面向服务环境下多领域业务过程协同中的语义不一致问题，使不同领域提供的Web服务实现无障碍交互以及数据和知识共享，提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体，然后根据各领域的参考本体生成领域间的协同本体，最后将协同本体通过映射转换到BPEL和WSDL文件。该方法能够保留流程与Web服务中的原始语义信息，从而保证不同领域业务过程协同地顺利进行。原型系统在欧盟Impor...
超立方体网络下的自适应容错路由研究
超立方体网络 容错路由算法 局部连通性
2010/3/1
针对超立方体结构的多处理机系统出现故障的问题，对容错超立方体网络的局部连通性进行了研究。根据局部连通性的特点定义了相邻节点集合类的概念，提出并证明了求解两类相邻节点集合的公式。给出了满足任意子连通性条件的超立方体网络的自适应容错路由算法。该算法是分布式和基于局部信息的，可以预防死锁。仿真实验的结果表明算法是高效的，且构建的路径长度接近于最优路径长度。
基于元胞自动机的动态云模拟
元胞自动机 云模拟 风力函数 大气压
2010/2/5
针对动态云在快速模拟下的真实感缺乏问题，提出一种改进的动态云的模拟方法。该方法在Nagel方法模拟云的基础上，考虑到大气压对自然云形状的影响，通过建立上下气流动力学方程，实现具有真实感的动态云的模拟。结果证明，与常规方法相比，该方法具有运算速度快、模拟效果逼真等优点。
一种基于反向有限自动机的多模式匹配算法
多模式匹配 有限自动机 匹配算法
2010/1/13
在基于有限自动机的多模式匹配算法DFSA的基础上，结合改进的BM单模式匹配算法的优点，提出一种快速的多模式字符串匹配算法。在一般情况下，该算法不需要匹配目标文本串的每个字符，能充分利用匹配过程中本次匹配不成功的信息和已成功的信息，跳过尽可能多的字符。实验表明，模式串较短时，该算法需要的时间约为DFSA的1/2，模式串较长时，所需时间约为DFSA算法的1/3。
Web服务器上比例延迟保证的自适应控制方法
Web服务器 服务质量 比例延迟保证 自适应控制
2010/1/1
针对Web服务器一般采用离线辨识，使其反馈方法在Web QoS控制上应用的实时性往往不佳，提出了一种Web服务器自适应参考模型。该模型通过在线辨识，根据对象模型的变化及时更新模型参数和控制器参数，以尽快减小系统误差。最后，通过MATLAB仿真和实际网络测试表明，该控制器不仅在恶劣的网络环境下可维持较好的比例延迟保证，且相比于传统的控制方法具有一定的优越性。
线性有限自动机输入输出集的性质
线性有限自动机 输出 弱可逆
2009/12/28
证明了两个线性有限自动机化合而得到的自动机具有输入输出均匀的性质，建立了由两个延迟1步弱可逆线性有限自动化合后得到的自动机的输入集个数与化合前自动机输入集个数的等式关系。
压裂支撑剂粒径测量分析的新方法
压裂支撑剂 粒径 链编码
2009/12/28
为了科学准确评价支撑剂的性能，采用理论分析和实验的方法，通过对颗粒数字图像进行二值化处理，运用链编码技术直接提取图像几何特征的两个算法，即计算边界点的坐标及边界上两点间距离的坐标标定自动机，推导了压裂支撑剂粒径测量算法，实验验证了其粒径均值的求解过程。研究结果表明，压裂支撑剂粒径的测量、均值的计算与分析的算法能够成为颗粒图像识别分析系统的理论基础。研究结论突破了传统筛析测量方法，为计算机图像分析技...
一种适于计算机自动实现的机械制造企业投入产出模型
投入产出 智能化 管理模型 机械制造
2009/11/10
该机械制造企业投入产出模型以自制产品、自制工装模具、设备加工工时为中间产品, 完整地
描述了它们之间的依赖制约关系和各自的作用。提出了与现行管理指标相一致的模型转换方法, 较好
地适应了核算、生产、计划、供应、设备等多种管理的要求。最后, 按照零件、部件、整机的加工层次讨论
了该模型的简化方法。模型很好地体现了机械制造企业生产管理的特点, 它是一种适于计算机自动实
现的投入产出模型。
Mizumoto格值有限自动机及其最小化
格值模糊字符串 Mizumoto格值有限自动机 最小化
2009/11/4
提出取值为格半群的Mizumoto格值有限自动机的概念，得到基于模糊字符串的Mizumoto格值有限自动机的扩张模型，并详细讨论了其性质。同时建立了扩张Mizumoto格值有限自动机与标准扩张Mizumoto格值有限自动机的等价性，在此基础上给出了其最小化算法。
构件式系统的建模与验证
构件消息自动机 可控性 验证
2009/11/4
构件的组合与安全性是构件式系统开发的一个挑战性问题。提出了一种新的描述构件交互行为的模型－构件消息自动机，其特点是保留了构件的所有交互特性以便进一步进行构件的验证。给出了使用同步积操作将多个构件组合成单个复杂的组合构件的方法。基于监控理论的可控性概念，设计了一个验证构件系统安全性质的算法。为了说明论文建议的方法，详细讨论了一个简单的、贯穿整个论文的示例系统。
一个细化的元胞自动机模型中的加速度和随机慢化效应及其与同步流可能的联系
元胞自动机模型 加速度 随机慢化效应 同步流
2009/10/19
The effect of acceleration a andrandomization Dinare fined NagelSchreckenberg traffic flow model is investigated.It is found that when a≥D,there is no qualitative change of the fundamental diagram an...
有无信号灯控制的T形交叉口元胞自动机模型比较
交通运输工程 元胞自动机 T形交叉口
2009/10/19
利用元胞自动机方法建立了一个具有三个进车道的信号灯控制的T形交叉口模型。在以前的无信号灯控制的模型中，一些进车道的车辆在交叉口只有一个行驶方向，而在本文模型中采用更为实际的两个行驶方向，并采用具有固定周期的三相信号灯来控制交叉口的车辆冲突。通过数值模拟给出了本文模型的相图和系统的总流量，并与无信号灯模型结果进行了比较。
一种新的模糊支持向量机
模糊支持向量机 隶属度函数 截集模糊C-均值聚类
2009/10/10
基于类中心设计隶属度函数的模糊支持向量机能有效地解决支持向量机对噪声或孤立点敏感度高的问题，但是，由于它对支持向量赋予较小的隶属度，从而降低了其分类作用。基于此，提出一种新的隶属度函数设计方法；同时，针对模糊支持向量机普遍存在因核函数计算量大，而导致训练时间长的问题，通过使用一种高效的截集模糊C-均值聚类方法对训练样本进行聚类，然后以聚类中心作为样本进行训练，以减少训练样本来提高训练速度。根据上述...
XML数据类型验证算法的改进
树自动机 XML Schema模式 类型
2009/9/27
介绍几种XML Schema类型验证算法，并对其中基于树自动机的算法进行研究，针对它在验证嵌套复杂类型XML文档过程中存在的问题，提出一种改进算法，为每个终结符增设一个处理状态标志，从而对以XML文档表示的数据类型进行验证。通过实验测试其性能，结果表明该算法是有效的。