登录
首页 » Java » speedith-inductive_circles-master.tar

speedith-inductive_circles-master.tar

于 2013-01-19 发布 文件大小:64KB
0 109
下载积分: 1 下载次数: 3

代码说明:

  蜘蛛图逻辑推理系统, 可以通过画图,来输入逻辑定理。 并可视化地完成证明过程。(Spider diagram logic reasoning system )

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • YaoGan
    说明:  使用MFC实现画摇杆的效果,同时画出摇杆的运动轨迹(Use MFC to realize the effect of drawing the rocker and draw the movement track of the rocker at the same time)
    2020-05-18 21:18:53下载
    积分:1
  • DXF_Reader
    国外高手写的可以读写dxf格式信息。值得收藏(Foreign experts to write the information can be read dxf format. Worth collecting)
    2014-03-16 12:05:26下载
    积分:1
  • ZUIBIAO
    MFC 画出简单的坐标 并通过按钮产生随机点坐标(横坐标逐渐增大纵坐标随机)存入文件中 另一按钮实现读出数据并将点连成折线(MFC drawing simple coordinate and through the button generates random point coordinates (abscissa increases ordinate random) into a file and another button to achieve read data points connected into line)
    2013-09-14 13:59:46下载
    积分:1
  • DrawingTools
    实现菜单功能。包含新建、打开、另存为、关闭、撤销 功能 实现曲线、直线、椭圆、矩形、橡皮擦等画图形功能 实现颜色选择功能 实现自定义画笔大小功能 实现清空画板的功能 (Realize menu functions. Contains new, open, save as, closing, cancellation function Realize curve, linear, elliptical, rectangle, eraser graphics functions such as painting Realize color selection function Realize custom brush size function Realizing the function of empty sketchpad )
    2011-05-25 13:27:14下载
    积分:1
  • zernike
    一篇有关应用zernike系数来拟合各种曲面的文章,内容详尽(An article on the Application of Zernike coefficients to fit a variety of surfaces article, detailed)
    2008-05-26 22:20:49下载
    积分:1
  • metalens
    在FDTD solutions 绘制超透镜(Hyperlensing in FDTD solutions)
    2021-02-25 10:49:38下载
    积分:1
  • STATCOM3
    STATCOM pSCAD模型 ( this is STATCOM model)
    2014-06-04 23:49:00下载
    积分:1
  • huitu
    单文档绘图工具,包括直线,曲线,扇形,圆形,圆角矩形,矩形等图形,还可以设置线条的颜色等属性。(Single document drawing tools including lines, curves, fan-shaped, round, rounded rectangle, rectangle and other graphics, you can also set the line color and other attributes.)
    2013-11-18 20:19:56下载
    积分:1
  • read--radiosonde-data
    主要读取气象探空数据,并将读取到的数据进行画图的程序(The main goal of this program is that reading radio sounding data)
    2020-12-25 21:39:04下载
    积分:1
  • INVER_current
    自己在PSCAD中搭建的高压直流输电逆变侧的模块,本模块使用了定电流策略,比较容易上手,适合初学者学习(PSCAD built himself in the side of the HVDC inverter module, the module uses a constant current strategy, relatively easy to use, suitable for beginners to learn)
    2021-05-12 21:30:03下载
    积分:1
  • 696522资源总数
  • 104042会员总数
  • 18今日下载