递归学习寻找对称变量

逻辑验证和逻辑综合中，利用对称变量的性质能提高算法整体的效率．通常fx1xj^-=fxjxi-被用来检验变量的对称性．一般先分别建立fxjxi和fxjxi^-的BDD(Binary Decision Diagram)二分决策图，然后通过检查两BDD图是否同构来验证fxjxi=fxjxi^-．但将电路转化为BDD图本身就需要一定的时间，而且对于大的电路，存在BDD图不能建立的可能性，致使同构验证无法进行．本文利用递归学习，无需建立BDD图直接在电路拓扑图上验证fxjxi^-=fxjxi^-递归学习算法执行效率高，可以大大缩减对称变量检测的过程．试验结果表明，利用递归学习算法检测对称变量执行时间减少，并且能将大的电路作为检测对象．     

Ca^2＋促进丝瓜离体生根

Ca^2 信使系统是植物体内重要的信号通路，它将许多细胞外信号转化为细胞内的信号以影响许多蛋白激酶活性，从而引起植物生长发育的多种反应，在政党Ca^2 浓度下，仅激素处理不能生根的丝瓜外植体，处以不同Ca^2 浓度处理时，随Ca^2 浓度升高，外植体生根数明显加快并增多，且有少量植株叶腑处异化生根，在一定程度上改变了腋芽的发育方向，这说明Ca^2 改变了卷须芽或花芽的发育方向，使其发育为根，但Ca^2 超过一定浓度后会影响外植体的正常营养生长。     

AGC辅助服务市场的竞价模式研究

为解决中国电力市场中自动发电控制(AGC)辅助服务的竞价组织和市场协调问题,在分析国外AGC市场的基础上,提出了日前市场中组织AGC辅助服务竞价的3种不同模式,并解决了向下调节AGC的容量负价格问题。其中:联合竞价模式实现了AGC市场与电量市场综合购买费用的最小化;后调整模式使得发电交易计划同时实现电量市场和AGC市场的公平与透明;优先决策模式可以提供更直观的价格信号和激励机制。这3种竞价模式分别适用于不同的系统环境和市场情况。考虑了AGC机会成本和附加费的计算问题,为中国AGC市场的组织提供了新思路。     

太原市热电冷三联供的实践思考

阐述了热电冷三联供的经济和社会效益，介绍了太原市热电冷三联供的发展现状，指出热电冷三联供符合可持续发展战略，并对如何进一步发展热电冷三联供提出了几点建议。     

细分节点的样条插值及其二步算法

在讨论细分节点的样条插值基础上，提出了在B样条曲线插值中如何利用前一次插值的结果进行曲线修改的问题，最后得到一个二步算法。由于B样条有局部支撑性，所以方法简单易行，而且插值曲线有良好性质。     

网上信息的收集及打印

介绍了利用动态网页技术制作有关企业网上信息收集及打印工具的方法以及在实际设计过程中抽象出的设计原理。     

GIS中矢量数据栅格化的误差估计

在地理信息系统(GIS)平台中，要建立同时支持矢量结构和栅格结构的空间分析模型是困难的，必须进行数据转换，在失栅数据转换过程中就不可避免带来误差。探讨了失栅转化过程中图像质量的两种误差估计方法，给出了计算公式，同时用贵州电力地理信息系统中的矢量图进行验证。     

网格计算在分布式虚拟环境中的应用

分布式虚拟现实技术使空间中不同地方的人能同时享受同一个虚拟环境，具有高度的沉浸感、真实感、 三维立体感、多感知性、交互性。网格计算是一种利用互联网或专用网络把分布在各地区的各种计算资源互联在 一起，使系统所能得到的性能不再由现有的硬件设施决定，而是由网络所能联接的资源决定。因此对基于网格计 算所构造的一个分布式虚拟现实系统进行了讨论，分析了虚拟现实技术难以发展的原因及原有系统的缺陷，并 提出了一种基于网格计算的虚拟现实模型。     

我国移动通信产业现状与未来发展趋势

从当今移动通信的技术热点和国外移动通信的现状和发展情况出发，分析了我国移动通信产业的网络规模、用户规模、业务种类、市场竞争格局和手机市场现状。进一步对我国移动通信的发展趋势进行了分析，阐明了移动通信与因特网融合的趋势和网络从2G（第2代移动通信）到3G（第3代移动通信）的演变进程，对移动通信终端的发展趋势与需求进行了预测。指出未来的发展趋势是：移动终端将从单模、单频，向双模、双频演变；数字化、宽带化、小型化、个性化成为发展趋势；移动用户超过固定用户。在此基础上，最后提出了中国移动通信产业发展的3点策略，其中包括：从企业管理方面、政府管制方面、市场竞争方面和资本运营能力方面出发建议我国移动通信产业面对加入WTO(World Trade Orgerantion)就采取的策略；针对我国TD-SDMA(TD-Spac Division Multiple-Access)加强型标准和GSM网过滤的3G发展的策略建议；发展未来更新一代（第4代）移动通信技术（4G）的策略建议。     

松辽盆地北部深层天然气系统成藏史研究

松辽盆地北部深层烃源岩有机质类型以 型为主 ,烃源岩成熟度达到了湿气 -干气阶段 ,为一个相对独立的天然气系统。对烃源岩的埋藏史、热史、生烃史的正演模拟和由包裹体均一温度确定的天然气运聚时间 ,与充注期次逆演相结合的研究表明 ,徐家围子断陷天然气成藏时间主要自早白垩世泉头期到白垩纪晚期 ,天然气系统的关键时刻为晚白垩世中晚期 (72Ma) ;莺山断陷的成藏时间早于徐家围子断陷 ,天然气系统关键时刻为晚白垩世早期 (90 Ma)。两个断陷均为一次性充注成藏 ,是一个保存期较长的天然气系统