非煤矿山安全评价技术与实践

介绍了非煤矿山安全评价的内容、程序、评价方法等安全评价技术，并结合马鞍山矿山研究院多年来承担非煤矿山安全评价的实例，阐述了非煤矿山开展安全评价工作的重要性。     

When time does not heal: Understanding the importance of avoiding unnecessary delay in the resolution of tort cases.

The debate that rages between tort law's critics and supporters presents 2 camps that appear to be unable to reach any agreement about the direction of tort law. However, both share an unexplored concern with the psychological consequences of delay in resolving tort claims. Examining this shared concern is critically important because current managerial attitudes about delay in the resolution of tort cases fail to appreciate the psychological harm it causes. This article examines the psychological harm both to plaintiffs and defendants of unnecessary delay in the resolution of tort cases and concludes that a right to speedy trial is important in civil cases. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Child custody cases: A content analysis of evaluations in practice.

Guidelines for custody evaluations recommend multiple ways for assessing the parent-child relationship and outline appropriate means of assessing special issues such as domestic violence, child abuse, and substance use. However, little is known about the implementation of these guidelines in practice. This study examines 60% of custody evaluations in one circuit court over a 2-year period. Custody evaluations were examined for adherence to guidelines and for differences based on evaluator training. This analysis suggests much variety in techniques used and a lack of consistency between guidelines and clinical practice. The findings suggest a need for more standardized approaches to conducting custody evaluations as well as the assessment of domestic violence, child abuse, and substance abuse. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Legal perceptions of science and expert knowledge.

In the past half century, expert testimony has played an increasingly important role in American litigation. As the volume of expert testimony has grown, so have issues surrounding its admissibility into evidence. In the past decade, a trilogy of U.S. Supreme Court cases redefined the rules governing admissibility. This article reviews these cases and examines some of the assumptions about expert knowledge implicit in the opinions. It argues that the opinions ask judges to assume the role of scientific methodologists. Together, the 3 opinions reflect what Steven Cole calls a realist-constructivist view of science. Science is socially constructed both in the laboratory and in the wider community, but the construction is constrained by input from the empirical world. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

仪表电源系统人性化设计与探讨

对大型石油化工装置的仪表电源伤人事故进行调查追踪，分析问题的实质所在，有针对性地进行理论探讨，提出自己的设计思路和应用实例，为仪表电源系统人性化设计提供了借鉴。     

嵌入式星载软件单元测试方法探讨

软件测试是软件质量保障的基础,而单元测试是软件测试的重要阶段,单元测试用例的设计是软件测试的重要环节。文章重点结合xx型号嵌入式星载软件的一个模块,详细介绍并论述单元测试的方法。     

基于符号执行和LTL公式重写的测试用例产生方法

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic, LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.     

中医医案数据库的数据基础研究

探讨了中医医案数据库的构建,寻找对医案数据库进行规范化数据处理的可行性方法。针对医案文献数量巨大,收录散杂的问题,提出了对历代医案进行整理,建立数据库的方法。并且,针对词性标注容易引起语义缺失的问题,提出了以语义标注作为医案信息抽取规则的方案。通过研究,表明基于语义标注的医案信息抽取方式有一定的可行性和适用性。     

Palmoplantar Keratoderma: A Molecular Genetic Analysis of Family Cases

Palmoplantar keratoderma is a clinically polymorphic disorder with a heterogeneous etiology characterized by marked hyperkeratotic lesions on the surface of palms and soles. Hereditary forms of palmoplantar keratoderma usually have autosomal dominant inheritance and are caused by mutations in dozens of genes, most of which belong to the keratin family. We carried out clinical and molecular genetic analysis of the affected and healthy members of four families with autosomal dominant palmoplantar keratoderma. In three out of four family cases of autosomal dominant palmoplantar keratoderma, the following molecular genetic causes were established: in two families—previously non-described missense mutations in the AQP5 gene ({"type":"entrez-nucleotide","attrs":{"text":"NM_001651.4","term_id":"1519473780","term_text":"NM_001651.4"}}NM_001651.4): c.369C>G (p.(Asn123Lys)) and c.103T>G (p.(Trp35Gly)); in one family—a described splice site mutation in the KRT9 gene ({"type":"entrez-nucleotide","attrs":{"text":"NM_000226.4","term_id":"1519245988","term_text":"NM_000226.4"}}NM_000226.4): c.31T>G. In one family, the possible cause of palmoplantar keratoderma was detected—a variant in the KRT1 gene ({"type":"entrez-nucleotide","attrs":{"text":"NM_006121.4","term_id":"1519311739","term_text":"NM_006121.4"}}NM_006121.4): c.931G>A (p.(Glu311Lys)).