高压变频器监控软件中ADO数据库编程技术的应用

介绍了在高压变频器监控软件设计过程中,为了实现运行参数的记录等功能所应用的ADO数据库编程技术.给出代码并详细说明了在VB程序中利用ADO对象动态创建数据库和数据表的方法,这些方法在开发VB数据库应用程序中很有实用价值,并可以提高数据库的灵活性.     

Structured inspections of code

Cleanroom programming and code inspections independently provide evidence that it is more efficient to postpone the testing of code to a later stage than is usually done. This paper argues that an additional gain in quality and efficiency of development can be obtained by structuring inspections by means of an inspection protocol. The written part of such a protocol is prepared by the programmer before the inspection. It is modelled on Floyd's method for the verification of flowcharts. However, the protocol differs from Floyd's method in being applicable in practice. Structured inspections gain this advantage by not attempting to be a proof; they are no more than an articulation of existing forms of inspection. With the usual method of structured programming it may be difficult to prepare the inspection protol. On the other hand, ‘assertion-driven programming’ (of which an example is included in this paper) not only facilitates protocol preparation, but also the coding itself.     

Replay-based debugging of occam programs

Parallel programs are intrinsically non-deterministic, and therefore the techniques of cyclical debugging that are commonly used for sequential programs are not suitable for parallel ones. This paper proposes a method to reproduce Occam program behaviour. Saving information on the timer values input by the program and the guards selected at run-time on alternative commands allows program replay, i.e. it makes it possible to re-execute the program deterministically with the same inputs following the same instruction path. This enables the software developer to use tools such as debuggers and intrusive monitors to help identify program faults. After discussing possible implementations of the proposed technique, IRD (an interactive replay debugger for Occam programs) is described. Finally, the use of the IRD in a sample debug session is presented as an example.     

软件内建自测试中模板内容的研究和实现

软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试BIST(BuildinSelfTest)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决软件测试难的问题。模板是软件内建自测试系统的基石,其内容关系到整个系统的性能和效果。具体讨论了模板的实现,根据软件故障模型对代码进行改装,从而减少程序出错的概率,同时为软件内建自测试系统中测试用例的生成提供了更丰富的信息。     

VB环境下刀具数据库管理系统的开发

随着现代数控技术的不断发展和普遍应用,刀具数据库的开发与管理有了极其重要的意义和实际的研究价值.本文在VB环境下,利用开放式数据库互联(ODBC),通过数据库关联和程序设计完成了具有较高适应性的刀具数据库管理系统.通过链接、访问及维护刀具数据库,可有效加强对刀具的管理及合理利用.     

实施国家SITP计划，培养创新实践能力

我校实施国家大学生创新实践训练计划（SITP）,培养大学生的研究创新能力和综合实践能力,为大学生的毕业设计和毕业后参加工作甚至研究生的学习打下了坚实的基础。通过同济大学SITP项目的指导实践,探讨了对大学生创新实践能力的培养问题。     

Hydrogen in China: Policy,program and progress

The paper introduces the role of energy in China economy context, criteria for sustainable development in energy sector, China's hydrogen vision, the role of hydrogen in China's R&D plan, recently launched national programs, and progresses and achievements in research, development and demonstration. The paper concludes that with fast economy development in the new era in China, the energy sector has been confronted with severe challenges in terms of supply security, environment pollution and greenhouse gas emission, and China has attached significant priority on research and development in hydrogen and fuel cell areas, as one of effective counter-measures to address these challenges. Transition to the hydrogen economy in China, a long-term, non-carbon energy solution, is believed to play a significant role, complementary to electricity, in the future sustainable energy system. It is recommended that more priority be attached for R&D in secondary industry, especially the utilization of hydrogen and fuel cell in stationary power generation from coal gasification.     

北京林业大学风景园林专业本科教学体系改革的研究与实践

简要概述了风景园林专业的发展历史;经过广泛调研和充分论证,深刻剖析原有的风景园林专业教学体系中存在的主要问题：结合北京林业大学风景园林专业本科教学计划的修订,对风景园林专业本科教学体系的培养目标、培养模式、课程设置、教学方法、教学内容、教学管理等方面进行系统的研究和探索：在此基础上制定与生产实践、社会发展需求相结合的本科人才培养方案和课程体系,期望对于规范我国风景园林的教育体系有所借鉴。     

基于VBA的机床夹具标准件库的创建

介绍了基于VBA的二次开发技术、机床夹具标准件库的结构和用法，详细论述了用VBA开发机床夹具标准件库需要解决的OLE、数据库、标准件工程图等技术。     

基于VC++.Net开发Geant4数值模拟程序

Geant4是用于精确模拟粒子在介质中输运过程的数值计算软件工具包.相对于MCNP、EGS等商业软件来说,它的主要优点是源代码完全开放,用户可以根据实际需要更改、扩充Geant4程序.然而Geant4是基于Linux/Unix操作系统,对于Windows用户而言,无法直接编译和运行Geant4应用程序.主要介绍Windows用户如何基于VC .Net开发Geant4程序.首先介绍了Geant4在Windows系统的安装步骤;然后给出了在VC .Net中创建Geant4的工程文件的详细过程,其中包括Geant4静态链接库和动态连接库的生成,以及VC .Net环境变量的配置等;最后简要讨论了实现Geant4数值模拟的主要流程,并描述了Geant4程序的基本框架.