染料标准审查委员会第五次年会在昆明召开

全国染料标准审查委员会于84年12月6至12日在昆明召开。会议总结了审查委员会四年来的工作和成效,高度评价了审委会成员积极认真工作为加速标准制订和促进技术进步所做出的贡献。会上宣布了染料标准审查委会调整后的成员名单并发了聘书。会议审查和通过了22项国家标准(染料的检验方法标准3项、树脂整理剂的检验方法标准6项、表面活性剂——纺织助剂的检验方法标准13项以及分散剂M-9的产品标准)和4项部标准(红色基B、碱性紫5BN、大红色基G的产品标准及染料粒度分布的测定法标准)。     

基于活性顺序图的形式化验证方法及工具研究

近年来,形式化验证方法在软件开发过程的作用越来越大;如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题;总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。     

软件问答社区的问题删除预测方法

Stack Overflow是最受欢迎的软件问答社区之一, 用户可以在该网站发布问题并得到其他用户的回答. 为了保证问题质量, 网站需要尽快发现并删除低质量或者不符合社区主题的问题. 当前, Stack Overflow主要采用人工检查的方式发现需要被删除的问题. 然而这种方式往往不能保证问题被及时发现、删除, 而且加...     

化工部表面活性剂类助剂标准化技术归口单位建立

由于表面活性剂工业迅速发展,表面活性剂类助剂产品的开发、应用和生产已被提到重要日程。化工系统也形成以表面活性剂类助剂为主的表面活性剂工业生产体系,其产品已被广泛应用于国民经济各部门。为加强这些产品技术标准的管理工作,化工部已责成上海染料研究所作为“化工部表面活性剂类助剂标准化技术归口单位”,並希望有关单位给予积极支持、紧密配合。     

毛用染料产品色谱命名阶段工作审议会简况

毛用染料产品色谱命名阶段工作审议会由化工部科技局委托上海市染料研究所于1982年6月30日至7月3日在江苏省吴县举行。参加这次审议会的有来自38个单位的60名代表。与会代表对上海市染料研究所在短短的几个月中所取得的进展表示满意,并对下列五项工作给予了较高的评价: