XiaoMi-AI文件搜索系统
World File Search SystemSDK
智能手机应用程序的自动化 Concolic 测试
1. 简介 具有先进计算能力和连接能力的移动设备（如智能手机和平板电脑）正变得越来越普遍。与此同时，在这些设备上运行的专用程序（称为应用程序）的开发和采用也呈激增态势。应用程序几乎渗透到从休闲到关键任务的所有活动中。因此，在应用程序生命周期的所有阶段（包括开发、测试、审计和部署）对软件质量工具的需求日益增长。应用程序具有许多使静态分析具有挑战性的特性：庞大的软件开发工具包 (SDK)、异步、进程间通信、数据库和图形用户界面 (GUI)。因此，许多现有的应用程序分析方法都是基于动态分析（例如 [7、9、10]）。任何动态分析有效性的核心问题是如何获得相关的程序输入。应用程序最不可分割和最常规的输入是事件。设备触摸屏上的点击、设备键盘上的按键和短信都是事件的实例。本文介绍了一种算法和系统，用于生成用于锻炼应用程序的输入事件。应用程序可以（实际上通常确实如此）拥有除事件之外的输入，例如磁盘上的文件和安全的 Web 内容。我们的工作与提供此类输入的方法正交且互补。应用程序是一类程序的实例，我们称之为事件驱动程序：程序 em
编译前如何选择量子编译器和量子计算机
摘要：未来，量子计算机可能比传统计算机更快地解决特定问题。但它们的实际量子位数很少，错误率很高。然而，量子计算机已经在各个领域得到应用，云提供商提供的量子计算机数量也在稳步增加。要执行量子电路，需要将其映射到量子计算机的硬件上。由此产生的编译电路会严重影响执行的精度，因为会使用量子位和量子门导致错误发生。因此，选择最佳的电路至关重要。SDK 用于实现电路，并且在支持的云提供商和编程语言方面有所不同。这些差异使对其他后端的更改变得复杂。在之前的工作中，我们开发了一个自动化框架来翻译给定的电路并使用多个编译器在可用的量子计算机上对其进行编译。编译结果可以按优先级排序并执行。然而，使用所有编译器和量子计算机进行翻译和编译都是资源密集型的，并且无法很好地扩展到未来的其他后端。因此，我们提出了一种扩展，可以根据用户的需求自动选择合适的编译器和量子计算机组合，例如，缩短等待时间并根据过去的执行情况获得精确的结果。为了演示和验证我们的方法，我们展示了一个原型和案例研究。
疏水-亲水模型中蛋白质结构预测的快速量子算法
蛋白质的展开形式是氨基酸的线性序列。蛋白质结构预测试图找到给定蛋白质的天然构象，这在药物和疫苗开发中具有潜在的应用。经典的蛋白质结构预测是一个 NP 完全的、未解的计算问题。然而，量子计算有望提高经典算法的性能。在这里，我们在二维方格上的疏水-亲水模型中开发了一种量子算法，用于解决任何长度为 N 的氨基酸序列的问题，其速度比经典算法快二倍。这种加速是使用 Grover 的量子搜索算法实现的。该算法可用于任意长度的氨基酸序列。它包括三个阶段：（1）准备一个编码所有可能的 2 2 ( N − 1 ) 种构象的叠加态，（2）并行计算每种可能构象的坐标和能量，以及（3）找到具有最小能量的构象。空间上的渐近复杂度为 O ( N 3 ) ，而与经典算法相比，获得的加速比是二次的。我们已使用 Qiskit SDK 在 IBM Quantum 的 qasm 模拟器上成功模拟了该算法。此外，我们还通过计算找到正确构象的理论概率进一步证实了结果的正确性。
Phase One iXR 相机系统 - Stephen Epstein
相机类型 用于复制和工业应用的中画幅相机机身 数码后背接口 Phase One/Mamiya 645 接口 兼容后背 Phase One IQ Phase One P/P+ 和 Leaf Aptus-II（功能有限） 镜头 Schneider-Kreuznach 叶片快门镜头 Phase One 数码镜头 Mamiya 645 AFD / PRO 镜头 对焦控制 通过 Capture One 软件或 SDK 在实时显示模式下进行远程或手动、真实对焦控制 自动化 使用 Phase One IQ 数码后背时实现全自动化 快门速度 叶片快门：1/1600 秒至 60 分钟 焦平面：1/4000 秒至 60 分钟 恒定开放光圈选项 快门控制 1/3 f 档增量 闪光同步 焦平面快门：高达 1/125 秒 叶片快门镜头：高达 1/1600 秒 接口 X 同步终端 安全电源输入 (LEMO) 2 个安全 I/0 连接器 (LEMO) • 电子触发设备 • 手动释放电缆 用于固件更新的迷你 USB 连接器 三脚架头插座 两个3/8 英寸 - 位于底部和侧面（距锁定销孔 25 毫米）电源输入 24 V DC
Citrix Workspace App 2408 for Linux
•支持RHEL 9.4 x86-64，Ubuntu 2204 X86‑64，Raspberry pi os Bullseye -Arm64，Debian 11.9 X86-64•增强的虚拟台式屏幕屏幕屏幕屏幕筛选体验•增强的桌面查看器工具键•自定义•自定义•自定义的台式•增强台式图表•增强台式图表•增强的台式图表•增强的台式图形• multi‑factor (nFactor) authentication • Enhancement to Storebrowse commands • Multiple webcam resolutions support • Fast smart card • Improved loading experience for shared user mode • Support for Optimized Microsoft Teams on ARM64 devices • Version upgrade for Chromium Embedded Framework • App protection • Provision to manage multiple proxy servers • Support for Cryptography Next Generation smartcards • Manage settings for user groups using configuration profile [技术预览]•NFC对FIDO2身份验证的支持[技术预览]•增强的统一通信SDK API [技术预览]•支持UCSDK中的WebHID API [技术预览]•支持浏览器的浏览式身份验证对H.264和H.265硬件预览的浏览器内容验证[ [技术预览]
使用 RISC-V SoC 上的开放软件开发 AI IoT 应用程序
摘要 —RISC-V 是一种新兴架构，在低功耗物联网应用中逐渐强大。架构扩展的稳定和基于 RISC-V 的 SOC（如 Kendryte K210）的商业化的开始，引发了一个问题：这个开放标准是否会促进特定市场应用程序的开发。在本文中，我们评估了与 Sipeed MAIX Go 开发板相关的开发环境、工具链、调试过程，以及 Kendryte K210 的独立 SDK 和 Micropython 端口。还研究了内置卷积神经网络加速器的训练管道，支持 Tiny YOLO v2。为了深入评估上述所有方面，我们开发了两种基于 AI 的低成本、低功耗物联网边缘应用程序。第一个应用程序能够识别房屋内的移动，并自主识别移动是由人还是由家养宠物（例如狗或猫）引起的。在当前 COVID-19 疫情的背景下，第二个应用程序能够标记行人是否戴着口罩，以平均 13 FPS 的速度进行实时物体识别。在整个过程中，我们可以得出结论，尽管硬件具有潜力且具有出色的性能/成本比，但开发人员的文档很少，开发环境的成熟度较低，有时甚至没有调试过程。索引术语 —RISC-V、物联网、人工智能、AIoT、Kendrite K210、Sipeed MAIX、CNN 硬件加速器。
使用 Flutter 开发出租车预订和租赁的移动应用程序
摘要 - 该项目涉及创建出租车预订应用程序并检查车辆的可用性。出租车预订应用程序为配备智能手机的人提供可靠的出租车预订服务。出租车应用程序充当出租车运营商和预订出租车的用户之间的桥梁。此类应用程序将出租车运营商/出租车所有者和客户聚集在一起。要使用出租车预订服务，消费者必须使用登录 ID/电话号码和密码连接到应用程序。使用该应用程序可以在支持人员（包括管理员）和客户之间建立关系。管理员关注客户满意度，并通过获取诸如他们的行程日期和时间、出发地、接送点、目的地等信息为他们提供预订出租车的服务，从而为客户提供行程的估计票价。管理员还负责监控用户和司机的应用程序的平稳功能。应用程序的管理员拥有广泛的权限来监控和分配驱动力。对于此应用程序，我们将跟踪一些型号名称、注册号、可用的出租车、每日租金、每个出租车司机的个人资料（出于安全原因）以及相应需要存入的金额。使用 Flutter SDK 的出租车预订和租赁应用程序是一个项目，其目的是开发一个具有改进用户界面的出租车预订和租赁应用程序，并缓解用户在使用此类应用程序时遇到的困难。
智能手机应用程序的自动化 Concolic 测试
1. 简介 具有先进计算能力和连接能力的移动设备（如智能手机和平板电脑）正变得越来越普遍。与此同时，在这些设备上运行的专用程序（称为应用程序）的开发和采用也呈激增态势。应用程序几乎渗透到从休闲到关键任务的所有活动中。因此，在应用程序生命周期的所有阶段（包括开发、测试、审计和部署）对软件质量工具的需求日益增长。应用程序具有许多使静态分析具有挑战性的特性：庞大的软件开发工具包 (SDK)、异步、进程间通信、数据库和图形用户界面 (GUI)。因此，许多现有的应用程序分析方法都是基于动态分析（例如 [7、9、10]）。任何动态分析有效性的核心问题是如何获得相关的程序输入。应用程序最不可分割和最常规的输入是事件。设备触摸屏上的点击、设备键盘上的按键和短信都是事件的实例。本文介绍了一种算法和系统，用于生成用于锻炼应用程序的输入事件。应用程序可以（实际上通常确实如此）拥有除事件之外的输入，例如磁盘上的文件和安全的 Web 内容。我们的工作与提供此类输入的方法正交且互补。应用程序是一类程序的实例，我们称之为事件驱动程序：程序 em
智能手机应用程序的自动化 Concolic 测试
1. 简介 具有先进计算能力和连接能力的移动设备（如智能手机和平板电脑）正变得越来越普遍。与此同时，在这些设备上运行的专用程序（称为应用程序）的开发和采用也呈激增态势。应用程序几乎渗透到从休闲到关键任务的所有活动中。因此，在应用程序生命周期的所有阶段（包括开发、测试、审计和部署）对软件质量工具的需求日益增长。应用程序具有许多使静态分析具有挑战性的特性：庞大的软件开发工具包 (SDK)、异步、进程间通信、数据库和图形用户界面 (GUI)。因此，许多现有的应用程序分析方法都是基于动态分析（例如 [7、9、10]）。任何动态分析有效性的核心问题是如何获得相关的程序输入。应用程序最不可分割和最常规的输入是事件。设备触摸屏上的点击、设备键盘上的按键和短信都是事件的实例。本文介绍了一种算法和系统，用于生成用于锻炼应用程序的输入事件。应用程序可以（实际上通常确实如此）拥有除事件之外的输入，例如磁盘上的文件和安全的 Web 内容。我们的工作与提供此类输入的方法正交且互补。应用程序是一类程序的实例，我们称之为事件驱动程序：程序 em
IBM Sterling B2B集成符中的消息传递协议
好处：确保可靠的文件交付：可以通过自动调度，检查点重新启动以及自动恢复或重试的保证交付发送文件。如果中断文件传输连接：直接尝试以预定义的间隔恢复转移的时间。安全性：Sterling Connect：通过用户代理进行直接专有协议和用户身份验证，可以在文件传输期间保持客户信息。具有控制数据访问，网络访问或对系统资源的访问的安全选项，Sterling Connect：直接可以与操作系统和供应商提供的访问控制和安全软件接口。性能：Sterling Connect：Direct可以处理苛刻的文件传输工作负载，包括大量的小文件和大型Terabyte大小文件的传输。此外，Sterling Connect：Direct提供可选的数据压缩。改善您的业务流程 - 连接：直接提供支持24x7无人值守操作的自动化，调度和管理功能。支持多个平台和协议 - 该解决方案在每个主要平台上运行。它支持多个操作系统（Z/OS，OpenVM，i5/OS，UNIX和Linux，Windows和HP NONSTOP）和网络协议（TCP/IP，SNA和UDT）。其定义良好的API，SDK和用户出口使您可以轻松将解决方案与后端系统连接起来。