可信系统性质的分类和形式化研究综述

计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.     

中国传统符号元素在大学校标设计中的运用

大学校标作为一种图形符号。集图形、图像、文字、色彩于一体。大学校标是一所高校整体形象的浓缩和集中表现。中国大学校标的设计离不开中国传统文化,它能更好地体现大学所传承的历史文化知识。中国大学校标的设计,采用了许多中国传统符号元素,通过其外在形式与内在精神的表达,体现出大学校标的内涵与寓意,进而反映出学校内涵与办学精神。     

影响钢氧化的因素及改进措施

通过分析板坯的加热工艺及条件,找出影响板坯氧化的主要因素,在加热温度、加热时间、炉气和燃料成分、空气系数等方面采取相应的改进措施,以降低板坯在炉内加热时氧化铁皮的生成.     

《枪神》

我们的最初目标是在《枪神》中真实地重现吴宇森式的影片风格，也希望玩家的游戏感受就像经历一部香港功夫大片一样。但更重要的是，我们希望他们能够在其中随心所欲地控制角色、“导演”剧情。如果玩家在不经意中把自己当成了大反派，就像吴字森经典之作《辣手神探》中的周润发一样，那么，我们就成功了!     

开发者述说 韩国游戏开发经验分享

电子药剂——未来的游戏；运营商和开发商的关系；对视频游戏开发的策略转移     

250机组加热炉综合技术改进

分析了安钢250机组加热炉的运行状况,针对运行中存在的加热能力不足,炉温不均匀等问题进行了综合技术改进,取得了良好的经济效果。     

稀土掺杂荧光玻璃的制备与性能研究

采用市面上商用的低熔点玻璃粉、稀土荧光粉与丙烯酸树脂混合,通过丝印成膜、程序升温与淬火的方式制备了全无机低熔点高稳定性发光玻璃。采用DSC、XRD、SEM、激发发射光谱等分析手段对低熔点发光玻璃进行了各种性能分析：从研究中我们发现稀土荧光粉的平均粒径大约为18 μm;低熔点玻璃的玻璃化转变温度为285 ℃,添加适量稀土荧光粉后玻璃化转变温度升高到305 ℃左右;荧光玻璃膜中有少量孔洞,可以添加适量消泡剂或者延长保温时间来改善;荧光玻璃的晶相为玻璃相,烧结后出现了稀土荧光粉的特征峰。将0.6 mm厚的荧光玻璃经过激光切割(大小为2 mm*2 mm)与叠加蓝光发光芯片形成发光模组后测得荧光玻璃光效为115.5 lm/W,发光效率为76.2 %。因此,本课题的研究为高光效和高可靠性的小尺寸大电流大功率LED制备提供了有价值的途径。     

原位膨胀法制备PMMA/EG复合材料及其导电和流变性能的研究

使用低温可膨胀石墨,通过"原位膨胀-机械剥离"的方法制备了PMMA/EG复合材料,研究了可膨胀石墨含量对其电导率的影响。电导率、SEM、动态流变等测试表明膨胀后的石墨片层在树脂基体中分散良好;从10~20 phr开始,石墨鳞片相互接触形成网络结构显著地提高电导率,最高达12个数量级。采用原位膨胀法可以制备逾渗阈值较小的导电复合材料,填充少量低温可膨胀石墨就可以大幅度提高PMMA电导率。     

中庭建筑的排烟设计探讨

本文阐述了中庭建筑的概念、区域模型、稳态和非稳态火灾等,根据美国全国消防协会设计指南NFPA 92B,对中庭建筑烟气控制方法和排烟量计算进行了较深入的探讨,提出了中庭排烟系统的设计方案.     

浅析创业教育与素质教育的辨证

随着教育体制改革事业的不断深入发展,全面素质教育的教育思路已经深入人心,全国各高校都结合自己特点,明确把培养大学生的创新精神和实践能力放在了突出位置。创业教育改革,提出了新的教育内容。创业教育培养具备知识和技能,同时具备开创精神和创业能力,既能从事一般职业又能从事开拓型创业活动的人才,这无疑将人才培养的目标提高到了一个更高的层次。