Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

盒维数的不确定性与迭代分形维数的算法

盒维数是分形几何中的一个重要概念，“数盒子法”广泛用于应用学科．盒维数具有不确定性，对于迭代分形对象，其迭代方法与分维数、盒维数存在直接联系。从迭代方法中构造数列，通过数列求得的盒维数．正好与分维数相等。     

框式约束凸二次规划的预估校正光滑算法

研究了框式约束凸二次规划的一种光滑算法，算法中应用了牛顿法及其变形形式，证明了算法的全局收敛性．     

α粒子散射的量子力学研究

利用量子散射理论———玻恩近似研究α粒子的散射问题,及散射原子核外电子的屏蔽效应和原子核的有限质量对散射截面的影响,对卢瑟福公式不能说明α粒子小角度散射,进行了修正,得到的结果和实验相符合.     

论百宝箱意象的叙事功能

百宝箱在《杜十娘怒沉百宝箱》故事叙述中的作用是不容忽视的。它的存在提供给其拥有者自由选择的可能,从而使女主人公有别于中国类似故事中女性人物的特征,真正拥有了悲剧的品格。在作品中,它始终处于叙事的焦点,耸动受众视听,调节叙事节奏。     

基于分形理论的爆破地震信号盒维数研究

基于分形理论,针对爆破地震信号的传播规律和特征,建立了其分形盒维数模型,应用这一模型计算出在岩石场地进行深孔爆破试验时所采集的爆破地震信号的分形盒维数值D。通过分析所得的分形盒维数值D的数理意义及其与场地介质的关系,研究爆破地震信号的分形特征。结果表明,爆破震动信号的分形盒数值D可作为描述爆破地震信号一个新的重要参数,该参量能够反映爆破地震波传递介质岩体性质的系统信息。     

舞阳河特大桥预制箱拱吊装设计和安装

考虑舞阳河特大桥由于桥梁高、跨径大、河水深及环境保护等因素,原设计主拱圈支架现浇施工方案难以实施,经多方共同研究决定采用分段预制主拱圈箱拱吊装,统筹考虑全桥的施工场地及施工进度计划,主要介绍缆索吊装设备及缆索吊装系统、缆索吊装的施工工艺等内容.     

利用变换法计算颗粒动态散射光分形维数

颗粒的动态散射光具有分形特征,可以利用分形维数进行描述.本文分析了变换法在计算颗粒动态散射光分形维数中的应用,利用该法计算了不同温度下粒径为60nm,90nm,200nm,300nm,450nm的聚苯乙烯标准颗粒动态散射光的分形维数,并与盒维数法进行了比较.     

一种基于虚拟手术的三维碰撞检测算法

为了解决虚拟手术的快速碰撞检测问题,提出了一种新的基于方向包围盒层次树的快速碰撞检测算法,利用简化的几何模型表示一方向包围盒层次树来实现复杂物体间的实时碰撞检测.算法在继承一般基于方向包围盒的碰撞检测算法优点的同时,突破了它们的局限性,能够在保证效率的前提下处理任意形状多面体之间的碰撞检测问题.同时采用了三角形带压缩技术和方向包围盒技术来加快碰撞检测阶段的绘制速度,从而提高碰撞检测的效率.     

南宁邕江大桥检测与病害分析

为了保证桥梁的安全，对现役桥梁进行检测就显得尤为重要．结合邕江大桥的检测情况，对大桥出现的病害加以分析，可以为以后邕江大桥评估与加固提供依据．最后结合病害分析对桥梁的设计和施工提出一些改进建议．