The Dry Cracking of Cementitious Materials in the Eccentric Ring Test and the Concentric Ring Test

In order to reduce the randomness of the occurrence of cracks and shorten the long cracking time in the traditional concentric ring tests,the elliptical ring test,the square-eccentric ring test,and the eccentric ring test have been gradually developed.In this paper,we reported experiments on the eccentric ring test and concentric ring test that were carried out to compare the differences between the two methods.It is found that an increase in the water-cement ratio and the amount of aggregate wi...     

煤电化电气工程及其自动化专业人才培养的探索与实践

在我国高等教育革新发展中,高校为了培育更多与新时代发展相符的专业人才,开始基于各领域发展需求构建具有专业特色的教学课程.电气工程类作为目前市场发展急需的技术型人才,高校要想培养综合性强的专业人才,在研究专业方向和教学指导课程时,需要从行业实际情况人手,优先引用具备先进性和科学性的教学知识与技能,这样不仅能满足学科研究和教育需求,而且可以为未来电气智能化发展提供更多优秀人才.《百年回眸中国电气工程高等教育一百周年》一书是由中国电气工程高等教育100周年纪念委员会编写的,文章内容主要分为四方面:(1)贺词报告;(2)中国的电气教育发展历程;(3)求学授业回忆往昔;(4)已有百年历史的交大电气工程专业.同时,为了更好展现我国高校电气工程教学和科研方面取得的优异成绩,记录了多所高等院校教学指导和人才培育的实例,并在追思前辈功绩的基础上总结了近年来电气工程专业教育的发展经验,电气工程专业发展及相关人才培养在未来发展中的重要性.     

煤电化电气工程及其自动化专业人才培养的探索与实践

在我国高等教育革新发展中,高校为了培育更多与新时代发展相符的专业人才,开始基于各领域发展需求构建具有专业特色的教学课程.电气工程类作为目前市场发展急需的技术型人才,高校要想培养综合性强的专业人才,在研究专业方向和教学指导课程时,需要从行业实际情况人手,优先引用具备先进性和科学性的教学知识与技能,这样不仅能满足学科研究和教育需求,而且可以为未来电气智能化发展提供更多优秀人才.《百年回眸中国电气工程高等教育一百周年》一书是由中国电气工程高等教育100周年纪念委员会编写的,文章内容主要分为四方面:(1)贺词报告;(2)中国的电气教育发展历程;(3)求学授业回忆往昔;(4)已有百年历史的交大电气工程专业.同时,为了更好展现我国高校电气工程教学和科研方面取得的优异成绩,记录了多所高等院校教学指导和人才培育的实例,并在追思前辈功绩的基础上总结了近年来电气工程专业教育的发展经验,电气工程专业发展及相关人才培养在未来发展中的重要性.     

石油化工气体的危害

对于石油、天然气和石油化工行业来说,不管是作业人员,还是技术人员或者安全管理人员,他们都非常了解易燃和有毒气体的危害,但是为了避免麻痹大意造成事故,持续不断地强化训练和知识更新仍然是非常重要的。     

超低水量喷淋保护的无机防火卷帘

针对防火卷帘传统喷淋保护方式冷却水用量过大的缺点,根据水汽化吸热原理,研发出一种超低水量喷淋保护无机防火卷帘。该产品采用动态扫描式喷淋保护方式,将冷却水直接在整个无机防火帘面上以实时温度控制的频率间歇地进行全覆盖均匀喷扫,通过最大限度地提高冷却水的汽化吸热降温效率,实现冷却水的高效利用,避免水资源浪费。经试验,在试件耐火性能完全满足国标要求的前提下,其冷却用水量仅为传统产品的5%,达到了节能减排的目的。     

面向SQLite3数据库API调用序列的并行运行时验证方法

作为轻量级的高可靠嵌入式数据库, SQLite3已被广泛应用于航空航天和操作系统等多个安全攸关领域, 其提供了丰富灵活API函数以支持用户快速实现项目构建.然而, 不正确的API函数调用序列会导致严重后果, 包括运行错误、内存泄露和程序崩溃等.为了高效准确地监控SQLite3数据库API函数的正确调用情况, 本文提出了基于多核系统的并行运行时验证方法.该方法首先分析API函数文档, 自动挖掘相关API调用序列规约描述, 辅助人工将其形式化表达为具有完全正则表达能力的命题投影时序逻辑公式; 然后在程序运行时, 采用多任务调度策略, 将程序执行产生的状态序列分割并对不同片段并行验证.实验结果表明, 该方法能够发现调用SQLite3数据库API函数的30个被验证C程序中, 违背API函数调用序列规约的达16个.另外, 与传统串行运行时验证方法的对比实验表明, 本文提出的并行运行时验证方法能够有效提高多核系统的验证效率.     

基于命题投影时序逻辑的单调速率调度算法模型检测

提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系统期望的性质,通过SPIN验证系统模型是否满足性质,从而得知一个任务组在RMS下是否可调度.同时,RMS算法控制下的任务调度系统的其他性质也可以得到验证.     

基于引入取舍规则的Lyapunov指数法的电力负荷预测

基于Lyapunov指数法，在引入取舍规则基础上建立了电力负荷预测模型，并利用此模型对某农电局的电力负荷进行预测，取得了满意的结果。     

基于混沌时间序列的电力月负荷预测

采用一种基于混沌时间序列的负荷预测方法进行月用电量的预测。这种方法可以不考虑气候等因素，仅利用电力负荷的历史数据计算来进行预测，就可以得到较高的预测精度。     

渲染器大看台

适用于Raytrace,photon map的具备世界水准的高端渲染器