IMPACCT: Methodology and Tools for Power-Aware Embedded Systems

Power-aware systems are those that must exploit a widerange of power/performance trade-offs in order to adapt to the power availabilityand application requirements. They require the integration of many novel powermanagement techniques, ranging from voltage scaling to subsystem shutdown.However, those techniques do not always compose synergistically with eachother; in fact, they can combine subtractively and often yield counterintuitive,and sometimes incorrect, results in the context of a complete system. Thiscan become a serious problem as more of these power aware systems are beingdeployed in mission critical applications.To address the problem of technique integration for power-aware embedded systems, we propose a new design tool framework called IMPACCT and the associated design methodology. The system modeling methodology includes application model for capturing timing/powerconstraints and mode dependencies at the system level. The tool performs power-awarescheduling and mode selection to ensure that all timing/power constraintsare satisfied and that all overhead is taken into account. IMPACCT then synthesizesthe implementation targeting a symmetric multiprocessor platform. Experimentalresults show that the increased dynamic range of power/performance settingsenabled a Mars rover to achieve significant acceleration while using lessenergy. More importantly, our tool correctly combines the state-of-the-arttechniques at the system level, thereby saving even experienced designersfrom many pitfalls of system-level power management.     

钢筋砼结构可靠度的研究

本文简要介绍钢筋砼结构可靠度分析方法、砼与钢筋设计强度取值及抗力计算公式的合理化。     

矿化剂对氧化铬绿色釉呈色性能的影响

针对氧化铬绿色釉存在色调暗不够鲜艳的缺点，研究了矿化剂对其呈色性能的影响，经分光光度分析的扫描电镜测试，表明矿化剂具有一定的助熔作用和还原性，从而提高了氧化铬绿色釉的鲜艳度和着色力，增强了装饰性，同时矿化剂还能降低烧成温度，节约能源，具有应用价值。     

高速钢W6Mo5Cr4V2的脱磷试验

在３０ｋｇ感应炉上用ＣａＯ－Ｎａ２ＣＯ３－ＣａＦ２－ＦｅｘＯ（ＭｏＯ３）渣、ＭｏＣｌ６粉剂和Ａｌ－Ｃａ合金作脱磷剂对高速钢Ｗ６Ｍｏ５Ｃｒ４Ｖ２进行脱磷试验。结果表明，ＣａＯ－Ｎａ２ＣＯ３－ＣａＦ２－ＦｅｘＯ渣的脱磷效果最好，一般脱磷率可达２６％￣５６％。     

压电超声微电机混合结构定子的固有频率特性分析

压电超声微电机是依靠定子振动变换能的功率器件，定子性能将直接关系到微电机能否实现，本文采用Ｒａｙｌｅｉｇｈ－Ｒｉｔｚ方法来分析机械中经常采用的多层膜结构（混合结构）定子的固有振动特性，推导中考虑了平面应力和弯曲应力对固有频率的影响，模拟计算和实验结果符合得较好，此外还讨论了定子有关参数对固有频率的影响。     

Li2O在保护渣中的作用

采用在不同玻璃性的两种基渣中加入Ｌｉ２Ｏ为研究Ｌｉ２Ｏ对保护渣粘度，熔化温度及玻璃性能的影响，并对Ｌｉ２Ｏ改善保护渣玻璃性的机理进行了探讨，提出了寻找高速连铸保护渣中Ｌｉ２Ｏ的代用物的一种方法。     

清平面板堆石坝抗震分析

根据面板堆石坝的结构特点和工作条件，采用动力非线性有限元法，对清平水库面板坝进行了空库和满库条件下地震反应分析与比较、混凝土面板地震抗滑稳定分析及坝基饱和细砂层的地震液化验算，综合评价大坝的安全性．     

基于双秘钥的高强度公钥密码体制的研究

该文研究双秘钥公开钥密码体制,它不同于一般的只有一个秘密密钥的公开钥密钥体制,而是使用两个秘密密钥。要攻破它必须同时解决两个数学难题(素因子分解和求离散对数),从而大大增加了破译难度。     

攀钢转炉炼钢用碳化硅提温的试验研究

低品位碳化硅是转炉炼钢的有效提高温剂。工业性试验结果表明，碳化硅加入８．０ｋｇ／ｔ钢水提温４０．３－７０．３℃（平均４８．４℃）；渣中ＴＦｅ降低１．３％；加提温剂有利于转炉内造渣脱硫和碱少炉渣对耐火砖的侵蚀。文中还给出了攀钢转炉半钢冶炼铸用钢不水时加与不加碳化硅的ｔλ，［Ｃ］λ区域。