一种基于事件序列的故障树最小割集算法

在系统分析故障树最小割集各种求解算法的基础上，提出了一种故障树事件序列的数据结构，并针对该数据结构，设计了一种高效的故障树最小割集求解算法，并对其替换子算法、复制子算法和消减子算法进行了形式化描述。算法可有效降低最小割集生成中的“组合爆炸”问题，实验结果表明算法具有较好的计算性能。     

中小城市公交线路查询系统设计方法研究

论文在对首先阐述中小城市公交线路查询系统的需求分析、系统功能及性能要求描述的基础上具体讨论了系统设计、系统总体设计的思路和方法;最后给出了系统的测试分析和系统设计总结。     

薄膜充气管充气展开特性试验

用展开导轨消除因重力产生的摩擦力,在不同充气速率与初始展开角条件下对薄膜材料充气管的充气展开特性进行了试验研究,获得了展开角,以及展开加速度和内气压的变化规律。试验及分析结果表明:充气管的充气膨胀与展开相互独立,充气膨胀过程近似为等压增容过程,折叠部位的气压变化特性与整体气压变化特性差异明显。     

双主动交会远程导引方案建模与仿真

针对航天器双主动交会问题,以两航天器能量消耗之和最小为最优交会指标,建立了一种寻求远程导引可行飞行方案的算法模型,以满足远程导引对测控、日照和任务时间等要求。仿真结果表明,该算法可行。     

MAGNETOSPHERIC PHYSICS IN CHINA:2000-2002

This brief report presents the latest advances of the magnetospheric physics researches in China during the period of 2000-2002, made independently by Chinese space physicists and through international cooperation. The related areas cover almost every aspect of magnetospheric physics.     

中小外贸企业经营机制创新分析

经营机制创新是中小型外贸企业摆脱困境的必由之路。针对目前面临的主要问题，从外部环境及企业自身经营机制缺陷方面对中小型外贸企业生存环境进行分析，并从实现经营机制创新角度探讨改善现状的方法，力图找出中小型外贸企业经营机制创新的突破点。     

rom 15 sel

with primary goat embryonic fibroblast showed no difference from traditional feederlayer-based culture method used in mouse and human. The putative primary EG colonies were multilayer clumps ofcompact cel     

数控车削加工仿真系统结构研究

根据实际加工情况提出了一种虚拟NC车削加工的仿真系统的设计及实现原理。在Visual C++平台上利用OpenGL技术建立虚拟加工机床数字化模型,用C++语言实现物理仿真相关的各个数学模型的建立,进行虚拟环境下数控车削加工的几何仿真及物理仿真,实现产品的虚拟车削制造。     

专业市场形成与发展的制度求解

专业市场是在我国经济体制改革大背景下，适应商品经济发展而形成的一种制度安排。它并不是在原有制度安排基础上的转换和修正，而是一种新的流通组织形式。从制度变迁的三个经典理论模型（戴维斯—诺思模型、拉坦模型、林毅夫模型）出发，探寻专业市场的形成、发展及其前景。     

非线性四阶微分方程两点边值问题解的存在唯一性

讨论了非线性四阶微分方程y(4)=f(x,y,y',y',y')的两点边值问题解的存在唯一性。其中,函数f在[a,b]×R4上连续,且满足Lipschitz条件。