最近由ISCAS的Zhang Xindi、Zhu Lingfeng、Cai Shaowei、Li Yongjian开发的开源MC工具。Modelchecker使用名为CaDiCaL的高级增量SAT解算器实现IC3
A recent open-source MC tool developed by Xindi Zhang, Lingfeng Zhu, Shaowei Cai, Yongjian Li, from ISCAS. Modelchecker implements the IC3 with an advanced incremental SAT solver named CaDiCaL (2024-04-28, C++, 0KB, 下载0次)
VisualJS是用于Javascript的文本编辑器的项目。它被设计为一个2d空间，可以根据需要拖动和重新排列“Zones”。它使用SFML进行渲染。
VisualJS is a project for a text editor for Javascript. It is designed to be a 2d space where "Zones" can be dragged and rearranged as needed. It uses SFML for rendering. (2024-03-30, C++, 0KB, 下载0次)
x-viewer SDK的示例，这是一个基于WebGL的BIM模型查看器，构建于Three.js之上。它用于查看DWG DXF、glTF、OBJ模型等文件格式。
Examples for the x-viewer SDK, which is a WebGL-based BIM model viewer built on Three.js. It is used to view DWG DXF, glTF, OBJ models, among other file formats. (2024-02-23, Vue, 0KB, 下载0次)
该存储库包含一个空间探索漫游器的开发项目，旨在解决农业管理和数据分析方面的挑战。
This repository contains the development project for a space exploration rover designed to address challenges in agricultural management and data analysis. (2024-02-14, Others, 0KB, 下载0次)
一个事件管理器，旨在为哥伦比亚国立大学的每个人在一个公共空间中跟踪和发布它们，以便于访问。
An events manager designed to track and publish them in a common space for everyone at Universidad Nacional de Colombia ease of access. (2024-01-29, HTML, 0KB, 下载0次)
x-viewer SDK的示例，这是一个基于WebGL的BIM模型查看器，构建在Three.js上。它用于查看DWG DXF、glTF、OBJ模型等文件格式。
Examples for the x-viewer SDK, which is a WebGL-based BIM model viewer built on Three.js. It is used to view DWG DXF, glTF, OBJ models, among other file formats. (2024-01-06, Others, 0KB, 下载0次)
设计良好的媒体序列播放器。它可以播放不同视频、动画文本消息和图像的序列。在一个程序中非常有用...
A well designed Media sequence player. That can play sequences of different videos, animated text messages and images. Very useful in a promotion screen space. Like in waiting queue system screens which contain a promotion space. (2023-11-04, JavaScript, 0KB, 下载0次)
这是谢菲尔德2019 iGEM项目的代码。我们构建了一个DIY开源的纯吸收式微孔板阅读器。CAD文件和建筑...，
This is the code for the Sheffield 2019 iGEM project. We built a DIY open-source absorption-only microplate reader. The CAD files and build instructions are found on thinigverse through this link. Our website link: (2020-10-01, C, 0KB, 下载0次)
我自己的自定义工具，以帮助或做一些内部空间站13。其中大多数将被设计为在另一个监视器上工作，同时...，
My Own Custom Tools To Help Or Do Something Inside Space Station 13. Most of these will be designed to work on another monitor whilst playing! (2023-08-10, Python, 0KB, 下载0次)
一个为期一学期的项目侧重于分析利用状态空间的v形电热微致动器（MEMS）的验证...，
A semester-long project focused on the analysis of verification for a v-shaped electrothermal microactuator (MEMS) utilizing a state space model, encompassing controller design and finite element method (FEM) techniques. (2023-08-09, matlab, 0KB, 下载0次)
用于在CNC上铣削印刷电路板的G代码的准备程序。您可以将其用作PDF文件的转换器。，
Program for preparing G-code for milling of printed circuit boards on CNC. You can use it as a converter to a PDF file., (2023-07-28, C++, 0KB, 下载0次)
我们在VHDL代码中实现了单周期版本的MIPS-CPU，在简化了1周期存储器延迟的情况下，...
We implemented a single cycle version of the MIPS CPU in VHDL code, under the simplification of 1 cycle memory delay, a reduced instruction set defined by the assignment, and 10-bit memory space. We then used the Quartus FPGA chipset to verify the design. By David Shmailov and Aviram Lachmani (2021-08-02, VHDL, 1137KB, 下载0次)
上海科技大学 2020-2021 学年第一学期天文学基础与飞行器设计(GENS1006)前沿科技(机械臂)开发实践。Practice of Astronomy Basics and Spacecraft Design (GENS100...
The first semester of the 2020-2021 academic year of Shanghai University of Science and Technology: Fundamentals of Astronomy and Aircraft Design (GENS1006), cutting-edge technology (robotic arm) development practice. Practice of Astronomy Basics and Spacecraft Design (GENS100 (2021-09-04, TeX, 276KB, 下载0次)
Fusion 360 HSMWorks Inventor CAM后处理器用于激光切割和雕刻，可创建完美的矢量项目...
Fusion 360 / HSMWorks / Inventor CAM post-processor for laser cutting and engraving that creates perfect vector projects (LightBurn and SVG), eliminating the headaches of projecting sketches, exporting DXF files, etc. Visit <https://nucarve.com/laserpost> for release downloads, and tutorials, tips and tricks. (2023-02-04, JavaScript, 2020KB, 下载0次)
此包提供对dxFeed市场数据的访问。该库是在dxFe上构建的一个特定于语言的包装器...
This package provides access to dxFeed market data. The library is built as a language-specific wrapper over the dxFeed Graal Native library, which was compiled with GraalVM Native Image and dxFeed Java API (our flagman API). (2023-06-01, C++, 1039KB, 下载0次)
这段代码实现了一个简单的DXF文件解析器，可以读取许多包含ARC、LINE、POLYLINE、LWPOLYL...
This code implements a simple DXF file parser that can read many 2D DXF files containing ARC, LINE, POLYLINE, LWPOLYLINE and SPLINE outlines such as those used for embroidery patterns and input to machines like Silhouette paper cutters. (2019-07-29, Java, 49KB, 下载0次)
最实用弱电网络安防cad图例下载!包括弱电施工所有图例
Weak current security CAD legend Download (2017-08-18, WINDOWS, 283KB, 下载12次)
机械设计课程设计作业，单级蜗杆减速器设计，包含二维图三维图设计数据与效果图片（非原创）
Mechanical design curriculum design work, single-stage worm reducer design, including design data and the effect of picture of the three-dimensional diagram of the two-dimensional map (non-original) (2013-05-12, Others, 15593KB, 下载5次)
1、制作霓虹灯闪光花样控制器：
常用的两种类型高压霓虹灯闪光花样控制器常因凸轮磨损、铜板磨损或电机损坏而不能正常工作，还因其为低速电机机械传动不能调速，限制了它的灵活性。图中所示的霓虹灯发光花样控制电路具有寿命长，逻辑功能多，成本低（只有机械控制的40 ），结构简单等优点。
此电路能控制1、2、3、4个字霓虹灯依次点亮，即“图案展开”；4、3两个字依次熄灭，即“图案收回”；在第一个字亮的基础上，第1、2、3、4个字依次独立点亮一次，然后从头循环。
2、电路原理：
IC5为时基集成电路组成脉冲振荡器，为IC1十进制计数/分配器提供时钟脉冲。IC1 10个输出Q0~Q9组成双四路输出电路，用来控制IC3、IC4四二端“与”门电路不同输入与门组合，使4路霓虹灯按次序闪亮发光。此电路所控制的4路霓虹灯发光状态中，至少有一字亮，避免了一片漆黑的不良后果。另外可根据需要，讲上述4路控制扩展成5路、6路或更多路。图中用灯（P1、P2、P3、P4）代表高压霓虹灯变压器。
A production of neon flash pattern controller:
The commonly used two types of high-pressure neon flash pattern controller due to cam wear, copper, wear or motor damage, but not working properly, but also because of its low-speed motor mechanical transmission can not be governor, limiting its flexibility. The neon light-emitting pattern control circuit shown has the advantage of long life, the logic function, low cost (only 40 of the mechanical control), and a simple structure.
This circuit can control 1, 2, 3, 4 words to the neon lights were lit, and that "the pattern expand 4,3 word turn off, ie," the pattern of recovery " in the first word of the brightest on the basis of a , 2,3,4 a word followed by independent light, and then scratch cycle.
2, the circuit schematic:
The IC5 time base integrated circuit composed of the pulse oscillator, the clock pulse for IC1 decimal count/distributor. IC1 10 outputs Q0 ~ Q9 is composed of a dual-quad output circuit used to control t (2012-05-09, Windows_Unix, 873KB, 下载4次)
计算机逆向工程及可视化模型浏览器，可浏览off,stl,wrl,ply等文件格式。
Computer model of reverse engineering and visual browser, visit off, stl, wrl, ply and other file formats. (2011-08-10, Windows_Unix, 901KB, 下载76次)