排序方式: 共有49条查询结果,搜索用时 218 毫秒
1.
宋国新 《华东理工大学学报(自然科学版)》1990,(5)
提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用。 相似文献
2.
S2O2-8/ZrO2固体超强酸催化剂上的正戊烷反应性能研究 总被引:1,自引:0,他引:1
考察了焙烧温度、活化温度等因素对S2O 2-8/ZrO2(PSZ)固体超强酸常温下催化正戊烷反应性能的影响,利用色谱-质谱( GC-MS)、傅里叶红外(FT-IR)、原位X-射线粉末衍射(XRD)、比表面测定(BET)、含硫量分析等手段研究了正戊烷反应产物、催化剂晶型变化及表面酸位类型等. 结果表明,焙烧温度和活化温度是影响催化反应活性的关键. 焙烧温度在723~973 K制备的PSZ固体超强酸催化 剂,308 K下对正戊烷均具有催化反应活性,823 K焙烧样品活性最佳;对于最佳焙烧温度样 品,活化温度在373-673 K之间,均具有较高的反应活性,活化温度为523 K时活性最佳. 异构化表观活化能为41.7 Kj/mol. 整个反应大致可以分为3个阶段反应初期,产物均为异 戊烷,表明发生的是异构化反应;反应中期,异构化反应速率减低,产物中出现异丁烷,表 明异构化反应和裂解反应同时发生;反应后期,异构化产物明显减少,异丁烷和己烷异构体 明显增加,表明裂解反应已经取代异构化反应,成为反应的主流. 适宜的焙烧温度使ZrO2 晶化是形成超强酸的必要条件;合适的活化温度影响酸位类型,523 K下活化的样品主要为 强Brnsted酸位,同时有少量的强Lewis酸位存在. 相似文献
3.
研究并行系统的软硬件划分方法,建立了一种基于并行语言PL的代数语义的形式化软硬件体系结构,提出了一种基于基本调度块(BSB)的并行系统优化划分方法,该方法首先将PL程序分解为BSB,然后考察BSB的软硬件度量,最后利用启发式方法求出优化的软硬件划分方案,语法制导的划分规则可以用于系统的划分和软硬件成分的组合,本文提出的软硬件划分方法将系统的结构划分和功能划分有机地结合,具有实用价值。 相似文献
4.
为了降低线谱频率(LSF)参数矢量量化器的搜索复杂度和码字存储单元,利用格型矢量量化的优点,设计了一种适合LSF参数量化的标量格型混合量化器。该量化器对LSF参数的预测残差矢量的第一、二个参数进行标量量化,余下的参数则利用格型矢量量化,从而降低了搜索复杂度和码字存储单元,与G.729协议所使用的LSF量化技术相比,有一定的改进。 相似文献
5.
说明了HYTECH工具中采用的参数分析方法对系统描述能力的限制,提出了分离参数变量和系统状态变量的符号模型检查算法,并对用HYTECH不能分析的Fischer互斥算法的时钟偏移的界进行了分析。 相似文献
6.
功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。 相似文献
7.
为了实现服务组合对环境的适应性,设计了能满足上下文动态集成的模型,并使用CC/PP的RDF创建P rofiles描述上下文。详细分析上下文集成中出现的冲突情况,定义优先级和效用因子,解决上下文集成中的冲突问题。结合原型系统进行测试,并给出了实验结果。研究结果表明:在不同的冲突策略情况下,该方法能在可接受的时间内解决冲突。 相似文献
8.
采用固相微萃取(SPME)技术结合气相色谱-质谱(GC-MS)分析了中药砂仁中的挥发性化合物.实验中,对影响SPME的参数条件进行了研究和优化,用HS-SPME-GC-MS方法从砂仁中共分离和鉴定出42个化合物其中主要的化合物为樟脑(36.9%)、莰烯(13.9%)、柠檬烯(13.4%)、龙脑乙酸酯(11.1%)、月桂烯(7.2%)、龙脑(5.0%)和α-蒎烯(4.2%).结果表明这是一种简单、快速,无需要溶剂提取的方法,适合砂仁以及其他中药的挥发性成分分析. 相似文献
9.
针对入侵容忍身份认证方案的安全性进行了详细分析,并用状态转移图描述了系统的安全行为.该方案的特点是基于Shamir秘密共享算法将用户密码分片后存储在多个认证服务器中,使得少数服务器受到入侵时仍能继续提供正确的认证服务,且在认证身份时不需要重构用户原来的密码数据,提高了认证系统的可用性、完整性和机密性. 相似文献
10.
提出了语义企业服务总线的概念,并给出了相应的原型设计及实现该总线所涉及的技术.针对语义Web服务的自动组装问题,设计了一种使用混合匹配的有限服务自动组装算法,相比手工和半自动的组装方法,该算法能实现语义Web服务的全自动组装. 相似文献