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.     

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

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

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

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

论百宝箱意象的叙事功能

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

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

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

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

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

双排双波浪带散热水箱传热性能研究

对双排双波浪带散热水箱的结构形式、换热和阻力试验结果进行了分析。采用非线性拟合法得到气侧的换热系数αa，并与桑塔纳管翅式散热水箱的气侧换热系数进行了对比，结果表明，此散热水箱具有较高的换热系数。     

箱体类零件特征造型系统的设计

基于产品特征建模理论，以AutoCAD 2000为开发平台，应用其开发工具ObjectARX 3.0,发现了箱体类零件的特征造型，并能生存特征数据文件，以便实现与CAPP系统的连接。     

势箱中电子运动图像的绘制

研究了势箱中电子运动波函数及电子云图像的绘制方法，给出了用ABSIC语言编写的作图程序及绘制的二维和三维势箱波函数、电子云分布图。     

横隔板间距对悬挑箱梁畸变的影响

研究横隔板间距对悬挑箱梁畸变的影响。通过设置不同数量横隔板的悬挑箱梁在均布扭矩作用下，比较畸变效应和刚性扭转效应，得到最大畸变效应随横隔板密度的变化曲线。当横隔板间距d与截面最大尺寸b的比值大于0．5357时，闭口截面杆件的约束扭转分析应考虑畸变的影响，尤其对于高层核心筒结构。