白云鄂博铁矿东矿边坡稳定性研究

针对白云鄂博铁矿东矿C区边坡产生的3处不稳定滑体,结合现场工程地质勘察和岩石力学试验,采用理正岩土分析软件5.5版及加拿大岩质边坡稳定性分析计算软件SLIDE5.0对削坡、锚索加固、注浆的二次加固措施进行了分析计算,通过计算得到的安全系数来综合判断该二次加固措施的有效性。分析计算结果表明,通过削坡、锚索加固、注浆的加固措施,可以使白云鄂博铁矿东矿C区边坡最危险滑面的安全系数达到1.186,符合设计边坡稳定安全系数要求。文章最后提出了实施这些措施时的注意事项。     

新一代液晶显示系统设计与实现

随着时代的演进和科技的进步,液晶显示已经在现代科技产品中得到广泛应用,为了提高液晶显示系统在带有电容触摸技术的现代电子产品中开发与应用,文章中采用新一代8位STM8S208系列MCU和ET-12864F液晶显示模块,设计了一种新型的液晶显示系统;同时介绍了STM8S208单片机的优越性和ET-12864F液晶显示模块的具体操作方法,并给出了单片机STM8S208与液晶显示模块ET-12864F构建的硬件接口电路和程序设计;经实践应用,该液晶显示系统应用开发成本低,效率高具有较好的项目应用参考价值。     

基于LAN的转台机动控制虚拟动态测试分析系统设计

针对卫星姿态机动控制地面物理仿真监测实验,设计了卫星姿态机动控制性能动态测试分析系统;测试系统采用码盘作为测角传感器、数字I/O接口卡、测试目标为飞行器仿真气浮单轴实验转台,Labview和Access为开发软件;运用了动态测试技术、Lab-view与SQL连接的ADO技术,设计了库结构,利用Datasocket技术实现了实验数据的网络通讯,并介绍了系统硬件设计方法和软件系统设计方法,该系统实现了角度动态数据采集、数据自动存储、数据自动分析、数据管理及数据自动打印等实验功能,分析结果包括机动范围、姿控精度、控制误差及机动响应时间等数据项,还实现了局域网内PC机在线实验观测和实验数据备份功能;经实验验证,达到预期的实验测试任务要求。     

卓越软件工程师3C立体培养体系的探索

针对卓越软件工程师专业人才培养的教学改革,给出人才培养目标和基本要求,提出3C立体培养体系的改革理念和改革措施,阐述校企合作的具体培养方案。改革实践表明,此培养体系具有一定的特色和参考价值。     

基于二阶梯度的图像增强算法研究

针对PCB图像的特点对图像进行增强处理,使得图像的边缘更加突出,灰度的对比度增加,同时滤除靠近边缘的噪声,为后续图像分割时更有效的选取阈值打下良好基础。使用二阶梯度算子获得图像的增强效果,实验表明,不仅解决了边缘附近噪声去除问题,而且有效地突出了边缘信息,图像的黑白对比分明,尤其是目标图像靠近边缘部分灰度值明显高于其他的非边缘区域。     

FlexRay总线架构下线控转向系统可靠性分析

文章在研究FlexRay总线理论基础上,对FlexRay总线式线控转向系统的可靠性进行研究,给出了具有容错结构的线控转向系统的方案。在对系统可靠性分析中采用FEMA的分析方法,有效的分析系统中的隐患;采用硬件冗余的方案设计出双通道冗余型的线控系统,大大提高FlexRay线控转向系统的可靠性要求。     

Static typing for a substructural lambda calculus

Substructural type systems are designed from the insight inspired by the development of linear and substructural logics. Substructural type systems promise to control the usage of computational resources statically, thus detect more program errors at an early stage than traditional type systems do. In the past decade, substructural type systems have been deployed in the design of novel programming languages, such as Vault, etc. This paper presents a general typing theory for substructural type system. First, we define a universal semantic framework for substructural types by interpreting them as characteristic intervals composed of type qualifiers. Based on this framework, we present the design of a substructural calculus λ_SL with subtyping relations. After giving syntax, typing rules and operational semantics for λ_SL, we prove the type safety theorem. The new calculus λ_SL can guarantee many more safety invariants than traditional lambda calculus, which is demonstrated by showing that the λ_SL calculus can serve as an idealized type intermediate language, and defining a type-preserving translation from ordinary typed lambda calculus into λ_SL.     

Adobe Premiere改变视频剪辑速度和持续时间的方法

在专业的数字视频创建过程中Premiere Pro发挥着重要的作用,使用Adobe Premiere CS4视频编辑软件来改变视频剪辑速度和持续时间,可以快捷精确地制作出快动作和慢动作的效果.文中分别介绍了运用"速率伸缩工具"进行快速速度调整;运用"速度/持续时间"命令进行精确速度调整;运用"三点编辑和四点编辑"进行自...     

Fast feature-based mode decision for 4×4 intra prediction in H.264/AVC

Intra coding in H.264/AVC can significantly improve the compression efficiency at the cost of high computational complexity due to the use of the rate-distortion optimization technique.To reduce the complexity of intra prediction,we propose a feature-based mode decision algorithm for 4×4 intra prediction.This algorithm is motivated by the fact that a good prediction mode usually has a small residue block,which is the difference between the original block and predicted block.The sum of the absolute transformed coefficients and deviation information of residue block are used to measure the distortion of prediction mode and the smoothness of residue block,respectively.According to the ranking of these two features of all possible modes,and together with the most probable mode,small numbers of candidate modes can be determined.Moreover,the candidate modes are further reduced to only one by using two early termination rules based on the correlation of rank and most probable mode.Simulation results demonstrate that the proposed mode decision method reduces about 60% of total encoding time of intra coding with negligible loss of coding performance.     

Synchronization of complex dynamical networks under recoverable attacks

In this paper, the synchronization of complex dynamical networks (CDNs) under ‘successful’ but recoverable attacks is studied by utilizing the framework of switching systems. ‘Successful’ attacks refer to a class of attacks that break a network into a group of isolated clusters. Recoverable attacks refer to a class of attacks that the network can recover from after a period of time. To facilitate the investigation of the synchronization of a CDN under ‘successful’ but recoverable attacks, the attack frequency and the average recovering time are introduced. By using a piecewise Lyapunov function, the upper bounds of the attack frequency and the average recovering time are obtained to ensure that the whole network can achieve global synchronization under attacks.