安全协议形式化混合分析技术的研究与应用

分析了模型检测技术和逻辑推证技术的优点与不足，介绍了两种形式化分析方法相结合的混合分析方法，并给出实例，证明混合分析技术在检测协议漏洞方面是更为完全的。该技术的效率大大高于一些起初的模型，且易于实现。     

智能软件Agent的中间件模型

Agent技术的应用潜力是巨大的，已经在许多领域尝试使用，解决一些复杂问题，但要开发智能软件Agent要求具有多方面的先进技术，如知识表达、推理、网络通信等技术，开发者难以使用。为了减少开发时间和代价，文章提出了智能软件Agent的一种中间件模型，并且介绍了这个模型如何创建Agent.     

新型气体分析系统在转炉煤气回收中的设计及应用

提高对转炉煤气的回收与利用,不仅保护大气环境,而且可以降低企业能源成本消耗。论文以冶炼工艺安全生产和煤气回收再利用为目的进行转炉煤气在线分析系统的研究与应用,设计一套新型转炉煤气在线气体分析系统,通过改进采样探头的结构,设计防堵塞、免维护探头,可有效延长维护周期、降低维护成本;增加预抽装置,缩短系统响应时间。该系统运行可靠、免维护周期长、成本低、性价比高。     

预应力抗浮锚杆在地下室工程实际应用中的问题分析

详细分析了预应力抗浮锚杆在地下室工程设计、施工中的问题,从设计、施工等方面对预应力锚杆使用过程中出现的渗水问题进行分析汇总,并提出改进措施,以期为相关工作人员提供参考.     

信息技术在小学英语教学中的应用

信息技术与课程整合,不仅仅是把信息技术作为辅助教或辅助学的工具,而是强调要把信息技术作为促进学生自主学习的认知工具和情感激励工具,利用信息技术所提供的自主探索、多重交互、合作学习、资源共享等学习环境,把学生的主动性、积极性充分调动起来,使学生的创新思维与实践能力在整合过程中得到有效的锻炼。信息技术与课程整合是改变传统教学结构、实施创新人才培养的一条有效途径。     

混凝土工程施工裂缝控制方法

混凝土结构裂缝是重要而复杂的问题。从结构设计、原材料使用、混凝土施工、环境条件等方面分析混凝土产生裂缝的主要原因,对混凝土裂缝的控制方法进行了探讨。     

白喉毒素活性片段的电子结构研究

利用InsightⅡ软件包中的Homology模块,通过同源建模的方法在SGI02图形工作站上依据白喉毒素晶体结构,在其催化区的活性部位截取了S^146-Q^155、S^19～N^45、N^45-S^55和T^56-N^71 4个片段,每个片段只含有一个α-螺旋。以此构象为结构基础,利用量子化学半经验AM1方法,分别对4个片段进行了量子化学计算,得到了重要的电子结构信息,为突变研究提供了理论依据。研究结果表明,在与受体相互作用时,能够提供电子的主要氨基酸是D^29、D^49、D^59、E^154、D^47、E^70、E^148,能够接受电子的主要氨基酸是K^39、F^53、K^59、Y^54、Y^149、K^37、K^24、W^153,能够同受体进行疏水作用的主要氨基酸是Y^20、H^21、Y^27、I^31、I^35、Y^46、W^50、F^53、Y^54、Y^60、Y^65、Y^149、I^150、W^153,上述氨基酸都可能对活性产生重要影响。     

上海市部分瓶装饮料中玻璃屑情况调查分析

我市食品卫生监督人员在执法检查中发现玻璃瓶装饮料中经常有玻璃屑或其它外来杂质存在,为调查了解产生碎玻璃的原因,以采取相应措施,保障消费者食用安全,我们对本市生产的瓶装饮料进行了调查。 1 调查方法 1.1 现场随机抽取十一家大、中、小型生产厂的瓶装饮料16个品种近2000瓶,在自然光下将瓶倒置对光仔细观察,分别计算     

葵花籽—菜籽调合油(KC调合油)的实验室制备

近年来我国葵花籽油和菜籽油生产有了很大发展.葵花籽油虽然亚油酸含量高但不易储存;菜油芥酸含量高而可能对人有影响.为了改善食油的脂肪酸组成和营养价值,增加油的稳定性,降低芥酸含量,使之更适合我国人民的需要,进行了葵     

炼钢饱和蒸汽回收利用技术

本文通过提高蒸汽压力和温度,改造蒸汽管道,并对汽轮机结构进行技术改造,解决了原蒸汽回收量少、蒸汽品质差、汽轮机发电效率低、机组磨损严重的问题。蒸汽回收量比原来增加30 kg/t,发电效率提高了24%,日均发电量比原来提高了50000 kW·h,极大地提高了炼钢饱和蒸汽的回收利用效率。