集成CCS和B语言的形式化方法

本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。     

基于AutoCAD的圆锥螺旋叶片设计新方法

针对圆锥螺旋输送机叶片设计、制作时计算量大、准确性差、效率低下的缺点,结合工作实践,提出了一种螺旋角任意等分、利用VB语言编程控制、在AutoCAD平台上自动绘图的设计新方法。实践证明,该方法速度快、准确性高、实用性强,能大大提高设计精度和工作效率。     

获奖单位代表在颁奖大会上的发言

各位领导、各位代表、各位同仁： 大家上午好!今天,在这春光明媚的大好时刻,我们上海宝冶集团有限公司的代表和安装企业同仁们与中国安装协会的领导们相聚北京,欢聚一堂,共享颁奖盛典。     

双层镍添加剂及工艺研究

本文介绍了对国内各种双层镍体系的性能试验情况。对双层镍添加剂的筛选和配套、各镀层的厚度组合关系,镀层的防腐性能及机械物理性能进行了对比试验。同时对双层镍工艺的关键技术——双层镍间电位差的测量进行了介绍。通过一系列试验,从各种添加剂和工艺配方中,找到了满足双层镍应用条件的工艺配方,认为“811”体系的工艺较为理想,它可达到双层镍间电位差为125mV,工作电流密度达到3A/dm~2,耐蚀性能明显提高并具有较高的光亮度。     

混凝土施工缺陷的成因及控制

论述了工程施工中出现的混凝土施工质量缺陷的成因。并且通过工程实践,总结了控制混凝土施工质量缺陷的方法。     

CAD参数化设计在螺旋输送机中的应用

螺旋输送机是工厂和矿山广泛使用的物料输送装置。基于VB语言集成环境,在Au-toCAD平台上对螺旋输送机叶片进行了参数化设计,详细说明了界面设计和模块的使用过程。所设计的应用程序模块具有系统自动加载、用户界面操作简单和运行速度快等特点,可在螺旋输送机设计过程中,大大提高绘图效率,具有很强的实用性。     

助滤剂 SM-40在酮苯装置微晶蜡生产中的应用

为提高酮苯脱蜡脱油装置在微晶蜡生产过程中的过滤速度，在工业装置上采用助滤剂SM－40进行了应用试验。结果表明，SM－40可以使脱蜡段和脱油段过滤机的过滤速度分别提高26.6%和23.1%，从而使装置处理能力提高26.6%；添加助滤剂SM－40对脱蜡油的质量无影响，但可使其收率提高1.9个百分点，并使微晶蜡提高一个牌号，对提高装置的经济效益起到了积极的促进作用。     

卷材屋面施工质量的控制

论述了卷材屋面的设计、组成及具体施工操作要点,提出了防水施工中控制质量的措施。     

高校云计算教学初探

云计算技术与市场的发展引发了对此领域技术人才的极大需求,如何培养云计算人才成了当务之急.文中就我国高校开展云计算教学的必要性与形式做了探讨,并对云计算涉及的核心技术与如何构建云计算实验平台提出了可行的方案.     

基于多重遗传算法的单核苷酸多态性特征选择

应用统计机器学习方法研究大规模单核苷酸多态性(SNP)与复杂疾病的关联关系面临着"维数灾难",首要的工作是把大规模SNP缩减为较小集合.为此,提出了多重遗传算法用于单核苷酸多态性的特征粗选择.该方法首次提出了用互信息衡量SNP与疾病间关联的紧密程度并作为遗传算法(GA)的适应值,通过多次运用遗传算法并合并寻优的结果得到候选的特征SNP集合.在SNP仿真数据上的实验及与最大熵(ME)方法性能比较表明,该方法最大可能丢弃了SNP集合中与疾病无关的SNP,同时保留了与疾病相关的SNP,为进一步研究提供了合适规模的SNP数据,本方法可用于规模中等或较大的SNP集合.