常识推理基础逻辑系统M的完全性

对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性.Γ-典范模型方法是有穷方法.如果Γ有穷,得到的典范模型有穷.这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的.     

乙烯在Ru(10 0)表面的吸附与分解的ARUPS研究

本文研究了在低温下 ( 2 0 0 K以下 )乙烯 ( C2 H4)在 Ru( 1 0 1- 0 )表面的吸附 ,在衬底温度升高至 2 0 0 K以上后 ,分解形成乙炔 ( C2 H2 ) .价态 σCC和 σCH轨道能级向高结合能方向分别移动了 0 .5和 1 .1 e V.在 Ru( 1 0 1- 0 )表面 ,无论是低温时以分子吸附态存在的乙烯 ,还是温度升高后脱氢分解形成的乙炔 ,其 C-C键轴都是沿衬底〈0 0 0 1〉晶向倾斜于表面的     

一类不完全区组设计的可解区传递自同构群

设D是一个2-(v,23,1)设计,G≤Aut(D)可解区-传递但非旗-传递,且G是点-本原的,则v=pn,G≤AΓL(1,pn),且p≠2.     

关于可解群的特征标图

从群的不可约特征标维数的若干信息来推知群的结构一直是群表示论的重要课题 .ManzO在文献 [2～ 6 ]中研究了可解群G的特征标图Γ(G)图论性质 ,并且当Γ(G)不连通时 ,给出了G的纯群理论性质 (引理 1) .本文将讨论若Γ(G)为连通图 ,Γ(G)有怎样的图论性质以及它们如何影响可解群G的结构 ,从而推广了文献 [2～ 6 ]的若干结果     

增长曲线模型非齐次线性估计的可容许性

讨论增长曲线模型Y =X1BX2 +ε中回归矩阵B的函数C1BC2 的估计L1YL2 +A ,在矩阵损失 (LT2 L1)Y +A - (ST2 XT2 S1X1)B (LT2 L1)Y +A - (ST2 XT2 S1X1)B T 下 ,我们得到了非齐次线性估计L1YL2 +A在非齐次线性估计类Г ={L1YL2 +A|L1:t×p ,L2 ;n×n ,A :t×s均为已知实阵 }中可容许的充要条件 :L1YL2在Г0 ={L1YL2 |L1:t×p ,L2 :n×s均为已知实阵 }中容许且当LT2 XT2 L1X1=ST2 XT2 S1X1时有A =0。     

关于圈C4的St(r+1)-冠的优美性

给出了圈C4的St(r+1)-冠的定义,讨论了圈C4的St(r+1)-冠的优美性,用构造性的方法,给出了圈C4的St(r+1)-冠的优美标号.同时,证明了圈C4的St(r+1)-冠是交错图.     

催化动力学光度法测定S~(2-)的研究

依据 S2 - 能催化碱性品红褪色的指示反应 ,建立了测定微量 S2 - 的催化动力学分析法 .在 p H9.2 0的硼砂缓冲介质中 ,室温 ( 1 0℃ )下 ,本法线性测定范围为 0 .0 3— 2 .0 0 mg/L,检测下限为 0 .0 1 6μg/m L ,除 SO2 - 3外 ,其余离子不影响测定 .SO2 - 3的干扰可加入甲醛除去 .用本法测定了水样和模拟样品中 S2 -的含量 ,结果令人满意 .     

Cayley变换的几种形式

Cayley变换是英国数学家Arthur Cayley在上一个世纪建立的,其内容可以由下面三个命题来表达。 命题1 如果S是反对称实矩阵,那么A=(I-S)(I+S)~(-1)是正交矩阵。 命题2 如果A是正交矩阵,I+A可逆,那么S=(I-A)(I+A)~(-1)是反对称矩阵。 命题3 设J={J∈Mn(k),J=(j_ie)|j_il=1或-1,j_il=0,当i≠e,1≤i,1≤n}s是反对称实矩阵,则任何T∈M_n(R)都有J∈T使得JT+I可逆,进而任何正交矩阵A可以表为A=J(I-S)(I+S)~(-1)。     

利用次序统计量估计某类群体的平均寿命

利用次序统计量对伽玛分布Γ(α,1)及Γ(α,β)进行参数估计,进而估计某类服从伽玛分布的群体的平均寿命和方差.     

《庄子》形容词连谓句的句型及其结构模式

从结构成分上看,<庄子>形容词连谓句有四种类型,即形容词(短语)+形容词(短语)、形容词(短语)+动词(短语)、动词(短语)+形容词(短语)、形容词(短语)+主谓短语,其最基本的结构模式分别是:1.S+(Adv+)PA(+O)+"而"/"以"+(Adv+)PA(+O)(+C),2.S(+Adv)+PA(+O)+("而")+(Adv+)PV(+O/+C),3.S+(Adv+)PV(+O/C)+("而"/"而后"/"以")(Adv+)PA(+O/C)4、(S大)(+Aav)+S小+(+Adv)PA/PV.     

论共同犯罪中止的认定标准

当前对于共同犯罪案件如何认定犯罪中止,司法机关在办理中是仁者见仁,法学人士在讨论研究中是智者见智。共同犯罪中止的认定,应以行为人自动停止犯罪并有效地阻止其他共犯利用其先前行为继续实施犯罪或防止危害结果的发生为标准。     

行政机关违法设定许可的法律责任探析

对于行政许可违法的法律责任问题,人们往往是从行政许可实施违法的角度进行研究,而对于设定违法及其责任追究的探讨却相对薄弱。然而,行政许可设定一旦违法,其对相对人和社会公共利益的损害将会更大,因此,对许可设定的违法及其责任问题进行研究,以避免违法行政行为的发生,促进政府依法行政,不仅必要而且是非常有意义的。     

还本售房合同的法律效力分析

本文通过对案件的深刻剖析,论述了认定合同的依据、广告行为的效力、公司与股东的责任以及公司主体的混同等重要问题并提出了自己的观点。     

高校贫困生认定工作面面观

国家贫困生资助政策实施以来,对贫困生帮助很大,同时在实际运行中还存在着一些问题。本文提出贫困生认定工作仍需要进一步采取各种相关配套措施,以推动和保障贫困生资助工作更好地开展。     

论当代人文社科学术期刊编辑视野的转移

当代期刊编辑理论研究,已经逐渐淡化了对期刊本身的功能、基本属性,办刊特色等的讨论,因为编辑学的理论发展,已经解决了这些基本问题。对于人文社科学术理论刊物,现在更多的是在关注人文社会科学的编辑出版与全球化背境下当代人文社会科学发展的关联性;当代学术批评与编辑的选择性思维方式;当代学术期刊的编辑过程及编辑活动与学术评价的关系;当代网络化条件下的学术活动与编辑活动的关联研究等与文科期刊相关的更为重大的理论课题。     

从美国修订《1930年关税法》看我国外贸战略转型

2012年3月,美国参议院通过修订《1930年关税法》的法案,以便对中国、越南等“非市场经济国家”征收反补贴税。近几年,中美之间的贸易争端处于高发期,金融危机加剧了我国外贸出口中遭受的贸易摩擦。应尽快转变原有增长方式,提高产品附加值、降低对少数国家的路径依赖,开拓多元化市场、促进内外贸一体化,以实现我国外贸战略的转型升级。     

民国时期武术的科学化变革

作为现代武术发展史上的一个高峰,民国武术置身于当时人们追求＂科学＂的话语背景之中。以＂传统＂为特征的国术（武术）与当时的＂科学＂话语形成了较大的反差与抵牾。国术界要实现以武图强的远大抱负,国术的＂科学化＂问题首当其冲。鲁迅与陈铁生的论战围绕国术是否有提倡的必要展开,一方面为国术的科学化做了舆论上的铺垫,另一方面也促使国术界开始反思传统武术的痼疾。进而,国术界从理论和实践两个方面展开了国术科学化的改造,其实质是确立发展国术的合理性和合法性,为国术的进一步发展铺平了道路。     

代位权行使效力的研究

关于代位权行使的效力, 有入库规则说、平等受偿说、优先受偿说等几种观点。从立法目的、法律功能、法律成本和效率、其他债权人利益的保护、中国司法解释的性质和来源来说, 中国应选择优先受偿说的观点, 赋予代位债权人优先受偿权, 建立代位权上优先受偿权的现代理念。     

提单之债的性质及其诉权的构造

在不签发提单的情况下,利他契约理论能很好地解释海上货物运输合同当事方的权利义务。但在签发提单的情况下,该理论就不敷使用。借助罗马法中的准契约理论,既能对提单下的义务转让进行合理解释,也能解决在实务中诉权的确定之难。     

财政专项资金统筹整合的法治抉择与规范分析——以贫困县统筹整合涉农资金为切入点

涉农资金等财政专项资金在中央对地方的转移支付体系中占有极为重要的地位,统筹整合作为对专项资金专款专用原则的突破与平衡,加之其在一定程度上拓宽了地方财政自主权的边界范围,因而属于重大改革,必须于法有据。现有的政府主导财政专项资金统筹整合模式在实践中面临很大困境,而法治保障模式不仅具有价值必要性,更有其独特的制度优势。在"法治财税"理念的指导下,法治首先必须尊重财税规律、逻辑与模式,在此基础上,对中央及各省份专项资金统筹整合文件规范中与法治财税规范意旨不符的部分进行分析、审核和修正,以尽快建立稳定权威的专项资金统筹整合法治方略,顺应新时期民生财政的发展要求,并促进央地财政关系的优化。