GB的布尔值模型

1967年,Scott系统阐明了他的布尔值模型方法,证明了V~(B)是ZFC的布尔值模型,并且假设GCH,那么,如果B满足ccc且|B|=2_0~(?),则V~(B)|=GCH,本文在V~(B)的基础上构造了模型 Δ~(B),其主要结果是(1)Δ~(B)是GB的布尔值模型;(2)假设GCH,那么,如果B满足ccc且|B|=2_0~(?),则Δ~(B)|=GCH;(3)极大(极小)原理在Δ~(B)中真;(4)Δ~(B)(B≠{0,1})是QM的布尔值模型。 本文主要是在文献[1,2]的基础上进行(?)论。     

三产化的内涵与由来

工业的发展有工业化,城镇的发展有城镇化,人类社会随着生产力的发展,从农业社会进入工业社会,直到今天的第三产业产值和就业占据主导地位的三产化时代。本文论述了与工业化、城镇化并驾齐驱的新名词——三产化。     

含参数复常系数线性微分系统的求解定理

文[1]给出了二维复常(变)系数线性微分系统的求解公式,本文给出二维含参数复系数线性微分系统的求解公式。     

我国研制出具有自主知识产权的计算机操作系统

操作系统是计算机的灵魂，而我国在这一领域长期被国外产品所垄断。现在，这种局面将被改变：具有自主知识产权的“银河麒麟”服务器操作系统，近日通过了由863计划信息领域办公室组织的专家验收。[第一段]     

少儿图书馆读者活动策划之我见

阐述了少儿图书馆读者活动的重要性,探讨了策划少儿图书馆读者活动的具体对策,指出了策划少儿活动时需要注意的问题.     

FRP加固混凝土柱钢筋锈蚀电化学特性

通过外加电流加速试验获得锈蚀钢筋混凝土柱,采用纤维增强聚合物(FRP)全裹方法对其进行加固,然后通过盐溶液干湿交替方法对FRP加固柱进行钢筋锈蚀试验,利用电化学工作站量测FRP加固柱的钢筋半电池电位和线性极化曲线,分析FRP加固柱的钢筋锈蚀电化学特性.试验结果表明:随着干湿交替次数的增加,外粘CFRP和GFRP加固柱的钢筋半电池电位呈先升高后稳定趋势,线性极化电阻呈增大趋势,腐蚀电流密度呈降低趋势;外粘CFRP和GFRP加固法均能在一定程度减缓钢筋混凝土柱的钢筋锈蚀,CFRP延缓钢筋锈蚀效果优于GFRP.     

一种移动僵尸网络评估模型研究

为了能够更加客观系统地反映移动僵尸网络的运行情况和攻击能力,设计了一个针对移动僵尸网络的评估模型。借鉴通用漏洞评分系统(CVSS)部分思想,将移动僵尸网络性能指标分成三大群组,每个群组又进行了层次的划分,并对每个性能指标进行了量化,提出了正性指标、负性指标和中性指标的概念,并使用了调节系数将性能指标控制在一个合适的取值范围内。最后,使用了该模型对3个移动僵尸网络进行了评论,并得出了评估结论。     

2013-10 封面图片说明——基于空间天气模型的定量化预报系统

 空间天气指瞬时或短时间内太阳表面、太阳风、磁层、电离层和热层的状态,涉及从地球表面几十千米到太阳表面的广阔区域.空间天气模型建立在大量空间探测数据的基础上,是对各种参数在空间分布的定量化描述.随着研究工作的不断深入,空间天气模型已由单一应用发展到集成应用的阶段.如何将物理类型、运行条件不同的单一模型集合为一个有机整体,建立基于空间天气模型的定量化预报系统,加强模型间的联系,提高模型预报的应用水平,是当前空间天气预报研究的重要课题.     

芯片封装系统两环闭型排队网络模型性能解析

研究了芯片制造封装生产线上由于存在多种运输车辆而形成的两环闭型排队网络模型,在考虑制造系统随机特性的基础上,构建了问题的数学模型,并提出一种重叠式分解迭代解析算法,获得了系统的产率解析结果.仿真实验和生产应用表明,该算法是有效的.     

晋商文化纪念品开发设计研究

随着旅游业的迅速崛起和强大的发展势头,旅游纪念品在旅游购物中占有十分重要的地位,是旅游业主要的收入来源之一.因此,要增加旅游综合收入,提高旅游附加值,一个十分重要的途径就是加速旅游特色纪念品产业的发展.