显影液QA,QC的科学方法

本文为自动洗片机用高温快速显影液的科学管理与质量保证提供了简便、科学的检测方法,力医(?)影像质量的提高提供了可靠的保证。具有科学性、实用性、普及性。     

使用毛细管电泳定量分析黑白显影液衰退反应中的对苯二酚和对苯二酚单磺酸盐

使用毛细管电泳分离并定量分析了对苯二酚——— 1种黑白显影液中的显影剂和它的衰退反应产物对苯二酚单磺酸盐。优化了的毛细管电泳分离。     

2,4-二氯-3-乙基-6-硝基苯酚的合成

介绍了以对硝基乙苯为原料 ,经三氯异氰脲酸氯化反应、碱解反应和酸化反应 ,高纯度 (大于 99% )、较高收率和较低成本地合成了目的产物的方法。该方法具有氯化试剂的投料量易于控制和反应控制简便等优点     

基于开发者协作关系和信息检索的需求跟踪系统

目前自动化需求跟踪的研究广泛使用文本信息检索技术。然而信息检索会遗漏一些文本不相似但是实际相关的软件制品,导致自动化跟踪的精度不高。针对上述问题,提出利用开发者协作关系来进行优化,研发了基于开发者协作关系和信息检索的需求跟踪系统。该系统在进行需求跟踪时,首先用信息检索推荐与需求文本上相似的代码,然后从代码提交日志中挖掘开发者协作关系,根据开发者协作关系再推荐相关代码,用户根据两次推荐的结果确定正确的需求代码跟踪关系。试验结果表明该系统能够找到信息检索遗漏的需求跟踪关系,能够提高自动化跟踪的准确性,节省跟踪时间。     

A comparison of tools for teaching formal software verification

We compare four tools regarding their suitability for teaching formal software verification, namely the Frege Program Prover, the Key system, Perfect Developer, and the Prototype Verification System (PVS). We evaluate them on a suite of small programs, which are typical of courses dealing with Hoare-style verification, weakest preconditions, or dynamic logic. Finally we report our experiences with using Perfect Developer in class.     

场地平土和雨水管网的综合优化设计

通过寻求最小土石填挖量的场地标高和坡度设计,在满足土石填挖平衡的基础上,分析了场地平土的优化设计.同时在给定场地坡度的前提下,分析了雨水管网的布置,得出最优的管线布置.其次,将场地平土和雨水管网布置结合起来,在统一考虑场地平土坡度对平土费用和雨水管网布置费用影响的基础上,得出了二者总体费用最小的综合优化模型.最后,通过实例与分步设计方案费用的比较,证实了该综合优化模型的有效性.     

暗室中的几种废品处理方法

本文介绍了暗室操作中产生的几种废品处理方法。采用正确的废品处理方法可以节约资源，减少环境污染。     

重庆装修房市场前景分析

装修房在北京、上海、广州等地非常普遍而且发展迅速，但在重庆却非常少见。本文结合有关重庆装修房市场的调查，分析了重庆市装修房市场的现状，并从政府、开发商、消费者和装修行业的角度剖析了装修房市场在重庆发展缓慢的原因。最后，本文针对以上原因分别提出了推行装修房的对策，从而得出结论：装修房与毛坏房相比，存在着不可超越的优势，又因其对政府、开发商和消费者都有利，因此装修房的推广在重庆是一种必然的发展趋势，而且大有市场，发展前景非常可现。     

物业管理服务质量的产权分析

从产权关系入手分析了开发商与物业管理企业两者间的关系。从明确物业管理企业和开发商的产权、重组物业管理企业的产权使其多元化和建立物业管理企业合理的治理机构等方面规范物业管理企业,从而提高物业管理企业的竞争能力,提高物业管理服务质量。     

Interventions for long-term software security: Creating a lightweight program of assurance techniques for developers

Though some software development teams are highly effective at delivering security, others either do not care or do not have access to security experts to teach them how. Unfortunately, these latter teams are still responsible for the security of the systems they build: systems that are ever more important to ever more people. We propose that a series of lightweight interventions, six hours of facilitated workshops delivered over three months, can improve a team's motivation to consider security and awareness of assurance techniques, changing its security culture even when no security experts are involved. The interventions were developed after an Appreciative Inquiry and Grounded Theory survey of security professionals to find out what approaches work best. We tested the interventions in a participatory action research field study where we delivered the workshops to three software development organizations and evaluated their effectiveness through interviews beforehand, immediately afterwards, and after twelve months. We found that the interventions can be effective with teams with limited or no security experience and that improvement is long-lasting. This approach and the learning points arising from the work here have the potential to be applied in many development teams, improving the security of software worldwide.