ときどきの雑記帖 RE* (新南口)

無限軌道SSX

エレベーターの輸送能力

あるとき、エレベーターの「定員」ってどういう基準で 決められているのか気になった。 というのも、どう考えてもその人数を詰め込むのは無理だろう という「定員」をよく見かけるので どう決まって(決めて)いるのかなあと。

一般社団法人 日本エレベーター協会｜よくあるお問い合わせ

エレベーターの定員はどのように計算されるのですか？

カゴの床面積から積載量が定められています。 乗用・人荷用エレベーターでは、１人65kgとして定員を定めます。

乗用エレベーター寸法表

定員/積載荷重 出入口幅 かご内法 昇降路内法
24人/1600Kg 1100 2150×1600 2750×2450

08_ospacel_p_1.pdf

定員/積載荷重 出入口幅 かご内法 昇降路内法
2000×1750 2900×2400

2.1m×1.6メートルのなかに24人押し込めるのは相当つらそうな気も。

鉄道の駅でよく見かける3～4人乗れば結構きつい タイプのエレベーターでも「定員」を見ると 10人とかだったりするんだよねえ。謎

GNU

July GNU Spotlight with Amin Bandali: Nineteen new GNU releases! — Free Software Foundation — Working together for free software

夏休みのお供

nlp/nlp-16a/circuit.pdf

C104

前にも書いたと思うけど 今度のコミケ(C104)も行ける状態ではなく…

Octalのほそ道

ああっこんな本が。 以前1巻をとある方の協力で入手できたのだけど…

って2巻はいつ出た?

で検索してみると

前回の冬コミでしたか。 気がつかなかった。

ところで 2巻が野望編 3巻が雌伏編 てのは銀河英雄伝説からですかね (現在は1巻にも黎明編とつくけど最初はなかった)

銀河英雄伝説 - Wikipedia

ということは10巻まで行くんだろうか😄

漢字周期表湯飲み

あ、これも欲しい😓

今日の重箱の隅

if 文の波括弧はなぜ必要なのか

そういう疑問を持つのは良いことだと思うけど

結論

  1. else や else if を使うときには波括弧がないと動作しない
  2. if 文をネストする時には波括弧がないと動作しない

なぜそんな結論に😓

Ariane 5

そんな単純な話だったかなあ と疑問を持ったので(ry

どうも「オーバーフロー」以外の情報がほとんど見つからないので 難儀したのだけど、 ZERO BUGS シリコンバレープログラマの教え という本に問題のソースコード(の一部)が載っているらしい という情報を得て、運よくその本を持っていたので調べてみた

で、次のようなコードであったらしい (たぶんAda)

L_M_BV_32 := TBD.T_ENTER_32S ((1.0/C_M_LSB_BV) * G_M_INFO_DERIVE(T_ALG.E_BV));

if L_M_BV_32 > 32767 then
  P_M_DERIVE(T_ALG.E_BV) := 16#7FFF#;
elsif LM_BV_32 < -32768
  P_M_DERIVE(T_ALG.E_BV) := 16#8000#;
else
  P_M_DERIVE(T_ALG.E_BV) := 
     UC_16S_EN_16NS(TDB.T_ENTIER_16S(L_M_BV_32));
end if;

P_M_DERIVE(T_ALG.E_BH) :=
  UC_16S_EN_16NS (TDB.T_ENTIER_16S ((1.0/C_M_LSB_BH) * G_M_INFO_DERIVE(T_ALG.E_BH)));

TDB は TBDの間違いじゃないかという気もするけどそれはさておき

P_M_DERIVE(T_ALG.E_BV)(垂直成分)に設定する値は16ビット整数の範囲に納まるかどうかをチェックしているのに P_M_DERIVE(T_ALG.E_BH)(水平成分)に設定する値はそのチェックがない。 そしてまさにそのチェックしていない水平成分の計算でオーバーフローが起き、 そこから例外が発生して…で爆発に至ったということらしい。

垂直成分の計算の L_M_BV_32 := TBD.T_ENTER_32S ((1.0/C_M_LSB_BV) * G_M_INFO_DERIVE(T_ALG.E_BV)); は一度32ビット長の整数変数で受けておいて それで16ビットの範囲に納まるかをチェックし、 納まらなかったら最大値(最小値)を入れるという手順で行っているのに対し。 水平成分では UC_16S_EN_16NS (TDB.T_ENTIER_16S ((1.0/C_M_LSB_BH) = G_M_INFO_DERIVE(T_ALG.E_BH))); といきなり設定してしまっている。

そしてこれは、単純に水平成分でオーバーフローのチェックをし忘れた という話でもないらしい

コードに出てくる名前で検索すると もう少し詳しい情報が見つかった(日本語以外で、だけど)

https://earth.informatik.uni-freiburg.de/uploads/es-2122/02_specification.pdf のp13にある説明によると、

What happened?

  • calibration code from IRS alignment functionality
  • not needed during flight

BUT

  • overflow exception forced both primary and backup IRS into safe mode ↠ diagnostic data interpreted as flight data
  • overflow check on horizontal axis was removed in Ariane 4:
    • since Ariane 4 could never achieve high enough values to cause overflow
    • check removed to free additional resources on the on-board computer for dependability reasons

Code was re-used from that in Ariane 4 launchers As Ariane 4 was smaller, overflow was never reached Computation that resulted in overflow was not used in Ariane 5 system, calculations were instead taken over by ground-based system

諸々まとめると

  • 問題のコードはAriane 4で実績のあったものをそのまま使った
  • 実は最初は水平成分の計算でも垂直成分と同じようにオーバーフローのチェックをしていたがそれは途中で削除された
  • Ariane 4ではそれで問題なかった(オーバーフローは起きない)
  • Ariane 5では条件が変わってオーバーフローが起きてしまった
  • さらにオーバーフローにより発生した例外の処理がまずかった

ということのようなので、 「64ビット浮動小数点数の値を16ビット整数に変換しようとしてドジ踏んだ」 と片付けては(矮小化しては)いかん話ではないですかね。

計算で求めた浮動小数点数値を(範囲の狭い)整数値にするというのは ハード絡みのプログラムなら珍しいことでもないし。

新刊近刊

プログラミング〈新〉作法

マネとかパクリとか言うつもりはないけど タイトルがちょっと気になるかな😓

awk

FORTRAN Compiler on IBM 704

Hugo メモ

名前

オーストリアもなんかそういう話なかったっけ?

晩酌

光化学スモッグ

懐かしい。 とは言え「光化学スモッグ」というと、 学校とかお役所なんかのスピーカーから流された 「光化学スモッグ注意報が発令されました(以下略)」 の音声の方が記憶に残ってるかなあ。 「警報」もあったような気もするけど はっきりした記憶はない

これは横浜市のデータだけど

光化学スモッグ注意報の発令回数等の経年推移　横浜市

東京都もあった 【別図】 光化学スモッグ注意報発令日数と健康被害者数の推移

真夏の夜の夢 ≪ prev
next ≫ 砂漠に蝶は飛ぶのか