面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

基于AGIMM的临近空间机动目标跟踪滤波算法

由于临近空间高超声速目标的机动形式复杂,单一模型很难满足高精度跟踪的需要。因此需要使用基于多种模型进行交叉耦合的交互式多模型算法,这种算法特点与临近空间目标高速、高机动特性相适应。提出了一种自适应网格交互多模型跟踪算法用于临近空间高超声速机动目标的跟踪问题。所提方法能够处理自适应时变模型集合,随时调整当前时刻使用的模型数量,相比于固定结构交互式多模型算法极大减少了计算量,计算效率和跟踪精度更高,数值仿真结果验证了所提算法的有效性。     

基于ANP的武器装备体系能力有限层次评估方法

针对武器装备体系作战能力的综合评估问题,基于网络分析的思想提出了一种“有限层次”评估方法。考虑能力之间的相关性,建立了多级式网络化能力指标体系,基于能力需求设置了“等效处理”模块,实现了武器装备体系的装备性能向能力映射,建立了作战能力评估的“有限层次”模型,再利用网络分析法确定各指标权重。然后设计了综合能力图谱来直观、全面反映系统的作战能力。最后以某型装甲装备体系为例进行分析,验证所提算法的有效性。     

重配置与周期再生相结合的软件再生模型

针对持续运行软件系统中的老化问题,提出一种重配置与周期再生相结合的软件再生方法.采用连续时间马尔可夫链对两阶段衰退软件系统的工作模式进行建模,给出系统可用性和单位时间平均成本的形式化定义与分析,并以可用性和成本作为评价标准计算相应的最佳再生周期,推导出了采用重配置的临界条件.仿真结果表明,随着重配置成功率的提高,系统的可用性增加,成本降低,当重配置成功率为1时,与纯周期再生方法相比,采用结合重配置的软件再生方法可使系统单位时间宕机成本降低48.9%.     

Macrocortin: a polypeptide causing the anti-phospholipase effect of glucocorticoids

Anti-inflammatory glucocorticoids inhibit prostaglandin (PG) biosynthesis by preventing arachidonic acid release from phospholipids rather than inhibiting the cyclooxygenase. As in other cells, this steroid action depends on receptor occupation and de novo protein/RNA biosynthesis. We have previously shown in guinea pig perfused lungs and rat peritoneal leukocytes that the effect of steroids in PG generation is mediated by an uncharacterized 'second messenger'. Now, we report that this factor (which we have named 'macrocortin') is an intracellular polypeptide whose release and synthesis are stimulated by steroids. Macrocortin derived from rat peritoneal leukocytes is very similar to that released from guinea pig lungs.     

壳聚糖基调湿材料调湿性能的研究

以改性壳聚糖吸水性衍生物为基质,与硅胶复合,通过筛选调湿基配方,得到调湿材料。考察了硅胶的种类、用量、合成方法、组方配比等在相对湿度为30%、50%、70%时对调湿材料湿控性能的影响。结果表明羧甲基壳聚糖复配硅胶混合物是较理想的调湿材料。     

基于LabView的桥梁阴极保护监控系统研究与设计

设计了一种基于Labview的桥梁安全的阴极防腐保护监控平台,详细论述了该平台的系统结构、硬件、软件设计和通讯方式的应用设计。通过现场采集数据的网络化传输实现了远程数据采集、实时数据显示、分析和数据管理。本平台可以广泛应用于桥墩的防腐保护系统、大坝、输油管道、深海隧道等场合的远程健康状态监测。提高工程的使用安全和使用寿命,并能及时监测异常状态,为工程的运行提供了安全保障。     

中国人口城镇、乡村分布现状及未来趋势预测

中国人口城镇、乡村分布现状及未来趋势预测狄昂照，李正平（国家科委科技促进发展研究中心，北京１０００３６）ＴｈｅｈｉｓｔｏｒｙａｎｄｃｕｒｒｅｎｔｄｉｓｔｒｉｂｕｔｉｏｎｏｆＣｈｉｎａ’ｓｕｒｂａｎａｎｄｒｕｒａｌｐｏｐｕｌａｔｉｏｎａｎｄｔｈｅｐｒｄ...     

北京市商品住宅系统动力学模型构建及其在预警中的应用

次贷危机的爆发引起了学术界对房地产风险及预警系统的关注.首先对传统的房地产市场预警方法进行了回顾和分析,然后从系统科学的观点出发通过对商品住宅市场各影响因素的分析构建了北京市商品住宅的系统动力学模型.通过实证仿真研究验证了模型的有效性并利用该模型对不同假设情景下北京市2010年商品住宅市场的主要指标进行了综合模拟预测,为房地产市场综合模拟预警体系提供了一个系统预测方法.     

双基地MIMO雷达二维方位角及多普勒频率联合估计

提出了一种新的双基地多输入多输出（multiple-input multiple-output, MIMO）雷达二维方位角及多普勒频率联合估计算法。该算法基于m-Capon方法将目标波离方向(direction of departure, DOD)与波达方向(direction of arrival, DOA)相“去耦”,得出了对目标DOD和DOA的估计;然后,在对目标二维方位角的估计的基础上,算法可进一步估计出目标的多普勒频率。因此,其估计出的目标二维方位角与多普勒频率可自动配对。该算法无需预判目标数及对数据协方差矩阵特征值分解,且对目标二维方位角与多普勒频率的联合估计不涉及高维的非线性优化搜索,具有较小的计算量。此外,该算法可适用于发射和接收阵列为任意阵列结构的双基地MIMO雷达系统。计算机仿真结果证明了本文方法的正确性和可行性。