一种新的分析和检查需求模型

由于ＳＣＲ是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型。此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义,并通过执行规则来自动分析由ＳＣＲ定义的需求。为便于理解,给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性。     

柴油机曲轴应力状态的计算与分析

本文以６１８０柴油机整个曲轴作为有限元计算模型,将曲轴离散为三维２１节点和１６节点单元及边界元,通过适当选取受力条件与约束条件,在大型机上完成了曲轴的有限元强度计算。本文还采用电测法对该曲轴应力状态进行了测量。计算结果与实验结果吻合较好。     

用强碱性阴离子交换树脂从碳酸盐溶液中回收铀的研究 2.U(Ⅵ)在溶液相与树脂相的化学状态

在过量碳酸盐存在的Ｕ（Ⅵ）溶液中,Ｕ（Ⅵ）的化学状态与溶液的ｐＨ值有关,当ｐＨ＞８时,Ｕ（Ⅵ）以［ＵＯ２（ＣＯ３）３］４－离子存在．吸附于树脂相的Ｕ（Ⅵ）的化学状态也与供吸附的料液的ｐＨ值有关,当ｐＨ＞９时,Ｕ（Ⅵ）才完全以［ＵＯ２（ＣＯ３）３］４－吸附于树脂相．当ｐＨ在６．５～８．０范围时,Ｕ（Ⅵ）在溶液中还可能以［ＵＯ２（ＣＯ３）２］２－或Ｈｎ［ＵＯ２（ＣＯ３）３］ｎ－４形式存在,而Ｕ（Ⅵ）以［ＵＯ２（ＣＯ３）２］２－形式吸附于树脂相的可能性很小,它主要以Ｕ２Ｏ２－７的形式吸附于树脂相．     

递推法推引j—j耦合谱项的研究

首次提出递法推引ｊ－ｊ耦合谱项,计算结果很好,该法能抓住关键通过手算快速求出组合组态（（ｊ）＾ｎ）的Ｊ值。最后,对计算结果进行了验证。     

平面药包的最佳间距

在矿山剥离、场地平整以及建(构)筑物基坑开挖等露天爆破中,为了充分利用炸药能量将岩石松动或抛掷到一定区域,并确保底板满足一定平整度要求,按照爆破技术设计和工程质量要求,需要设计平面布药结构.本文通过在施工现场进行的大量小型模拟实验,对平面药包间、排距与爆破漏斗的开口面积、可见深度、爆岩的抛掷距离和堆积形态等关系进行了系统分析与研究.实验结果表明,当平面药包间、排距满足一定范围时,爆破漏斗的可见深度较小,而开口面积和抛掷距离最大,爆堆形态较好.平面布药结构存在一个有利于抛掷堆积的最佳间、排距.     

聚球藻对镍的富集作用及影响因素

研究了环境因素与自身因素对聚球藻富集镍的影响.聚球藻对镍的富集时间在80min可以达到平衡;镍藻质量比最优值为16%～18%,此时富集量达到最大值即饱和吸附范围;pH值是影响富集的一个重要因素,同样条件下随pH值的增加富集量会不断增加,但由于过高pH会导致氢氧化镍生成,因此最佳pH值在9～10;温度和光强是调节富集量的两个因素,温度在35℃、照度在30001x左右是最佳的富集条件;同样条件下,死藻比活藻的富集量略高.     

大气压DBD甲烷二氧化碳转化方法研究

在不使用催化剂,吸收剂的环境友好条件下,利用大气压介质阻挡强电离放电加速电子及激励气体分子方法,将CH4和CO2气体激发、电离和离解成CH3,CH2,CH,H,CO,O,OH等活性粒子,并在非平衡等离子体反应器内重新组合,生成合成气、气态烃及含氧有机物醇、酸等有价值产物,甲烷的转化率高达60%以上,二氧化碳或氮气的加入使甲烷的转化率有明显提高,甲烷与二氧化碳反应气的最佳体积比为3/1.当甲烷体积分数为75%时,可得到H2/CO摩尔比为3的高质量的合成气,收集到的液体产物主要有醇、酸和水等.     

角谷猜想的证明

应用马尔可夫链推导出角谷链的状态转移概率,从而得出角谷链中的奇数和偶数出现的概率,再以概率的大数定律为基础证明日本数学家角谷静夫提出的猜想.     

TTCAN周期性任务的优化调度算法

TTCAN周期性任务调度是最优装载问题的推广,它在通信时间关键的实时分布式系统中有着很强的应用背景.本文提出了4种确定基本周期的策略,给出了首次适应和最佳适应两种不同的可以在多项式时间内构造出TTCAN周期性任务调度表的算法,最后对不同规模下的两种算法的实验结果进行了比较,指出了两种算法在不同的周期策略下的渐近性能比.     

基于LabVIEW 7．0 Express的测定化学电池E—t关系的虚拟仪器

研制了基于LabVIEW 7．0 Express的实时测定电池电动势(E)与温度(t)关系的化学虚拟仪器系统．运用集成运放器设计制作了电池电动势和温度的调理电路，通过PCI2002卡双通道同时采集，实现了E随t变化关系的跟踪测定，计算机实时绘出E—t曲线．用LabVIEW Function模板中的相关函数编程，剔除野值，获得最佳拟合E—t函数表达式．应用结果表明：该系统操作简单、界面友好，实时数据显示和自动处理数据，避免了人工操作和数据处理的人为误差，结果令人满意．