基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

重组大肠杆菌发酵生产核酸疫苗的初步研究

初步摸索大肠杆菌DH 5α生产核酸疫苗的发酵条件。通过均匀试验设计确定,当胰蛋白胨与酵母粉的质量比为1∶1.2,并且磷酸盐的加量较大时菌体的质粒产量较高。在菌体生长刚进入对数生长期时采用指数式流加葡萄糖与采用恒速流加葡萄糖,菌体得率相同,而产物收率前者高于后者。在菌体生长进入平稳期时将温度由37°C升高到42°C,在菌体密度没有改变的情况下,质粒产量得到提高,达到75 m g/L。     

米根霉发酵产L-乳酸体系中淀粉酶的研究

米根霉As3.819是一株L-乳酸的高产菌株,且能够分泌淀粉酶直接利用淀粉发酵生产乳酸。文章研究了不同培养基主要成分下米根霉菌株As3.819生产L-乳酸和淀粉酶情况,并对发酵液中淀粉酶水解产物进行分析。研究结果表明,在甘薯淀粉8%、硫酸铵为0.4%时L-乳酸和淀粉酶的产量相对较高,且在培养基中加入麸皮后能增加淀粉酶的分泌,种子培养基中碳源为麦芽糖时也能起到很好的效果。     

平行板间各向异性散射介质辐射传递方程求解

通过计算离散能束在传播过程中散射的能量在空间方向上的分布份额,用基于蒙特卡洛法的DRESOR法在平行平板系统内对相函数分别为一阶前向、一阶后向的各向异性散射介质中的辐射传递方程进行了求解,分别给出了各向异性散射条件下系统边界的具有较高方向分辨率的辐射强度分布以及系统内的热流、热源和入射辐射分布,并对各向异性散射对结果的影响进行了分析.将计算辐射强度结果代入辐射传递方程进行验证计算,验证结果的比较证明了DRESOR法求解辐射传递方程的有效性和正确性,并且计算结果达到了很高的精度.     

RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB 为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

Comparison between several satellite constellation schemes for MEO-TDRSS of China

The satellite constellation classes, which are suitable for the medium earth orbit tracking and data relay satellite system （MEO-TDRSS） of China, are investigated. On the basis of the functionality and the traffic distribution characteristic of MEO-TDRSS, the coverage performance and inter-satellite link properties of four different constellation schemes are compared by simulations. Simulation results indicate that the rosette and common-track constellations, whose satellites are distributed on the celestial sphere more uniformly, are appropriate for the implementation of MEO-TDRSS of China.     

基于时间反转镜的自适应聚焦仿真研究

为在水下信号检测中消除水声信道的影响,实现最佳聚焦,在分析时间反转自适应聚焦原理的基础上,研究了时间反转镜(TRM)的自适应聚焦现象.在典型的水文条件下进行了TRM自适应聚焦的仿真研究.结果表明:在随机媒质中,TRM利用水声信道的相干多途特性获得聚焦增益,聚焦效果明显优于均匀媒质;聚焦信号的峰值比均匀媒质高23%.     

教学用三维游戏引擎的层次结构分析与初步实现

从横向和纵向角度分析了游戏引擎结构,根据游戏系统(Game Software System)结构提出了一个由底层、中间层、游戏相关层组成的三层游戏引擎层次结构,比传统的一层或二层游戏引擎结构重用性更好,更适合游戏教学;最后根据该层次结构实现了一个简明清晰的教学用游戏引擎.以简洁明了的方式展示了精灵加载、简单模型动画、用户多角度观察等基本组件功能的实现方法.     

东坪基岩气藏气水相对渗透率的确定方法

东坪基岩气藏储层岩性差异大,非均质性强.孔缝发育区岩石松散,无法钻取完整的岩芯,而致密带几乎不渗透,无法通过驱替实验获取相对渗透率曲线,这成为困扰气藏动态分析和开发指标计算的难题.基于水驱气藏物质平衡原理,建立了不依赖水侵量的储层含水饱和度计算方法,避免了水侵量计算方法中的不确定因素,提高了含水饱和度计算的准确性.建立...     

苹果白兰地生产工艺的研究

采用经试验所筛选的菌种，进行了分批发酵生产苹果白兰地的研究，选择了适宜的培养基配方和蒸馏方案，确定了较佳的生产工艺条件，对生产过程中酵母的分离进行了初步探讨。