合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式.     

Modifications of sequential designs in bioequivalence trials

Bioequivalence (BE) studies are designed to show that two formulations of one drug are equivalent and they play an important role in drug development. When in a design stage, it is possible that there is a high degree of uncertainty on variability of the formulations and the actual performance of the test versus reference formulation. Therefore, an interim look may be desirable to stop the study if there is no chance of claiming BE at the end (futility), or claim BE if evidence is sufficient (efficacy), or adjust the sample size. Sequential design approaches specially for BE studies have been proposed previously in publications. We applied modification to the existing methods focusing on simplified multiplicity adjustment and futility stopping. We name our method modified sequential design for BE studies (MSDBE). Simulation results demonstrate comparable performance between MSDBE and the original published methods while MSDBE offers more transparency and better applicability. The R package MSDBE is available at https://sites.google.com/site/modsdbe/ . Copyright © 2015 John Wiley & Sons, Ltd.     

冷战后的中美政治安全关系

冷战结束十年以来 ,美国的对华政策依然摇摆不定。之所以如此 ,是因为十年来美国视中国为敌还是为友 ,或者非敌非友 ,至今还未定性。而美国难于在其国际政治安全战略中给中国定性的原因 ,则与以下的三个层次密切相关 ,即美国的国内政治层次、中美关系的发展层次和全球层次。     

金诗学唐的历程

金代诗歌在受苏轼等宋代诗人的影响之外 ,也受到唐诗的浸润。本文依据金诗发展变化的自身情况 ,考察了金诗学唐的历程。文中将金诗学唐分为金初“借才异代”时期、“国朝文派”时期、金代后期等三个阶段 ,做了比较详细的论述 ,从一个方面展示了金诗发展的轨迹 ,揭示了金诗的某些重要特点 ,对于我们深入地认识金诗是有裨益的     

关于体育教育专业学生能力培养的研究

通过查阅文献资料和问卷调查反馈,研究分析发现,当前体育教育专业学生能力还不能适应社会发展的需要,且发展不平衡。我们认为,对体育教育专业学生能力的培养应从师德教育、教学表达能力、教学组织能力、教学设计能力、适应教学环境的能力、体育教学自修与改革能力、社会竞争能力等方面下手,使学生的能力在四学年的教学实践活动中,得到有序全面的锻炼和提高、达到最佳培养效果。为他们将来成为合格的、高素质的复合型人才打下坚实的基础。     

土地利用规划约束机制研究

一、问题的提出 在一切能为人类所利用的自然资源中,土地是最基本且最宝贵的资源,是世代相传的人类不能出让的生存条件和再生产条件.     

对我国西部开发战略的几点思考

经济不发达带来的生态环境问题、资源与条件约束下的大面积贫困、教育与交通落后带来的交换能力不足、城镇化的落后,都是西部地区发展目前所面临的问题,这些问题影响着西部地区经济与社会的快速发展.     

FUZZY拟阵的闭性质

引入了Ｆｕｚｚｙ拟阵的环，平行，σ算子，闭集等概念，并讨论了它们的有关性质     

虚拟空间交织的取向原则

虚拟空间交织是人们常用的思维与认知方式之一。本文通过对交织及其原则的介绍,描述了虚拟空间交织的运作,指出虚拟空间交织构建中主观取向的原则应为最佳关联。     

基于WEB的远程教学管理软件分析与设计

本论文主要讨论了基于WEB远程教学管理软件的分析与设计。首先对远程教育与传统教育进行了比较研究,确定远程教育是现代教育发展的方向;其次对开发基于WEB远程教学管理软件进行了环境分析和需求分析;最后讨论了远程教学管理软件的实现,包括软件模块结构设计和网站的总体框架。