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

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

Sun Java Studio Creator设计模式值绑定和数据表设计模式

导读:本文考察了 Java Studio Creator 的小型设计模式,为处理值绑定和数据表提供了技巧和设计模式。JavaStudio Creator 提供了大量的工具来创建和管理值绑定。本文介绍了值绑定基础,并描述了用于值绑定表达式(包括用于绑定组件和 Java 技术对象的模式)和处理数据表的设计模式。JavaServer Faces 技术提供了将用户界面组件的属性绑定到一个应用程序后端数据组件的功能。一种“值绑定表达式”的技术可以实现这种界面组件属性和数据组件的绑定。虽然对组件的很多不同属性都可以进行绑定,但是让我们首先来看一个通用的模式:绑定组件的值属性。通常对于输出组件来说,您可以将组件的值属性绑定到一个数据对象上,这样就可以动态检索并显示数据对象的值。另一方面,对于输入组件来说,将值属性绑定到数据对象上可以实现两个目标:提供了一种表示动态数据的方法。提供了一种之后提交处理的格式,目的是存储应用程序用户输入的新值。     

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

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

VFP中输入类控件和控制类控件value属性的使用

在visual FoxPro 6．0（以下简称VFP）中，输入类和控制类控件value属性的值在程序设计过程中经常会用到，不同控件value属性的值对数据的输入、编辑、查询等控制操作都有重要影响。本文介绍了Visual Foxpro 6．0中输入类和控制类控件value属性的各种取值及意义．用实例说明如何通过value属性控制当前记录各字段的取值以及如何解决value属性取值和字段内容不一致等问题，以便使不同字段的内容在VFP程序设计中得到有效控制。     

基于XYZ/E规范的软件测试用例自动生成方法

针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ／E软件规范说明的测试用例自动生成方法。该方法采用XYZ／E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ／E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。最后,通过一个实例验证了该方法的可行性。与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量。     

二值VGG卷积神经网络加速器优化设计

基于FPGA的二值卷积神经网络加速器研究大多是针对小尺度的图像输入,而实际应用主要以YOLO、VGG等大尺度的卷积神经网络作为骨干网络。通过从网络拓扑、流水线等层面对卷积神经网络硬件进行优化设计,从而解决逻辑资源以及性能瓶颈,实现输入尺度更大、网络层次更深的二值VGG神经网络加速器。采用CIFAR-10数据集对基于FPGA的VGG卷积神经网络加速器优化设计进行验证,实验结果表明系统实现了81%的识别准确率以及219.9 FPS的识别速度,验证了优化方法的有效性。     

设备自动巡检控制逻辑的层级时间自动机建模与验证

地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检。在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用。为了解决复杂的设备自动巡检控制逻辑造成的一系列问题,之前提出了一种层级有限自动机(HFA)的形式化模型,并利用HFA对设备自动巡检控制逻辑实现了行为建模,但并未添加时间属性,也未验证其正确性与可靠性。现提出一种层级时间自动机形式化模型,并利用它对设备自动巡检控制逻辑进行建模,再利用UPPAAL对其进行分析与形式化验证,分别验证其安全性、可达性、活性及时间约束,以此来确保其时效正确性与可靠性。这种建模与形式化验证方法弥补了之前无时间约束的漏洞,有效确保了设备自动巡检控制逻辑的正确性与可靠性。最终,该模型通过了模拟和验证,这充分证明了设备自动巡检控制逻辑是正确可靠的。     

在VB中设计口令输入的方法两则

在VB中我们经常需要设计一个口令输入框,以判断用户的身份是否合法.通常借助文本框来实现口令的输入比较快捷,其方法有以下两种:1.利用文本框控件的属性来实现简单的口令格式.我们知道,在文本框输入信息时,所输信息会被全部显示出来,这与口令的保密性相违背.好在文本框控件提供了PasswordChar属性,设置该属性即可隐藏文本框中的内容.比如,我们设置其值为“＊”,则输入的口令字符将全部用“＊”代替.这时别人所能     

用CPLD实现本安型矿用数据采集系统

实现了基于CPLD的本安型矿用数据采集系统.系统利用CPLD可编程逻辑器件的模块化设计思想,结合矿用设备信号处理本安型的行业要求,使用CPLD可编程逻辑器件完成了开关量信号输入、输出和频率模拟量输入工作.由于设计中可进行逻辑仿真,从而保证了设计的正确性,缩短了产品开发周期,简化了硬件设计,为产品赢得市场争取了时间.     

VLAN技术在某职业技术学院中的具体应用

VLAN(Virtual Local Area Network)即虚拟局域网,是一种通过将局域网内的设备逻辑地划分成一个个网段而实现虚拟工作组的技术,能有助于控制流量,减少设备投资,简化网络管理,提高网络的安全性。本文结合某职业技术学院论述了校园网VLAN的设计实施方案,并以一个部门为例论述了具体的配置步骤,配置方法。     

混合电子电路图的自动输入系统

本文介绍一种含有逻辑符号、电子元件符号以及字符的混合电子电路图的计算机自动输入系统，本系统在微机上运行，输入设备为ＨＰ－９１９５Ａ型号扫描仪，输出设备是激光打印机，实现了混合电子电路图的自动识别。     

一种基于忆阻器的全域值感知神经元设计

基于忆阻器的阻值可变性和非易失性，提出了一种基于忆阻器的全域值感知神经元设计方案。该全域值感知神经元由全域值忆阻权重模块、输入加权模块、信息融合模块、映射输出模块和反馈控制模块构成，控制全域值忆阻权重模块中忆阻桥式结构的输入电压，权值电压信号线性变化或保持不变。进而能够满足感知神经元训练、测试等的要求，通过一个具体的基于忆阻器的全域值感知神经元，验证了感知神经元可以实现权值的全域值调节。通过逻辑“或”运算实验，进一步验证了基于忆阻器的全域值感知神经元的功能。     

物理层与链路层间接口转换逻辑的设计与实现

论述了物理层的IX BUS总线与链路层的POS PHY接口之间的接口转换逻辑的设计，详细介绍了IX BUS总线接口逻辑设计和POS PHY接口逻辑设计，包括时钟设计的实现、虚拟输出队列的实现、POS PHY LEVEL3接口控制的实现和IX BUS总线BURST方式的逻辑实现。使用FPGA实现整个接口转换逻辑，经过功能自环测试、与其他通信设备对接测试、与通信测试设备对接测试和严格的温度实验，包括循环温度实验和极限温度实验，验证了接口转换逻辑的正确性和稳定性。     

一种新的PLC梯形图程序设计方法

通过赋予Petrinet(PN)的库所和变迁控制属性，实现了PN对典型控制系统的有效描述。根据变迁触发和标识变化的基本规则，PN的库所和变迁能够表示为由输入、输出、操作和条件组成的逻辑表达式，该表达式可以方便地转化为PLC的LAD程序。在液体混合控制系统中的应用实例表明该方法具有易于理解和修改的优点，能够极大提高PLC梯形图程序的设计效率。     

基于数字图像处理的虚拟输入方法

针对当前嵌入式设备输入方法存在的高成本低体验问题,提出了一种运行于嵌入式系统中基于数字图像处理的虚拟输入方法.该方法利用嵌入式设备附加的摄像设备,对用户在虚拟键盘上的按键过程进行图像采集,通过角点识别和图像分割进行按键识别,以便通过采集到的图像定位出用户点击的目标按键,从而实现信息输入过程.通过实例验证了该方法的可行性...     

基于逻辑一致性判定的广义不透明谓词检测方法

不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析。广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力。为消除不透明谓词对程序恶意性判定的影响,以广义不透明谓词后趋依赖的属性为依据,结合逻辑恒定判定,提出了基于逻辑一致性的广义不透明谓词检测方法。通过静态分析提取谓词前置条件约束、后趋逻辑约束和谓词判定表达式,以相交基本块搜寻初筛谓词,并依据约束求解方法判定广义不透明谓词。构造原型系统并进行测试,结果表明该方法能精准高效地检测出恶意代码中的不透明谓词。     

基于USB2.0协议的数字家庭设备控制器设计

介绍了CYPRESS公司的EZ-U SB FX 2芯片的系统构造及其特点,利用该芯片设计了基于U SB2.0协议的数字家庭设备控制器,同时论述了该控制器的系统原理和实现方法,对软件的开发进行了研究。最后通过测试和逻辑分析验证了数据传输的正确性并在家用设备(家庭影院)上得以实现。     

虚拟培训中的虚实联动技术

针对传统培训方式的不足,提出了虚实联动的培训方式.通过构建虚拟设备,硬件可编程逻辑控制器(PLC)、PC、虚拟设备三者之间的通信,实现虚拟设备和实体设备之间的联系,并且通过现场控制系统采集实体设备运行数据,将实体设备运行和故障等信息在虚拟设备中实时表现出来,拓展了虚拟培训的新思路.以喷印机虚拟联动系统为例论述了虚拟联动技术的必要性和可行性.     

用通用MSI,LSI组件实现逻辑网络CAD

本文着重论述了用通用ＭＳＩ，ＬＳＩ组件进行计算机辅助逻辑设计的意义和实现方法，并例举了两个实例。论述了作者开发的应用软件－逻辑ＣＡＤ软件的突出特点，即；操作简便，输入方式符合日常惯例；数据结构２新颖，运算速度快；具有丰富的图形编辑功能。     

基于FPGA的以太网与1553B网络接口设计

设计了一种以太网与1553B网络接口,计算机通过该网络接口可方便地实现1553B总线设备的实时监控。详细阐述了硬件设计方案及各逻辑单元的设计方法,整个设计完全采用硬件逻辑实现,将1553B总线信息的编解码、W5100控制逻辑、数据缓存逻辑集成在一片FPGA内。实验结果表明,该网络接口可以稳定地实现以太网数据帧与1553B信息字的数据交换,满足航空航天测控系统数据通信设备的要求。