用指针实现的程序的标准化及其应用

为了消除指针程序实现形式的多样化,简化程序分析,提出一种对用指针实现的程序进行标准化的方法.首先将程序表示成系统依赖图,分析指针别名信息;然后制定指针标准化规则并结合已有的代码多样化消除规则,对系统依赖图进行保持语义不变的转换,将语法表示不同但语义等价的程序转换为相同的系统依赖图表示,从而消除代码多样化.最后,将该方法应用到C语言编程题的自动评分系统中,并与人工评分和正确评分结果进行对比,验证了该方法的有效性.     

城市污水的层流换热特性理论

为有效利用城市污水热能,以污水源热泵系统中的流动工质——城市污水为研究对象,通过理论分析的方法,对其层流状态下的换热特性进行理论推导和实验验证.结果表明:污水作为热泵的冷热源,有良好的换热特性,推导得出的换热准则关联式h=4.53λ/D,为污水源热泵系统设计提供依据,同时为应用污水余热技术提供理论基础.     

Effect of puerarin on the P13K pathway for glucose transportation and insulin signal transduction in adipocytes

To explore the effect of puerarin on insulin receptor (IR), insulin receptor substrate-1 (IRS-1) and protein expression of protein kinase B(PKB) in the P13K pathway of the glucose consumption, transportation and insulin signal transduction in 3T3-L1 adipocytes with insulin resistance. The insulin resistance 3T3-L1 adipocytes model was established by free fatty acid induction. The model cells were managed with puerarin in different concentrations. Glucose consumption was detected with glucose oxidase method, glucose transportation rate was determined by 2-deoxy-3H glucose ingesting method, and the IR, IRS-1 and PKB expression were determined by Western blot. Glucose consumption and transportation were significantly decreased in the model adipocytes, but increased after treated with puerarin (P<0.01). Moreover, the level of tyrosine phosphorylation of IR subunit β was higher in the puerarin treated groups, and that of IRS-1 was higher in the group treated with low dose puerarin than that in the model group. The 3T3-L1 adipocytes of insulin resistance model could be induced by free fatty acid successfully, puerarin could promote the glucose utilization in them to alleviate the insulin resistance, which may be related with the action in advancing the tyrosine phosphorylation of IR and IRS-1.     

Surface performance of workpieces processed by electrical discharge machining in gas

The surface performance of workpieces processed by electrical discharge machining in gas(dry EDM)was studied in this paper.Firstly,the composition,micro hardness and recast layer of electrical discharge machined(EDMed)surface of 45 carbon steels in air were investigated through different test analysis methods.The results show that the workpiece surface EDMed in air contains a certain quantity of oxide,and oxidation occurs on the workpiece surface.Compared with the surface of workpieces processed in kerosene,fewer cracks exist on the dry EDMed workpiece surface,and the surface recast layer is thinner than that obtained by conventional EDM.The micro hardness of workpieces machined by dry EDM method is lower than that machined in kerosene,and higher than that of the matrix.In addition,experiments were conducted on the surface wear resistance of workpieces processed in air and kerosene using copper electrode and titanium alloy electrode.The results indicate that the surface wear resistance of workpieces processed in air can be improved,and it is related with tool material and dielectric.     

Effects of main factors on remedying northern landscaping water by hybrid ecological filter

Natural zeolite and coal cinder were layered as main packing medium of the ecological filter instead of traditional filling to remedy the static lake water in Northern China.The ecological filter was running in a combined upward and downward flow mode.Dynamic experiments were carried out to study the effects of retention time and ambient temperature on pollutants’ removal efficiency of the hybrid ecological filter.The function of plant was also studied by contrast test.It is showed that the removal efficiencies of NH4+-N and TP are increased when the retention time is changed from 1 h to 2 h and 4 h,but the removal efficiency of TN is decreased,the removal efficiency of NH4+-N is increased from 91.5% to 98% and that of TP is increased from 31.8% to 52.5%.When the temperature declines,the temporal removal efficiency of NH4+-N is reduced,but the removal efficiency of 24 h and 48 h is remained.The removal efficiency of TP after 24 h and 48 h is decreased when the temperature declines evidently.The retention time plays an important role in NH4+-N and TP removal,and the ambient temperature is significant for TP removal.The plant favors for TP and organic matter removal but has little effect on TN removal.     

Damage and deterioration mechanism and curing technique of concrete structure in main coal cleaning plants

Concrete structures in main coal cleaning plants have been rebuilt and reinforced in the coal mines of the Shanghai Da-tun Energy Sources Co. Ltd., the first colliery of the Pingdingshan Coal Co. Ltd. and the Sanhejian mine of the Xuzhou Mining Group Co. Ltd. In these projects, the operating environment and reliability of concrete structures in the main plants of the three companies were investigated and the safety of the structures inspected. Qualitative and quantitative analyses were made on the spe-cial natural, technological and mechanical environments around the structures. On the basis of these analyses, we discuss the long-term, combined actions of the harsh natural (corrosive gases, liquids and solids) and mechanical environments on concrete structures and further investigated the damage and deteriorating mechanisms and curing techniques of concrete structures in the main coal cleaning plants. Our study can provide a theoretical basis for ensuring the reliability of concrete structures in main coal cleaning plants.     

英屿沟Ⅱ号天桥的设计

为推广预应力混凝土箱梁结构在桥梁方面的应用研究,结合英屿沟Ⅱ号天桥实例,介绍了该组合结构在桥梁方面具体应用的设计思路,介绍了英屿沟Ⅱ号天桥波形钢腹板PC组合箱梁桥主梁结构、预应力体系、波形钢腹板、连接件、防腐、施工流程等的设计,为波形钢腹板PC组合箱梁结构应用于桥梁工程提供了设计经验.     

汽车车内行驶噪声测试的阶次跟踪法

应用PULSE测试分析系统中阶次跟踪法,测试分析某型乘用车车内四个位置的噪声水平随发动机转速变化的关系.揭示了该型汽车在测试工况下,不同的转速对车内噪声的贡献规律.为降低车内行驶噪声和振动响应提供了重要的分析依据和参考.     

营运资金安全性与管理效率评价

基于风险收益权衡原则,构建了营运资金评价体系,特别指出营运资金评价应包括安全性与管理绩效性两个方面,并重点对此进行了研究,从中提出了一些改进营运资金财务分析的看法与建议,以期为企业改进营运资金管理掌控营运资金循环、为更好服务于保护债权人利益和所有者利益目标提供实现途径.     

高等院校开展学生职业生涯规划教育的思考

职业生涯规划对于人生发展具有极为重要的指导意义,对在校大学生进行职业生涯规划教育和指导,是高等学校人才培养的一项重要环节。文章针对高校学生对今后从业的认知现状和目前高校在开展就业教育工作中存在的不足,提出高等学校必须通过全程化和系统化的职业生涯规划教育指导,有效帮助学生发现和挖掘自身潜能,引导学生根据所学专业和个人志向及特长,设定毕业后的从业方向,确立大学不同阶段的努力目标,指导学生根据社会和个人发展的实际情况,实时修正从业方向和努力目标。在不断完善学生综合素质和专业技能的基础上,促进学生顺利完成学业、从容走向社会、尽早实现人生价值。