论文部分内容阅读
国家自然科学基金研究专著——《数字硬件的形式化验证》
【出 处】
：
自然科学进展
【发表日期】
：
2003年5期
其他文献
运用Solid Works设计了一种悬挂式4层摇床,根据该摇床的工作特点,结合流体力学相关理论对颗粒在床面上的运动规律进行了分析;运用FLUENT对摇床进行流体动力学分析,分析比较了
本文首先介绍了首届"中国管理案例共享国际论坛"(2010)的概况,并运用内容分析法对稿件进行总体评价,再针对稿件的合作撰写、研究领域、研究对象、论文类型、数据来源等情况进
本文试图从社会语用角度说明具有曲折婉转、含糊其辞特点的委婉语在使用范围及功能方面具有重要的语用价值。作者首先重点讨论了语用意义,目的是引起英语研究者的注意,特别是
柴油发电机组的工作噪声是一种严重的环境污染源，需要得到抑制。采用全封闭式静音箱结构以使机组噪音与外界最大程度隔离，均衡考虑机组的散热和通风，采用全水冷散热方式，可使箱体
站在顶层设计的高度,运用信息资源规划的基本理论、方法,对修船企业管理所需的信息资源进行整体规划。规划的核心是实现信息资源管理流程化、标准化、规范化,通过业务需求分
文章针对某护卫艇锚机振动和异响故障,介绍了锚机结构与原理,针对故障特征进行检测排查,分析故障原因,并提出修理方法,最终使问题得到圆满解决。
<正> 在本文中,我们将通过一个简单的例子来学习如何实现手机与Servlet的网络通信。该程序经tomcat4.0.6、J2ME的MIDP简表及SUN的J2ME的无线应用程序开发工具包编译、配置和
针对水利水电工程中高水头、大单宽流量泄洪消能问题,提出多股多层水平淹没射流新型消能型式.对这种复杂三元混合淹没水跃进行了理论分析,推导出跃前水深和跃后水深之比和消
本文结合实例详细阐述了在OSF／Motif环境下如何编制OpenGL三维交互应用程序，并且对这一实现特殊功能的函数给出了合理的解决方案。
利用美国国家环境预测中心和国家大气研究中心的再分析资料，研究了太平洋西部遥相关型（WP）与赤道中东太平洋海温之间的关系．结果表明：WP型与赤道中东太平洋海温不但存在同时相关，而