当光波从一种介质传播到另一种具有不同折射率的介质时，会发生折射现象，其入射角与折射角之间的关系，可以用斯涅尔定律（Snell's Law）来描述。斯涅尔定律是因荷兰物理学家威理博·斯涅尔而命名，又称为“折射定律”。

在光学里，光线跟踪科技应用斯涅尔定律来计算入射角与折射角。在实验光学与宝石学里，这定律被应用来计算物质的折射率。对于具有负折射率的负折射率超材料（metamaterial），这定律也成立，允许光波因负折射角而朝后折射。

• 哈密顿光学（Hamiltonian optics）

• 隐失波（Evanescent wave）

全反射，又称全内反射（英语：total reflection）是一种光学现象。当光线经过两个不同折射率的介质时，部分的光线会于介质的界面被折射，其余的则被反射。但是，当入射角比临界角大时（光线远离法线），光线会停止进入另一界面，反之会全部向内面反射。

这只会发生在当光线从光密介质（较高折射率的介质）进入到光疏介质（较低折射率的介质），入射角大于临界角时。因为没有折射（折射光线消失）而都是反射，故称之为全内反射。例如当光线从玻璃进入空气时会发生，但当光线从空气进入玻璃则不会。最常见的是沸腾的水中气泡显得十分明亮，就是因为发生了全内反射。

克普勒（Johannes Kepler，1571-1630）在公元1611年于他的著作Dioptrice中，已发表内部全反射（total internal reflection）的现象。

施工安全安全制度

1．建立安全责任制，落实责任人。安全措施是对施工项目安全生产进行计划、组织、指挥、协调或监控的一系列活动，它可以保证施工中的人身安全、设备安全、结构安全、财产安全并创造适宜的施工环境。在施工中要坚持“安全第一，预防为主”的方针。项目负责人是该项目的责任人，控制的重点是施工中人员的不安全行为、设备设施的不安全状态、作业环境的不安全因素以及管理上的不安全缺陷。责任人在施工前要进行安全检查，把不安全因素消灭在萌芽状态。

2. 设专职安全员，全面负责施工工程的安全,统筹工程安全生产工作，保证并监督各项措施的实施。

3. 加强安全教育和宣传工作，使安全意识得到进一步提高。

4. 加强施工现场管理。坚持“三不放过”、“工前交底和工后讲评”的制度，加强施工现场用电安全管理，严格按照《施工现场用电安全技术规范》及其它有关规定执行。

5. 严格按照规范和程序施工。工作人员要严格按照施工规范进行施工，施工期间谨慎小心，杜绝一切侥幸心理的存在，要深刻认识到“安全生产”是争取效益的主要因素。

施工安全安全规则

1．凡进入工地人员必须戴安全帽，严禁喝酒上班，或带其它非工地工作人员进入工地。

2．使用梯子不能缺挡，不可垫高使用，梯脚要有防滑措施，超过二米以上梯子要有监护人，严禁二人以上同在梯子上作业，人字梯中间要有绳子扣牢。

3.使用移动电动工具者必须穿绝缘鞋、戴绝缘手套，金属外壳必须接地保护或接零保护。高空作业时要扎安全带、戴安全帽、脚手架外挂安全网封闭施工。

4．现场临时用电，电箱要保持完好无损，损伤的电气元器件必须及时更换。

5．照明动力要分开，并有二级保护，用电设备一机一闸，严禁乱接乱拖，一闸多机。

6．拆除的材料不得乱扔，作业下方派人监护。

7．现场临时电源线应采用橡皮电缆线，禁止使用塑料花线，禁止使用电线直接插入插座内。

8．设备的防护装置要完好，尤其是砂轮切割机，设备外壳要有完好的接地或接零保护。

9．施工设备要加强现场的维护保养，保持完好率，禁止带病运转和超负荷作业。

10．施工现场材料设备堆放整齐，不得存放在主要通道上。

11．施工现场动用电火焊，在作业区周围清除易燃物品，作业后要检查，杜绝火种，以免留下后患。

12．服从工地的安全管理，遵守工地的安全管理的规章制度。

13. 特殊工种需持证上岗。

施工安全现场文明

1．现场材料设备施工机具在指定地点堆放整齐。

2．保持现场周边环境的卫生，进出材料后现场清理干净。

3．做好现场监护工作，在施工作业区谢绝与本工程无关人员入内。

4．工具间内零星材料堆放整齐。

5．施工现场做到文明施工，活完场地清，每天工作结束后作业面内亦要清理整理好。

6．做好现场成品、半成品的保护工作，自身的产品要保护好，其它工种的产品亦要保护好，只有互相保护好才能确保整个工程的完好质量。

7．服从和执行现场综合管理措施。

类型安全的代码具备定义良好的数据类型。

在实时（JIT)编译期间，可选的验证过程检查要实时编译为本机代码的方法的元数据和Microsoft中间语言(MSIL)，以验证它们是否为类型安全，如果代码具有忽略验证的权限，则将跳过此过程。有关验证更多信息。

尽管类型安全验证对于运行托管代码不是强制的，但类型安全在程序集隔离和安全性强制中起着至关重要的作用。如果代码是类型安全的，则公共语言运行库可以将程序集彼此间完全隔离。这种隔离有助于确保程序集之间不会产生负面影响，且提高应用程序的可靠性。即使类型安全组件的信任级别不同，它们也可以在同一过程中安全地执行。如果代码不是类型安全的，则会出现不需要的副作用。例如，运行库无法阻止非托管代码调用到本机（非托管）代码中和执行恶意操作。当代码是类型安全时，运行库的安全性强制机制确保代码不会访问本机代码，除非它有访问本机代码的权限。所有非类型安全的代码都必须通过传递的枚举成员SkipVerification授予SecurityPermission后才能运行。类型安全的代码是代码访问中非常明确，允许的数据类型的方法。微软已经提供了。NET框架称为PEVerify工具。PEVerify可以被用来确保CLR将只执行代码是可验证的类型安全的。