高等级公路施工测量

讨论全站仪配合ＰＣ－Ｅ５００袖珍计算机使用统一坐标系统进行高等级公路施工测量,重点分析高等级公路施工阶段,控制点、细部点的坐标计算方法和测设方法．     

广义凸集值向量优化问题的弱有效解

在序线性拓扑空间中定义了广义凸集值映射．引进了相对内部．应用凸集分离定理建立了一个广义凸集值映射的择一性定理．运用此定理获得了弱有效解意义下的集值向量优化问题的最优性条件．     

巧用Visual FoxPro制作套表打印

从报表创建、报表布局及打印调试等方面介绍了利用Visual FoxPro的快速报表实现套表打印的具体操作步骤。在Visual FoxPro下制作报表简单、实用、方便，很好地解决了数据套表打印问题。     

太原市高层建筑的现状与未来的发展

作为省会城市，高层建筑的建设是必不可少的，但太原市在高层建筑的建设中却存在许多问题，在今后的城市建设中，应树立合理正确的城市发展规划体系，有效地拉制不合理建设，使太原市的城市面貌有一个大的改观。     

真核基因选择性剪接机理的初步研究

真核基因表达调控是生命科学研究的前沿、热点。RNA的选择性剪接在真核基因表达调控中起着十分重要的作用。该文从已有数据出发 ,对真核基因的剪接机制以及选择性剪接的机制进行了初步的研究。结果表明 ,在真核基因的剪接过程中 ,可能存在一种“粗定位—细定位”的过程 ,即在剪接过程中首先有一粗略的定位过程 ,根据序列的嘌呤、嘧啶浓度特征寻找出剪接位点的大致位置 ;然后在这一基础上 ,根据几个保守碱基所提供的信息找到准确的剪接位点。这一结果对于进一步研究真核基因的剪接机制 ,特别是选择性剪接发生的机理有很大的启发。     

时延驱动的门阵和标准单元布图系统——Tiger

Ｔｉｇｅｒ可以完成从布局到详细布线的整个布图全过程。在整个布图过程中，根据ＲＣ延迟模型计算所有连线的延迟，并把整个芯片的时延最小作为优化目标。在Ｔｉｇｅｒ系统中，应用了性能驱动的布局和总体布线算法、ＤＲＡＦＴ通道布线算法和基于垂直通道模型的走线道分配算法。实验结果表明，Ｔｉｇｅｒ的布图速度要比ＴｉｍｂｅｒＷｏｌｆ６．０快很多。它在保证芯片性能的同时，其芯片面积与ＴｉｍｂｅｒＷｏｌｆ差不多。     

提高设备逻辑布置CAD效率的方法与技术

设备逻辑布置ＣＡＤ虽然解决了图形的再生利用问题，但由于受限于屏幕的物理分辨率和视觉的误差以及操作的不习惯性，使设计效率难以大幅度提高，严重影响了ＣＡＤ技术的推广和应用，本文针对这些问题介绍了一系列技术措施，包括利用“磁力效应”，设备的动态属性记录等实现了设备符号的精确定位、自动嵌入、记忆生恢复及扰批更新等功能，极大地提高上设备逻辑布置设计的效率。     

双调和方程的Phragmen－Lindelof二择性定理

对平面半无限带状区域上的双调和方程边值问题的能量积分的ＰｈｒａｇｍｅｎＬｉｎｄｅｌｏｆ二择性定理，证明了随着与区域有限端距离的增长，能量或者按指数式增长或者按指数式衰减．对衰减情况，求出全能量积分的显式上界．     

浅论超级市场平面布置

本文从超级市场的经营特点出发，提出了超级市场平面布置的若干原则，并且具体讨论了超级市场营业厅布置的几种型式。