港口吞吐量统计预测系统

本文给出“港口吞吐量统计、预测系统”的功能、设计及实现方法。为在小型电子计算机上处理大量的吞吐量信息设计了适宜的数据结构，节省了大量的存贮空间。文中还提出了一种自动选择平滑系数的指数平滑法，预测实例表明效果良好。     

在历史教学中指导学生读书的一些体会

一 从教学的实际效果来看,教育学生重视教科书,让学生在老师指导下阅读教科书,是学生掌握历史知识的主要途径。据1980年第10期《心理学文摘》研究证明,中学生阅读教科书记住的内容,要比听老师讲述而记住的内容要多而持久。另据一项记忆研究报告说:在老师讲授一次以后,在学生记忆里所保持的听到的内容只有10％;在学生读书     

VRRP多备份组的设计与实现

在网络规划设计时,为提高网络出口稳定可靠性,需要对出口的路由器等关键设备进行冗余备份。以中小企业双出口网络为例,详细阐述了VRRP技术多备份组如何实现网络冗余备份和负载均衡。     

三级专业认证背景下毕业要求达成度评价方法研究——以交通工程专业为例

在三级专业认证背景下,依据新修订的中国工程教育专业认证标准,结合安徽建筑大学交通工程专业的教学实践,对"毕业要求"达成度的评价方法进行了探讨,给出了完整的评价过程和判定专业三级认证等级的方法,这对于交通工程专业的人才培养具有一定的指导意义。     

民事案件续审程序初探

人民法院依照《民诉法》规定对案件部分事实清楚的可先行判决;当事人提供证据证明另一部分事实时,人民法院应适用什么程序审判,法律没有规定,最高法院也未作司法解释,导致这部分案件续审被视为再审案件而一律适用再审程序。但此类案件适用再审程序,违反"原判决、裁定确有错误"的再审原则,应当分别情况分类受理。可以适用初审程序的,另立新案处理,使审判更符合诉讼规范。     

纳米多孔InP对氨气的气敏特性研究

InP是继Si和GaAs之后的新一代电子功能材料,利用多孔半导体制成微型化和集成度较高的气敏传感器也一直是研究的热点,但对多孔InP的气敏特性研究甚少.本文拟通过电化学刻蚀方法制备纳米多孔InP,并观察其对氨气的伏安特性响应,从而分析该材料的气敏特性.     

抓好科技教育的主阵地——浅谈科学探究课程的宏观设计

现阶段,对小学生进行科学意识的激发、科学思维的训练、科学能力的培养主要集中在小学科学课中。科技教育工作者应主动结合学科特点,渗透科技教育,让学生在探究中体验科学,培养科学探究的能力,改变学生学习科学的方式,提高学生的科学素养。     

基于问卷调查的高校图书馆服务评价——以西安石油大学图书馆为例

采用问卷调查的方式对西安石油大学图书馆的服务情况进行了考察,通过对问卷结果的统计分析,发现图书馆服务存在的主要问题为缺乏图书馆培训活动、微信平台推送内容单一、临时馆员服务态度冷淡等,提出的解决方案为举办培训讲座、学术讲座等多种活动,通过读者对微信不同类型内容的评价了解读者偏好,丰富微信推送内容,以及从制度和继续教育两方面提高临时馆员的服务质量.     

基于混成自动机的CPS行为建模与属性验证

系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。