分优先级随机接入控制算法

在多优先级随机接入算法的基础上,对其接入控制机制进行了完善,形成了分优先级随机接入算法;同时,还分别对此两种算法进行了仿真,仿真结果表明分优先级随机接入算法在吞吐量／延时性能上要明显好于前者     

生物大分子对电流场中红细胞沉降行为的影响

利用自行研制的红细胞电场沉降实验系统，研究了竖直向上的直流恒流电流作用下红细胞在分别含分子量７万的葡聚糖及分子量５万的聚赖氨酸的生理盐水溶液中的沉降行为，得出红细胞在该电流作用下的沉降与这两种分子的电荷特性及质量浓度有关，在质量浓度６×１０－２ｇ／ｍＬ，分子量７万的葡聚糖生理盐水溶液中红细胞的聚集速度由于电流的作用显著加快。     

高温后活性粉末混凝土微观结构分析

试验分析了高温后活性粉末混凝土（RPC）的外观、质量损失和抗压强度随温度的变化情况;利用扫描电镜（SEM）研究了经历不同高温后的RPC微观结构变化和物相组成.结果表明：经历温度低于400oС时,水泥水化反应和火山灰反应互相促进,RPC微观结构得到改善,抗压强度较常温时有所提高;经历温度为400～800oС时,C-S-H凝胶由连续块状变为尺寸较小的分散相,钢纤维与基体粘结界面处的裂纹逐渐形成并扩展,聚丙烯纤维融化后的孔道加剧了RPC的内部缺陷,RPC微观结构不断恶化,抗压强度逐渐降低.     

精细小件化学热处理滚筒炉的研制

研制了适于精细小零件大批量化学热处理的滚筒炉,有效地解决了薄片状小零件在其它类型炉中散料处理时,由于零件相互堆叠、不能更位而导致加热和与活性气氛接触不均匀所带来的质量问题。为照相机、仪表、标准件等行业提供了一种新型工艺装备。     

一个重特征方程Cauchy问题的唯一性

本文研究了重特征方程的Cauchy问题的唯-性,得出如果μ是整数,则应给m—μ个初始数据;如果μ不是整数,则只需给-个初始数据。     

炼钢-连铸过程生产计划与调度问题综合优化研究

生产计划与调度是炼钢厂生产管理与控制的重要环节。对特殊钢厂炼钢-连铸过程的生产计划与调度问题进行述评,对国内外其研究现状进行分析,并指出了其生产计划与调度结构的发展趋势。结果表明,合理的生产计划与调度方案,是特殊钢厂实现高品质、高效生产的重要途径,亦可对其全过程进行高效协调与管理,从而降低能耗和冶炼成本。     

瑞格列奈片有关物质测定方法的改进

改进瑞格列奈片有关物质的测定方法,降低辅料对杂质峰的干扰,采用高效液相色谱法(HPLC),色谱柱为ECOSIL C18(250 mm×4.6 mm,5μm),流动相为0.2%磷酸二氢铵(用磷酸调节pH至2.5)-甲醇(40∶60),流速为1.0 mL/min,检测波长为240 nm。结果表明,在改进的色谱条件下,辅料峰对杂质峰的干扰大大降低,主峰和各杂质峰的分离更好。此方法专属性好,结果准确,可用于瑞格列奈片有关物质的测定。     

TiO2-聚苯胺纳米复合薄膜的电沉积制备

为获得形貌均匀、晶形细小的TiO2-聚苯胺纳米复合薄膜,研究沉积条件对复合膜的影响,采用电化学沉积技术进行了复合膜的制备试验.试验确定了膜沉积的优化条件:电位为-1.5 V(VSSCE),pH=1.5～2.0,沉积时间为1 300 s.采用电化学方法、扫描电镜及热分析等测试手段对电沉积复合膜进行了表征.结果表明:循环伏安峰电流越小,对应的沉积膜的沉积质量越好;基底不同,复合膜形貌有着显著差异.扫描电镜观察发现:沉积液中苯胺分子对电沉积反应过程、沉积物粒度及形貌有很大的影响,苯胺小分子的添加有利于得到晶形更为细小的TiO2-聚苯胺纳米复合薄膜.     

Hydrodynamic process of Tibetan Plateau lake revealed by grain size: Case study of Pumayum Co

Under the background of global warming,some lakes on the Tibetan Plateau(TP) are potentially sensitive to temperature change.With a case study of Pumayum Co,where glacier meltwater is important to supply(we call this a glacier-fed lake hereafter),we analyze the sensitivity of lake sediment grain size to temperature change.This is done by resolving the modern hydrodynamic process,coupled with comparison of paleoclimatic proxies.According to the spatial distributions of parameters,percentage of grain size and the grain size frequency distribution curve,hydrodynamic processes are analyzed.Five clastic sedimentation types are thereby discriminated.In the open lake area,suspended load transport is the main transport agent.Grain Size Trend Analysis(GSTA),a sediment dynamics model,reveals a trend toward eastward transport.This indicates that the largest and glacier-fed river,the Jiaqu River,influences the entire lake(not just the subsurface alluvial fan),and that lake sediment grain size may serve as a temperature indicator.Time series comparison between grain size of a short core from the central lake and meteorological data confirms this temperature indication,which in turn shows reliability of the method discriminating the hydrodynamic process.This case study will improve the ability of paleoclimatic reconstruction using lake sediment in glacier-fed lakes on the Tibetan Plateau.     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.