Miniaturized concentrator arrays as compact angle transformers for light collection and distribution
暂无分享,去创建一个
[1] Roland Winston,et al. Practical design considerations for CPC solar collectors , 1979 .
[2] Roland Winston,et al. Efficient Light Coupler for Threshold Čerenkov Counters , 1966 .
[3] Roland Winston,et al. Principles of solar concentrators of a novel design , 1974 .
[4] R. Winston. Light Collection within the Framework of Geometrical Optics , 1970 .
[5] Harry A. Atwater,et al. Microphotonic parabolic light directors fabricated by two-photon lithography , 2011 .
[6] Sriram K. Rajamani,et al. Counterexample Driven Refinement for Abstract Interpretation , 2006, TACAS.
[7] R Winston,et al. Ideal concentrators for finite sources and restricted exit angles. , 1976, Applied optics.
[8] Thomas A. Henzinger,et al. Lazy abstraction , 2002, POPL '02.
[9] Eran Yahav,et al. Interprocedural Functional Shape Analysis using Local Heaps , 2004 .
[10] Rupak Majumdar,et al. Joining dataflow with predicates , 2005, ESEC/FSE-13.
[11] Kenneth L. McMillan,et al. Interpolation and SAT-Based Model Checking , 2003, CAV.
[12] Edmund M. Clarke,et al. Counterexample-Guided Abstraction Refinement , 2000, CAV.
[13] Thomas A. Henzinger,et al. Abstractions from proofs , 2004, SIGP.
[14] N. B. Goodman,et al. Solid-dielectric compound parabolic concentrators: on their use with photovoltaic devices. , 1976, Applied optics.
[15] Reinhard Wilhelm,et al. Parametric shape analysis via 3-valued logic , 2002, TOPL.
[16] Donald,et al. Design and Fabrication of a Dielectric Total Internal Reflecting Solar Concentrator and Associated Flux Extractor for Extreme High Temperature (2500K) Applications , .
[17] Sriram K. Rajamani,et al. The SLAM project: debugging system software via static analysis , 2002, POPL '02.
[18] R. S. Scharlack. All-dielectric compound parabolic concentrator. , 1977, Applied optics.