模糊神经网络控制系统

介绍了将神经网络和模糊控制相结合,即用人工神经网络算法产生模糊推理规则和隶属函数,再基于这些模糊推理规则和隶属函数产生模糊逻辑控制的一种新颖控制策略--模糊神经网络系统的组织结构及其神经网络的设计.     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

基于多源大数据融合的银行网点选址方法

针对传统银行网点选址方法中存在的人为主观因素较大、数据量支撑不够、考虑因素理想化等问题,提出一种基于多源大数据融合的银行网点选址方法。该方法通过多源数据构造人流量、交通拥堵指数、用户价值、周边竞争网点数和人均收入5个基础特征,并利用协同训练的半监督学习方法扩充训练集。基于基础特征与机器学习算法构建多个子模型,将子模型的输出概率作为特征,构建基于逻辑回归的集成算法,作为银行网点选址模型,同时提出一种优化银行网点权重的损失函数,以保证模型预测中更佳的银行网点具有更高的权重。通过实验分析表明,该算法相较于传统算法预测评估更为准确,能够很好地解决银行网点选址问题。     

一种新的异构无线接入网垂直切换方法

为了提高异构无线网络中垂直切换的准确度、减少连接掉线,提出了一种新的垂直切换方法.该方法改进了基于RSS的切换触发机制,并且采用基于模糊逻辑的归一化量化决策算法,从可用的接入网中选择最优的切换目标网络.为验证方法的可行性,采用由UMTS和WLAN构成的仿真场景.仿真结果表明,提出的方法通过平衡用户的偏好、网络状态和系统性能,有效地选择了最优的网络;同时,在垂直切换次数和切换掉话率方面优于其他方法.     

一种实现下行同步序列快速搜索的新方法

针对无线通信系统中下行同步序列（summarized the existing downlink synchronization sequence,SYNC_DL）的搜索方法和对其计算复杂度方面存在的问题进行了分析。结合系统帧结构的特点,设计了一种基于逻辑特征窗的低复杂度SYNC_DL搜索方法,该方法通过逻辑特征窗的设置,将大量的数值计算转化为逻辑运算,从而减少了计算量。数值仿真结果表明,与传统方法相比,该方法在高信噪比环境下能更有效地进行下行同步序列的搜索,但在低信噪比环境下,该方法的正确率会明显降低。     

模糊描述逻辑的统计缺省扩展

该文对模糊描述逻辑进行统计缺省扩展,它以模糊描述逻辑为主要框架,将模糊或不精确知识的表示与推理有机地整合在一起,通过在模糊描述逻辑中引入统计缺省推理,构建了一种同时具有TBox,ABox和统计缺省规则的知识库系统.     

一种基于布尔向量的Apriori改进算法

从分析布尔向量与项集支持度的相关性质人手,利用计算机的逻辑"与"运算的高效率性以及通过布尔向量计算项集支持度的简单性,提出了基于布尔向量的关联规则挖掘算法.该算法只需一次扫描数据库,无需候选项集和"剪枝"操作,极大地提高了算法的效率.     

JTAG软核设计与仿真

硬件系统的规模越来越大,复杂度越来越来高,对其进行测试也越来越困难,JTAG边界扫描技术较好地解决了传统测试的不足,边界扫描测试是一种新型的VLSI电路测试及可测试性设计方法。JTAG是符合IEEE规范的测试技术,JTAG的设计实现了测试复杂度的降低,适合进行大规模集成电路的测试。论述边界扫描技术的结构特征及软核设计方法的同时,分析了JTAG电路中数据传输的路径及电路对速度的影响,并以采样指令为例进行了功能仿真。     

磁流变液阻尼器的模糊逻辑非参数建模

采用模糊逻辑建模的方法 ,对磁流变液阻尼器进行了非参数建模 .仿真结果表明本文模型是非常有效的 .与已有的模型相比 ,这一模型具有精度高、可推广性好、计算简便等优点 .     

Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).