能流结构图式分析法在丙烯热泵精馏工艺中的应用

提出了一种图式热力学分析新工具－能流结构图，并力图以此为基础，形成一种称之为能流结构图式热力学分析的新方法。该法采用图形方式将技术能量系统的用能特征可视化，使人们便于分析处理大量，复杂的信息，便于把握系统特性，进而完成系统的能量分析与集成，提出创新的节能方案。以该方法在2万t/a的丙烯精馏工艺中的应用为例，证明了新方法的实用性和有效性。     

基于SCE-UA算法新安江模型在沣河流域的应用

为了探索人工试错法和基于SCE-UA算法的自动优选法这两种方法在混合产流地区的拟合效果,选取新安江模型对半湿润半干旱地区陕西沣河流域进行参数优化。探讨基于SCE-UA算法的新安江模型在沣河流域的适用性,重点分析了参数的变化情况,发现两种方法模拟的次洪参数SM、CS变化较大。研究结果表明:基于SCEUA算法的新安江模型在沣河流域适用性较好,相对人工试错法参数取值更加合理,提高了优化速度与模拟精度,具有简便、高效的特点。     

一种用于异构环境中并行任务调度的弹性节能算法

节能调度算法设计是高性能计算领域中的一个研究热点。本文通过软件方法设计异构多核计算机的调度算法,实现系统的弹性节能,达到降低能耗并提升系统性能的目的。本文的调度策略建立在基于处理器异构的并行任务调度的环境中,构建了节能模型,提出了EAPS（Energy-aware parallel scheduling）算法模型,该算法在每一任务完成之后重新计算优先级以使优先级符合任务的实时情况,并对复制的前驱任务是否冗余任务进行判断从而避免资源的浪费,并通过调节节点电压选择能耗最少的节点进行调度,在节能与期望完成时间之间取得平衡。     

大学计算机基础教学存在的问题与对策

分析大学计算机基础课程教学面临的问题,从消除课程认识误区、分类分层次教学、增强学生学习积极性和提高教师自身素质等方面提出一些应对措施。     

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战。 Cubicle是最近出现的基于SMT求解器的带参模型检测工具。我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证。实验结果表明, RCC协议在结点个数为任意规模时均满足协议的各种安全性质。     

加成型无溶剂硅树脂

由有机氯硅烷出发,经过共水解缩聚分别制得聚甲基乙烯基硅氧烷,聚甲基苯基乙烯基硅氧烷及聚甲基苯基氢硅氧烷,然后加入铂催化剂,配成双组份型无溶剂硅树脂。在加热及铂催化剂作用下,实现交联固化。固化后的树脂具有良好的内干性、导热性及耐电晕性等。无溶剂硅树脂不仅应用工艺简便,而且不污染环境。     

甲烷磺酸的合成研究

先用硫氰化钾（ＫＳＣＮ）和硫酸二甲酯（ＣＨ３）２ＳＯ４合成硫氰酸甲酯（ＣＨ３ＳＣＮ），再由硝酸溶液将其氧化为甲烷磺酸（ＣＨ３ＳＯ３Ｈ），两步的收率分别可达６５％和８３．２％，并采用了两种不同的分离和纯化产品的方法。     

红曲霉的分离及其红曲米的生产

根据红曲霉菌的性质，用双抗淀粉培养基从红曲米中分离纯化得到一株红曲霉菌株(Monascus FMI)，用该菌种生产的红曲米色泽为紫红色。总色价为1430U／g。     

新型多学科交叉在商业智能中应用研究

阐述了多学科交叉与融合是当今科学发展的必然趋势[1],分析了学科交叉的优势,提出了计算机学科推动多学科交叉融合的思路。如今商业智能技术方兴未艾,而且和最新的计算机技术紧密结合。比如微软在其最新的商业智能产品中就提供了强大的云计算[2]支持,利用大数据搜集与分析功能服务于信息。在正式推广前联合世界著名的机构如(PASS)和公司(EMC)在全世界范围内开展了大规模的产品测试活动,力图将来为企业提供多级别、多层次的产品和服务,这将是一种不可逆转的趋势。可见基于云计算的计算机技术是社会发展进步的必然产物。     

计算机网络安全问题浅析

随着计算机网络全球化和网络技术的快速发展,网络在人们日常生活中得到了广泛的应用,也为众多的企业发展做出了很大的贡献。然而也增加了一些不法份子网络犯罪的发生率,从而使网络安全日益成为人们关注的焦点。所以本文首先对网络安全的定义做了简单的介绍,其次分析了威胁网络安全的因素,最后针对计算机网络目前存在的安全问题提出了一些网络防范措施,并希望通过本文的研究对计算机在预防网络安全方面的发展有一定的帮助。