摘要：LED的二次光学元件设计对LED路灯的配光及光学输出效率至关重要。良好的道路照明要求LED路灯的配光为长方形的光型,路灯发出的所有光刚刚可以覆盖住马路,而马路之外的光污染几乎为零。非对称自由曲面二次光学元件的采用可以使LED路灯的长方形配光直接在单个LED模组上完成。整体路灯只需要将这些LED模组阵列按照相同方向简单地排列即可,从而可以简化路灯机构、散热及控制电源的设计。介绍了LED路灯的光学设计,及一种用于LED路灯的自由曲面二次光学透镜的设计方法。

摘要：为促进生物炭在林业生产中的科学应用,采用野外林地试验,设置不施肥(CK)、施用复合肥200 g(F)、稻壳生物炭300 g(RB)、木屑生物炭300 g(WB)、稻壳生物炭300 g+复合肥200 g(RBF)、木屑生物炭300 g+复合肥200 g(WBF)等6种施肥处理,探究不同处理对桢楠(Phoebe zhennan)生长和养分吸收的影响。结果表明:与不施肥处理相比,单施稻壳生物炭能显著增加桢楠的叶面积,促进叶对N的吸收;单施木屑生物炭能显著增加桢楠株高增长量、根生物量和叶面积,显著促进叶对N、P的吸收和根对K的吸收,但显著抑制茎对P的吸收。与单施复合肥处理相比,稻壳生物炭与复合肥配施能显著增加桢楠株高增长量、叶面积,促进叶对N的吸收;而木屑生物炭与复合肥配施能显著增加桢楠茎生物量、叶面积,促进根对K的吸收,但显著抑制茎对N的吸收。综上,单施木屑生物炭、木屑生物炭与复合肥配施在一定程度上能促进桢楠的生长和养分吸收,可作为桢楠造林的备选基质。

摘要：企业工程是一门正在发展之中的学科。企业工程体系结构是一个三维结构框架 ,Z向包括理论、方法、案例 ;X向可分为企业文化、企业战略、企业人力资源、企业价值链、企业信息化、企业过程等部分 ;Y向可分为研究和开发、设计、制造、销售和售后服务等几个部分。对企业工程各功能部分的主要内容和相互关系的分析表明 。

摘要：为了克服传统数据服务平台协议复杂、体量庞大,在扩展性和易维护性方面都存在的不足,提出了一种基于微服务的数据服务框架.框架分离了微服务容器和服务源,采用轻量级的跨平台协议,在容器中通过两种类型(原生型和代理型)的微服务与服务源中的微服务连接起来,达到解耦合、去中心化和服务泛在的目的.此外还分析了框架的重要特征,阐述了技术方案中的若干要点.北京大学的实践表明:基于该框架建设的数据服务平台,易于扩展、便于运行维护,可以实现更加灵活的数据共享.

摘要：针对现有在线教学平台普遍存在的技术性要求高、支持人数有限、难以满足板书需求、无法满足“线上+线下”混合式教学等问题,提出一种面向全国高校的通用性云直播平台体系架构设计方案.利用现有教室中的摄像头和多媒体教学设备进行直播;支持CARSI联邦身份认证,使全国高校都能以云租户形式接入并进行自服务管理;建立基于租户和课程属性的数据模型,实现细粒度的权限划分和授权,加强资源共享的安全性.该方案应用于北京大学燕云直播平台建设,截至2020年9月,平台视频总点击量978000次,高峰时段在线观看人数26837人.

摘要：提出了一个电子化的生产模式———“分散网络化生产系统”，即充分利用分散于香港和内地之间的中小型企业，合作设计和开发新产品、共享制造资源以及充分利用香港的市场优势。介绍了生产网络的组织结构、管理结构及信息结构的设计和建模。在设计和实施这些模型过程中所积累的经验将为大规模推广分散网络化生产系统的运作提供良好的基础。

摘要：系统的硬件电路以51单片机为控制核心,使用FM1702读卡器模块读取刷卡人员的信息并将其传至单片机,通过串口能够将刷卡信息传至上位机。系统的上位机采用客户端/服务器模式,后台数据库使用SQL Server数据库管理软件,通过C#高级编程语言实现了具有通信模块、登录模块、管理模块、考勤功能模块的考勤管理系统软件。结果表明该系统能够实现基本的考勤功能,具有较高的安全可靠性。

摘要：[目的]为了解决无人船由系统建模误差和参数摄动引起的混合不确定项、模型含非零非对角项和控制器输入饱和情况下的路径跟踪问题,[方法]提出基于速变视线导航法(LOS)的反步自适应无人船路径跟踪控制方法。首先引入坐标变换法,把系统模型转变为斜对角形式。把控制系统分为制导子系统和控制子系统,在制导子系统设计速变LOS算法,使纵向速度制导律与横向跟踪误差呈正相关,确保无人船能有效地朝着并保持在期望的路径上;在控制子系统设计反步自适应算法以补偿系统混合不确定项,同时引入辅助系统处理系统控制输入饱和问题。[结果]运用李雅普诺夫稳定性理论证明制导控制闭环系统一致最终有界稳定。[结论]仿真结果验证了所提出方法的有效性和鲁棒性,对无人船反步自适应路径跟踪控制有一定的参考价值。

摘要：本文结合笔者多年房屋建筑楼梯设计及施工的经验,对房屋建筑楼梯设计及施工方法进行分析探讨,以期确保房屋建筑楼梯质量,并供同行参考。

摘要：为最大程度地减少同步数据流语言编译过程中由编译器引入的错误,需要利用形式化方法自动生成代码,保证编译器产生的代码能够应用于核能仪控系统.本研究使用定理证明工具Coq,对同步数据流语言Lustre到Clight的主节点输入结构翻译阶段涉及的语法、语义及翻译算法进行了形式化定义,并完成翻译算法的形式化证明.研究表明这种经过形式化的编译器能够生成与源代码行为一致的可信目标代码,同时生成的目标代码能够很好满足核能仪控系统的执行规范.