基于可编程ASIC技术的Turbo码交织器的实现

讨论了CDMA2000系统中Turbo码的交织与解交织技术，使用了HDL语言设计与缟程、利用了MaxplusⅡ进行软件仿真。同时在CPLD器件上进行了硬件仿真，并给出了仿真结果。     

关于部分K值逻辑Sheffer函数（IV）

根据部分多值逻辑的完备性理论[罗铸楷等]，证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现．     

逻辑函数公式法化简技巧

本文用实例总结出逻辑函数公式法化简的技巧方法，从而可对逻辑函数进行灵活快速的化简。     

基于信任网的推荐机制研究

针对信任和声誉模型中推荐机制存在一些的问题,结合主观逻辑,提出了基于信任网的推荐机制,给出信任网的基本定义,对信任网中推荐链的依赖关系进行形式化描述,给出相应的解决策略,并利用信任强度解决了主观逻辑中无法对恶意推荐实体进行惩罚的问题,提高推荐信息的精确度。模拟实验结果表明,基于信任网的推荐机制能在一定程度上减少访问到恶意实体的次数,并惩罚提供恶意推荐的实体。     

通信网络路由新算法

通信网向高可靠性、高利用率和高服务质量方面发展,现有路由算法已难以适应发展要求,需要寻找新算法。研究出一种易于多处理器并行运算的快速路由算法,采用逻辑代数运算规则,按照逐步变换、整合及删除中间节点关联分组方式计算,对于有n个节点的网络只需n-2次整合运算就能得到网络两节点间全部路由,且不会出现违反通信传输规则的闭环问题。详细论证了算法的正确性与合理性,简介了算法的并行运算可行性问题。通过算例详细说明算法的计算过程。     

遗传算法在可编程逻辑器件设计中的应用

提出了一种新的可编程逻辑器件的设计方法,设计速度快,人工干预少,只需给出所要实现的逻辑功能,即可运用遗传算法完成对可编程逻辑器件的逻辑设计,文末给出一个简单的组合逻辑电路的设计实例和经过遗传算法学习的结果。     

基于层次网络法的火电厂安全评价决策支持系统

为了提高火电厂安全管理水平,本文通过将决策支持系统引入到火电厂安全评价领域,结合层次网络法和火电厂安全评价过程特点建立知识库,提高知识的广泛性和逻辑推理的高效性;通过对综合推理机和知识库设计方法的研究,建立一个基于层次网络法的安全评价决策支持系统,帮助火电厂安全评价人员进行安全评价,使安全评价过程系统化自动化,提高了安全评价的效率和准确性.本文重点论述了本系统的目标、总体结构、专业总体构成和网络等.     

关于扩充的逻辑程序

在这篇文章中,我们从理论和实际计算的观点两方面研究了扩充逻辑程序中的经典否定和约束.我们发现,在保持原有程序回答集语义的前提下,经典否定和约束都可以通过引入新的原子来消除.我们的实验结果表明,一般情况下,引入新的原子会增加计算开销,但是这里有一个关于16-皇后问题的例外.     

基于本体的领域知识库构建及推理研究

文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑，对领域知识库的构建及知识推理等方面进行了研究，阐述了基于本体的领域知识库构建的方法，并且介绍了常用软件领域知识库的构建实例，对基于描述逻辑的知识库推理进行了研究，并以实例说明其应用。