西藏羊八井高海拔电气安全与电磁环境国家野外科学观测研究站正式获得国家科技部的批复。本次国家科技部共批准建设69个野外站,西藏高海拔野外站是国网公司系统内唯一获得择优支持的野外站,实现了国网公司在基础支撑类国家科技创新基地布局方面 “零”的突破。但目前西藏高海拔观测站目前在信息化建设方面与其他已建成的国家野外站尚存在较大差距,主要表现在现场缺乏数据展示及演示系统;野外站未接入公司内、外网;观测数据均为本地存储,无法远程查看和调用;所有测量仪器均为就地控制,不能远程控制,无法长期自动采集数据;各测量仪器的测量系统相对独立,无法统一控制。因此,因此在西藏高海拔国家野外站建设先进的信息化系统,包括数据...
嘉定鑫达小程序 项目介绍: 该项目主要对接PC管理系统, 针对员工在手机进行考勤上下班打卡,加班请假等审批申请,以及房屋租赁等信息查看,审批发起及流转等功能 项目技术: 使用Uniapp + Vue3 + Iview 进行项目搭建, 熟练使用微信api进行功能开发...
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being developed by the Mélange group (See schedule) at CSU, and uses an equational language called Alpha/Alphabets....
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being developed by the Mélange group (See schedule) at CSU, and uses an equational language called Alpha/Alphabets....
AlphaZ is an open source tool-set for program analysis, transformation and parallelization in the Polyhedral Equational Model. It is being developed by the Mélange group (See schedule) at CSU, and uses an equational language called Alpha/Alphabets....
Coq主要是用来辅助对程序定理进行证明的非常强大的工具,Alpha语言以及AlphaZ工具主要是一款函数式编程语言,用于自动生成硬件语言VHDL程序,以及帮助程序能够更好的并行执行,提高程序的执行效率。我负责其中的一小部分的开发和维护等研究工作。...
网页爬取工具作品介绍 作品概述 这是一个基于 Python PyQt5 开发的图形界面网页爬取工具。它能够从指定的搜索引擎(例如 Google、Bing、百度、搜狗、DuckDuckGo 等)抓取指定关键词的搜索结果,并提取网页中的文字内容、链接和按钮信息。工具支持多线程并发爬取,并提供友好的用户界面进行交互操作。 主要功能 关键词搜索: 用户可以输入关键词,并选择搜索引擎进行搜索。 多页爬取: 支持设置爬取页数,并进行多线程并发爬取。 信息提取: 提取网页中的文字内容、链接和按钮信息。 结果导出: 将爬取到的信息导出到文本文件中,并自动复制到剪贴板。 文件管理: ...