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

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

A-B variable and reactions to nonimmediacy in neurotic and schizoid communications: A longitudinal analogue of psychotherapy.

Selected 36 A- and 36 B-type male undergraduates from the scores of 225 Ss on a 19-item version of the A-B scale. Ss responded verbally and therapeutically to neurotic and schizoid videotaped enactments displaying improvement, no change, and deterioration over the course of psychotherapy and exhibiting high and low conditions of verbal nonimmediacy in their communications to the therapist. A types were more immediate with the schizoid, and Bs with the neurotic, communications. Results concerning the longitudinal response to the changing display of nonimmediacy were equivocal, but subjective reaction conformed to expectancies and there was other, indirect support for the longitudinal hypothesis. Substantive conclusions are drawn concerning verbal nonimmediacy in relation to therapist-patient compatability-incompatability and as a potential intrachannel process variable in psychotherapy. The nonimmediacy model is confirmed and extended in a complex, ongoing, dyadic interaction. (24 ref.) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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.<>     

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

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

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.     

Subgroups among opiate addicts: A typological investigation.

Applied a multivariate correlational clustering technique to the MMPI profiles of 1,500 addicts, subdivided into 10 subsamples (5 for each sex) representing 4 different categories of admission into treatment (civilly committed, volunteers, probationers, prisoners). Within each subsample, 2 homogeneous and replicable profile types were isolated. Type I (33% of all Ss) showed elevations on Scales 2, 4, and 8, suggesting marked subjective distress, nonconformity, and disturbed thinking. The much smaller Type II (about 7% of Ss) showed a single peak on Scale 4. 60% of Ss thus were unclustered. The 2 basic types, however, were effectively discriminated on a variety of other psychometric indices and were consistent with the 2 major profile types found among alcoholics in prior research. (29 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A prototyping language for real-time software

PSDL is a language for describing prototypes of real-time software systems. It is most useful for requirements analysis, feasibility studies, and the design of large embedded systems. PSDL has facilities for recording and enforcing timing constraints, and for modeling the control aspects of real-time systems using nonprocedural control constraints, operator abstractions, and data abstractions. The language has been designed for use with an associated prototyping methodology. PSDL prototypes are executable if supported by a software base containing reusable software components in an underlying programming language (e.g. Ada)