【摘 要】
：
基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转（dominatorfrontier inverse,DFI）来同时为多个变量摆放Φ函数.如果结点y以结点x为支配边界,则结点x就
【机 构】
：
海军装备研究院,解放军信息工程大学信息工程学院
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目（2006AA01Z408）
论文部分内容阅读
基于Cytron和Cooper等人的研究成果,提出了一个新的概念——支配边界逆转（dominatorfrontier inverse,DFI）来同时为多个变量摆放Φ函数.如果结点y以结点x为支配边界,则结点x就是结点y支配边界逆转.支配边界逆转存在一个很重要的属性,DFI（x）中的结点在支配树上的高度一定不小于x的高度.对DFI（x）中任何结点y,如果存在对于变量v的定义,则结点x上就需要插入变量v的Φ函数.由于采用PHI（x）表示在结点x上需要插入Φ函数的变量集合,实现过程中并不需要实际计算DFI结点集
其他文献
目前高校的实践教学状况不尽如人意,主要原因是参与实践教学的企业缺乏积极性。高校只有把实践教学环节纳入校企合作的框架内,构建权利义务对等互惠共赢的校企合作新模式,把
无线传感器网络应用于环境监测任务时,为了得到可靠的监测数据,必须合理部署传感器节点.针对地势平坦的环境,对对称格型拓扑的无线传感器网络的可靠性进行建模.把信息的可靠性划分成信息获取可靠性和信息传输可靠性两部分分别建模,综合考虑网格形状、传感器节点间距、网络调度等因素,以提高可靠性同时降低成本为优化目标,提出优化的网格部署方案.
1碳纤维增强塑料铰链是什么？碳纤维增强塑料（CFRP）铰链类似一个“合叶”：竖着看铰链中央是铰链带——很薄、柔软、挠性强、预固化的碳纤维增强环氧树脂[CF/EP]片,两侧则是较厚的