《建造合同》准则执行中的若干问题的思考

我国在1998年6月第一次发布了《建造合同》准则,2006年2月重新修订并发布了新的《建造合同》准则,新准则要求会计人员具有较高的业务素质和职业判断能力,并要求提高实务操作能力。文章结合江汉油建公司现行核算办法,分析了建造合同新的核算办法与江汉油建公司目前核算上存在的差异,并在此基础上提出了相应的解决措施。     

工程教育下计算机类课程的实践教学模式

根据工程教育专业认证"以学生为中心"的基本理念以及对学生解决复杂工程问题能力培养的核心要求,本文首先对地方高校计算机类课程实践教学存在的问题进行了分析,然后讨论了如何构造解决计算机领域复杂工程问题的工程化实验实训项目,最后着重探索了"SPOC(Small Private Online Course,小规模限制性在线课程)+项目驱动"的立体化实践教学模式,以期能提升学生解决计算机领域复杂工程问题的能力。     

降低冷轧钢种结晶器液面波动的工艺实践

结合马钢四钢轧实际生产情况,分析了影响结晶器液面波动的主要原因为塞棒吹氩量和鼓肚。通过采取降低塞棒吹氩量,增加二冷水量,优化保护渣性能以及保证扇形段对中精度等工艺措施后,结晶器液面波动标准差由2.52mm降低为1.36mm,从而达到提高冷轧产品质量的目的。     

张謇“知行并进”职教理念的内涵及当代启示

“知行并进”是张謇重要的职业教育理念.理清张謇“知行并进”思想的理论渊源,弄清其内涵,揭示其历史价值和当代启示,对于传承和弘扬张謇职教理念、推动现代职教创新发展具有重要意义.     

程序设计实践课程将训练目标落实到位的尝试

本文提出大众化教育时代程序设计实践课程分层教学理念,说明保证上规模的训练可达时,照顾能力、兼顾兴趣的实践训练任务设计思考,减少复制的监督与管理措施,以及全面评价的方法,并分析实践效果。     

对《劳动合同法》草案第十六条的思考

《劳动合同法》草案第十六条对竞业限制作出了明确的规定,但是还存在一些问题。从商业秘密保护的范围、竞业限制的领域、经济补偿、以及该条款的执行力等方面提出了修改建议。     

SY300电解槽技术的开发与生产实践

本文通过对256台SY300(300kA)电解槽的设计和在河南豫港龙采铝业有限公司200kt/a电解系列的生产实践进行剖析，应用多模式智能控制技术和“四低一高”操作工艺。电解槽运行平糖、高效。三场设计合理．实际测试和设计值吻合。实践证明。SY300电解槽从设计到生产都已达到国际先进水平。     

Ф100mm单槽自动轧管机组的技术改造与实践

介绍了应用先进的工艺和设备对Ф100mm单槽自动轧管机组生产线以及局部生产设备进行的技术改造。改造后的机组扩大了产品规格，增加了品种，提高丁产品质量，特别是提高了产品的几何尺寸精度，使企业获得了生机。其经验亦可作为其他Ф100mm自动轧管机组改造借鉴。     

Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions

ContextIn software, there are the error cases that are anticipated at specification and design time, those encountered at development and testing time, and those that were never anticipated before happening in production. Is it possible to learn from the anticipated errors during design to analyze and improve the resilience against the unanticipated ones in production?ObjectiveIn this paper, we aim at analyzing and improving how software handles unanticipated exceptions. The first objective is to set up contracts about exception handling and a way to assess them automatically. The second one is to improve the resilience capabilities of software by transforming the source code.MethodWe devise an algorithm, called short-circuit testing, which injects exceptions during test suite execution so as to simulate unanticipated errors. It is a kind of fault-injection techniques dedicated to exception-handling. This algorithm collects data that is used for verifying two formal contracts that capture two resilience properties w.r.t. exceptions: the source-independence and pure-resilience contracts. Then we propose a code modification technique, called “catch-stretching” which allows error-recovery code (of the form of catch blocks) to be more resilient.ResultsOur evaluation is performed on 9 open-source software applications and consists in analyzing 241 catch blocks executed during test suite execution. Our results show that 101/214 of them (47%) expose resilience properties as defined by our exception contracts and that 84/214 of them (39%) can be transformed to be more resilient.ConclusionOur work shows that it is possible to reason on software resilience by injecting exceptions during test suite execution. The collected information allows us to apply one source code transformation that improves the resilience against unanticipated exceptions. This works best if the test suite exercises the exceptional programming language constructs in many different scenarios.     

高职计算机应用基础课程实训教学改革的探索与实践

根据高等职业教育的培养目的和教学特点以及非计算机专业《计算机应用基础》课程实践教学标准的要求,文章从加强《计算机应用基础》课程的实训教学出发,根据学生的不同专业和实际情况,探讨了加强实训教学的方法和科学合理检查和评价学生的方法,总结了《计算机应用基础》课程在高职教育教学改革中一些行之有效的经验,全面提高学生的计算机实际应用能力。