主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

基于离散Markov决策过程的发电公司多阶段决策

采用离散时间Markov决策过程(DTMDP)对以多阶段总利润最优为目标的发电公司决策问题进行研究．市场环境下，发电公司根据自身条件，其竞争策略可以是价格的接受者，也可以是价格的制定者．考虑了发电公司不同策略情况下市场均衡状态间的转换概率，分别给出了发电公司作为价格接受者和价格制定者时的多阶段决策模型．通过算例验证了所提模型的有效性和可行性．     

CP型单螺杆压缩机的计算机辅助设计

基于CP型单螺杆压缩机工作原理和主要零部件设计计算方法，利用三维建模、工程数据库、三维动画和可视界面等先进技术，完成了集实体建模、参数化设计和绘图、动画演示等功能于一体的计算机辅助设计系统。     

深凹露天矿高陡边坡稳定性分析与设计优化

以首钢水厂铁矿为依托工程,在系统的边坡工程地质勘查、岩体结构、水文地质调查与渗流场分析、矿区地应力场测量和矿岩物理力学特性测试的基础上,采用固-流耦合的有限差分法、离散单元法和极限平衡分析法相结合的方法,进行了水厂铁矿高陡边坡稳定性的系统分析研究和边坡优化设计,使水厂铁矿各分区的总体边坡角提高了1～6°.     

反相高效液相色谱法分析克拉霉素

在对实验系统和实验方法的准确性和精密度进行评价的基础上,建立了反相高效液相色谱分析克拉霉素含量的方法.色谱条件:Kromasil C18(4.6 mm×150 mm) 反相色谱柱,前接Alltech预柱;甲醇和0.05 mol/L磷酸二氢钾(体积比7∶3)的混合液作为流动相,用磷酸调节pH＝4.0,流速1.0 mL/min;检测波长210 nm.该方法简单、快速、灵敏,具有很好的稳定性和精密度.     

ZnSe纳米棒的一步水热法制备及其表征

采用一步水热法,由氢氧化钠、单质硒粉与乙酸锌反应,在EDTA存在的条件下,成功制备了立方相ZnSe纳米棒.对所得样品分别通过X射线衍射和透射电子显微镜进行了物相鉴定与形貌观察.在190 ℃,1.2 MPa条件下得到的纳米棒直径约为40～70 nm,长度为360～460 nm.温度超过200 ℃时,形成的为ZnSe纳米颗粒.讨论认为在纳米棒的形成过程中,EDTA起络合剂的作用,并形成了胶束状软模板.该方法为ZeSe及其它半导体纳米棒的合成提供了一种简单易行的方法.     

全矩阵代数的一类子代数

研究了由一个矩阵生成的矩阵子代数的基本性质,给出了其极大理想的完全分类及这类子代数是半单代数的充要条件.     

Kantorovich积分不等式的加强式及应用

从Kantorovich离散型不等式出发,推广到相应的积分型不等式,并给出构造性证明,又对其积分型不等式进行了加强,最后讨论了Kantorovich积分不等式加强式的应用.     

CaO对CaO-Al_2O_3-SiO_2系微晶玻璃析晶行为的影响

利用烧结工艺制备微晶玻璃以CaO Al2O3 SiO2三元系微晶玻璃为研究对象,通过DTA,XRD,SEM分析方法,对玻璃析晶动力学进行研究·利用Kissinger方程来计算微晶玻璃析晶转变的活化能E,发现随着氧化钙含量的增加,析晶温度降低,析晶活化能降低,并最终推导出析晶机理参数n=2,体系属于整体析晶·实验结果发现:微晶玻璃的析晶相均为硅灰石结构;氧化钙含量的增加有利于微晶玻璃的晶化,但表面缺陷更明显,如:坑点、突起、断裂等·     

重庆开埠与四川社会的近代化进程

重庆开埠刺激和推动了四川社会的近代变迁.传统经济成分逐步缩小,近代经济成分日益增加;社会阶层不断整合与流动;社会组织已较大程度突破血缘与地域关系,开始取向于社会和个人价值实现;近代学堂破土而生,新文化逐步得到传播,观念意识不断趋新解放.由于社会的急剧转型,受制于经济环境、人口和其他社会条件等因素的影响,四川社会的近代化进程体现出相当的艰巨性.