基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

Full six degrees of freedom coupled dynamic simulation of ship collision and grounding accidents

By taking advantage of the user-defined load subroutine (loadud) and the user common subroutine (usercomm) in LS-DYNA, the authors proposed a new coupled approach for simultaneously calculating structural damage and the planar 3DOF ship motions in ship collisions. The coupled procedure aimed at predicting the detailed structural damage together with reasonable global ship motions. This paper extends the method to consider the full 6DOF ship motions; thus, ship collision as well as grounding accidents can be properly handled. This method is particularly useful for design purposes because the detailed ship hull profile is not needed.A traditional ship maneuvering model is used for the in-plane surge, sway and yaw degrees of freedom with a series of nondimensional coefficients determined from experiments. It is assumed that the out-of-plane degrees of freedom are not coupled with the in-plane ship motions, and there is no coupling among roll, pitch and heave motions. The implementation is verified through free decay tests, and the obtained natural periods show good agreement with theoretical results.Several collision and grounding cases are simulated in which a supply vessel crashes into rigid plates with different orientations. The effects of the roll motion, the heave and pitch motions and the full 6DOF motions are studied. The results are compared with those from a 6DOF decoupled method. Ship motions through the proposed method compare reasonably well with SIMO results. It is found that several consecutive impacts may occur in the simulation of one collision case due to the periodic motions. This is not taken into account in the decoupled method, which makes this method unconservative.     

六五式铁路军用桥墩模拟拼装系统研制与开发

为了满足六五式铁路军用桥墩拼装演练的要求,介绍了“六五式铁路军用桥墩模拟拼装系统”的研制与开发工作。该系统不仅可以解决实际拼装作业的标准化和规范化问题,探索出安全、经济、高效、规范的拼装技术作业程序;而且可以降低拼装演练的费用,提高拼装作业人员的拼装技术水平,减小拼装时间,提高拼装效率。对培训专业保障队伍和保障战时铁路运输的畅通,具有一定的作用。     

The changes of neuronal activity of the zone incerta in a rodent model of Parkinson＇s disease

Objective To study the changes in neuronal activity of the zone incerta (ZI) following the unilateral lesion of the nigrostriatal pathway. Methods Eiectrophysiological recordings of ZI neurons were made in normal rats and in two groups of rats at different time intervals after injection of 6-hydrodopamine (6-OHDA) into the pars compacta of snbstantia nigra by extracellular recording in vivo. Results The results showed a significant increase in the mean firing rate of ZI during the second and fourth weeks after 6-OHDA lesion [-n=32, (3.6±2. 2)Hz, P<0.001; n=35, (9.3±6.6)Hz, P<0. 001, respectively] compared to that of normal rats [n=39, (9.2±5.2)Hz]. However, no significant change was observed between two groups of 6-OHDA-lesioned rats. With regard to firing pattern, 7.7%(3/39) of ZI neurons discharged regularly, 82.1% (32/39) irregularly and 10. 3% (4/39) in bursts in normal rats. During the second week after 6-OHDA lesion, the regular, irregular and bursting firing neurons recorded in the ZI were 9.4% (3/32), 59. 4% (19/32) and 31.3% (10/32), and during fourth week, the regular, irregular and bursting firing neurons were 14.3% (5/35), 57.1% (20/35) and 28. 6% (10/35), respectively. The firing pattern of the neurons in the three different groups did not change significantly. Conclusion These results suggest that the firing rate of ZI neurons in 6-OHDA-lesioned rats is increased significantly, which may contribute to the pathophysiology of Parkinson's disease.     

基于ASP.NET的B/S架构的软件在Windows7系统下的部署

本文重点研究了对于B/S架构的软件在Windows7系统下部署时应该采用的一系列方法及在部署时遇到的一系列问题的解决方案。文中分析了利用ASP.NET开发的B/S架构的软件的优点并在此基础上介绍了软件部署的流程。本文在分析过程中结合具体实例提出了部署中一些常见问题的解决方案。     

弥漫性轴索损伤后CD4~+/CD8~+ T细胞比值、IL-6、IL-10水平变化及预后相关危险因素的Logistic回归分析

目的研究弥漫性轴索损伤(DAI)后患者外周血CD4+/CD8+T细胞比值及炎症因子IL-6、IL-10水平的变化,探讨影响DAI患者预后的相关危险因素及可能的预测因子。方法收集115例DAI患者的相关临床资料及伤后至少6个月的随访结果,并将采集的患者外周血采用流式细胞仪检测CD4+、CD8+T细胞及其比值,ELISA法检测IL-6、IL-10水平,对免疫炎症指标及临床资料进行单因素和多因素分析,多因素分析采用Logistic回归分析。结果DAI后合并其他脑损伤、瞳孔改变、伤后昏迷时间及入院时GCS评分是影响患者预后的危险因素,而其他因素则与预后不相关。CD4+/CD8+T淋巴细胞比值降低是DAI后发生ARDS/ALI的危险因素,CD4+/CD8+T淋巴细胞比值与患者预后关系不大,而ARDS/ALI的发生则是影响DAI患者预后的重要危险因素。IL-6增加与DAI后ARDS/ALI密切相关,可作为ARDS/ALI发生的预测因子,其水平是患者预后的危险因素,而IL-10则在此过程中与ARDS/ALI不相关,且与患者预后无关。结论 CD4+/CD8+T淋巴细胞比值降低是DAI后发生ARDS/ALI的危险因素,IL-6可作为ARDS/ALI发生的预测因子。DAI后与患者预后相关的危险因素包括合并其他脑损伤、瞳孔改变、伤后昏迷时间、入院时GCS评分、IL-6水平及并发ARDS/ALI。     

大倾角搁浅船舶扳正过程分析

在研究大倾角搁浅船舶的扳正过程中,计算了难船扳正力、横倾角和吃水。根据搁浅船舶的受力特点,建立了其力学模型,分析了扳正过程中横倾角、吃水、入泥深度与海底泥土性质对船体的影响。利用GHS软件模拟搁浅船舶的扳正过程,以某搁浅液化气船舶为例,求解了其扳正过程中船体扳正力、总搁坐力、剪力、弯矩和转矩,比较了难船不同扳正方案,分析了难船的扳正方式、搁坐位置、上层建筑与储气罐对难船打捞的影响。分析结果表明:在扳正过程中,3个方案的力学参数的变化趋势是一致的。最大扳正力相差较大,差值为9.1%~20.0%。搁坐力、剪力和弯矩均在横倾角为-55°~-50°时达到最大值,船体虽然在该阶段不需加载较大的扳正力,但仍应该注意船体的受力情况。在横倾角为-120°~-100°时,转矩变化非常剧烈。弯矩和转矩均出现了反向变化的现象,威胁船体结构的安全,扳正中应该谨慎处理。选择合适的扳正方案时应该综合考虑扳正力施力点的位置和扳正过程对船体与环境安全的潜在威胁。     

基于Delphi7的GPS数据采集器的实现研究

利用Delphi7和Jupiter 021 OEM板,开发一套GPS数据采集软件.该软件能够动态显示各可视卫星的卫星号、信号强度及信号的空间分布;以北纬、东经、海拔高度表示的三维定位结果及描述几何拓扑误差的HDOP、PDOP、VDOP等误差放大因子;生成动态存储NMEA-0183原始语句及其数据提取结果的文件,为今后分析接收机性能,确定GPS数据采集时段、采集位置,进行定位结果的优化处理等方面提供数据.     

基于数值模拟的钛合金锯齿状切屑研究

切削加工中切屑成形是一种典型的大变形问题,它涉及到材料非线性、几何非线性以及边界非线性等问题。本文利用DEFORM-2D对钛合金(Ti6Al4V)进行了锯齿状切屑形成过程的有限元模拟,分析了切削过程中的应力场、应变场及温度场,探讨了锯齿状切屑的形成机理,获得了切削参数对锯齿状切屑形态的影响规律,为优化切削参数、提高刀具寿命提供了参考。     

CATIA VBA二次开发在装配中批量搜索零件的应用

文章针对汽车开发过程中,经常需要对部分特定的零件进行批量选择用于校核或者作为报告用图,给出了装配中对指定的多个零件进行程序搜索选定的方法。在介绍VB编程语言及CATIA二次开发理论的基础上,给出程序自动搜索零件的基本流程,利用CATIA Automation调用Search方法,实现零件的批量搜索。通过实例验证,证明了CATIA批量搜索的优越性。结果表明,CATIA二次开发可以提高工作效率。