那些来自动物的病毒

<正>1981年艾滋病被发现后,科学家对艾滋病病毒的来源进行了很多探索。到目前为止,最流行的说法是艾滋病病毒来自非洲喀麦隆的黑猩猩。科学家通过检验生活在喀麦隆南部丛林中黑猩猩的粪便,追查到被感染的黑猩猩体内含有艾滋病病毒。其中,萨那加河流域的黑猩猩感染的猴免疫缺陷病毒(简称SIV)和人类艾滋病病毒最相近。科学家认为,当地人被黑猩猩咬仿,一曦者在猎杀、屠宰黑猩猩时,感染了SIV     

莱布尼茨的概念代数及其外延解释

根据传统的观点,莱布尼茨被视为数理逻辑的最伟大的前弗雷格先驱,但后人同时认为他的失败归之于他对三段论模式和主谓句法过于拘泥。这种近乎矛盾的说法无法解释莱布尼茨既是弗雷格的伟大先驱,同时又是传统三段论的集大成者的历史事实。莱布尼茨作为一位逻辑巨人的历史地位是建立在他对古老三段论的隐藏力量和范围继承及发展的基础上的,正是这种继承和发展决定了他比同时代的任何人都更加清晰地预见了新逻辑的诞生。莱布尼茨的概念代数就是这样一个承上启下的系统,但由于种种原因,这一承启作用只体现于逻辑史的重构中。     

如何应对那几天的痛

正进入青春期的晓婷,生长发育得很好,可就一件事经常闹心——每次来月经时总是肚子痛。幸好不是太严重,忍一忍就过去了。可是,晓婷的父母听说,痛经会引起不孕不育,于是就带她到医院检查了一下。医生说没有发现异常病变,属于原发性痛经,只要晓婷注意日常保健和经期卫生,随着进一步的生长发育或结婚生育后就会好转的。     

中医耳鼻喉科中文名词术语选词、定名与释义规范表述

中医耳鼻喉科中文名词术语规范与审定工作作为中医临床术语规范与审定工作中的一环,遵循中医临床术语规范与审定工作的普遍规律,同时又有着自身的特点。文章介绍了中医耳鼻喉科中文名词术语的选词、定名工作和注释的规范表述方法等,以期为中医临床各科术语规范与审定方法的探讨提供借鉴和参考。     

新建中波台优化方案及实施（1）

随着城市发展规模不断扩大，中波台天线场地被侵占，地网等设施遭到损坏，逐渐成为普遍问题。这不仅严重危及安全播出，而且使台站发展空间受到挤压。池州台正是在这样的情况下开始了易地重建工作。经过一年的建设，新台区于2008年9月中旬正式投入运行。在建台过程中，我们遵从中波台技术规范的基本要求，注重新台址的实际情况，从提高播出效果这一根本目的出发，开展了一系列科技创新活动，采用了多项技术措施，     

蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

从语形学、语义学到语用学

1逻辑语用学的兴起 逻辑语用学是关于形式系统的一种使用理论，它研究公式与使用者以及使用者与公式所指之间的关系。...     

基坑工程的安全性分析与研究

介绍了基坑工程的安全隐患问题和基坑变形的基本概念。影响基坑工程安全的多种因素和确保基坑工程安全性的设计规范及施工措施。     

Buffon丢针问题的推广(续)

本文是在文献[1]的基础上,分别对Buffon丢针问题四类推广中,Buffon针之长度或直径大于平行直线族或平行平面族之间距离的情形进行了讨论。在此情形下,求出了Buffon针与平行直线族或平行平面族相交的概率。     

医学名词“证”、“症”、“征”规范使用的探讨

“证”、“症”、“征”在医学领域是使用频度颇高的三个 (字 )词 ,由于其音、形、义相近 ,因而在取舍时不易辨别。虽然在全国科技名词委公布的《医学名词》中已有规范 ,但在实际应用上仍然见仁见智、不尽相同。为此 ,本刊组织中、西医学界一些专家 ,就此三词据理辨析 ,以求正本清源 ,达成一致意见。本栏刊出后 ,欢迎广大读者来文来函 ,进一步发表意见。