Hi
user
Admin Login:
Username:
Password:
Name:
Functional Programming in Aviation
--client
lca
--show
lca2018
--room medium 13568 --force
Next: 14 How to Tame a Data Format
show more...
Marks
Author(s):
Tony Morris
Location
Medium Lecture Theatre CB11.00.401
Date
jan Tue 23
Days Raw Files
Start
11:35
First Raw Start
11:05
Duration
0:50:0
Offset
0:29:03
End
12:25
Last Raw End
12:35
Chapters
00:00
0:00:43
0:30:42
Total cuts_time
49 min.
http://lca2018.linux.org.au/schedule/presentation/154/
raw-playlist
raw-mp4-playlist
encoded-files-playlist
host
archive
public
tweet
mp4
svg
png
assets
release.pdf
Functional_Programming_in_Aviation.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
Locked:
clear this to unlock
Locked by:
user/process that locked.
Start:
initially scheduled time from master, adjusted to match reality
Duration:
length in hh:mm:ss
Name:
Video Title (shows in video search results)
Emails:
email(s) of the presenter(s)
Released:
Unknown
Yes
No
has someone authorised pubication
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
In this talk&demo, we have a look at some of the low-hanging problems in general aviation and how functional programming can be applied to provide significant improvements in efficiency and air safety. The current solutions to problems such as navigation, traffic/terrain collision avoidance and weight/balance calculations will be demonstrated to the audience, mostly for amusement. More seriously, we will have a look at the legacy that has led to the way things are, and how to improve by applying our programming skills. We will look at: * how aviation safety is regulated. * how aeronautical services are provided to flight operators. * how aeronautical navigation is conducted and regulated. * how the weight and balance for a flight is conducted. * the methods by which aircraft and ground coordinate between each other. We will see: * some real (and basic) data management problems in aviation, that very obviously threaten safety, then solve them, using programming. * we will see a live demonstration of aeronautical navigation methods, investigate incident reports where lives were lost as a result, and consider how our programming skills can yield improvements, possibly even save lives. * we will conduct a real weight&balance calculation for a flight, then once hilarity inevitably ensues, we will look at the problems that arise by this method, then solve them using data structures and functional programming. Some of these practical problems are obvious, even to a non-aviator, and the predictable incident reports are the end result. * finally, we will have a look at a live demonstration of a software defined radio (SDR), receiving ADS-B transmissions from aircraft (live), an AHRS implementation and GNSS receiver using off-the-shelf, low-cost parts. We will look at why these instruments are helpful to aircraft pilots and interact with that device using the Haskell programming language.
markdown
Comment:
production notes
‹
-
+
›
2018-01-23/11_05_57.ts
Apply:
11:05:57 - 11:29:03 ( 00:23:06 )
S:
11:05:57 -
E:
11:35:56
D:
00:29:59
(
End:
1386.0)
show more...
vlc ~/Videos/veyepar/lca/lca2018/dv/medium/2018-01-23/11_05_57.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
11:05:57
seconds: 0.0
Wall: 11:05:57
Duration
00:29:59
11:35:56
seconds: 1386.0
Wall: 11:29:03
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2018-01-23/11_05_57.ts
Apply:
11:29:03 - 11:35:13 ( 00:06:10 )
S:
11:05:57 -
E:
11:35:56
D:
00:29:59
(
Start:
1386.0) (
End:
1756.0)
show more...
vlc ~/Videos/veyepar/lca/lca2018/dv/medium/2018-01-23/11_05_57.ts :start-time=01386.0 --audio-desync=0
Raw File
Cut List
11:05:57
seconds: 1386.0
Wall: 11:29:03
Duration
00:29:59
11:35:56
seconds: 1756.0
Wall: 11:35:13
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2018-01-23/11_05_57.ts
Apply:
11:35:13 - 11:35:56 ( 00:00:43 )
S:
11:05:57 -
E:
11:35:56
D:
00:29:59
(
Start:
1756.0)
show more...
vlc ~/Videos/veyepar/lca/lca2018/dv/medium/2018-01-23/11_05_57.ts :start-time=01756.0 --audio-desync=0
Raw File
Cut List
11:05:57
seconds: 1756.0
Wall: 11:35:13
Duration
00:29:59
11:35:56
seconds: 0.0
Wall: 11:05:57
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2018-01-23/11_35_57.ts
Apply:
11:35:57 - 12:05:56 ( 00:29:59 )
S:
11:35:57 -
E:
12:05:56
D:
00:29:59
show more...
vlc ~/Videos/veyepar/lca/lca2018/dv/medium/2018-01-23/11_35_57.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
11:35:57
seconds: 0.0
Wall: 11:35:57
Duration
00:29:59
12:05:56
seconds: 0.0
Wall: 11:35:57
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2018-01-23/12_05_57.ts
Apply:
12:05:57 - 12:24:23 ( 00:18:26 )
S:
12:05:57 -
E:
12:35:56
D:
00:29:59
(
End:
1106.0)
show more...
vlc ~/Videos/veyepar/lca/lca2018/dv/medium/2018-01-23/12_05_57.ts :start-time=00.0 --audio-desync=0
Raw File
Cut List
12:05:57
seconds: 0.0
Wall: 12:05:57
Duration
00:29:59
12:35:56
seconds: 1106.0
Wall: 12:24:23
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2018-01-23/12_05_57.ts
Apply:
12:24:23 - 12:35:56 ( 00:11:33 )
S:
12:05:57 -
E:
12:35:56
D:
00:29:59
(
Start:
1106.0)
show more...
vlc ~/Videos/veyepar/lca/lca2018/dv/medium/2018-01-23/12_05_57.ts :start-time=01106.0 --audio-desync=0
Raw File
Cut List
12:05:57
seconds: 1106.0
Wall: 12:24:23
Duration
00:29:59
12:35:56
seconds: 0.0
Wall: 12:05:57
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2018-01-23/11_05_57.ts
2018-01-23/11_35_57.ts
2018-01-23/12_05_57.ts
Veyepar
Video Eyeball Processor and Review