缺省假设的真值维护

介绍了求解缺省假设的常用求解方法ＮＡＦ存在的局限性。无法表示否定信息；难于处理循环缺省假设和缺省假设间的依赖性，提出用分层ＡＴＭＳ求解缺省假设，从而能克服ＮＡＦ的局限性。     

布尔查询的改写算法

研究数据集成中的布尔查询的改写问题.考虑布尔查询的特殊性,简化了布尔查询的改写处理,给出了在封闭世界假设下的多项式改写算法和开放世界假设下的指数型改写算法,同时说明两个算法都是可靠的.     

"减负"的一种理论假设

从理论上假设当前学生课业负担的几个特点是造成他们课业负担过重的内在原因,认识这些特点对当前减轻学生过重的课业负担具有重要的意义和启示,以此为"减负"寻找一条新的思路和途径.     

曝气器的最优孔径分析

根据曝气过程中氧转移的有关理论，推导出需气量的表达式；并通过曝气过程中能量消耗的分析．导出动力消耗的表达式．通过计算分析得出，在一定的条件下，曝气器有最优孔径．一般水深在4m左右．曝气器的最优孔径最小．一定孔径的曝气器．存在最佳安装水深，最佳安装水深随曝气器孔径的增大而增长．水深较小时．宜选用孔径较小的曝气器；水深较大时，宜选用孔径较大的曝气器．一般情况下．采用浅水曝气是不利的．     

一个加密方案的选择密文安全性的证明

由带Hash的ElGamal加密与Schnorr签名构成的加密方案尽管从直观上看是抗选择密文攻击的,但以前的证明中或者需要在线知识提取假设,或者只能在更受限制的GenericGroup模型中得以证明,因此,其严格的归约化证明仍然是一个公开问题.作者在Gap Diffie-Hellman(GDH)假设下,在Random Oracle模型中,利用了Random Oracle Hash函数的特点模仿解密而严格证明了该方案确实达到了这个强安全级别.     

基于Bootstrap方法的土地出让价格影响因素分析

影响土地成交价格的因素众多,可利用回归模型参数显著性检验方法,分析土地出让成交单价影响因素的显著性.在小样本或者模型误差分布不明确的情况下,该方法存在统计推断不可信问题.为此,在模型中引入Bootstrap方法,提高了参数估计方差的精确度,进而提高了对影响因素显著性统计推断的可信性.用重庆市土地交易数据进行实证分析,结果表明,Bootstrap方法解决此类问题是十分有效的.     

关于软件评估的可靠性模型假设

对软件评估的可靠性模型假设进行了彻底详细的分析。揭示了软件评估的可靠性模型假设在软件可靠性模型中的重要性。最后讨论了软件可靠性模型假设在实际中的局限性     

一类非线性演化方程的精确解析解

用直接方法结合假设方法求出一类非常广泛的非线性演化方程ｕｉ＋αｕｕｘ＋βｕｘｘ＋γｕｘｘｔ＋μ（ｕｕｘ）ｘ＋δｕｘｘｘｘ＝０的一些显式精确解析解,这些解包括对流Ｃａｈｎ－Ｈｉｌｌｉａｒｄ方程的钟状孤立解、扭状孤立波解、２种形式的奇异行波解、周期的三角函数波解,带耗散项的ＢＢＭ－Ｂｕｒｇｅｒｓ方程的扭状孤立波解、奇导行波解及周期的三角函数波解。     

部分波长可变WDM网中支持优先级的波长分配算法

基于链路波长占用独立性假设,改进了在部分波长转换WDM网中已有的RWA算法,提出了一种支持优先级的动态波长分配算法。该算法保证了较高优先级的光路建立请求具有较低的阻塞率,比原有算法更加适合现代光网络中不同业务请求对应不同服务等级的要求：同时该方法适用于链路上配置任意数目转换器的情况。     

无锡市体育旅游开发构想

从体育旅游产品的设计,客源市场开拓,以体育旅游为主题的专门旅行社的建立,体育旅游专业人才培养,体育旅游资源开发等方面,给出了开发无锡市体育旅游市场的构想。