开放逻辑中的R-重构

为了刻画知识的增长,更新以及假说的进化,Li最近建立了一个开放的逻辑理论.开放逻辑的一个基本概念就是R-重构,R-重构不具有唯一性,文献中指出了这一点.对任意给定的假说Γ和语句A使得Γ=A且.A有事实反驳,我们给出了Γ关于A的事实反驳的R-重构唯一的充要条件.令R-recons(Γ,A)为所有Γ关于A的事实反驳的R-重构的集合,我们讨论了当Γ,A变化时,R-recons(Γ,A)的基数的可能变化范围.     

允许修改推理规则的开放逻辑

最近,李未为了刻划知识的增长、更新以及假说的进化建立了一个开放的逻辑理论,特别是得到了认知进程的收敛性定理这样一个深刻的结果。其后,他在文献[2]中又将其作为逻辑框架应用于知识基的维护。在知识库中,除了一些事实(相当于句子)作为知识之外,还有其特有的一些推理规则,而且这些推理规则有时也会遇到反驳,需要加以修改和维护。本文试图在开放逻辑中引入推理规则的反驳与修改。值得注意的是,其它一些关于知识基维护的理论,如Alchourrón,Grdenfors与Makinson都没有触及这个问题。     

将来会有一根不发粘的热导管吗?(中国航天事业的发展)

自从1970年4月24日发射第一颗人造地球卫星以后,中国进入了空间,已经不是说说笑笑的事了.那颗卫星上所广播(音频的,不是视频的)的民歌,迄今还是记忆犹新.确实是无可置疑,许多人都承认这样一个事实,中国火箭技术的迅速发展,恰恰是对那些无视事实的人的反驳.     

Levesque的信念逻辑中模态词O的若干语义特征

Levsque的信念逻辑具有一个特别的模态词O,这使得表达“仅仅某一句子(或有限个句子)被相信(或被知道)”成为可能.在这种逻辑里仅利用古典的元逻辑概念(可满足性,永真性,蕴涵)就可以刻画推理的非单调性,而在其他信念逻辑加Moore的自动认识逻辑中,非单调推理的刻画需用到一些新的元逻辑性质的概念.由此看来,模态词O的研究具有特别重要的意义.这方面我们已有一些结果.本文将给出所谓k确定的句子的若干重要性质,而文献[1]仅讨论了1确定的句子.     

模糊命题演算的一种形式演绎系统

Elkan1993年7月在美国第11届人工智能年会上作题为“模糊逻辑的似是而非的成功”的报告起了一场轩然大波,随即有15位从事人工智能与模糊系统研究的专家对其进行了反驳,最后Elkan又以“关于模糊逻辑的似是而非的争论”作答.吴望名教授就此作了专门分析.这一事实表明就模糊命题演算而言还没有一个严格的逻辑基础.本文首先指出,在模糊命题演算的范围内,希望保持所有的经典定理为重言式是不可能的;然后在放弃了个别经典公理的基础上引入了模糊命题演算的一种形式演绎系统,证明了相应的可靠性定理.1 模糊公式及其赋值定义1 设S是非空集,其元素称为原子命题或原子公式,“(?)”,“∨”,“→”是连接词,“(”与“)”是括号.规定     

巴斯德的科学哲学思想

文章首次对１９世纪法国著名有机化学和微生物学奠基人巴斯德的科学哲学思想作了探讨,内容有：宇宙是不对称整体;实在即无限;理论的价值在于预见新的事实;问题－假说－实验是科学发现的逻辑;机遇偏爱有准备的头脑。     

利用非洲爪蟾卵的提取物与Lambda DNA进行核重构试验

近年,在国际重要学术刊物上先后发表多篇有关“核重构(或核组装)”的论文,一些科学家认为这是近年细胞生物学领域重要进展之一。我们认为虽然对其理论意义及其在生物工程实践中应用前途的评估还为时过早,但这项研究的前景是令人鼓舞的。体外核重构实验模式的建立对阐明细胞核、染色质、核膜与核骨架的组装及其功能的相互关系以及一系列重要生命现象,无疑将提供一个良好的实验模式。     

一种基于软硬数据的多孔介质重构方法

多孔介质三维重构对渗流机理的研究具有重要意义, 利用真实的多孔介质三维结构数据将有助于定量描述多孔介质不规则的拓扑结构. 仅使用硬数据或无条件数据时, 多孔介质三维重构的精度不高. 但是, 如果在重构过程中结合使用软数据, 则可以提高重构的准确性. 同时使用软数据和硬数据, 提出了一种利用多点地质统计法重构多孔介质三维结构的方法. 通过比较各重构图像的变差函数和渗透率(由LBM计算得出)发现, 将软硬数据同时作为条件数据时的重构图像与体数据获得的目标图像在结构特征上最为相似.     

人类少毛的三大假说

达尔文在他的进化论中首次提出了人类是由猿进化而来的假说.自此以后,这个结论一直有不少科学家在争论.其中一个很重要的疑问是:猿的体毛很密很长,而人类的体毛为什么十分稀疏?为此,不少科学家又提出了一些十分奇特的猜想,其中比较重要的三大假说是"水猿假说"、"散热假说"和"免寄生虫骚扰假说".     

人类少毛的三大假说

达尔文在他的进化论中首次提出了人类是由猿猴进化而来的假说.自此以后,这个结论一直有不少科学家在争论.其中一个很重要的疑问是:猿猴的体毛很密很长,而人类的体毛为什么十分稀疏?为此,不少科学家又提出了一些十分奇特的猜想,其中比较重要的三大假说是"水猿假说"、"散热假说"和"免寄生虫骚扰假说".     

气孔开放时保卫细胞液泡中某些高聚物解聚对渗透调节的作用

电子显微镜观察显示: 蚕豆(V. faba L)叶片气孔开放前后, 保卫细胞液泡(GCV)中颗粒的平均体积下降了约3个数量级, 而分布密度增加了约2个数量级. 同时用激光共聚焦显微术的荧光比值法对气孔开放过程的跟踪测定说明, 在第1个可分辨的气孔开放动作前10 ~ 30 s时GCV的pH有一个约-0.5单位的变化, 一个快速的气孔开放过程紧随其后, 在约100 ~ 200 s的时间内达到稳定的约12 μm的开度. 提出了一个由-ΔpH变化诱导的与GCV 内某些高聚物解聚有关的渗透调节模式. 该模式所描述的渗透调节过程避免了传统“化学渗透”假说所依赖的耗能巨大的逆浓度梯度的跨膜运输, 是对气孔运动的多元调控假说的补充, 同时也为植物中其他快速运动机理的研究拓宽了思路.     

另一种新事实观

新事实在拉卡托斯(I.Lakatos)的方法论中起着重要的作用,但他本人却从未得出一个十分满意的关于新事实的定义;也许有人说他仅仅提出了一个新事实加几个例子的简单特性,自拉卡托斯去世以来,这种讨论就一直进行着,许多作者论述了拉卡托斯的本意,批评了他的那些定义并提出了他们自己的——近来作者们相互批评的关于新事实的定义。拉卡托斯最初认为,一个新的事实“按照以前的知识是不大可能甚或根本不可能发生的”事情。在同一篇文章中他主张,对一个旧事实的重新解释可以看作是一个新事实。但他又认为,这种情况即使已经发生了,有时也不会立即明了可见。     

RNA甲基化、代谢重编程与肺动脉高压

脉高压(pulmonary hypertension, PH)是一种以肺血管重构为主要病理特征的临床综合征,患者肺血管阻力和肺动脉压力升高,最终因右心衰竭而死亡.近年来, PH血管重构的分子机制研究逐步深入, RNA甲基化作为当前生命科学领域的研究热点,被证实在PH进程中发挥着多种调节作用,包括参与肺血管平滑肌细胞表型转化、内皮细胞间质转化和巨噬细胞免疫炎症等过程.同时,大量的研究表明, PH进程中多种肺血管细胞均存在着异常的代谢重编程,进而加剧血管重构的发生.多项研究显示, RNA甲基化修饰和代谢重编程可以相互调控参与疾病的发生,但两者是否可以相互调控协同促进PH的发生发展目前尚不明确.基于此,本文系统梳理了RNA甲基化、代谢重编程及其与PH发病机制的最新研究进展,并展望了三者之间潜在的生物学联系,期望能够为PH血管重构的发病机制研究及其靶向干预提供新思路.     

基于重构-等效啁啾技术的三相移和双周期调制的分布反馈半导体激光器的数值研究

提出基于重构-等效啁啾(REC)技术设计的等效三相移分布反馈(DFB)半导体激光器,并进行了数值分析. 同时将多相移和周期调制(CPM)结构相结合, 提出一种新型的具有复杂光栅结构的分布反馈半导体激光器, 即双周期调制结构. 与双相移的分布反馈激光器相比较, 这种结构沿激光器腔有更加平坦的光场分布, 但是它们的功率-电流(P-I)曲线几乎相同. 同时基于等效-重构啁啾技术, 设计和分析了等效双周期调制半导体激光器. 数值分析结果表明, 类似于相移、甚至是任意的光栅周期变化结构, 都可以利用改变取样结构的方法去等效地实现. 但是, 他们的内部和外部的光学特征几乎和实际的相移, 以及任意变化光栅周期的分布反馈激光器的光学特性几乎相同. 等效-重构啁啾技术的一个突出优点是, 仅仅改变的是取样结构, 而种子光栅(取样结构中的实际的光栅)的周期是均匀的, 所以低成本的标准的全息曝光技术就可以实现它的制造. 因此, 相信这种方法可以实现各种高性能的结构复杂的分布反馈半导体激光器的低成本规模化生产.     

早于始祖鸟的虚骨龙类及其对于鸟类起源研究的意义

在过去20年中, 对非鸟兽脚类恐龙向鸟类演化过程的重建工作取得了很大进展, 但是关于这一演化假说仍然存在一些反对的观点, 其中一个反对证据来自兽脚类恐龙化石的地层分布记录. 从兽脚类恐龙化石的地层分布上看, 目前已知最古老的鸟类发现于晚侏罗世, 而在侏罗系地层中却很少发现应当是它们祖先类型的虚骨龙类化石, 这暗示存在着一个“时间悖论”——后裔出现在祖先之前. 本文回顾有关这一研究问题的最新进展. 近10年来的一系列发现表明, 虚骨龙类主要类群在侏罗纪中晚期已经出现. 这些发现大大提高了化石地层分布和兽脚类恐龙系统发育关系的一致性, 并且有力反驳了所谓的“时间悖论”. 更为重要的是, 这些发现为鸟类起源研究的核心问题——兽脚类恐龙的系统发育研究提供了重要的信息, 支持了暴龙超科和阿尔瓦兹龙超科处于虚骨龙类相对基干的位置, 甚至暗示一个新的关于副鸟类的系统发育假说: 始祖鸟、驰龙科和伤齿龙科构成一个单系类群, 而攀龙类、其他鸟类以及窃蛋龙类形成另一个演化分支. 特征演化分析表明, 副鸟类的基干类群可能在晚侏罗世之前已经演化出与树栖以及飞行相关的特征. 未来更多侏罗纪虚骨龙类化石的发现将有助于一个更加精确的鸟类起源和演化模式的建立.     

HPLC在线二阶微分光谱法检测基因工程产品的C-端肽

遗传工程重组蛋白质N-端序列和C-端序列分析是鉴定其结构特征的2项重要的指标.N-端的序列分析即采用经典的Edman方法,在商品化的仪器上自动分析50个以内的N-端氨基酸残基,已经是一种常规方法,近年来技术发展可以通过SDS-PAGE电泳印迹到PVDF膜上,在膜上直接分析蛋白的N-端序列,不但可以用来测定产品的顺序,而且为检验基因工程培养物是否与预期表达产物相吻合提供了一个相当简便的方法.     

实在观的伟大变革——为纪念电磁波发现100周年而作

自20世纪30年代后,逻辑实证主义者就把“发现过程”和“证明过程”分开,主张科学方法仅仅涉及科学思想的证明,而不涉及科学思想的产生。劳登(L.Laudan)认为,这种观点的根源出自两个相互加强的原因:(1)易错的理论的诱惑力,(2)理论是根据其一致性及其可检验的结果来评价的,而与史前的奇思怪想无关。简言之,这就是“易错论”和“后概括性”,有了这套假说-演绎(H-D)方法便可不顾及发现的真实过程,而把它留给科学史家。有趣的是,波珀(K.Popper)并不完全同意割裂发现逻辑和证明逻辑的作法,声称人们不可能在不知道假说的源流的情况下去证明假说。值电磁波发现100周年之际,我本想给     

人类少毛的三大假说

达尔文在他的进化论中首次提出了人类是由猿猴进化而来的假说。自此以后,这个结论一直有不少科学家在争论。其中一个很重要的疑问是:猿猴的体毛很密很长,而人类的体毛为什么十分稀疏?为此,不少科学家又提出了一些十分奇特的猜想,其中比较重要的三大假说是"水猿假说"、"散热假说"和"免寄生虫骚扰假说"。无论是什么样的假说,大家都有一个共同的观点:人类在进化的过程中脱毛是一种有益的     

科学中的假说

科学家制定了课题,就要寻求假说。假说就是猜想某件事情如何如何。假说一般是以一个陈述或一组陈述来表达的,从中可得出结论:如果这一假说成立,情况将会如何。假说经常采取这一形式:“如A为真,B则会(应,将)怎样。”一个好的假说有些什么特点呢?首先,应能说     

我们能否证明世界不是模拟仿真

<正>你也许认为我们拥有明确的证据来证明我们并非处在一个模拟中,但那是不可能的。你如何知道你眼下不是在一个计算机模拟中？这个想法常常被称为“模拟假说”。模拟假说坦白地说：“我们活在一个计算机模拟中。”活在一个模拟中是什么意思？按照我对这个概念的理解,它是关于与模拟世界的交互作用。当你身处在模拟中时,你的感觉输入信息来自模拟世界,你的运动输出信息影响模拟世界。你通过这些交互作用,完全沉浸于模拟中。