多变量组合电路逻辑功能分析仪

一种多变量组合电路逻辑功能分析仪，由多谐振荡器、五位二进制同步计数器、５线－３２线译码器、ＬＥＤ显示器及待测电路输出级几部分构成。可通过实际测量，准确无误、快捷方便地分析五个输入变量以下任何复杂组合电路的逻辑功能。电路稍加改动，还可构成更多输入变量的组合电路逻辑功能分析仪，具有较高的应用价值。     

半导体生产线工序参数的逻辑时序微粒群优化策略

提出一种具有逻辑时序特征的微粒群优化算法,并将其应用于半导体封装生产线的工序参数优化中．对实际的半导体封装生产线进行建模,并针对生产线中机器对不同产品的加工时间最优分配这一典型的工序参数优化问题,提出了以单位时间利润值和机器均衡度为评价指标的逻辑时序微粒群优化策略．最后进行了计算机仿真和结果分析．     

超大变量多值单边逻辑函数优化算法的研究

单边多值逻辑函数是逻辑函数的一种特例,对于超大变量的逻辑函数优化,存储开销对输入变量呈2幂次方增长.针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输出单边逻辑函数补集,以积项扩展为基础,完成多输出单边逻辑函数无冗余覆盖.通过编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素进行了分析,软件系统在奔腾1.8GHz,512MB RAM的计算机上通过了正确性验证与测试,测试结果表明性能良好,有效降低了系统的存储空间和时间开销.在相同输出变量数、积项数和无关项因子的情况下,随输入变量数的增长,优化效率随之下降;在相同输入变量数、输出变量数和积项数的情况下,随无关项因子值的增长,优化效率随之下降;在相同输入变量数、输出变量数、和无关项因子的情况下,随积项数的增长优化效率随之提高.     

用改进的模拟退火算法实现对单伺服机分层水平旋转货架存取路…

针对一类组合优化问题，提出并设计了改进的模拟退火算法，首次将其应用于解决自动化仓库中分层水平旋转货架存取货物路径的优化问题。计算机仿真结果表明：改进的模拟退火算法可以在较短时间内计算出十分接近全局最优解的次优解，在解决复杂性高、规模大、变量离散、目标函数不可微的优化问题中，改进的模拟退火算法具有巨大的优越性。     

间歇过程的批内自优化控制

针对间歇过程的实时优化问题,提出了一种基于自优化控制的批内优化方法.以测量变量的线性组合为被控变量,在单批次内跟踪控制被控变量实现间歇过程的实时优化.根据是否在间歇过程的不同阶段切换被控变量,给出了两种自优化控制策略,对每种策略又分别提出两种设定轨线选取方案.为求解这些情形下的最优被控变量(组合矩阵),以最小化平均经济损失为目标,推导了组合矩阵和经济损失之间的函数关系,分别将其描述为相应的非线性规划问题.在此基础上,进一步引入了扩张组合矩阵,将这些非线性规划问题归纳为求解扩张组合矩阵的一致形式(扩张组合矩阵具有不同的结构约束),并推导得到了其中一种方案的解析解计算方法.以一个间歇反应器为研究对象,验证了方法的有效性.     

大变量逻辑函数求补的递归实现

逻辑函数数求补是大变量逻辑优化的算法基础，采用二叉树结构，用C语言实现了大变量逻辑函数求补递归算法。详述了求补二叉树的结构和形成过程，以及在求补二叉树上补集的收集方法。     

一种基于64位机器的32位指针优化方法

在64位机器上,存储器一般以64位的虚地址进行访问,所有的指针变量也以8字节进行存储和使用。介绍一种在64位机器上采取32位地址进行计算和访存的编译优化方法,这种优化的目的是针对64位机器上大量使用指针数据的课题,采取32位寻址可以减少指针变量占用内存和cache空间,从而大大提高了该类课题的运行效率。     

大变量逻辑函数求补的递归实现

逻辑函数求补是大变量逻辑优化的算法基础.采用二叉树结构,用C语言实现了大变量逻辑函数求补递归算法.详述了求补二叉树的结构和形成过程,以及在求补二叉树上补集的收集方法.     

逻辑结点函数的优化覆盖

本文提出多级组合逻辑结构中逻辑结点函数的优化覆盖算法、证明了该算法在多级逻辑优化过程中的有效性。     

用二值逻辑对多值逻辑进行优化

提出以二值多输出逻辑优化软件OPLG为基础，对多值逻辑函数进行逻辑优化的方法．通过对多值变量、多值函数的二进制矢量描述，将多值多维体转换为布尔表达式积项形式，从多值多维体的多值最小项出发，给出计算基本无关集的方法。对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为300)来实现，二值逻辑优化的结果最终再转换为多值多维体的表示形式。     

Modelling the software development process using an expert simulation system having fuzzy logic

This paper describes an intelligent computerized tool designed to aid managers of software development projects in planning, managing and controlling the development process of medium- to large-scale software projects. Systems dynamics is used to model and simulate the dynamic process of software development. The software development process is affected by some imprecise and vague variables that are treated as fuzzy variables. The simulation model is integrated with two expert systems. The fuzzy input variables to the system dynamics simulation model are handled by an input expert system having fuzzy logic. This expert system is designed to check the consistency of input variables. The simulation results are analysed by an output expert system having fuzzy logic. This expert system is designed to make recommendations based on experimentation with the simulation model.     

Logic operations based on single neuron rational model

This paper focuses on phase analysis to explore the single neuron local arithmetic and logic operations on their input conductances. Based on the analysis of the rational function model of local spatial summation with the equivalent circuits for steady-state membrane potentials, the prototypes spatial summation with the equivalent circuits for steady-state membrane potentials, the prototypes of logic operations are constructed. A mapping from a partition of input conductance space into functionally distinct phases is described and the multiple mode models for logic operations are established. The transitions from output voltage to input conductance in logic operations are also discussed for the connections between neurons in different layers. Our theoretical studies and software simulations indicate that the single neuron local rational logic is programmable and the selection of these functional phases can be effectively instructed by presynaptic activities. This programmability makes the single neuron more flexible in processing the input information.     

An empirical study of control logic specifications for programmable logic controllers

This paper presents an empirical study of control logic specifications used to document industrial control logic code in manufacturing applications. More than one hundred input/output related property specifications from ten different reusable function blocks were investigated. The main purpose of the study was to provide understanding of how the specifications are expressed by industrial practitioners, in order to develop new tools and methods for specifying control logic software, as well as for evaluating existing ones. In this paper, the studied specifications are used to evaluate linear temporal logic in general and the specification language ST-LTL, tailored for functions blocks, in particular. The study shows that most specifications are expressed as implications, that should always be fulfilled, between input and output conditions. Many of these implications are complex since the input and output conditions may be mixed and involve sequences, timer issues and non-boolean variables. Using ST-LTL it was possible to represent all implications of this study. The few non-implication specifications could be specified in ST-LTL as well after being altered to suit the specification language. The paper demonstrates some advantages of ST-LTL compared to standard linear temporal logic and discusses possible improvements such as support for automatic rewrite of complex specifications.     

电子商务中的MVC设计模式应用

MVC模式是指把一个应用的输入、处理、输出流程按照Model、View、Controller的方式进行分离.将MVC设计模式运用于Web应用,使得数据处理逻辑与它的表现形式分离,编写好业务逻辑以后,可以由控制器根据不同的显示要求应用不同的视图构造页面,使之可以满足不同的格式要求及不同类型客户端输出.因此,MVC模式在电子商务中有极大的应用价值.本文将分析MVC模式的组成和形系结构,并通过一个Web应用例子体现了MVC模式的实现.     

模糊逻辑系统的快速构造与优化

提出一种直接利用均匀分布于待逼近系统输入空间的Ｉ／Ｏ数据,快速构造满足一定精度要求的模糊逻辑系统方法,并从理论上证明了该方法的可行笥。在此基础上采用一种新型的ＧＡ＋ＢＰ混合自治对模糊逻辑系统进行优化,以求用最少的规则数实现满意的精度。数字仿真结果表明这种快速构造和优化方法是可行和高效的。     

基于遗传算法的模糊逻辑系统滚动学习方法

基于遗传算法的模糊逻辑系统滚动学习方法是一种局部优化策略，它针对参数空间内的局部区域，由区域内输入输出数据对提取模糊规则，并对规则参数进行调整，参数学习采用差分进行化算法，采用既包含区域内数据，又包含区域外数据的滚动数据窗技术，保证对局部模糊规则的参数调节不致影响系统在相邻区域的逼近性能，算法在保证精度的前提下大大减少了计算量，使遗传算法能应用于模糊逻辑系统的在线学习。     

Automata for direct radix conversion

Modular logic circuits are described that directly transform on a digit by digit basis a number from one radix to another. Each device—an automaton—is of combined Moore-Mealy design of which the Moore output is a coefficient in the transformed radix, and the Mealy output is an untransformed residue passed on to the next identically designed circuit. Each logic circuit is completely independent of word length, and transformation relative to the input string is exact at each instant of time with all transformed digits simultaneously available. For fractional number conversion, any specified accuracy can be obtained merely by the addition of more modular logic circuits to the chain.     

An effective hybrid approach of desirability,fuzzy logic,ANFIS and LAPO algorithm for optimizing compliant mechanism

This paper proposes an efficient hybrid approach for solving multi-objective optimization design of a compliant mechanism. The approach is developed by integrating desirability function approach, fuzzy logic system, adaptive neuro-fuzzy inference system, and Lightning attachment procedure optimization. Box–Behnken design is used to form a numerically experimental matrix. First, a refinement of design variables is conducted through analysis of variance and Taguchi approach in terms of considerably eliminating space of design variables and computation efforts. Next, desirability of two objective functions is computed and transferred into the fuzzy logic system. The output of fuzzy logic system is regarded as single combined objective function. Subsequently, a modeling for fuzzy output is developed via adaptive neuro-fuzzy inference system. Then, LAPO algorithm is adopted for solving the optimization problem. By investigating three different numerical examples, performance of the proposed approach is validated. Numerical results revealed that the proposed approach has a computational accuracy better than that of Taguchi-based fuzzy logic reasoning. Finally, case study 1 is chosen as an optimal solution for the mechanism. Furthermore, the effectiveness of proposed approach is greater than that of the Jaya algorithm and TLBO algorithm through Wilcoxon signed rank test and Friedman test. The proposed approach can be used for related engineering fields.