论文部分内容阅读
用吴方法求解可满足性问题(Ⅰ)--算法变换
【出 处】
：
计算机学报
【发表日期】
：
1998年z1期
其他文献
作为整个利率体系的基准利率，无风险利率是整个经济体系中最重要的经济变量之一。实际上，随着期限的变化，无风险利率会随之改变。并且无风险利率随着期限变化的这种性质被称为利
金融发展和经济增长的关系是经济学理论中一个富有挑战性的研究课题。当前中国的金融体制已经成为阻碍其他方面改革进程的瓶颈，如何加快金融体制改革促进经济增长引人注目。中
一、研究目的 1979年至今，我国企业的跨国投资经历了16年的探索和成长。众所周知，我国经济对外开放与我国企业跨国投资是同步开始的。在这16年中，大量的外资企业已经在中国市
20世纪80年代以来，在美国等发达国家中，共同基金迅速崛起，使得高度分散的股权结构发生很大的变化，在不到20年的时间里，共同基金所占股份份额迅速上升。伴随这一趋势是:共同基金开
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥