高师院校无机化学实验教学改革初探

文章分析了目前高师院校无机化学实验课程教学中存在的各种问题,初步探讨了无机化学实验教学改革的必要性,改革内容包括课程教学内容、教学方法、教学手段等等。     

CRISPR/Cas生物传感器检测食源性病原体的研究进展

食源性病原体引起的食源性疾病严重威胁着人类的健康，灵敏且快速检测食源性病原体成为预防疾病发生的重要手段。生物传感器具有灵敏度高，无需富集即可实时定量，易于现场检测等优点。CRISPR/Cas系统与生物传感器结合可提高生物传感器检测的灵敏度和准确性。本文介绍CRISPR/Cas系统的分类及作用机制，回顾基于CRISPR/Cas的各种生物传感器检测食源性病原体的方法，包括荧光传感器、电化学传感器和侧流层析试纸，分析应用不同Cas蛋白检测的优缺点，为食源性病原体的检测提供借鉴。     

客观性、原则性、灵活性——容积率“值域化”在石嘴山星海湖新区控规中的实践探索

容积率"值域化"是由容积率影响因子与容积率之间的数理模型推导出的一个(容积率)区间值。研究以既有容积率"值域化"研究为基础,针对石嘴山星海湖新区内容积率确定过程中存在科学依据不足、价值取向模糊和"刚弹"适应欠缺的现实问题,结合新区内具有商业开发性的居住用地和商业服务业设施用地,运用"值域区间(控制性指标)—引导数值(引导性指标)—调整区间"的控制方法,对"值域化"的实践进行探讨,从而最终实现容积率"值域化"控制。     

An introduction to the specification language SPEC

SPEC expresses black-box interface specifications for large, distributed systems with real-time constraints. It incorporates conceptual models, inheritance, and the event model. The design of SPEC is discussed, and its primitives, consisting of functions, types, machines, and generators, are described.<>     

构造毛管压力曲线法在A油田储层评价中的应用

苏北盆地A油田的中低孔渗储层,由于受不同成岩作用的影响,孔隙结构复杂,且储层段存在不同流体时的电性关系复杂,基于电法测井的解释图版难于识别储层含油性,测井储层参数的计算精度也偏低。在现有研究成果的基础上,引入综合物性指数C分类选取毛管压力曲线的进汞压力初始点,分类构造相应每一个进汞饱和度下的进汞压力与孔隙度和渗透率之间的对应函数关系,再逐点构造新的毛管压力曲线。通过与实测毛管压力曲线对比可知,该方法所构造的毛管压力曲线可较好地适用于中低孔渗储层。采用该方法计算的含水饱和度与核磁共振计算的束缚水饱和度综合,建立了储层流体的识别图版,在苏北盆地A油田的中低孔渗砂泥岩储层评价中取得了较好效果。     

Logic programming and software maintenance

The main objective of this short paper is to describe the relationship between software maintenance and logic programming (both declarative and procedural), and to show how ideas and methods from logic programming (in particular, methods invented by M. Gelfond) can be used in software maintenance. The material presented in this paper partly appeared in (Luqi and Cooke, 1995). The main difference is that (Luqi and Cooke, 1995) is aimed mainly at software engineers, so it only briefly touches on the software engineering problems, while describing in great detail the basics of logic programming. In contrast, in this paper, we assume that the corresponding logic programming notions are well known, but describe the corresponding software engineering applications in greater detail. This revised version was published online in June 2006 with corrections to the Cover Date.     

特高压直流杆塔新型复合横担布置研究

借鉴以往复合横担杆塔的设计经验,从绝缘配置、电磁环境、空气间隙、电位分布计算和纵向不平衡张力等方面对特高压直流线路杆塔的复合横担布置方式进行研究,通过对杆塔钢材、基础指标、绝缘子串费用以及线路走廊费用进行综合经济比较,选择出合理的复合横担布置方案,为特高压直流线路复合横担塔设计提供借鉴和参考。