部分计值综述

部分计值是一种程序转换技术．在给定程序部分输入的情况下，可使用该技术对程序进行例化，完成程序中尽可能多的计算，最终得到高效的剩余代码。人们已经研究了许多程序设计语言的部分计值系统，并把它们应用到编译和编译器生成、计算机图形学等领域。本文介绍了部分计值理论及其应用．讨论了Java部分计值器的研究现状．并简单描述了本课题组设计的一个Java分布式部分计值系统DJmix。     

FP──VLSI自动综合系统

ＦＰ—ＶＬＳＩ自动综合系统是一个集成化的ＶＬＳＩ自动设计工具，它能完成从并行算法到脉动算法到脉动结构再到逻辑结构最后到ＣＭＯＳ版图的自动综合过程．ＦＰ—ＶＬＳＩ系统以脉动阵列为ＶＬＳＩ的体系结构，采用具有良好代数性质的ＦＰ／Ｂ语言作为各层次的描述语言，通过程序变换进行综合和优化．该系统支持形式化的ＶＬＳＩ设计方法，能保证设计结果的正确性．     

DODM：演绎型对象数据模型

演绎型对象数据库是演绎数据库和对象数据库结合的产物，它集成了演绎数据库的查询推理能力和对象数据库的强大建模能力。文中在已有的研究基础上较系统地研究演绎环境下对象数据模型，提出将类作为对象逻辑标识的集体和构造子；关系和集合为一类类构造子，体现了实体关系数据模型的思想；将型作为性质的集体，显式地区分类和型。引入型间偏相似关系来刻画继承语义，使得单继承、多继承和单调继承、非单调继承统一于型间偏相似关系，     

一种基于设计模式的三阶段并行程序设计方法

并行程序的可编程性是并行计算的难点之一，使用传统的方法对非数值问题进行并行求解则更加困难。通过对设计模式概念的扩展，定义了算法模式与结构模式，以此为基础提出了一种基于设计模式的三阶段并行程序设计方法，并通过算法模式库与结构模式库实现对该方法的系统支持，该方法不仅可有于一般的数值问题求解，而且在处理复杂的非数值问题时与传统方法相比要简单得多，通过一个简单的数值问题和一个复杂非数值问题作为实例说明了使用这一方法进行问题并行求解与并行程序设计的过程。     

基于流行度的自适应Web预测模型

目前基于局部匹配预测（PPM）模型的研究关注的焦点是在保证预测精度的前提下,尽量缩减PPM的空间占用,但缺乏自适应动态更新机制,难以实现在线预取。针对Web访问特点,提出了基于流行度的自适应预测模型。该模型的核心是基于Web对象流行度的PA PPM预取算法,通过模型构造、模型预测和模型更新三个过程实现了动态自适应的Web预取。讨论并实现了确定性上下文预测,最优阶估算以及上下文LRU替换策略等功能。在Web缓存与预取一体化条件下的实验表明,该模型具有较高的性能,适用于在线预取。     

可预测并行性能的并行程序设计

研究具有可预测并行性能又独立于体系结构的可扩展并行软件的开发方法和工具当前并行计算领域的研究重点和执点。本文基于ＢＳＰ模型提出了两阶段ＢＳＰ并行程序设计方法。     

“华北制药”药品不合格 会引起不良反应——湖北药监抽查：华北制药“注射用头孢唑林钠”溶液的澄清度与颜色不合格

2009年7月,湖北省药监局发布了2009年第一季度《湖北省药品质量公告》（鄂食药监文[2009]35号）。公告显示,标称华北制药股份有限公司生产的“注射用头孢唑林钠”（规格：0．5g;批号：K080383）,“检查（溶液的澄清度与颜色）”不合格。     

多层车库风量需求特性与风口布置优化分析

基于国内外现有车库通风量计算理论,并借助CFD方法,分析了多层车库在不同通风量和不同排风口设置位置下的通风气流组织效果,并对部分污染负荷下的风量需求特性进行了分析。结果表明,多层车库的通风量确定可采用单台车所需排气量法进行估算,并推荐采用稀释浓度法进行设计计算;其排风口宜布置于车库顶部以利于污染物有效排除。另外,部分污染负荷下的风量需求比例要高于对应的污染负荷比例。