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.     

一种有效的优化的多载波通信系统的功率分配算法

本文提出一种关于DMT系统传输纯数据流业务的最佳的功率分配算法，该算法使用了一种有效的表格查手工艺工和拉格朗日乘法器对分搜索办法，能够较快的收敛到最佳的功率点。同时，易于用硬件和软件实现。     

The Hahn–Banach Theorem for Partially Ordered Totally Convex, Positively Convex and Superconvex Modules

The Hahn–Banach Theorem for partially ordered totally convex modules [3] and a necessary and sufficient condition for the existence of an extension of a morphism from a submodule C ₀ of a partially ordered totally convex module C (with the ordered unit ball of the reals as codomain) to C, are proved. Moreover, the categories of partially ordered positively convex and superconvex modules are introduced and for both categories the Hahn–Banach Theorem is proved.     

Nonsensitiveness Regions for Threshold Ellipsoids

The problem is to determine nonsensitiveness regions for threshold ellipsoids within a regular mixed linear model.     

微波处理对离体黄瓜子叶生根和根活力的影响

用辐射功率200W微波（2450MHz）处理6～16，明显促进离体黄瓜子叶生根．根长和根鲜重增加。不同辐射强度和辐服时间对离体黄瓜子叶生根有不同影响。用TTC法测定，微波处理后与根活力相关的OD值比对照体增加了。用温箱模拟FISO微波炉功率为200W的温度，不同处理时间处理离体黄瓜子叶，没有发现促进生根。说明在一定条件下，微波辐射处理离体黄瓜子叶促进生根．主要是微波的辐射效应。     

Si基膜片型气敏传感器微结构单元的热学性能

微结构气敏传感器由于其微型化、低功耗、易阵列化和易批量生产等优点而受到国内外研究者的广泛关注。利用微机电系统（MEMS）加工技术，制备Si基膜片型微结构单元，并分析其热学性能。这种单元工作区温度为-300℃时，加热功率约75mW；并且膜片工作区的热质量很小，温度可以于毫秒量级的时间内，在室温和450℃之间调制。利用这种微结构单元，可以在温度调制方式下，研究气敏薄膜的电学特性和敏感机理。     

遥感相机自动检焦技术研究

将基于图像处理的自动检焦技术应用于线阵CCD推扫成像的空间遥感相机中。图像法检焦的关键在于对焦评价函数的选取。通常对焦评价函数是在摄影目标不变的情况下得出的,而推扫成像的线阵CCD相机在任意时刻所拍摄的景物都是不同的,这就给对焦评价函数的选取增加了难度。用功率谱的方法对任意景物在空间频域进行分析表明,功率谱对于自然景物具有一定的不变性。由此建立了基于功率谱的对焦评价函数,采用小波去噪与亮度归一化相结合的图像预处理技术有效地去除了图像噪声和亮度变化对对焦精度的影响。通过对功率谱评价函数进行加权处理,提高了对焦评价函数曲线的灵敏度。仿真实验表明了所构造的对焦评价函数是可行的。     

空心阴极灯激发的微波等离子体炬原子/离子荧光光谱研究--钙的原子/离子荧光光谱

用强短脉冲供电技术的空心阴极灯作激发源、微波等离子体炬作原子／离子化器，建立了原子／离子荧光光谱实验装置。详细研究了微波等离子体功率、观察高度、空心阴极灯电流等因素对原子／离子荧光信号强度的影响，测量了系统对Ca的原子／离子荧光光谱的检出限。     

Wavelength and power monitoring of DWDM systems using scanning F–P filter calibrated with a F–P laser

A novel technique to overcome the long-term drift and hysteresis of a scanning Fabry–Perot filter was developed and applied to wavelength and power monitoring of DWDM system. By using the comb peaks generated by a temperature-stabilized, near threshold-biased Fabry–Perot diode laser as wavelength reference for the scanning Fabry–Perot filter, wavelength and power measurement accuracy of better than ±10 pm and 0.2 dB, respectively, were achieved.     

R-拟连续模的不可分分解

设R是环,M是R-拟连续左R-模.如果R关于形如l（m）,m∈M的左理想满足升链条件,则M可写成一致子模的直和.