adacore-CSDN博客

原创使用GPS编辑器

使用GPS编辑器本文专为新手而写，以降低新手初学过程中的难度。我们启动GPS，到如下界面:我们点击右边的 Create new project (创建新工程)，到如下界面：默认的选择是 Simple Ada Project （简单Ada工程），点击 Next按钮，到如下界面：我们设置好工程目录、工程名、主程序名（主程序名可以是任意的非保留字，而不像C语言中必须是main）,我们点击...

2018-09-27 09:30:32 890 6

原创物理量时空属性内禀律

本文介绍物理学的一个基础性规律！提供了一种可以加深物理学的理解的方案，也对科研领域有着举足轻重的作用！

2023-08-04 20:54:41 373

原创 ESP32 CAM试验记录

ESP32 CAM 、NodeMCU 32s、VL53L0X

2023-03-08 20:39:39 369

原创 RGB888与RGB565颜色

本文显示RGB888与RGB565色彩

2023-02-27 20:39:14 4151 1

闲的无聊，用VMWARE装个UOS虚拟机，专业版的，用开发者模式。从adacore官网下载x86_i64版的linux编译器。http://www.adacore.com/download/more需要翻-墙才能正常显示下载选项。这个下载得在主机上，拷贝到U盘，进UOS后，重新插入U盘，选择虚拟机就可以了。直接运行优盘里的安装文件。安装完成后，并没有万事大吉，发现无法运行。用sublimeText编辑器打开 /etc/profile.d/gnat.sh 文件，输入：export PATH=/hom

2021-10-04 09:30:44 419 1

原创卧式筒形液位计算问题

实际生产中存在不少卧式圆筒形的容器，液位计算也不是个简单的线性关系，实际上还相当复杂。已知下图高度x求取面积要相对简单些，而反过来根据面积求x却异常麻烦。Maple解：当x=0时，解值为-Pi*r^2/2 ，定积分则为 A+Pi*r^2/2 。可以使用逼近法来根据已知面积来解x 。At := Pi*(r**2)/2.0 ;x := r ;loopAs :=( (r**2)*arctan((-r+x)/((2.0*r*x-x**2)**0.5...

2021-08-02 14:25:23 276

原创 Ada包被动共享 Shared_Passive

有时我们需要在一个包中定义一些公用的数据，可以被几个独立的程序共享使用 . 在不使用编译指令Shared_Passive之前这是很难直接办到的，将不得不使用文件手段或shu'ju

2021-06-02 22:41:33 217 2

原创 Ada语言的包package与子程序分离

本文为新手解答文，大神们可以略过。ada语言包package用于定义（存放）一些类型定义，对象，过程，函数的。包用两种文件来表示，一个是声明文件（扩展名是ads,就是ada specification file），声明文件中不能存放过程及函数的实现部分，还有一个是体文件（扩展名是adb，就是ada body file）,体文件中可以放置定义，对象，过程实现，函数实现，体文件中的定义与对象对外是不...

2020-02-10 00:32:20 462

原创安卓Android Socket编程注意小记

当Socket创建之后，输入流正常工作需要输出流不能被关闭。private int SendSocket(Socket socket,byte[] data){ if (socket==null){return 1;} try{ OutputStream os=socket.getOuputStream(); os.write(data); ...

2019-11-26 15:37:23 186

原创手机客户端访问本机计算机局域网服务器

情形设定：本地计算机通过路由器接入互联网。本地计算机服务器程序IP：222.222.221.198:1111(端口不要设80或者8080)我们从路由器设置里面【运行状态】找到【WAN口状态】，找到IP地址。把路由器设置【转发规则】下【虚拟服务器】中增加映射条目。手机端服务器IP设置为：117.66.24.85:1111，这样APP就可以从远程访问本地计算机服务器了。...

2019-09-03 21:51:47 2290

原创 Ada制作DLL

我们可以使用gnatdll工具来制作动态链接库。先贴一个最为简单的代码：package myLib is -- C方式导出 function add(a,b:integer) return integer is (a+b); pragma export(c,add,"add"); -- stdcall方式导出 function sub(a,b...

2019-07-25 18:44:33 278 3

原创 Ada中的数值文字之美

Ada语言中数值文字之间可以用单个下划线进行分隔，对比如下π值书写：3.14159_26535_89793_23846_26433_83279_50288_41971_69399_375103.14159265358979323846264338327950288419716939937510前者看起来更易读、清晰、易写，后者把人眼睛都看花了。Ada语言中还有基型数值写法，像 2...

2019-07-06 20:52:48 238

原创获取文件最后写入时间

subtype FILETIME is QWord; type WIN32_FIND_DATAA is record FileAttributes : DWORD; CreationTime : FILETIME; LastAccessTime : FILETIME; LastWriteTime ...

2019-07-06 20:25:16 796

原创 Windows遍历文件夹

最近在弄遍历文件夹的事情，也了解一些情况。调用FindFirstFile的结果是文件夹 "."第一次调用FindNextFile的结果是文件夹 ".." type LPSTR is access all String; type LPSTR_ARRAY is array(Natural range<>) of LPSTR; type...

2019-01-09 21:29:32 1021

翻译 Ada语言宝书课程#3：Ada 2005 受限类型— 构造函数

宝书课程 #3: Ada 2005 受限类型— 构造函数by Bob Duff—AdaCoreTranslator:Dongfeng.Gu让我们开始…考虑到Ada2005允许受限类型的现场集合(声明)，下一步显然是要将这样的集合包装到抽象中--有名的，从函数返回它们。毕竟，有趣的类型通常是私有的，我们也需要一些方法让客户端创建和初始化对象。 package P is ...

2018-12-17 12:35:25 189

翻译 Ada语言宝书 #2: Ada 2005 受限类型 — 集合中的默认值标记

宝书 #2: Ada 2005 受限类型 — 集合中的<>标记by Bob Duff—AdaCoreTranslator：Dongfeng.Gu让我们开始…上周，我们提到Ada2005允许为受限类型提进行合声明。这样的一个集合必须用于初始化某个对象（其中包括参数传递，我们进行形式参数的初始化）。受限(对象的)集合(声明)是在对象初始化的地方现场创建。这里是例程：...

2018-12-16 22:36:44 289

翻译宝书课程#1：Ada 2005中的受限类型 --受限集合

宝书课程#1：Ada 2005中的受限类型--受限集合by Bob Duff—AdaCoreTranslator:Dongfeng.Gu让我们开始吧…一个Ada我所喜欢的特征是对于集合的“全覆盖规则”。例如，假设我们有一个记录类型： type Person is record Name : Unbounded_String; ...

2018-12-16 21:48:32 185

原创关于电磁感应的另类理解

在高中的时候，由于比较讨厌用手来判断，这种用手判断的对我来说叫唯象科学，而并非真正的认知！那个时候，还是想出如下图的思维的理解方法来解决这个问题。曾经也在网上发过，有一位网友问：如果导体不动，而背景磁场运动，又该如何解释？的确很困惑！现在我真的怀疑：当稳恒磁场移动的时候未必会产生感应电动势。...

2018-12-05 21:18:20 352

原创 16位浮点转32位浮点

在DX中有着半精度浮点转单精度浮点的详细函数，我们先来了解一下数据的存储结构。 type Bits1 is mod 2**1; type Bits4 is mod 2**4; type Bits5 is mod 2**5; type Bits7 is mod 2**7; type Bits8 is mod 2**8; type Bits10 i...

2018-12-01 17:52:36 4982

原创关于函数mm_shuffle_ps的实现

该函数在C++里是: __m128 __mm_shuffle_ps(__m128 v1,__m128 v2,UINT32 i);该功能的实现依赖于一条SSE指令，SHUFPS XMM,XMM/M,IMM，第3个参数必须是立即数，这个该死的指令讲使得mm_shuffle_ps(v1,v2:XVECTOR;ui:UINT32) return XVECTOR 实现起来相当困难。 ...

2018-11-20 23:14:24 2860

原创 Ada计算机图形DirectX之XDSP

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : XDSP.ads ---- Translator:Dongfeng.Gu,2018/11/19 ---- Mail: 515639@qq.com ...

2018-11-19 13:58:29 497

原创 Ada计算机图形DirectX之XInput

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : DInput.ads ---- Translator:Dongfeng.Gu,2018/11/16 ---- Mail: 515639@qq.com ...

2018-11-16 10:46:27 409

原创 Ada计算机图形DirectX之D3DCSX

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : D3DCSX.ads ---- Translator:Dongfeng.Gu,2018/11/16 ---- Mail: 515639@qq.com ...

2018-11-16 10:27:06 288

原创 Ada计算机图形DirectX之XAudio2fx

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : XAudio2fx.ads ---- Translator:Dongfeng.Gu,2018/11/16 ---- Mail: 515639@qq.com ...

2018-11-16 09:58:35 205

原创 Ada计算机图形DirectX之d3dx10math

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : d3dx10math.ads ---- Translator:Dongfeng.Gu,2018/11/15 ---- Mail: 515639@qq.com ...

2018-11-15 15:04:07 250

原创 Ada计算机图形DirectX之d3dx9math

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : d3dx9math.ads ---- Translator:Dongfeng.Gu,2018/11/15 ---- Mail: 515639@qq.com ...

2018-11-15 12:47:33 405

原创 Ada计算机图形DirectX之XAPOFX

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : XAPOFX.ads ---- Translator:Dongfeng.Gu,2018/11/06 ---- Mail: 515639@qq.com ...

2018-11-06 09:01:43 200

原创 Ada计算机图形DirectX之XAPO

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : XAPO.ads ---- Translator:Dongfeng.Gu,2018/11/06 ---- Mail: 515639@qq.com ...

2018-11-06 08:45:18 220

原创 Ada计算机图形DirectX之xact3wb

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : xact3wb.ads ---- Translator:Dongfeng.Gu,2018/11/05 ---- Mail: 515639@qq.com ...

2018-11-05 12:51:43 205

原创 Ada计算机图形DirectX之xact3

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : xact3.ads ---- Translator:Dongfeng.Gu,2018/11/05 ---- Mail: 515639@qq.com ...

2018-11-05 12:50:22 446

原创 Ada计算机图形DirectX之rmxftmpl

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : rmxftmpl.ads ---- Translator:Dongfeng.Gu,2018/11/05 ---- Mail: 515639@qq.com ...

2018-11-05 09:23:15 208

原创 Ada计算机图形DirectX之rmxfguid

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : rmxfguid.ads ---- Translator:Dongfeng.Gu,2018/11/05 ---- Mail: 515639@qq.com ...

2018-11-05 09:22:04 200

原创 Ada计算机图形DirectX之PIXPlugin

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : PIXPlugin.ads ---- Translator:Dongfeng.Gu,2018/11/05 ---- Mail: 515639@qq.com ...

2018-11-05 09:21:01 263

原创 Ada计算机图形DirectX之multimon

------------------------------------------ Microsoft DirectX Ada Binding Lib ---- File : multimon.ads ---- Translator:Dongfeng.Gu,2018/11/05 ---- Mail: 515639@qq.com ...

2018-11-05 09:19:38 251

原创 Ada计算机图形DirectX之gameux

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : gameux.ads ---- Translator:Dongfeng.Gu,2018/11/03 ---- Mail: 515639@qq.com ...

2018-11-03 19:57:40 269

原创 Ada计算机图形DirectX之D2Derr

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : D2Derr.ads ---- Translator:Dongfeng.Gu,2018/10/31 ---- Mail: 515639@qq.com ...

2018-10-31 22:34:18 407

原创 Ada计算机图形DirectX之D2D1

------------------------------------------ Microsoft DirectX Ada binding lib ---- File : D2D1.ads ---- Translator:Dongfeng.Gu,2018/10/31 ---- Mail: 515639@qq.com ...

2018-10-31 22:07:34 600