《关于命题的讨论》一文的一点瑕疵

文 [1 ]旨在对高中新教材中新增加的“简易逻辑”内容进行解释说明 ,对于不熟悉这部分内容的中学师生颇有参考价值 .但是该文中有一点瑕疵 ,今冒昧指出 .文 [1 ]在谈到关于命题的否定与否命题这一问题时认为 :“若ｐ则ｑ”的否定是“若ｐ则非ｑ” .这是一个错误观点 .事实上 ,“若ｐ则ｑ”等价于 (「ｐ)∨ｑ(文 [1 ]在谈到关于逻辑联结词与复合命题时也是这样说的 ) ,其否定应该是ｐ∧ (「ｑ) .ｐ∧ (「ｑ)读作“ｐ且非ｑ” ,习惯上也可以说成“虽然ｐ ,但非ｑ” .“若ｐ则非ｑ”等价于 (「ｐ) ∨ (「ｑ) .当ｐ为假时 ,「ｐ为真 ,于是 (「ｐ…     

浅谈命题之否定

在形式逻辑中 ,我们把反映事物具有或不具有某种属性或关系的思维形式叫做判断 .表达判断的语句叫命题 .在数学中 ,用语言、符号或式子表示的并且能区别真假的语句叫数学命题 .命题按能否分解可分为简单命题和复合命题 ,按其所判断的是事物的性质或存在的关系可分为性质命题和关系命题 .在数学证明中 ,准确无误地写出一个命题的否定式是十分重要的 .1　简单命题的否定1 1　性质命题的否定每一个性质命题都由主项、谓项、量项、联项四部分组成 ,其中主项表示被判断的对象 ;谓项表示主项的性质 ;量项表示主项的数量 ,分为全称量项和特称量项 …     

单轴双轮自平衡小车的设计研究

通过物理建模得到了单轴双轮自平衡系统的运动学特性,并结合传感器技术和自动控制理论提出了新的单轴双轮自平衡小车的设计方案.采用陀螺仪和加速度传感器分别对车体倾角进行检测,利用对称互补滤波算法对检测到的数据进行融合得到精确的车体倾角,再引入PID技术对车体姿态进行精确控制.设计的单轴双轮自平衡小车车体的倾角的获取不依赖于小车所处的环境,可在实验过程中调整参量,具有普遍的适用性.     

Controllable preparation of two-mode entangled coherent states in circuit QED

Although the multi-level structure of superconducting qubits may result in calculation errors, it can be rationally used to effectively improve the speed of gate operations. Utilizing a current-biased Josephson junction （A-type rf-SQUID） as a tunable coupler for superconducting transmission line resonators （TLRs）, under the large detuning condition, we demonstrate the controllable generation of entangled coherent states in circuit quantum electrodynamics （circuit QED）. The coupling between the TLRs and the qubit can be effectively regulated by an external bias current or coupling capacitor. Further investigations indicate that the maximum entangled state can be obtained through measuring the excited state of the superconducting qubits. Then, the influence of the TLR [tecay on the prepared entangled states is analyzed.     

纳米抗癌药物载体的研究进展

与传统抗癌药物相比,纳米抗癌药物载体具有可在体内实现长循环,于癌症组织处富集,在体内缓慢可控释放,药物利用率高,药效高,并且生物相容性与可降解性良好的优点。目前已经实现包括纳米微粒、纳米胶束、树枝状大分子等多种结构的纳米抗癌药物载体的设计,选用的药物载体材料也涵盖多种聚酯以及蛋白质多肽等生物相容性良好的材料。     

异丁基乙烯基醚与受电子单体的可控自由基共聚合

近年来发展起来的“活性” 可控自由基聚合越来越为人们所关注 ,其原因在于采用这种方法不仅可以设计聚合物的分子量 ,得到窄分布聚合物 ,而且聚合条件不象活性离子型聚合那样严格 ,单体适用范围相对较广 .关于烯类单体的活性自由基聚合迄今主要有 :氮氧自由基调控的稳定自由基聚合 (Ｓｔａｂｌｅｆｒｅｅｒａｄｉｃａｌｐｏｌｙｍｅｒｉｚａｔｉｏｎ ,简称ＳＦＲＰ) [1] 、原子转移自由基聚合 (Ａｔｏｍｔｒａｎｓｆｅｒｒａｄｉｃａｌｐｏｌｙｍｅｒｉｚａｔｉｏｎ ,简称ＡＴＲＰ) [2 ] 以及以后发展起来的自由基可逆加成 断链链转移聚合…     

具特定晶面且大比表面积贵金属纳米晶催化基元的构筑

贵金属纳米晶在电催化等领域具有广泛应用. 其催化活性往往与纳米晶体的表面结构直接相关,而催化剂的贵金属原子利用率与比表面积密切相关. 因小尺寸纳米晶难以保留特定的晶面,而具有特定表面的纳米晶通常结晶成尺寸较大、比表面积比较小的晶体,调控纳米晶的尺寸和表面结构两种策略似乎相互矛盾. 如何可控合成同时具有特定表面结构和大比表面积的贵金属纳米晶具有重要的意义. 本综述从形貌调控角度详细介绍提高贵金属纳米晶原子利用率的方法策略;总结调控单贵金属及其合金同时具有特定晶面和大比表面积的研究现状;最后,对纳米晶的形貌调控领域未来的发展趋势提出展望.     

核-隔层-壳结构Fe3O4@MoO3@mSiO2纳米载体的合成及其药物可控释放

利用加热均匀、迅速、热平稳性好和安全性高的微波热响应来实现药物的微波可控释放。引入具有微波热响应性质、热稳定性和化学稳定性好的Mo O3作为微波吸收物质,制备了核-隔层-壳结构Fe_3O_4@MoO_3@mSiO_2纳米药物载体。研究该纳米载体对药物布洛芬(IBU)的负载和微波响应可控释放过程。该纳米载体具有高的比表面积(222 cm2·g-1)和较大的孔隙体积(0.14 cm3·g-1)可用来负载药物。同时还具有较好的磁响应性,可实现药物的靶向给药,具有相对好的微波热响应性,可通过MoO_3中间层吸收微波辐射实现药物的可控释放。结果表明,在持续微波辐射360 min时IBU的释放率达到86%,远远高于仅搅拌时的释放率。     

亚微米级四方相钛酸钡低温固相法制备及晶型控制

以八水合氢氧化钡和α-钛酸为原料,在相对低的焙烧温度下,制备出近似球形、亚微米级的钛酸钡。通过XRD、SEM、Raman和FTIR等手段对钛酸钡样品进行表征,样品具有高结晶度,颗粒均一性良好。晶型转变的初步探究表明,立方相为主的钛酸钡可以在400℃发生晶相转变,成为以四方相为主的钛酸钡。     

多功能脂质体递药系统

脂质体是第一种成功进入临床应用,也是目前进入临床应用最多的一类纳米递药体系,将药物装载于脂质体中可以实现降低非特异性吸收、提高靶组织的富集量、降低副作用等目的。但是当前的脂质体技术仍然存在着诸多缺陷,例如载药量低以及靶向效果差等。新的脂质体载药技术的发展使得脂质体的载药量和包封率有了很大的提升。将热、激光、超声、离子辐射等外源物理刺激与脂质体药物结合可以提高脂质体药物在肿瘤的富集量,同时调节药物的释放。脂质体独特的核壳结构使得脂质体可以同时装载多种药物从而实现联合给药,通过合理设计脂质体纳米材料的结构不仅能够实现多种药物的递送,还能够实现药物的程序性释放。脂质体不仅能够装载治疗性药物,还能装载具有造影功能的组分,从而实现对治疗过程的影像监控。本文将主要介绍近五年在脂质体的载药方法、靶向给药、药物控释、联合给药、影像可视化等方面的一些重要进展。