确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法．一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性．方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现．     

环肋锥-柱结合壳在静水外压作用下的弹性稳定性

本文提出了分析环肋锥－柱结合壳在静水外压作用下弹性稳定性的一个有效方法。该方法的基本思想是：（１）联合运用半弯矩理论和结合边附近边界效应理论；（２）利用以切向位移作为基本未知数的最小势能原理。所得到的临界压力表达式和熟知的圆柱壳 Ｍｉｓｅｓ公式相似。式中的特征值αＲ／Ｌ取代了Ｍｉｓｅｓ公式中的πＲ／Ｌ，α是一个与结合壳的几何参数有关的系数。因此，由这两个公式的类比引出了“相当柱壳”概念。 对于凹式锥－柱结合壳，从本文的基本方程式出发，用渐近分析的方法又一次导出了其几何构造上的一个不利形式。当这个不利形式被满足时，壳皮膜力抵抗失稳的能力将大大降低。凹式结合壳的这种不利形式早在我们的工作［２］中已经发现，这里又一次得到证明。     

2008年度中国科技论文统计与分析

08年度中国科技人员在国内外发表论文数量和引文情况的统计分析工作已完成.国际论文数据主要采用国际权威检索数据库:科学引文索引(SCI)、工程索引(EI)、科学技术会议录索引(ISTP)、<医学索引>(MEDLINE)和<社会科学引文索引>(SSCI).     

珠峰测量: 一部测绘科技进步史

8848.86米!珠峰新高程 8848.86米!2020年12月8日,中国、尼泊尔两国向全世界正式宣布,珠穆朗玛峰的最新高程为8848.86米. 珠峰高程即珠峰海拔高,是峰顶到"大地水准面"的距离.地球表面地形起伏巨大,科学家们假设静止的海水面向大陆延伸,把地球包裹起来形成"大地水准面".然而,大地水准面无法直接测量,需要根据珠峰地区现势性强、分辨率高、数量庞大的重力数据、水准数据、地形数据和卫星定位数据综合计算得到.     

一种改进的C／S服务模型

提出了一种改进的Ｃ／Ｓ服务模型ＢＢＤＳＭ，ＢＢＤＳＭ把代理作为客户与服务器间的中介者以实现一种新的服务管理机制，相对传统Ｃ／Ｓ服务模型而言，实现了服务透明访问和动态负载平衡，并使系统具有一定规模的可伸缩性和容错能力。     

一角认控制的形式化方法

提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念，通过施加控制数据流规则和ＦＳＭ语法，将数据流事务转换为ＦＳＭ事务，消除了数据流图的歧义性；同时，将有限状态机作为ＦＳＭ事务的控制原语，使事务的控制部分得以形式从，从而可实现确认控制自动化。     

确认测试路径的一种生成方法

针对确认测试自动化在实现中的难题，提出了将测试过程进行划分的确认控制策略，并探讨了次之付诸实践的可行方法。一方面通过将测试过程进行划分减轻用例设计的负担，另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性。方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外，其余的步骤均能自动实现。     

河南省高校实验室工作研究会第六次会员代表大会暨2003年学术年会会议纪要

南省高校实验室工作研究会第六次会员代表大会暨2003年学术年会于2003年10月29日至31日在河南师范大学(新乡市)召开.国家教育部高教司陈小平处长,全国高校实验室工作研究会副理事长兼秘书长、北京大学实验室与设备管理部部长王兴邦教授,全国高校实验室工作研究会顾问、河北省高校实验室工作研究会理事长王华生教授,北方九省高校实验室工作研究会协作组组长、《实验室科学》编辑部常务副主任郝振东处长,河南省教育厅高教处唐多毅处长以及来自我省48所高校的代表共96人出席了会议.会议分“开幕式、学术交流、换届会议、产品展示、闭幕式“五个阶段进行.……