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

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

研究生教育与产业结构的协调性研究——以河南省为例

随着研究生教育的持续快速发展,研究生教育与经济发展之间的协调性问题日益突出。通过深入分析河南省研究生教育的层次结构、科类结构和类型结构与产业结构之间的关系,促进我省研究生教育与产业结构的深层次协调发展,建议省级政府统筹规划,优化研究生教育结构,将研究生教育融入区域经济发展规划,注重专业学位研究生教育内涵建设。     

双波长比值法测定水杨酸、间苯二酚、对氨基苯甲酸的含量

依据水杨酸、间苯二酚、对氨基苯甲酸三组分的比值光谱特征,以对氨基苯甲酸为干扰组分,选择241nm、278nm作为测定水杨酸的波长;以水杨酸作为干扰组分,选择214nm、240nm作为测定间苯二酚的波长;以间苯二酚作为干扰组分,选择222nm、279nm作为测定对氨基苯甲酸的波长.结果显示,水杨酸浓度在1~80mg/L,基本二酚浓度在0.8~40mg/L,对氨基苯甲酸浓度在0.4~40mg/L范围内具有良好的线性关系.本方法具有测定波长少,光谱分离能力强、计算简单、能在低档分光光度计上实现、易于推广等特点.     

零售4.0时代先行发货问题的大数据分析

在零售4.0时代，渠道的多样化不仅丰富了数据源，还能迅速生成大量数据，需要通过分析大数据，为决策提取有意义的信息，通过分析先行发货的重要性，提出了一种基于遗传算法（GA）的优化模型，预测顾客何时购买，然后在顾客线下单前将产品运送到距顾客最近的配送中心，解决先行发货中存在的问题。研究认为，需要先部署云计算来存储所有渠道生成的大数据，再应用基于集群的关联规则挖掘研究顾客的购买行为，根据“如果-那么”预测规则预测未来的采购情况，最后利用修正的遗传算法生成最优的先行发货计划；这种遗传算法考虑了其在运输成本和运输距离之外，还有预测规则的置信度，利用大量的数值实验权衡了先行发货中的不同因素，验证了模型的最优可靠性     

信息时代国际传播的控制:从管制到治理

以数字化和网络化为标志的信息技术革命使国际传播环境发生了很大变化,也使得民族国家的传播管制面临挑战,而把治理的理念引入国际传播领域,有助于探索在信息技术革命条件下国际传播管理的新途径。国际传播控制从管制到治理,实际是对国际传播秩序的改造和完善:从参与的主体看,承担维持国际传播秩序任务的既有政府组织,也有非政府组织、跨国公司、私人企业、利益集团和社会运动团体等;从治理内容看,于侧重意识形态之外,又加入了保护民族文化、维护本国经济利益等新内容;从范围上说,它已不限于领土范围之内,而是积极参与国际传播领域的合作,以建立有利于完成国内传播控制目的的国际传播环境。     

20年代初苏俄在外蒙古问题上的对华政策

20世纪20年代初期中苏建交谈判期间,苏俄从其自身国家安全利益出发,采取强行出兵外蒙追剿白匪和坚持长期驻军库伦的作法,来占有当时主权属于中国的外蒙古地区,在外蒙古问题上对华采取了大国沙文主义和民族利己主义政策.     

资源型城市需要加快发展第三产业

本文以东营市、大庆市为例 ,分析了矿产资源型城市第三产业发展的薄弱性 ,并在阐述资源型城市发展第三产业重要性的基础上 ,提出了东营市第三产业发展的目标及战略选择 ,以此来反映资源型城市第三产业发展的方向。     

浅谈狄更斯的《双城记》

<双城记>的情景以法国革命作为历史背景,描述了受剥削和受压迫的人民起来推翻封建王朝的统治的必然性.<双城记>故事情节生动紧凑,环环相扣.     

论意思自治原则在遗嘱继承中的贯彻

作为民法的一项基本原则,意思自治在遗嘱继承中的作用日益凸现。本文在追溯遗嘱自由原则发展演变的基础上,对意思自治原则在遗嘱继承中的体现做了一个全面的介绍,并就完善我国继承法对遗嘱自由原则的设计提出了自己的见解。     

关汉卿演义出的时代理想人物

历来人们认为 ,关汉卿的作品是对被压迫者的生活及斗争的反映 ,这种说法实际上也许既不客观也不全面。通过对关汉卿作品中人物的行为及与人物相关的时代进行具体的分析 ,可以发现关汉卿的作品更多的是对人的价值的评判 ,是对理想人物的塑造而不是对现实人的反映 ,关汉卿演义出的时代理想人物的精神是斗争 ,素质是智慧。