WDM网络逻辑拓扑重构的一种方法

针对网络业务流量的动态变化，为保证网络具有良好传输性能，需对逻辑拓扑进行重构．提出了一种基于最小化网络光路变化数量准则的逻辑拓扑重构方法，给出了问题的ILP（Integer Linear Programming）描述，进行了数值仿真验证，结果显示该算法正确、有效．     

对一种消息恢复数字签名的注记

针对ChenKefei提出的基于离散对数问题的消息恢复数字签名方案 ,给出了对该方案的一种伪造攻击方法 ,指出了该方案的不安全性 .     

一种消息处理引擎系统的设计与实现

利用微软MSMQ技术设计了一个消息处理引擎系统,能够使大型电子商务平台在后台自动侦听并处理各类消息,有效解决了B2B电子商务平台性能服务瓶颈.该系统可以灵活地满足越来越高的企业用户的个性化服务需求,同时为网站系统提供一个其他系统与之进行异步通信的通信平台.     

一种光突发交换网络逻辑拓扑设计方法

为了减小光突发交换网络中单向预留协议的盲目性,引入光突发交换网络逻辑拓扑的概念,并基于逻辑拓扑提出了一种路由和波长分配算法．光突发交换网络逻辑拓扑设计问题用一个线性规划模型描述,优化的目标是给定物理拓扑和源宿结点对间的业务量强度,使逻辑拓扑能够承载的业务量最大．计算机仿真数据表明,该算法能够显著地削弱单向预留协议的盲目性,从而平衡链路负载,降低突发阻塞概率,当网络负载有限时,可以减少波长转换器的使用次数．     

组合逻辑：一种新的逻辑研究方法

组合逻辑是一个新兴的逻辑研究领域，是当前国际逻辑研究的重点。在国外对它的研究非常重视，但在我国对它的研究几乎是空白。基于此，对组合逻辑的定义、组合逻辑产生的背景以及组合逻辑的方法加以介绍，借此希望我国逻辑学界重视并加强对这方面的研究。     

一种快速逻辑综合算法

本文详细介绍了通过合并，消元，逐项检测的方法进行逻辑综合，求解必要质蕴涵项的思路，并对算法的性能进行了简要的分析。     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

逻辑程序设计语言HPROLOG1的控制策略

逻辑程序设计语言HPROLOG是一种类prolog语言,它将主要作为一种推理数据库的查询语言.HPROLOG1是HPROLOG的一个基本子集,它具有逻辑程序设计语言prolog的基本功能和特点.本文将主要介绍在实现逻辑程序设计语言HPROLOG1中所采用的一种合一算法,目标栈的回溯控制方式以及循环检测的有关理论及其算法.     

硬件描述语言(HDL)与逻辑系统设计

本文介绍了当前流行的两种硬件描述语言———ＶＨＤＬ和ＶｅｒｉｌｏｇＨＤＬ。给出了利用硬件描述语言进行逻辑系统设计的流程和方法,与传统设计方法进行了比较。     

约束归纳逻辑程序设计的研究

提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法.该方法以国际上具有代表性的ILP系统Progol为基础,加入我们自己的学习约束的新方法,在不需要用户诱导的情况下,经过对正负例的比较与推导,学习出覆盖正例而排斥负例的含约束的Horn子句程序,同时介绍了这个ILP系统的实现算法和应用实例.     

逻辑、优化及约束程序的综述

由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起。它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣。概述了各种优化中基于逻辑的方法,总结了约束程序研究领域的各种方法,并对优化和约束程序结合的框架进行了综述。     

基于PLSI/isPLSI器件的逻辑设计

介绍了ＰＬＳＩ／ｉｓＰＬＳＩ器件的原理和功能以及ｉｓｐ编程的基本概念；探讨了在微机上使用ＰＤＳ软件对ＰＬＳＩ／ｉｓＰＬＳＩ器件进行开发的方法     

语言报警器在PLC控制系统中的应用

介绍了PLC控制系统语言报警器的设计方法及基本电路,为设计和维护PLC控制系统语言报警器提供了依据。     

从语言到逻辑——范畴类型逻辑序列

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。     

神经逻辑网络 NLN

给出一个使用３－值神经逻辑推理机的专家系统框架。神经逻辑可以执行除ＡＮＤ、ＯＲ和ＮＯＴ之外的许多逻辑操作，也可执行非标准逻辑操作和概率及模糊推理。由于其良好的网络结构，系统可并行地激活规则，并进一步通过调整弧上的权重获得学习能力     

基于消息中间件的三层分布式铁路牵引供电信息系统

提出了采用基于客户／消息中间件／服务器的三层分布式网络结构，来开发铁路牵引供电调度信息系统．首先分析了这种三层结构的模型、特点和优越性；然后详细阐述其关键技术消息中间件的设计和实现；最后对实际系统实现和投运后的性能指标进行了总结．所提方法对于具有复杂网络结构和接口信息系统的集成具有一定实用价值．