検証処理を実行する時刻となり
1E3-3 ハイブリッド制約言語HydLa処理系における数式処理と区間計算を組み合わせたシミュレーション実行
... 変化時刻が数値区間として表すことになるため，離散変化時刻 を求めるための方程式を導く微分方程式が複雑化してしまい， 数式処理によって方程式を求めることが困難になるためである と考えられる．さらに，数値区間を用いて真の解を近似してい るため，数式処理の枠組みにおいては生じえなかった不必要な ...
4
予報時間を39時間に延長したMSMの初期時刻別統計検証
... 1.3.3 MSMで用いる側面境界値とその影響につい て 領域モデルは、地球全体で連続している大気のあ る一部の領域のみを予測対象とする。領域モデルで はその外側の大気状態を予測していないため、領域 の縁（側面境界）を通じて出入りする大気の質量は 分からない。そこで、領域モデルである MSMに対 して、それが実行される時点で最新初期値の ...
17
この手の問題を診断する際に Simics は完璧なツールなのですが 実行するためには 問題が発生するプログラムを Simics に取り込まなければなりません すなわち Simics 上で Simics を実行するのです まず Simics 内部に開発ホストの複製を作成します これは何も難しいことでは
... Simics 上での Simics のデバッグ 投稿者：Jakob Engblom,, 2012/12/05 私はたびたび書いたり話したりしていますが、Simics は並列処理のバグのデバッグと、マルチスレッド やマルチコアシステムの障害に対するデバッグには実に有効です。非常に複雑なアプリケーション、具 体的に言えば Simics ...
8
プログラミング 専用の z/os データ プログラミング スキルを必要とせずに このすべてを実行できます DB2 for z/os IMS TM VSAM さまざまなシステム ログ ファイルやアプリケーション ログ ファイルをソースとしてサポートする Hadoop の処理は zenterprise
... IBM サポート・ポータルは、技術サポートへのゲートウェイとして機能します。このサポー ト・ポータルには、時間の節約およびサポートの簡素化を支援する、ソフトウェアおよびハー ドウェア向けの IBM エレクトロニック・サポートのツールおよびリソースが含まれています。 エレクトロニック・サポートのツールは、疑問に対する回答の検索、修正のダウンロード、ト ...
10
ただし 無作為にスレッドを複数実行すると 結果不正やデッドロックが起きる可能性がある 複数のスレッド ( マルチスレッド ) を安全に実行する ( スレッドセーフにする ) ためには 同期処理を用いるこ とが必要になる 同期処理は 予約語 synchronized で行うことができる ここでは sy
... 実行例 メソッドを synchronized 宣言することにより、そのメソッドが複数のスレッド から同時に呼ばれないように することができる。 上記例では、メソッド dangerousMethod() を synchronized 宣言することにより、 ...
8
GPSにおける週番号の決定と時刻表現に関連する諸問題
... 1.5 を乗じる処理が行われることがある． 整数型変数に対してそのような演算を行うには 3 倍してから 1/2 とすることとなるから，Z カウントの 3 倍が INT_MAX を超え る状況であれば問題が発生し得る．Z カウントが INT_MAX の 1/3 となるのは，GPS エポックから INT_MAX/2 ...
8
Microsoft Word - いわき市災害廃棄物処理実行計画 公表用.doc
... はじめに 本市におきましては、平成 23 年３月 11 日に発生した東日本大震災及びその後の 余震に伴い、平時の一般廃棄物の６年分に相当する災害廃棄物が生じました。 この膨大な災害廃棄物を、計画的な取組みにより迅速かつ適正に処理し、市民の 健康と生活を守り、本市の復旧・復興に寄与することを目的として、平成 24 年３ ...
25
の検証作業を 2006 年までに完了した. 検証作業を実行できたことにより, この検証要求には現実的な手法が伴っており, 単なる理想論ではないことを確認することができたが, 要求の意図や手法について検証作業者に正しく理解させるため, 実際には, 細かな打合せや解説書が必要であった 年以降
... RTOS をどのように検証しているかを明らかにする必要がある．このため，民 間航空機や原子力など信頼性が重視される分野で適用されている技術標準や，過去に宇 宙機の搭載計算機で発生した不具合事例を参考に，RTOS に特化した検証要求を整備し た．この検証要求を，TOPPERS/HRP ...
7
アクロニス製品動作検証済み機器リスト 概要 動作検証済み機器リストとは我々の製品と各コンピュータハードウェア機器の互換性を示すリストとなります すべてのエンタープライズ製品の機能はハードウェアに依存しており 従って動作検証済み機器リストを作成する必要があります 一旦 動作検証済み機器リストが作成され
... *2 バックアップデータは、1つのRDXカートリッジ内に収める事 （1つのRDXカートリッジに完全バックアップや関連する増分・差分バックアップを保存）を推奨。 バックアップ実行中に一つ目のRDXカートリッジ容量が一杯になった場合、二つ目のRDXカートリッジにバックアップファイルを分割して保存出来る事を 確認しています。（”リムーバブル メディア” ...
10
宮崎市災害廃棄物処理実行計画‟風水害版”（素案）（本文）
... （３）海岸漂着物について 海岸漂着物については、国や県、及び沿岸市町で構成された「県央地区流木等処理 対策連絡調整会議（平成 22 年 1 月設置） 」が「流木等処理対策マニュアル」に基づき、 流木等の収集・運搬方法や処理方法、ボランティアや関係団体の協力などについて検 討を行うこととなっており、本市では、関係部局や県央地区流木等処理対策連絡調整 ...
30
東京都検証主任者事務処理要綱
... （目 的） 第 1 条 この要綱は、都民の健康と安全を確保する環境に関する条例（平成 12 年東京都条 例第 215 号。以下「条例」という。）第 8 条の 13 並びに都民の健康と安全を確保する環 境に関する条例施行規則（平成 13 年東京都規則第 34 号。以下「規則」という。）第 5 条 の 11 ...
11
日本経済見通し：「アベノミクスの光と影」を検証する
... まず、家計のエネルギー消費は、都市の規模にかかわらず増加しており、2012 年 10-12 月期 から 2014 年 4-6 月期の増加額は、全国平均で 16,000 円程度（年換算）となる（図表 7 左）。こ れは、原子力発電所の稼働停止や円安に伴い電気代とガソリン価格が上昇したことが主因であ り、さらには消費税増税も影響している。エネルギーの負担増に見合って所得が増加しなけれ ...
17
(4) Mg 2+ 交換とアルカリ処理の組み合わせ Mg 2+ 交換後 アルカリ処理を施したゼオライトを調製し Y-Mg-AT と表記する 一方 アルカリ処理後 Mg 2+ 交換を施したゼオライトも調製し Y-AT-Mg と表記する これらの処理を施した試料について 粉末 X 線回折測定 -196
... 真空度 4.0×10 -4 Torr の条件下で 2 時間以上加熱排気を行った。その後、水蒸気 10 Torr を IR セルに導入し、自然放冷しつつ 30 ℃まで種々の温度で赤外吸収スペクトル測定 を行った。測定には、高感度の半導体型 MCT（HgCdTe）検出器を搭載した Bio-rad 製の FTIR ...
7
SPRAT:実行時自動チューニング機能を備えるストリーム処理記述用言語
... <xsl:template match="SgFortranDo"> <xsl:variable name="doNum" select="count(./SgBasicBlock/SgFortranDo)" /> <xsl:if test=“count(child::PreprocessingInfo)=1”> // ディレクティブ検知 ...
32
野村資本市場研究所｜G-SIBs、G-SIIs、CCPに係る破綻処理の実行可能性を確保するための政策措置の整備状況（PDF）
... サードパーティのサービス・プロバイダーによるサービス提供： 契約に基づいてオペレーション関連サービスを外部のサービス・プロバイダーにアウ トソースする場合（規制法人またはグループ内サービス会社からの下請け契約を含む） ガイダンスは、サービス提供モデルを上記のように整理しつつ、破綻処理に関して、① ...
19
自衛隊・米軍報道を検証する（討論）
... Ｆ15戦闘機が１日に70回、80回、ひどい日には200回も飛んで、隣の人と話もできない瞬間が１ 日に200回も来るという生活をしている人たちの苦しさや悩みを少しでも実感する。ちょこっと沖 縄の視察に来て、基地を眺めて、あまりヘリも戦闘機も飛んでいないような日に「広いね、街中 ...
16
べきでない悪意のあるSQL 文が攻撃者から入力された場合 データベースで実行される前にSQL 文として処理されないよう無効化する必要がありますが ( 図 1 1) 無効化されずにデータベースで実行された場合 データベースの操作が可能となります ( 図 1 2) 本脆弱性を悪用するとデータベース接続ユ
... 脆弱性が確認されたウェブサーバについては各府省庁において既に適切に措置が講じら れたところですが、全ての府省庁において、本事務連絡に記載の SQL インジェクション及 びサービス運用妨害（DoS）の脆弱性の確認方法等を参考に、管理している公開ウェブサー バについて確認し、脆弱性の存在が疑われる場合には、保守業者又は専門の検査会社に相 ...
5
検証：公的年金資金の運用と「GPIF改革」（仮題） ー年金資金運用改革論議を検証するー
... ◇ 平成25年11月20日に提言取りまとめ公表。 ◇ 提言を受け、「好循環実現のための経済対策（平成25年12月5日）」を閣議決定。 ・ 年金積立金管理運用独立行政法人（GPIF）をはじめとする公的・準公的資金の運用等の在り方について、デフレ ...
35
自衛隊・米軍報道を検証する（講演)
... ルワンダの難民救援でも、同じようなことがありました。日本人医師団の車が難民に奪われた との連絡が入った。派遣部隊は、医師団救出のために武器を持って駆けつけた。実際に「駆けつ け警護」を行ったわけです。このときの説明は、「情報収集のために出て行った」というもので した。実態として「駆けつけ警護」を行っているにもかかわらず、中身はごまかしの説明が行わ ...
15
「介護事業者の不正行為を防止する取組とモニタリング効果の検証」
... 齢者への虐待を防止することにより、介護保険制度への信頼性を維持し制度の持続可能性 を高めるための重要な役割の一翼を担っている。特に介護保険制度の各サービスは、保険 料と公費で賄われる公益性の高い事業である一方、多様な運営主体の参入が可能であるこ とから、指導監督という事後規制が適切に機能されなければならない 2 ...
24