系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

K1,s-free图的局部Hamiltion连通性

设G是K1,s-free图,如果对每一个顶点v∈V(G),有：K(G[N(V)])≥s一2,(s≥3),那么每一局部导出子图均包含一个Hamiltion路。     

可转换债券对基础股票影响的实证研究

对上市公司发行可转换债券后基础股票的风险收益变化情况进行了实证检验。研究发现：上市公司在发行转债前一年基础股票风险较低，公司选择发行转债并非出于风险管理方面的考虑；转债发行公司的基础股票长时间保持着高收益低风险的状况，这可能是由于资本市场缺乏有效性使然；基础股票收益率与经营绩效出现了相反的变化趋势，这种状况有可能是由于转债市场上存在脱离业绩炒个股的现象造成的。     

低温荧光摄影技术的进一步探索

低温荧光摄影技术在物证检验中的应用具有非常广阔的前景。本文进一步探索了物质的荧光特性及其研究方法，低温荧光摄影的类型及其吸收滤光技术。     

郑白五号

钙果为蔷薇科樱桃属欧李树种中的名果，果实酸甜可口，是理想的退耕还林经济林树种。     

抛射体运动的两个几何特性

讨论了抛射体运动的两个几何特性     

蒸发器管路特性自动测试装置研制

介绍了制冷机中蒸发器和毛细管等管路器件特性参数自动测试装置的设计原理和实施方法。通过对管中气流的理论分析，利用铂电阻、差压和流量变送器等检测仪表，用单片机进行数据采集、运算处理和流程控制，解决了管路器件泄漏和阻力综合参数测试装置研制中的几个关键问题。该装置可灵活方便地应用于制冷行业管路器件质量监控。