基于企业网络边界防护策略浅析

随着互联网的应用越来越广泛,网络安全越来越受到人们的关注,那么边界防护是保证网络安全的有效措施,本文简要介绍了网络边界防护的策略。     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

基于UML&OPN的C4 ISR系统体系结构仿真验证研究

基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C4ISR系统体系结构的相关产品.根据产品之间的关联,把产品的UML视图转换为对象Petri网的仿真模型.通过系统动态行为仿真模型的执行,分析体系结构的时序关系、信息流关系和接口关系的合理性,验证系统功能是否满足需求,系统状态的变化是否正确,从而有效,合理地评估系统的性能.     

东莞市石龙镇开全国“三网合一”之先河

据悉，目前东莞市石龙镇已初步建成了具有国际先进水平的信息基础设施，其电信网、电视网和互联网在全镇的有机结合更是开全国“三网合一”之先河，有力推动了国家信息化的前进步伐，为国内外三网融合的延续研究提供了典型示范。     

浅析主变正功率突降保护的构成方法及整定

本文通过主变正功率突降保护在沙州电厂中的应用,简单的介绍了保护的逻辑构成、保护整定计算方法及可靠性分析。     

AJAX动态无刷新技术在企业网中的应用

本文介绍了基于ASP．NET的AJAX动态无刷新技术在企业网的实现方法，利用JavaScfipt结合XML，实现了网页动态无闪烁刷新。     

从STS视角评鲍德里亚对马克思自然观的批判

鲍德里亚在《生产之镜》等著作中，认为马克思自然观是启蒙时期对自然的支配和奴役性概念，其逻辑基础就是对自然的强力征服；唯物史观中的所谓规律和自然必然性都是这种支配和奴役性思维的产物。本文试图从STS视角认识和理解马克思的历史观和自然观，全面客观地评价鲍德里亚对马克思历史观和自然观的某些认识和理解，以期更全面、更准确地理解和发挥马克思的历史观和自然观。     

一种电梯群控系统的模糊逻辑描述

建立计算机电梯群控系统的核心是建立专家系统和模糊规则.电梯交通分析已由统计学特性描述进入动态特性(即模糊特性)描述,因此把模糊学理论用于电梯交通分析已成为当务之急.本文关于电梯群控系统的模糊逻辑描述的研究是建立电梯群控专家系统和模糊规则的基础.     

浅议逻辑验证法在文学翻译批评中的应用——以《金银岛》两个中译本为例

翻译批评中的逻辑验证法主要是借助批评者的语言知识,运用人类共同的生活经验,从句法结构的各个层面对原作和译作的语法和语义进行对照分析,并且对作品的写实部分进行逻辑分析与验证。文章拟用逻辑验证法评析英文小说《金银岛》的两个不同中译本,指出逻辑验证法是文学翻译批评乃至各类翻译批评的一种好方法。     

有线电视网络的勘测设计

文章对光纤同轴电缆混合网（HFC）的网络勘测设计的步骤提出规范要求。