中石油成品油营销之差距与对策

与国外大石油公司相比,当前中石油在成品油终端销售方面还存在一些差距,比如管理较落后,流通费用较高,员工素质偏低,技术手段还不够先进,品牌影响力还不够强等等。要提高中石油在成品油市场上的地位,还需要从企业竞争能力、价值链优化整合、市场定位、营销策略等方面进行不断的探索与努力。     

电路板级自动测试系统的设计及其应用

针对雷达电路板具有复杂多样以及维护困难大的特点,本文介绍了一种面向信号测试的电路板级自动测试系统的开发过程,重点描述了系统软件平台框架搭建和TPS可视化开发运行平台的设计以及具体应用。运行实践表明,测试策略和测试流程的可视化编程,极大地提高了雷达电路板的维修效率。     

浅议网站的安全及应对策略

网站发展的迅猛,虽然方便了很多行业,但同时安全隐患也随之而生。病毒、黑客程序、邮件炸弹、远程侦听等日益猖獗,由此引起网站安全问题日益严重。如何保护计算机信息安全,也即信息内容的保密问题显得越来越重要。本文介绍了目前网站中主要存在的不安全因素,并在提出了相应有利于保护网站的安全应对策略。     

Implementing tactics and tacticals in a higher-order logic programming language

We argue that a logic programming language with a higher-order intuitionistic logic as its foundation can be used both to naturally specify and implement tactic-style theorem provers. The language extends traditional logic programming languages by replacing first-order terms with simply-typed -terms, replacing first-order unification with higher-order unification, and allowing implication and universal quantification in queries and the bodies of clauses. Inference rules for a variety of inference systems can be naturally specified in this language. The higher-order features of the language contribute to a concise specification of provisos concerning variable occurrences in formulas and the discharge of assumptions present in many inference systems. Tactics and tacticals, which provide a framework for high-level control over search for proofs, can be directly and naturally implemented in the extended language. This framework serves as a starting point for implementing theorem provers and proof systems that can integrate many diversified operations on formulas and proofs for a variety of logics. We present an extensive set of examples that have been implemented in the higher-order logic programming language Prolog.     

一个体现战术意图的博弈树搜索算法

提出了一个体现战术意图的博弈树搜索算法，并讨论了它的实用性。     

化工原理课程教学中互动教学法的运用与探讨

互动教学法有利于提高课堂教学效率。本文以化工原理课程教学为主,从教案设计、多媒体课件制作、课堂教学实施、互动点设计、互动形式等方面探讨互动教学法。     

海湾战争的特点与启示

本文从战术技术角度出发,扼要阐述海湾战争的一些主要特点。根据未来战争的特点以及美军在未来战争中所采取的战略和战术原则,提出今后研究和制定的战略决策和战术原则以及研制和发展尖端武器应考虑的重点问题。     

我国压铸工业现状与发展方向

中国的压铸工业在近半个世纪中 ,以星火燎原之势 ,发展成为一个新兴的产业 ,至今仍然保持着年增长 8%至12 %的势头。列举了中国压铸生产增长的基本数据 ;阐明了压铸市场的成长过程与发展趋势 ;论述了中国压铸工业进入2 0 0 0年时所面临的新形势及应采取的对策     

发展优势企业,提升西部包装工业竞争力

针对西部包装工业发展现状，分析了西部包装工业发展面临的困境，在此基础上提出了提升西部包装竞争力的对策措施。     

从“启蒙”回归日常 新一代前沿建筑师的建筑实践运作

文章以2008年后中国大陆建筑设计执业环境的变化为线索,探究新一代前沿建筑师的建筑实践运作正在发生的变化。作者认为其核心在于＂启蒙＂的姿态减弱,而日常操作受到更多的重视。文章还通过一些实例具体论述了这种变化对前沿建筑师及其作品特征的影响。