主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

蜂胶作为运动补剂的潜在应用价值

蜂胶是一种非常有效的天然抗氧化剂，国内外正在掀起研究蜂胶的热潮。本文简述了蜂胶的成分以及性质。尤其蜂胶由于具有黄酮类物质而产生的抗氧化性。在此基础上提出了蜂胶作为运动补剂的潜在应用价值。     

SARS患者专用微型制氧机工艺参数实验研究

为了开发用于SARS病人的微型变压吸附制氧机,实验研究了吸附时间、反吹比、产品气量、吸附塔高径比以及吸附剂种类等工艺参数对微型变压吸附分离空气制氧装置的产品纯度和回收率的影响.实验结果表明:在变压吸附微型化条件下,最佳的吸附时间为12 s和反吹比为0.5;随着产品气流量的增加,产品气纯度下降,而回收率升高,在所要求的纯度下,回收率能达到19%;吸附剂的种类对变压吸附制氧过程有重要的影响;在微型化条件下,合适吸附塔的高径比为3.7～4.0之间.     

广义四元数群的全自同构群

一个有限群Q4n称为广义四元群,若Q4n=〈a,b|a2n=1,b2＝an,ab=a-1〉,n≥3.根据广义四元群Q4n的结构和性质,利用群的扩张理论,先确定了Q4p与Q4pm的全自同构群的结构,由此归纳出一般的广义四元群Q4n的全自同构群的结构如下:设p1为n的最小素因子,n=pr11 pr22…prkk为n的素数分解,那么(a)当p1＞2时,Aut(G)=〈α〉:(〈η1〉×〈η2〉×…×〈ηk〉);(b)当p1＝2时,Aut(G)=〈α〉:(〈η2〉×…×〈ηk〉), r1＝1〈α〉:(〈γ〉×〈η2〉×…×〈ηk〉), r1＝2〈α〉:(〈μ〉×〈ν〉×〈η2〉×…×〈ηk〉), r1≥3.     

特殊的steinhaus图的同构问题

针对以双对称矩阵为邻接阵的steinhaus图．剖析它的邻接阵的结构，给出了这类图同构的判定条件。     

Detection of the translational oscillations of the Earth''''s solid inner core based on the international superconducting gravimeter observations

Before about 100 years, the layered structures of the Earths body and the existence of the liquid core had been found, then the solid inner core and detailed structures in the interior of the Earth are demonstrated, it proves that the satisfied achievements had been obtained in recogni-tion of the Earths interior structures. In recent years, with the increasing requirements of the basic sciences and space techniques to geodynamics of the Earths interior, the theoretical study and practical de…     

群集性随机图中的波及效应

随机图是社会网络分析的重要工具,在Newman等对传统随机图模型的研究基础上,研究了具有群集性的随机图这一与现实社会网络更为接近的随机图模型中的波及效应。利用概率论的方法计算出群集性随机图中距离波动中心任意远的被波及对象的期望数量,利用推导出的一般公式分析了该类随机图中波及效应的特点,并考察了群集性对波及效应的影响。由分析知,每个点的平均阶是影响波及效应的最具决定性的因素。从总体上说,群集性降低了波及效应。     

高性能面向对象场景图系统

描述了一种高性能场景图系统的设计与实现。主要的设计目的是使三维图形应用开发者从繁琐的低级API(如OpenGL)中解放出来并获得最高的图形性能。该系统可以工作在Windows和各种UNIX变体(如IRIX、Linux等)操作系统上，主要的目标操作系统是Windows，主要针对低端(单处理器)硬件平台(如个人电脑)。应用范围包括视景仿真、虚拟现实、科学可视化、临场感娱乐及其他实时三维图形应用。     

透明转发器卫星通信系统在干扰条件下的互调分量

研究了有干扰时透明转发器卫星通信系统中的互调分量。首先，对有干扰时硬限幅条件下窄带系统的互调分量和DS扩频通信系统中的相关互调分量进行了理论分析；然后，针对实际系统，建立了系统仿真模型，进行了计算机性能仿真，通过对仿真结果的分析，得到一些结论。研究成果对了解透明转发器卫星通信系统在强干扰条件下存在的互调分量的影响及其量化结果，从而设计具有针对性的卫星通信抗干扰系统具有实际意义。     

复杂金融产品设计与仿真技术综述与展望

针对复杂产品设计问题和方法学，扩展了复杂产品的定义。提出了金融产品为复杂非实体产品（Complex Non-entity Product，CNP）的概念，其质量由产品的风险特性决定。比较有关复杂实体产品设计研究领域的理论、方法学及研究现状，给出了CNP设计的方法和仿真技术的发展及研究方向。