我们的企业“智囊团”

杂志名曰《科技智囊》,做“智囊”者必先有“上智”。冯梦龙之《智囊》中曰:“上智无心而合,非千虑所臻也。人取小,我取大;人视近,我视远;人动而逾纷,我静而自正;人束手无策,我游刃有余。夫是故,难事遇之皆易,巨事遇之而皆细;其斡旋入于无声臭之微,而其举动出人意想思索之外;或先忤而后合,或似逆而实顺;方其闲闲,豪杰所疑,迄乎断断,圣人不易。呜呼!智若此,岂非上哉!”智若水,藏于地中者,性;凿而出之者,学。此《科技智囊》之魂也!     

渭干河-库车河绿洲生态环境变化特征与防治对策

近50年来，渭干河-库车河三角洲绿洲地区在人类不合理活动的作用下，水与生态环境发生了一系列变化。因此,进行水资源统筹利用规划与管理，统筹兼顾各县的经济发展与生态环境建设对水的需求，以生态系统健康发展为原则，遵循生态规律来进行土地资源的开发利用，开展整个绿洲为单元的生态功能保护与建设是绿洲可持续发展能力的根本途径。     

H2在金属钾修饰碳纳米管上的吸附与储存

利用高压容积法、辅以卸压升温脱附排水法,测定金属钾修饰多壁碳纳米管(K~0-MWCNTs)对H_2的吸附储存容量。结果表明,在室温(～25℃)、～7.25MPa实验条件下其对氢的吸附储存容量可达3.80％(质量百分数);室温下卸至常压的脱附氢量为3.36％(占总吸附氢量的～89％),后续升温(升至673K)的脱附氢量为0.41％(占总吸附氢量的～11％)。     

多跨连续梁桥横桥向抗震的概念设计

连续梁桥是具有较好抗震性能的桥型之一.针对某桥梁工程进行抗震分析,利用连续梁桥等效模型的简化分析,并结合反应谱理论探讨桥墩刚度的分布对横桥向抗震性能的影响.提出对于坚实的地基,应采取在独柱墩上设置纵向竖缝的方案调整刚度分布;而针对软土地基则应采取改变制动墩或伸缩缝的位置,并在关键点将独柱墩分解为双柱墩的方案,以改善受力.2种方案的目的都是要尽量减小转动位移,从而提高横桥向抗震性能.并利用SAP2000进行了横桥向反应谱分析与验证.研究结果可应用于地震区连续梁桥的概念设计中.     

试析高职英语教学存在的问题及解决对策

该文旨在通过对天津市部分高等职业技术学院的调研,分析高职学院目前英语教学的现状和存在的问题,力求探索出一条适合高职高专特色人才培养模式的英语教学改革新途径。     

《四世同堂》的家族景观和胡同世情

在长篇巨著《四世同堂》中,老舍先生携带他浓郁的文化意识,通过解剖沦陷区的一个小胡同,并刻划以祁家为中心的一系列胡同居民,来展现八年抗战时期国家和民族的命运。小说中"家族"生活与"小胡同"的世情民生,是作家进行文化思考的窗口和载体。认真解析小说的文化讯息,从中可以窥见老舍对传统民族文化、国民性弱点进行反省批判,探索民族生存方式改造重建之路的深层文化思考。     

两类自反有向平衡不完全区组设计的存在性

给出了一个递归构造，并且应用这个递归构造给出了区组长为4，v≡2（mod12)和v≡6（mod 12)的SCDB（4，3；v)；这相当于上述两类结构存在性的证明。     

谈面向对象编程

近年来，在计算机软件业，面向对象的程序设计的思想已经被越来越多的设计人员所接受．面向对象的编程(OOP)和数据抽象已经成为最常用的编程术语．本文以C 为例，讨论OOP的编程风格与特性．     

基于B/S的客户关系管理系统的设计与实现

客户关系管理系统通过对客户详细资料的深入分析来提高客户满意程度，提高企业的竞争力，是现代企业的竞争法宝．文章以SuniAIR集团公司的客户关系管理系统开发为背景。提出了基于B／S模式的客户关系管理系统。研究并设计了其体系结构。详细介绍了其主要模块功能．该系统运行效果良好，取得了预期效果．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．