实时调度问题的形式化描述及分析

使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。通过分析单个任务的状态变化过程来构造实时系统的自动机。对自动机的状态进行化简和归并，大大降低了讨论实时调度问题的复杂度。以优先级上限协议为例构造了确定有穷自动机并使用该自动机证明了优先级上限协议的性质。     

高校图书馆在线课程教学质量评价指标体系研究

在线课程的建设为图书馆提升自身价值提供了广阔的发展空间,而准确、客观地评价高校图书馆在线课程的教学质量对于提高图书馆的教育职能有着重要的意义。根据现有可得的统计数据探寻指标的设计依据,从教学内容、教学方法、教学效果和视频质量这4个层面细化出较为通用的指标来构建高校图书馆在线课程教学质量评价指标体系,再引入AHP法来确定各项指标的权重。结果表明：所建的评价指标体系能够如实反映在线课程教学质量的实际情况。进而提出存在的问题及建议。     

基于道化学指数法的石油树脂加氢单元安全评价

氢化石油树脂是一种重要的改性热塑性烃类树脂,为指导石油树脂加氢的安全生产提供科学依据,以石油树脂加氢生产工艺流程为研究对象,对生产物料、加氢反应单元的危险性进行分析.根据《重大危险源辩识标准》(GB 18218—2018)对石油树脂加氢单元进行重大危险源的辨识,采用美国道化学公司的火灾爆炸危险指数评价方法(第七版)、依照火灾爆炸指数法的评价程序对石油树脂加氢制备氢化石油树脂过程的主体加氢单元的火灾爆炸危险性进行了定量计算和评价,确定了物质系数、单元危险系数、火灾爆炸指数、安全措施补偿系数、危害系数等重要参数.结果表明:氢化石油树脂制备过程加氢单元的火灾、爆炸危险系数等级为"非常大",若该单元发生危险事故,将有82％遭受破坏,最大可能的财产损失将达到影响区域内财产总值的67％.提出对加氢反应单元进行安全措施修正补偿后,加氢单元的危险等级由"非常大"降为"较轻",单元最大损失降低为影响区域内总投资的33％,危险程度降低至可接受的范围内.针对石油树脂加氢单元存在的危险等级提出了有效的安全对策措施.     

两时间尺度的捷联速度算法研究

根据奇异摄动理论分析具有小参数的捷联惯导系统方程,在两时间尺度上对系统状态方程进行了降阶简化处理,设计捷联算法.在内回路推力速度矢量计算中,应用一种新的划船补偿算法补偿比力转换过程中载体姿态变化产生的速度误差.在外回路中进行重力地速计算,完成导航坐标系上速度的更新.仿真结果表明:新算法精度与Savage四子样算法近似,计算量小.     

电力系统静态安全运行分析软件的设计与实现

设计了一套基于现代内点理论,可求解分析满足电力系统静态安全稳定要求运行方式的软件系统。该软件通过解析电网运行的BPA数据,将原数据进行潮流计算和N-1校验,并分析电网N-1校验后出现的线路过载问题,优化全网的机组出力、网架结构、无功电压协调控制,提出安全稳定运行优化配置策略,提高全网安全稳定运行水平,为制定电网的运行方式提供理论依据,以确保电网安全稳定可靠运行。通过实验测试表明,该软件界面友好,使用方便、运行稳定。能准确快速的筛选出故障线路并且给出了相应的满足静态安全稳定运行的优化配最结果,取得了很好的效果。     

惠州地区蛾类调查初报

初步鉴定出惠州地区蛾类14科,248种。其中夜蛾科71种,螟蛾科50种,天蛾科36种,尺蛾科27种,毒蛾科21种,灯蛾科13种,鹿蛾科9种,斑蛾科7种,枯叶蛾科5种,大蚕蛾科4种,箩纹蛾科、带蛾科和木蠹蛾科分别1种。根据调查结果,对该地区蛾类昆虫的区系结构进行了分析,该地区蛾类昆虫以东洋界种为主。     

纳米Al/Cr2O3/ETN复合含能材料的制备与表征

采用溶胶-凝胶法,以1,2-环氧丙烷作为Cr(Ⅲ)离子的水解促进剂,温和条件制备了Al/Cr_2O_3/ETN湿凝胶,超临界干燥后得到Al/Cr_2O_3/ETN纳米复合物。讨论了氯化铬初始浓度、溶剂选择、环氧丙烷用量和初始p H值对体系温度和p H的影响,确定了最佳工艺。利用TEM、SEM、BET、EDS、IR、DSC和感度测试对Al/Cr_2O_3/ETN纳米复合物的形貌、结构、热分解性能和机械感度进行了表征。结果表明,纳米Al的表面被粒径约20 nm的纳米ETN和Cr_2O_3的小粒子致密包覆,形成纳米复合物,其比表面积为290.8 m2·g-1,IR图谱中有明显的硝酸酯基炸药的特征峰。DSC分析表明,ETN在63.4℃出现熔化峰,194.3℃出现分解放热峰。感度测试结果表明,复合物的撞击感度和摩擦感度只有53 cm、46%,所以此复合物的感度较低。     

污水停留时间对多级人工湿地塘组合系统除氮的影响

通过多级人工湿地-塘组合系统在不同的污水停留时间下处理污染水体,对各项出水污染物进行测试对比。结果表明:在初春低温条件下,COD、TN和NH_4~+-N的去除率随着污水停留时间的增加显著提高,其中COD在污水停留时间达到5 d之后去除率开始趋于平缓,TN和NH_4~+-N的去除率在污水停留时间达到5 d之后出现下降。表明在保证处理效果的前提下,污水停留时间选在4~5 d之间较为合理。这为实际处理污染水体提供了一定的参考。     

聚L-苯丙氨酸修饰电极测定对乙酰氨基酚

采用循环伏安法制备了聚L-苯丙氨酸薄膜修饰玻碳电极,研究了对乙酰氨基酚在该修饰电极上的电化学行为,建立了循环伏安法测定对乙酰氨基酚的新方法.研究发现:在pH 7.0的磷酸盐缓冲溶液中,聚L-苯丙氨修饰电极对对乙酰氨基酚存在灵敏的氧化作用,氧化峰电位负移50 mV.对乙酰氨基酚的浓度在2.0×10-5~2.0×10-4mol.L-1和8.0×10-7~2.0×10-5mol.L-1范围内与其峰电流呈良好的线性关系,检出限为5.0×10-7mol.L-1.对1.0×10-5mol.L-1对乙酰氨基酚平行测定5次,相对标准偏差为1.6%.该法可用于药品中对乙酰氨基酚的测定,结果满意.     

教育生活化：高校思想政治教育新视角

高校思想政治教育的根本目的在于促进大学生的全面发展.思想政治教育生活化主张在生活实践中加强和提高主体的思想道德修养水平,实现思想政治教育主动参与大学生的生活世界,强化对教育主体的尊重,发挥教育的主体性.