汉密尔顿回路逻辑程序的两个结果

基于回答集语义的逻辑程序提供了描述性问题求解的范例,而逻辑程序的一阶环公式提供了计算回答集的新方法——自动定理证明.本文研究了汉密尔顿回路逻辑程序的一阶环公式,证明了计算汉密尔顿回路的有助于提供计算效率的两个主要结果.     

一般Levy过程下带违约风险的可转换债券定价模型

对可转换债券的相应标的股价S_t=S_0exp[(r-q)t+X_t],在X_t是Levy过程的假设下,运用傅立叶变换和残数定理,得出了带有赎回和回售条款的可转换债券的定价公式;同时,结合Duffie关于衍生产品带违约风险的定价方法,给出了带违约风险的可转换债券定价公式.     

模糊命题系统G(o)del和L*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L＊中,然后通过计算同时包含伴随对（,→）的4个公式（pq）→r,p（q→r）,（p→q）r和p→（qr）基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL＊≤Gτd.     

随机利率下双指数跳扩散模型欧式期权定价

为了合理刻画股价实际变化趋势,将利率风险引入双指数跳扩散模型,建立了随机利率和双指数跳扩散组合模型,然后在组合模型下利用鞅方法、Fourier逆变换和Feynman-Kac定理给出了欧式看涨期权价格的闭式解,推广了Kou在2002年提出的模型及期权定价问题,所提模型及方法有利于资产收益的经验分析,同时为公司信用风险管理提供理论依据。     

公路桥梁的水文计算

水文计算是公路桥梁设计中的一项重要内容,包括形态断面计算、设计洪水流量及洪水位计算、桥孔设计计算及冲刷计算等。     

不同堰型流量计算公式的初步分析

以标定的三角形薄壁堰作为测流控制条件,对矩形薄壁堰、WES实用堰、圆角宽顶堰和直角宽顶堰进行了测流试验,分别采用相应的堰流公式进行了计算和比较;结果表明:不同堰型堰流公式计算值各有差异,同一堰型采用不同经验公式求得的流量亦有所差别;将不同经验公式得出的流量和标准流量进行了比较并分析偏离程度,据此初步得出了不同堰型流量计算的推荐公式。     

排污权交易初始分配价格的制定与调节

以A市为例,利用影子价格理论,通过对SO25 a期和10 a期交易价格与其影子价格进行对比分析,结合该市社会经济的发展阶段,提出排污权交易初始分配价格的调控方案.据此指出,在排污权交易初始分配价格制定过程中,应参考其影子价格所处阶段.当排污权交易的影子价格分别处于"陡坡带"、"平缓带"和"高原带"阶段时,其初始分配价格应分别保持在较低位、较高位和最高位,从而达到控制污染,促进经济增长方式转变,引导产业结构调整的作用.     

中美财政制度比较与地方政府债券的信用风险控制

美国的对称型财政制度模式是其长期推崇自由市场经济制度所形成的,中国的非对称型财政制度模式是其政治哲学与经济发展最终目标的集中体现。地方政府债券作为地方财政资金的补充,在不同的财政体制下,其信用风险源与财政风险的表现形式是有差异的。本文通过比较研究,提出适应我国地方政府债券信用风险控制的制度设计建议。     

信息产品捆绑销售的模型分析

研究了捆绑销售策略对于信息产品销售的影响,分析了运营商的最优捆绑策略.考虑两种常见的捆绑类型——针对单个产品的数量捆绑以及针对多种类型产品的捆绑.在连续消费者类型的假定下,从价格歧视的角度分析了两种捆绑的最优定价以及此时的利润、消费者剩余和社会总福利,给出了两种捆绑销售适用的条件.结果表明:对于单个产品,捆绑销售的效果与消费者类型的差异程度有关;对于多产品,混合捆绑优于纯捆绑和非捆绑销售,并且其效果与消费者对捆绑产品的平均估价和供应商设定的折扣程度有关.结果也说明,在一定条件下,捆绑销售能够给供应商带来更大的利润,但同时降低了消费者剩余,减少了社会总福利.     

Smarandache kn数列与除数和函数的混合均值

对任意整数1≤k≤9,如果数列{a(k,n)}中的每一个数都可以分成两部分,使得第二部分是第一部分的k倍,则该数列称作Smarandache kn数字数列.利用初等及组合方法研究Smaran-dache kn数字数列及除数和函数的混合均值性质,并给出一个有趣的渐近公式.