通信协议分析的一种新方法

本文提出一种用于协议分析的新方法,它以本文提出的带有参数计数器的有限状态自动机为基础,对协议模型进行可达性分析。这种方法不仅解决了“状态爆炸问题”,并有利于实现自动验证。由所生成的可达树,可以构成马尔可夫链模型,并由此确定协议的性能。文中讨论了马尔可夫链模型的性质与建立过程,并进行了吸收分析。最后,给出了简单分组传输协议的例子,以说明方法的应用。     

构建贸工型集团式跨国公司——我国跨国直接投资的最佳选择

十几年来我国在对外经济交往中与各国在经济上相互联系、相互竞争，在竞争中求生存。在合作中求发展。不论是大国还是小国，是发达国家还是发展中国家，无不是通过本国跨国公司加强与国际经济的联系，增强竞争力和争夺国际市场。我国面对这一趋势，能否成功地构建跨国公司，直接影响再造我国发展的新优势。     

一类弱凹（凸）函数及其应用

本文引进了一类弱凹（凸）函数，讨论了与之相关的ＫＫＭ映象，Ｋｙ·Ｆａｎ不等式定理与截口定理，并给出了一些应用．     

Experimental study on inhibition of low pressure premixed flat methane-oxygen flames by trifluoromethane

This paper presents measurements of combustion species of low pressure laminar premixed flat methane-oxygen flames inhibited by triflnoromethane （CF3H） using synchrotron radiation-molecular beam mass spectrometry （SR-MBMS）. Fire suppression chemistry of CF3H is investigated by selective detection of combustion radicals and intermediates. Results show that SR-MBMS offers a powerful tool for studying fire suppression chemistry of halon replacements, which may extensively detect combustion species in the inhibited flames, especially radicals and intermediates. The suppressant CF3H is completely consumed in the preheat zone of premixed flames and produces fluorinated radicals such as CF3 and CF2. CF3 is the main radical participating in flame inhibition cycles in the reactive zone.Unlike HBr, HF produced by CF3H is very stable and will not act as a radical scavenger because the bond energy of H-F is much higher than that of H-Br, which is responsible for less effectiveness than conventional bromine-based suppressants.     

Optimization of polymer electrolytes for quasi-solidstate dye-sensitized solar cells

The dye-sensitized nanocrystalline TiO2 thin filmsolar cells (DSSCs) have attracted much attention since1990s[1— , due to their high light to electrical energy 4]conversion efficiency. So far, many studies have beenmade on the use of liquid electrolytes such as acetonitrile,3-methoxypropionitrile and a mixture of ethylene/pro-pylene carbonate (EC/PC) containing I? /I3 redox cou-?ple. A light to electrical energy conversion efficiency of7%— 12% has been obtained for DSSC using liquid e…     

Basal tyrannosauroids from China and evidence for protofeathers in tyrannosauroids

Tyrannosauroids are one of the last and the most successful large-bodied predatory dinosaur groups, but their early history remains poorly understood. Here we report a new basal tyrannosauroid from the Early Cretaceous Yixian Formation of western Liaoning, China, which is small and gracile and has relatively long arms with three-fingered hands. The new taxon is the earliest known unquestionable tyrannosauroid found so far. It shows a mosaic of characters, including a derived cranial structure resembling that of derived tyrannosauroids and a primitive postcranial skeleton similar to basal coelurosaurians. One of the specimens also preserves a filamentous integumentary covering similar to that of other coelurosaurian theropods from western Liaoning. This provides the first direct fossil evidence that tyrannosauroids had protofeathers.     

发展力量素质与掌握体操技术关系的探讨

本文采用调查和统计分析的方法,发现体育系学生的体操技术成绩与上肢的推撑力量、腹肌力量有中度正相关关系。     

Four-winged dinosaurs from China

Although the dinosaurian hypothesis of bird origins is widely accepted, debate remains about how the ancestor of birds first learned to fly. Here we provide new evidence suggesting that basal dromaeosaurid dinosaurs were four-winged animals and probably could glide, representing an intermediate stage towards the active, flapping-flight stage. The new discovery conforms to the predictions of early hypotheses that proavians passed through a tetrapteryx stage.     

UWB雷达信号设计方法研究

本文首先讨论了高斯白噪声环境下超宽带（ＵＷＢ）雷达信号设计问题，提出了一种自适应最优波形设计方法。这种方法可以集中目标散射回波能量，从而大大提高了接收信号的信噪比；其次，对杂波干扰下的低能量相干目标环境，根据牛曼—皮尔逊准则提出了一种非线性方程牛顿迭代法，与现有的ＵＷＢ信号方法相比，信噪比要改善１０ｄＢ左右。