铁路乘客艾滋病知识、态度、行为调查分析

目的　调查铁路旅客的艾滋病相关知识、态度和行为情况,为列车开展艾滋病宣传教育提供理论依据。方法　对6趟旅客列车乘客进行抽样问卷调查,调查结果进行统计分析。结果收回有效调查问卷2 083份,艾滋病一般知识正确回答率55.83% ~92.03%,传播途径59.67%~93.52%,临床知识59.00%~77.34%,预防控制68.75%~88.86%,态度行为48.25%~94.33%,政策法规67.64%~84.88%。正确回答率无性别差异(P>0.05);一般知识、传播途径、行为态度存在结婚与否的差异(P<0.05);受教育程度上除一般知识外,其它都有显著性差异(P<0.01)。结论　铁路乘客对艾滋病知识、态度、行为的正确回答率,原则性问题高于具体问题, 71%以上乘客愿意接受健康教育和AIDS教育。针对铁路乘客流动性强的特点,列车上艾滋病宣传教育内容要注重知识具体化。     

Parametric Hull Form Optimization of Containerships for Minimum Resistance in Calm Water and in Waves

This paper described the process of generating the optimal parametric hull shape with a fully parametric modeling method for three containerships of different s...     

YJH-Q5液体加热器

主要介绍YJH-Q5液体加热器的特点。     

不确定环境下交通网络应急预防护优化研究

交通网络是灾害发生后实施及时救援和应急疏散的重要物质基础之一.为提高交通网络在灾害中的抗毁能力,保证交通网络的可靠性,针对不确定环境下的交通网络应急预防护问题,以灾前养护加固成本和灾后修复费用最小化为目标,同时考虑资金预算、灾后网络连通性、旅行时间可靠性和灾后路段通行能力等约束,构建了双层规划模型进行问题描述,并利用基...     

Optimal synthesis of function generation in steering linkages

This paper presents an approach to optimize planar mechanisms for function generation synthesis. It is applied to the design of different steering linkages used in road vehicles where the Ackermann condition is formulated as the objective function. Four different mechanisms are kinematically defined and synthesized in terms of the proposed method. Limitations of the size of the elements are also considered by means of inequality constraints. Solutions are presented as the difference between desired behaviour, established by Ackermann, and actual generated performance. The results show that the accuracy achieved by the proposed procedure is satisfactory for working conditions in this type of linkages.     

双悬臂梁桥试验检测及安全技术评价

双悬臂梁桥为我国在上世纪60年代至90年代期间为解决桥梁跨度不足而使用的一种结构。结构主要以锚固孔和挂梁孔组成。该种桥梁的病害主要体现在牛腿的受力薄弱位置的抗剪能力不足。该文对位于吉林省延边州G302国道上的嘎呀河大桥的试验检测过程作了介绍,以期为今后此类桥梁评定作为借鉴。     

Chaotic movement of vortices in superconductors of high-Tc superconducting maglev system at a high speed

Vortex motion in superconductors of higb-Tc superconducting maglev system is studied by a computational simulation.The vortex system is treated in a similar fashion,as a system where defects arc arrang...     

新疆兵团道路运输业发展趋势分析

在对新疆生产建设兵团道路运输业现状分析的基础上,通过利用一元线性回归模型、平均增长率法以及灰色预测法三种方法分别对兵团2011～2015年的道路旅客运输量、道路货物运输量、道路旅客运输周转量、道路货物运输周转量等进行预测。结果显示,在未来5年当中道路旅客运输以年均7.7%增长,道路货物运输以年均9.2%增长,道路旅客周转量以年均10.6%增长,道路运输货物周转量以年均12.6%增长。     

“资本是一个活生生的矛盾”——对马克思一个重要命题的当代解读

要科学回答2008年国际金融危机的发生根源,就要深刻认识马克思的“资本是一个活生生的矛盾”的命题.在马克思看来,为了获取剩余价值,资本必然会推动生产无限扩大;为了实现剩余价值,资本必须保持生产和消费的正确比例从而限制生产的无限扩大趋势,这两者共同构成了资本的矛盾本质.不难发现,这次国际金融危机的根源是资本矛盾本质决定下的生产相对过剩.资本矛盾命题具有重要的当代启示,即应当坚持资本和资本主义的分离、坚持基本经济制度的社会主义性质、坚持以科学发展观来规划和调整经济的发展道路和发展方向.     

Méthode de validation formelle d’un poste d’aiguillage informatique

In this article, we discuss on how to solve the following problems: the checks and tests before putting the safety facilities into service, and the results of these tests which are essential, time consuming and may show great variations among each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process. In practice, a reduction of the test cover rate is observed. The method presented in this article makes it possible to formally validate the new computerized mechanisms of the existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project was to provide SNCF with an operating method for the formal validation of interlocking systems. A formal proof method by assertion, applicable to our interlocking system, which covers equally the specification and its real software implementation, is presented in this article. With the proposed method and its associated tools, we completely verify that the system follows all safety procedures at all times and does not show superfluous conditions. This replaces all plateform tests checks. It is included in the existing testing procedures. The advantages of using this method are the following: a significant reduction of testing time and of the related costs, an increase of the test coverage rate (determinisitic safety vs. probabilistic safety), and an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. The mastery of formal methods by infrastructure engineers is surely a key to prove that additional safety is not expensive.