• 可数模型的ψ-分式模型* (1997年)

    从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系,然后利用量词消去方法证明了当T是完全理论时,Tψ的完全性,进一步给出了Tψ是ω-范畴理论的一个充分必要条件,回答了Ash的一个问题。

    2021-06-11
    5
  • 电网可靠性概率分布的参数不确定性辨识 (2014年)

    元件可靠性参数受元件类型、运行时间、气候条件等诸多因素影响而具有不确定性,电网可靠性指标本质上也是一种随机变量。笔者从电网可靠性指标的概率分布计算以及其变动规律受参数不确定性影响的角度开展辨识研究,为探索参数不确定性对电网可靠性评估影响提供工程实用参考。在双循环蒙特卡洛模拟法的基础上提出了点估计法,为进一步提高计算效率,提出了改进序贯蒙特卡洛模拟法,并详细讨论了它们的原理及优缺点。评估结果表明:3种方法计算结果比较接近,但改进蒙特卡洛模拟法的计算效率最高,点估计法次之。通过对IEEE-RTS 79系统的评

    2021-06-11
    5
  • 人力资本专业化和大学性别工资差距的跨队列分析-研究论文

    在本文中,我们利用新数据来评估受过大学教育的劳动力市场专业化前的性别差异,并强调这些差异是如何随时间演变的。 我们在本科专业和随后的职业分类之间的映射中强调了与性别差异有关的新结果。 为了进行我们的分析,我们在潜在工资空间中引入了新的指数来衡量主要选择中的性别差异,并分别以主要选择为条件的后续职业分类。 我们强调,女性都会选择潜在收入较低的专业(基于与这些专业相关的男性工资),然后根据她们的主要选择,她们随后会选择潜在收入较低的职业。 我们强调,随着时间的推移,这些差异已经缩小,但最近的女性群体仍然选择潜在收入较低的专业和职业。 本科专业选择的差异解释了受过大学教育的性别工资差距的很大一部分,而不仅仅是简单地控制职业。 总的来说,我们的结果强调了在研究劳动力市场结果中性别差异随时间的演变时,了解劳动力市场前人力资本专业化中的性别差异以及大学专业和职业分类之间的映射的重要性。

    2021-06-10
    5
  • 婚纱摄影网站java源码-Resume:DanielPiron-软件配置经理、分析师、工具开发人员

    旅游摄影网站java源码丹尼尔·皮龙 具有 DevOps 天赋的软件工程师 电话:718-570-6310,电子邮箱: 概括 Daniel 在金融领域拥有超过 15 年的经验,对复杂分布式系统的设计概念有着深刻的理解,并且很容易将这些知识应用于日常的故障排除挑战。 他习惯并在压力大、节奏快、发布周期极快的工作环境中茁壮成长。 Daniel 精通 C、C++、Python 和面向对象的 Perl 和 Bash,并且精通跨平台开发。 技术经验 操作系统- Linux、MacOS、Solaris、Windows 语言- C++、C、Python、Bash、Perl、Javascript、Java、PHP、SQL、Visual Basic、MOS 6502、x86 汇编器、MMX 数据库- Oracle、PostgresSQL、MySQL、SQLite、Microsoft Access DevOps 工具- Git、Jira、Bitbucket、Jenkins、Artifactory、Teamcity、Docker、SonarCube、ITRS 教育 纽约市立大学皇后学院 - 计算机科学理学士

    2021-06-06
    5
  • 百度地图毕业设计源码-HDRocket:采用"单Activity+多Fragment"以及"多模块Activity+多Fragment"的设计

    百度地图毕业设计源码 Rocket 采用"单Activity+多Fragment"以及"多模块Activity+多Fragment"的设计模式编写的架构。一个非常轻量级又十分强大的Fragment管理框架。 转场动画 路由栈视图 动态权限 状态栏 崩溃处理 日志 特性 无任何第三方依赖,纯原生编写,无需担心因为版本迭代导致的维护问题 采用线性路由栈,自行管理回退以及内存回收,提供悬浮球实时查看Fragment的栈视图,降低开发难度 页面切换以及页面通讯采用原生的commit以及setArguments,性能开销极小,页面切换流畅无卡顿 支持自定义Fragment转场动画 集成动态权限管理,包含必须权限(不允许不走生命周期)以及可选权限 集成状态栏管理,可适配状态栏各种场景,包括沉浸式风格 集成日志管理,记录崩溃日志、内部日志以及外部日志,可设置日志有效期,超时自动清理 提供更加人性化的崩溃捕获页面,精准定位根源bug文件以及行数,降低查bug难度 提供View注解,仅仅300行代码支持了各种View注入和事件绑定 提供百分比布局,支持PercentRelativeLayout、Perc

    2021-06-06
    5
  • word源码java-spark_demo:spark_demo

    word源码java 说明: yarn-client相当于是命令行 会将你输入的代码提交到yarn上面执行 yarn-cluster是将你写好的程序打成jar包然后提交到yarn上面去执行 然后yarn会将jar包分发到各个节点 并负责资源分配和任务管理 rack: null) dead for group 错误 参考: kafka server.properties 需要配置: listeners=PLAINTEXT://192.168.0.104:9092 , 不能够是PLAINTEXT://:9092 参考: spark on yarn 的支持两种模式 1)yarn-cluster:适用于生产环境; 2)yarn-client:适用于交互、调试,希望立即看到app的输出 spark on yarn 开发环境搭建: 集群规划:(不启动HA) 主机名 IP 安装的软件 运行的进程 c7 192.168.0.107 jdk、scala、hadoop、spark nameNode、ResourceManager、Master c8 192.168.0.108 jdk、sca

    2021-06-05
    5
  • Java收银机源码-KONF_B20_Menhart_Noll_Seitinger:KONF_B20_Menhart_Noll_Seiting

    Java收银机源码饮料样品 作者 西门诺尔:HotDrink.java 曼努埃尔·塞廷格:Cocktails.java 赫尔穆特·门哈特:FreshJuice.java 日志 熟悉git(hub); 首先拉取、提交、推送、合并...... 添加类鸡尾酒 Cocktail 类中的实现方法 向鸡尾酒添加了一些评论 添加了 FreshJuice 类。 拉皮条 README.md; 尝试了一些降价功能 添加了热饮类 添加类粉 HotDrink 的实现方法 粉末的实施方法 添加了对 HotDrink 的评论 添加了对粉末的评论 向 pom.xml 添加依赖项 删除了第二个自述文件 开始练习 04 版本化存储库 --> v1.0 创建扩展(java).gitignore 创建分支 test_menhart 和 startig 来实现测试... 创建 FreshJuiceTest 和 SimpleDrinkTest @ test_menhart:测试成功实施 - 方法和线路覆盖率 100% 合并 test_menhart 到 main 向 HotDrink 和 Powder 添加了 java 文档注

    2021-06-05
    5
  • 啤酒花中单宁的测定 (1998年)

    根据福林-丹尼斯试剂与单宁生成深兰色物质,提出了吸光光度法测定啤酒花中单宁的方法。结果表明:兰色物质的最大吸收波长为760nm;摩尔吸光系数为3.072×104L/mol・cm;线性范围为0~42mg/L;回收率在108.8%~95.0%之间;变异系数为1.64%。

    2021-06-05
    5
  • 关于Z = aRβ方程参数的确定原则与适应性分析 (2002年)

    雷达对暴雨或连续暴雨降水率的估算是关系到区域或流域防洪防涝的主要问题.通过对气象雷达方 程、回波涨落机理与降水分布不均性的分析,提出结合天气系统、区域或流域的气候特征对其参数进行修改, 并试图用雷达的回波增益指标(dB)与集雨面指标站的降水实况,分别建立若干个雷达测雨算式--Z=aR^β, 以适应特定区域的降水率估算.

    2021-06-05
    5
  • java餐饮管理系统源码-socketx:用于构建高性能分布式WebSocket应用程序的库

    java餐饮管理系统源码套接字.x Socket.x 是一个用于构建高性能分布式应用程序的库。 它为构建客户端和服务器提供了一个简单、一致的 API,同时让您可以灵活地改变底层提供程序,而无需更改您的代码。 为什么是 Socket.x 速度和延迟 Socket.x 已在 2010 年时代的 i7 四核 CPU 上使用提供商进行了超过200 万条消息/秒的基准测试。 已经展示了亚毫秒延迟的消息切换。 异步和事件驱动的 API Socket.x API 是围绕异步、非阻塞和事件驱动的交互设计的。 这允许您在使用相对较少数量的操作系统线程的同时为大量并发客户端提供服务。 使用 Socket.x 构建的应用程序已实现每个节点超过 1,000,000 个连接。 为了把事情放在上下文中,线程绑定的 Web 服务器通常会达到一到一万个连接。 独立于供应商 Socket.x本身并不是一个实现的WebSocket。 它提供了一个简单、统一的 API,用于处理一系列兼容的 WebSocket 客户端/服务器实现,称为提供者,包括行业重量级和 . 这使您可以灵活地采用您最熟悉的提供程序,尤其是在您需要某些特

    2021-06-05
    5
上传资源赚积分or赚钱