量词模态系统的代数语义与Kripke语义——关于S5~*情形

已故模态逻辑专家Lemmon在文献[1]和文献[2]中研究了一系列命题模态逻辑系统的代数语义与Kripke语义及其相互可转化性。他还在文献[1]中表示要用第三篇文章来讨论量词模态系统的相应问题;可惜该文未问世,Lemmon便溘然长逝了。在本文中我们对带量词的S5即S5~*而言讨论了两种语义的相互可转化性。S5~*在作者文献[3]和文献[4]中用S_5~*     

大对称群的正则母单位

一、引言对称群正则母单位在现代物理中,如超核、重子结构、FP系数等问题中应用越来越多。应用母单位处理大群乘积约化等问题也是一个有前途的方向。1962年的文献[1]和1982年的文献[3]给出了[λ]=[2~a1~b]、[4~a3~b2~c1~d]和[5~a4~b3~c2~d1~e]几个较低对称型下的母单位表达式。表达式中的待定系数C_K~[λ]和由一个方程组确定,而这些方程的系数阵是由文字a、b、c…组合而成不能上机,而手解化简高于5元的就几乎不可能。对称类型越高困难越大。本文给出一种方法,对任意大的N任意高的对称型下的正则母单位都可以直接写出。     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

一类高次缺插值样条函数

在文献[1]中,Meir和Sharma提出了一种五次缺插值样条函数,文献[2,3]改进了文献[1]中的结果。最近,沙震用类似方法讨论了七次、十一次样条。本文目的是给出一种一般的处理方法,不仅大大改进了已有结果,而且可用来讨论一般的插值偶次导数的样条。在§1中,通过Hermite插值样条讨论一种H-B插值样条给出收敛速度估计和渐近展开。     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

泛函微分方程稳定性的李雅普诺夫泛函方法

关于滞后型泛函微分方程的稳定性的判别方法中,有两种重要的思想方法,一种是基于李雅普诺夫泛函,另一种是运用拉什密辛条件。文献[1]中的定理2.1、4.1、4.2是这两种思想方法的最重要的经典结果。本文把这两种思想方法统一起来,得到了更为广泛的结果。为精简起见,如无特别声明,本文所用的概念和符号主要引自文献[1]。     

强主元稀疏阵的近似求逆

如何用较少的计算量得到高精度的近似逆矩阵,是数值计算的重要问题。文献[1]给出了对称三对角阵的近似求逆法。文献[2]进一步给出了对称五对角阵的近似求逆法。文献[1]和[2]的方法只适用于对称的对角优势阵,且难以向多对角阵的情形推广。文献[3]将求逆化成级数展开,并应用于椭圆型方程数值解的计算。级数展开法是向量化算法,但其计算量较大。本文应用文献[4]和[5]提出的矩阵元素阶的概念,在消去法计算中进行高阶截断,给出强主元稀疏阵的近似求逆法。在强主元条件下,该法适用于任意稀疏结构的矩阵。     

破译一类密码

文[1]提出了一类基于矩阵环的新型公钥分配密码体系,并对其安全性进行了分析,得出结论说此密码“不可破”。但是下面我们将指出文[1]中的密码体系是可破的,同时还给出了一种十分简单的破译方法。为完整起见,我们先复述文[1]中的密码     

[C_5HMe_4]_2TiCl_2的合成及结构

有机钛化合物由于其可以作为有机合成中间体和催化剂而引人注重,有机配位体π-环戊二烯基为人们提供了一个广泛的有机钛研究领域。本文应用[C_5HMe_4]K与TiCl_4反应合成了新化合物[C_5HMe_4]_2TiCl_2,并用X射线,核磁共振等方法进行了结构表征。 [C_5HMe_4]_2TiCl_2很难生长出好的晶体,在石油醚或甲苯中生长出的晶体均为双晶或     

基于双光束写和双光束读的超分辨三维纳米光子存储器

<正>光存储技术(optical data storage, ODS)是一种很有前景的长寿命大数据存储解决方案^[1].但是传统的光盘有着比闪存设备和硬盘低得多的容量,如何在有限体积内有效增加存储密度成为光存储亟待解决的问题^[2].研究人员通过开发多维物理量复用的光存储^[3,4],写入多层的三维空间光存储^[5]等来提高光学存储介质的存储密度.但以上方法都没有突破光学衍射极限的限制.仅有极少研究讨论了光和材料相互作用之后,信息点被超分辨地写入随后被超分辨地读出,即超分辨率纳米光子存储技术.     

平行板-内正多角柱耦合传输线特性阻抗计算

文献[1,2]的方法,求解了五种新传输线和13种现有传输线的特性阻抗。现用不同于文献[4]中的处理方法,取两次截面边界尺寸上、下限几何平均值方法,求解平行板-内正方柱耦合传输线,直接检验文献[1]方法的准确度,从而证实,在实用上平行板-内正多角柱耦合传输线特性阻抗值可直接由平行板-内圆柱耦合传输线特性阻抗计算公式或数值换算得到。     

A.N.Prior的模态直觉主义演算MIPC具有13个模态辞

研究直觉主义系统的模态扩充,特别是在文献[1]中意义下属于S5型的有许多。这其中包括文献[2]中的系统IS5,以及文献[3]中的四个系统IM4W,IM4M,IM4S以及IM5。然而在这许多系统中提出最早且     

无界报酬半马氏折扣模型的初等方法

半马氏决策规划折扣模型已由许多作者所研究(如文献[1—5])。从所用的方法来看,有的用不动点定理(如文献[4]),有的用马氏位势理论(如文献[5]),有的先给出一些条件,然后从最优方程获得通常的结果(如文献[2])。这些证明均较冗长。本文是文献[6]的继续,对文献[4]中无界报酬半马氏折扣模型{S, (A(i), (i), i∈S), q, r, t, V_α},我们用初等的证明方法,反而比前述方法更快地获得了结果。这里S为一可列集;A(i)为非空集,(A(i),     

一种新的99mTc标记的[Tc(CO)3(MIBI)3]+络合物作为心肌显像剂

最近,Alberto等人报道了一种在低压（约10^5Pa）条件下制备水溶性的有机金属络合物[^99mTc-(CO)3(OH2)3]^ 的方法。该络合物在水和空气中均比较稳定,且水配体很容易被其他的络合能力较强的配体所取代,这使得羰基络合物可作为放射性药物应用于核医学。考虑到[^99mTc(CO)3(OH2)3]^ 是一种＋1价的络合物,于是用六甲氧基丁基异腈（MIBI）取代上述络合物中的3个水配体,制得了一种新的有机锝络合物[^99mTc(CO3)(MIBI)3]^ ,其放射化学产率可达85％,且具有较好的体外稳定性。由于该络合物与已被广泛应用的心肌显像剂[^99mTc(MIBI)6]^ 具有相似的结构,因此,期望[^99mTc(CO)3(MIBI)3]^ 也能在心肌中浓集,并可改善[^99mTc(MIBI)6]^ 心／肝比值偏低的缺点。随后进行的小鼠体内生物分布实验表明,该络合物的确能在心肌中浓集,且具有较高的心／肝比和与[^99mTc(MIBI)6]^ 相当的心／血比,这使得其具有成为心肌灌注显像剂的潜力。     

一种改进的双费歇尔关环法合成吲哚[3,2-b]咔唑

含咔唑的共轭聚合物在聚合物发光二极管、聚合物太阳能电池、聚合物场效应晶体管等方面具有广泛的应用,已经成为光电功能材料研究领域的热点之一.具有平面结构的、含咔唑的共轭单体是构筑高载流子迁移率的聚合物的理想构筑基元.本文报道了一种改进的双费歇尔关环合成吲哚[3,2-b]咔唑的方法,提出了反应可能的机理,该方法将吲哚[3,2-b]咔唑的产率由文献报道的最高值26%提高到了51%.通过将吲哚[3,2-b]咔唑的5和11位进行烷基化,提高了其溶解性,使得该模块在普通溶剂中具有良好的溶解性.此外,采用一种简单有效的合成路线进一步制备了该模块2,8位的有机硼试剂,有望使其在合成共轭高分子半导体材料方面得到广泛的应用.     

5-取代丙二酸亚异丙酯的结构研究——5-(苯亚甲基)-2,2-二甲基-1,3-二氧杂环己烷-4,6-二酮的晶体结构和电子结构以及分子力学构象分析

近年来丙二酸亚异丙酯被广泛地用于有机合成,文献[1]至[4]报道了5-取代丙二酸亚异丙酯新的合成方法,文献[5]提出了六元环(1,3-二氧杂环-4,6-二酮)中有2,2,5,5位取代基时为椅式构象。为了解释5-取代丙二酸亚异丙酯的核磁共振谱,我们测定了它们的晶体结构。本文报道了C_(13)H_(12)O_4(在5-取代位上有双键)的结构测定、量子化学CNDO/2计算,讨论了该化合物的反应性能,以及用分子力学进行了构象分析。     

L-不分明完备映射

完备映射是拓扑学重要概念之一,如何定义一种合适的L-不分明完备映射自然是一个值得关注的课题。文献[1]与[2]就L=[0,1]之情形曾分别引入过不分明完备映射的概念,但都不太理想。受连续格理论的影响,文献[3]和[4]彼此独立地就值域为完全分配格情形建立了较为理想的良紧理论,它为我们建立一种理想的L-不分明完备映射理论提供了基础。本     

四边固支的复合材料层合板的自由振动

四边固支板的自由振动问题一直是力学界难以解决的问题。自从这个问题被提出以来,已有几种近似方法被用于求解四边固支的各向同性板的自由振动问题,求得其解析解的文献不多。关于复合材料层合板的自由振动问题,只有文献[1]获得了四边固支非对称层合板的自由振动解,文献[2]用有限元方法得到了四边固支反对称角铺设层合板的固有频率值,文献[3]     

紧致群规范场的对称破缺和对偶荷

如所知,具磁单极的电磁场是U_1,群的整体规范场.文献[2]通过对称破缺在SU_2规范场中导出具磁荷的规范场,然后文献[3]、[4]、[5]对此作了详细的分析,情况已相当清楚。 对SU_3规范场,这种问题在文献[4]中开始讨论,但对“磁荷”量子化数值问题和通量积分的几何含义未得到解决。此后陆续有人研究更大的群的情况,对以伴随表示形式出现的Higgs     

未屏蔽平板线的进一步研究

由不同族的两个柱体组成的同轴TEM传输线,在工程物理中广泛被应用,例如作为特征阻抗的一级精确标准。本文将研究未屏蔽板状线,即将文献[7]中图4.2的两侧壁移至无穷远的情形。对此,林钟方法将给出精确的结果,这可通过文献[7]中表4.3的ω/b=5的结果给予证明。Smythe利用另一种变换,将图1所示的带状线变为图2所示的共面导体传