排序方式: 共有174条查询结果,搜索用时 31 毫秒
51.
以氯化亚锡为催化剂合成了乙酸丁酯,确定了酯化反应最佳条件.实验结果表明,当冰乙酸用量为0.1mol,丁醇用量为0.2mol,氯化亚锡用量为1.0g,回流时间为1.5h,酯化率可达92.7%。 相似文献
52.
给出了边矩阵和循环赛图的定义,提出了基于n(n-1)/2个完全二分图矩阵的△(G′)-边着色求解完全图K4n的完备匹配Mi的算法。阐明了循环赛图K(2i)n的构造的基本思路,介绍了完全图K20的△(G′)个完备匹配Mi的划分过程。 相似文献
53.
针对求解约束线性二次优化控制问题,结合动态规划和控制时域长度为1的单步多参数二次规划,提出一种新的多参数规划方法。该方法一方面能够快速求解得到约束线性二次优化控制问题最优解与状态之间的显式函数关系,减少多参数规划问题求解的工作量;另一方面,能够同时求解得到显式分段线性状态反馈最优控制律。应用高频机械振动系统数值仿真例子,对该文的方法进行了数值仿真计算。仿真结果表明该文提出的方法是有效的。 相似文献
54.
The seasonal distribution of the rainfall in North China has changed greatly since 1977, with more rainfall in spring and less in July, August, and September (JAS). Wavelet analysis showed that the JAS rainfall underwent an abrupt spectrum change in the mid-1960s. Its interannual variability has declined while the interdecadal component has become the dominant mode, associated with the dry climate. Correlation analysis found that the JAS rainfall is negatively correlated with the departures of the 500 hPa geopotential height significantly over the northwest and southwest of China, and positively correlated with the suer monsoon over eastern China. Therefore, the interdecadal ascending of the air pressure in northwestern China and the monsoon decaying over East Asia in the past 20 years may be the two major causes of North China drought. 相似文献
55.
56.
在pH 1.42或3.09的HC l-N aA c介质中,C lO2和C l2均能氧化I-形成I3-,I3-能与罗丹明染料(R h)形成缔合物(R h-I3)n,导致罗丹明B(R hB)、丁基罗丹明(b-R hB)、罗丹明S(R hS)和罗丹明6G(R h6G)缔合物微粒体系分别在558、558、526、526 nm处的吸收峰降低,该体系分别在605、605、575、575 nm处各产生一个新的吸收峰。C lO2的浓度在0.012~0.43、0.005 7~0.241、0.008 5~0.195、0.006 0~0.49 m g/L时分别与体系605、605、575、575 nm处的吸光度成线性关系,其检出限分别为0.003、0.003 1、0.005、0.002 7 m g/L。在各体系相同条件下,C l2的浓度分别为0.026 1~0.784、0.024 4~0.734、0.042~0.833和0.027 8~0.695 m g/L,遵守朗伯比尔定律,检出限分别为0.005 9、0.011、0.022和0.004 1 m g/L。在pH为1.42条件下,可测量C lO2和C l2共同的吸光度;用二甲亚砜掩蔽C l2,可测量C lO2的吸光度和C lO2含量;用差减法可求出C l2的含量。据此建立一个分别测定水中痕量C lO2和C l2的光度法,用于水样分析,结果满意。 相似文献
57.
基于领域知识的模型检验方法 总被引:2,自引:1,他引:1
提出了一种基于领域知识的模型检验方法.该方法主要是采用本体论方法,将业务领域内的潜规则表示成领域知识,构成领域规则库,对领域规则采用图形化表示与使用SWRL描述相结合的方式,形成了对规则知识的内、外部表示,为领域知识的直观显示和有效推理提供基础.领域规则形成的规则库为模型检验提供了依据和复用基础,确保用户构建的应用模型满足业务领域需求. 相似文献
58.
CHOU Shangching GAO Xiaoshan Department of Computer Science the Wichita State University Wichita KS UsA Institute of Systems Science Academia Sinica Beijing China 《系统科学与复杂性》1993,(2)
This paper reports the study of properties of the curve pairs of the Bertrandtypes using our automated reasoning program based on Wu's method of mechanical the-orem proving for differential geometry. A complete list of results about Bertrand curvesin metric and affine spaces is derived mechanically. The list includes most of the knownresults of various Bertrand curves. We also derive some new results about Bertrand curves. 相似文献
59.
60.
给出了边矩阵和循环赛图的定义,提出了基于n(n-1)/2个完全二分图矩阵的△(G')-边着色求解完全图K4n的完备匹配M的算法.阐明了循环赛图K(i)2n的构造的基本思路,介绍了完全图K20的△(G')个完备匹配Mi的划分过程. 相似文献