[其它] 分频-源码

说明：分频
<weixin_42131414> 上传 | 大小：23kb

[其它] 基于FeaVer的MINIX3验证和改进

说明：使用FeaVer对MINIX3文件系统源代码进行形式化验证,并找到其中的错误代码。在验证的过程中引入测试用具的概念,它的特点是高效性和可复用性。在验证结果的基础上对原来的验证模型进行修改,并建立新的模型。经验证新模型符合应有的正确性属性。以新模型为依据对MINIX3的源代码进行改进,使操作系统达到一个更可靠的状态。
<weixin_38733787> 上传 | 大小：1mb

[其它] supabase-js：Supabase的同构Javascript客户端-源码

说明：supabase-js Supabase的同构Javascr ipt客户端。 文档： : 用法 npm install supabase/supabase-js import { createClient } from 'supabase/supabase-js' // Create a single supabase client for interacting with your database const supabase = createClient ( 'https://x
<weixin_42116596> 上传 | 大小：343kb

[其它] NRST及其在需求过程调度中的应用

说明：NRST及其在需求过程调度中的应用
<weixin_38627590> 上传 | 大小：169kb

[其它] 折射率非均匀性对激光陀螺背向散射的影响分析

说明：根据反射镜式激光陀螺和全反射棱镜式激光陀螺的结构特性，研究了两种激光陀螺的背向散射特性。理论分析了折射率非均匀性与背向散射的函数关系；根据反射镜式激光陀螺多层高反射膜结构和全反射棱镜式激光陀螺棱镜的全反射特性，分别推导了两种激光陀螺的背向散射系数计算方法和公式，并通过数值仿真与实验结果的比较验证了该方法的正确性。研究结果表明影响激光陀螺锁区的主要因素是非均匀损耗，次要因素是折射率的非均匀性。
<weixin_38608875> 上传 | 大小：2mb

[其它] 流动与沟通

说明：通过在配备延迟输入的π演算上施加三个语义约束，我们获得了π演算的一种变体。 我们证明Hennessy和Riely的分布式π演算可以编码到这个新模型中，满足完整的抽象定理，这意味着一维移动性可以通过通信来表征。 我们还讨论了表达二维迁移率（环境结石使用的机理）的困难。
<weixin_38545959> 上传 | 大小：605kb

[其它] 基于带状束的史密斯-帕塞尔自由电子激光模拟与分析

说明：采用三维数值模拟方法研究了基于带状束的史密斯-帕塞尔自由电子激光（S-P FEL）的辐射输出特性。当一束相对论带状束紧贴着矩形光栅表面飞行时，可以激励起非相干的史密斯-帕塞尔（S-P）辐射，而全反馈谐振腔可以将各个方位角的S-P辐射反射回带状束，同时进行速度调制，使电子注发生群聚，进而获得相干的S-P辐射。通过数值模拟发现，带状束可以提高S-P FEL的功率和功率谱密度；随着带状束宽高比的增大，电子束的速度调制和群聚更为明显，S-P FEL的功率和功率谱密度也越大。
<weixin_38735987> 上传 | 大小：12mb

[其它] 汉马当-源码

说明：真正的家
<weixin_42119989> 上传 | 大小：71mb

[其它] ibm_utl_sguide_8.42_anyos_x86-64.iso

说明：ibm_utl_sguide_8.42_anyos_x86-64.iso
<weixin_42205405> 上传 | 大小：423mb

[其它] 一种检测TAL-freeness的代数方法

说明：一种检测TAL-freeness的代数方法
<weixin_38713099> 上传 | 大小：2mb

[其它] 有限公平环境过程中双相似性的公理系统

说明：在本文中，我们研究了用于有限公平环境过程的双相似性。 为了获得有限过程的范式，我们扩展了Fair Ambient的语法来放置嵌套的环境结构成前缀。 在我们的公理系统中，如果两个有限公平等效过程可以被有效地检查。
<weixin_38502814> 上传 | 大小：412kb

[其它] holbertonschool-web_front_end：前端-源码

说明：holbertonschool-web_front_end：前端
<weixin_42168745> 上传 | 大小：71mb