ERwin在智能考试系统中的应用

介绍了ERwin的特点，以一个具体的实例应用阐述了如何使用ERwin在数据库设计阶段建立逻辑模型和物理模型，并用物理模型在数据库服务器上产生模型实例等技术问题，并给出了使用ERwin建立的智能考试系统的逻辑模型和物理模型．对于想高效、快速建立实体一关系(DR)模型的数据库应用程序的开发者来说，有一定的参考价值和借鉴意义．     

对偶函数的性质及其应用

布尔代数广泛应用于数字网络的分析和设计.对于每一个逻辑函数,根据对偶原理可以找出它的对偶函数.它也和狄·摩根定理一样可以用来对逻辑函数的化简. 本文讨论了对偶函数的性质及其在逻辑设计中的应用.     

深度学习与一致性表示空间学习的跨媒体检索

提出一种基于深度学习与一致性表示空间学习的方法,针对图像与文本2种模态,分别采用卷积神经网络模型和潜在狄利克雷分布算法学习图像的深度特征和文档的主题概率分布;通过一个概率模型将两个高度异构的向量空间非线性映射到一个一致性表示空间;采用中心相关性算法计算不同模态信息在此空间的距离.在Wikipedia Dataset上的实验结果表明:在单模态输入检索中,文中方法的平均准确率为38.43%,相比于其他方法有明显提高.     

基于LINUX网桥实现隔离网闸技术的应用

网闸是网络安全防护手段之一,传统方法是硬件实现,成本高、控制复杂.本文提出了一种逻辑网闸技术,基于Linux网桥的Ebtables架构,可以在链路层截获数据,并利用逻辑开关实现单向数据通过以及应用层过滤等功能,从而在软件上实现了一个物理隔离网闸的作用.     

??电工学??远程多媒体教学软件设计

以《电工学》课程为例,从数据模型出发介质多媒体网络远程教学软件的设计方法。     

关于线性算子的右有界拟线性内逆

对于从线性空间到赋范线性空间的线性算子T引入右有界拟线性内逆的概念.在算子值域的闭包R(T)为切比雪夫子空间的条件下,给出右度量内逆的表示.证得:如果算子的值域R(T)非闭且闭包R(T)为切比雪夫的,则必存在不同的右有界拟线性内逆.     

Powerset Residuated Algebras and Generalized Lambek Calculus

We prove a representation theorem for (abstract) residuated algebras: each residuated algebra is isomorphically embeddable into a powerset residuated algebra. As a consequence, we obtain a completeness theorem for the Generalized Lambek Calculus. We use a Labelled Deductive System which generalizes the one used by Buszkowski [4] and Pankrat'ev [17] in completeness theorems for the Lambek Calculus.     

The Logical Control Protective System of the HL-2A LHCD Power Supply

The main equipmets of the HL-2A LHCD power supply are based on the old one, but the logical control protective system is a new part. Considering the output voltage is very high（up to 60 kV）, so the logical control protective system is very important. The system is implemented based on PLC and the SIEMENS STEP7 software.     

关于ABEL软件若干应用技术问题的探讨

ABEL软件是新一代高效可编程逻辑器件(PLD)设计工具。本文对ABEL开发软件的GAL器件库定义、逻辑功能描述方法、测试向量的确定以及源文件的处理等关键应用技术问题进行了深入探讨。正确运用这些技术对于提高可编程器件的逻辑设计效率和可靠性具有实际意义。