用进程代数描述CORBA请求调用

用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势,通过对ＣＯＲＢＡ体系结构的高度简化,希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述,从理论上表现出它们的共性和区别．     

解决我国城市生活垃圾问题的出路

对目前国内垃圾主要处理方法进行了评价,认为要从根本上解决我国城市生活垃圾问题必须建立健全垃圾减量与处理的双重机制。提出了“清洁生活”的概念,指出了城市生活垃圾的减量要建立在“清洁生活”战略指导思想的基础上;建立城市生活垃圾多级、低熵分选处理体系是符合我国国情的有效处理垃圾的最佳选择。     

由FR共轭梯度法控制的下降算法的全局收敛性

对一类由ＦｌｅｔｃｈｅｒＲｅｅｖｅｓ共轭梯度法控制的无约束极小化方法进行了研究,以一个简单的方式证明了一种非精确线性搜索条件能够保证该类方法的下降性和全局收敛性．该结果是对Ｇｉｌｂｅｒｔ和Ｎｏｃｅｄａｌ得到的结论的进一步扩展．     

粒度对纳米氧化锌与硫酸氢钠溶液反应动力学的影响

以纳米氧化锌与硫酸氢钠溶液的反应为模型体系,研究了反应物粒度对动力学参数的影响规律。结果表明:反应物的粒度对反应的速率常数、反应级数、表观活化能和指前因子均有较大的影响;随着反应物粒径的减小,速率常数增大,反应级数增大,表观活化能减小,指前因子减小,并且表观活化能与反应物粒径的倒数呈线性关系。     

Factor-GARCH模型研究与理论探讨

结合国外研究现状，对解决多维GARCH模型的方法——Factor-GARCH模型进行了系统的讨论．将投资组合的收益率Rt表述为潜在公共因子的函数形式，并对函数形式中的一些变量和假定给出了理论和现实的解释；将投资组合的协方差Ht的结构进一步细化，将其表述为可观测变量的线性函数．并指出了今后的研究方向。     

城市排水管网GIS空间数据模型研究

根据城市排水的应用要求及基于图论原理,通过对城市排水管网的网络模型的建立与表达,以及管网GIS数据结构的设计.构建以汇水片为单位、检查井为节点,赋管网以权重的有向网络城市排水管网GIS空间数据模型.利用网络流的最大流的值为最小割的容量计算排水管网的排水量,考量现状管网的排放能力.同时,把该模型应用于南京市排水规划地理信息系统建设中.     

二次受力下CFS加固混凝土构件的计算方法

碳纤维材料以其高强、轻质、耐腐蚀等优良性能广泛应用于混凝土结构加固领域。为了充分保证建筑结构的安全性，现以某办公楼加固工程为例，阐述了应用碳纤维材料对钢筋混凝土构件进行结构补强加固的设计原理，提出了考虑二次受力时应如何进行加固计算以及应用碳纤维布进行结构加固时应注意的事项等。     

一类非单调二元算子方程的迭代解法

利用锥和半序理论，研究Banach空间一类不具有单调性的算子方程A（x,x）=x，其中A可表示A=A1＋A2,A1是混合单调的，A2是反向混合单调的，并得到了可解性定理．     

工控机在温室监控系统中的应用

采用传感器技术检测与农作物生长有关的温度、湿度等环境参数信号；工控机采集该信号，完成数据计算处理，并根据农作物生长对温室环境的不同要求，对侧窗、顶窗、卷帘等执行机构，进行优化控制组合，实现调温、调湿等改变环境的目的．     

二极管端面泵浦Nd:YAG 946 nm激光器理论分析及其相关量的数值模型

利用激光谐振腔处于稳态时的速率方程导出了准三能级Nd：YAG　946nm起振时透射损耗与最佳激光晶体长度的关系，我们直观地给出了其计算机模拟，在与1064nm透射损耗相比较的基础上，形象给出了一系列情况下的最低镀膜要求(对这个问题系统、细致的讨论在以往的文献中还没有见过)，并且计算机模拟了阈值、输出功率和它们各自相关量的关系，为设计室温下高效运转的946nm激光器提供了必要的理论数值参照．这种分析方法对此类低增益，准三能级或三能级系统有借鉴意义。