著者
千代 浩之 武田 瑛 船岡 健司 山崎 信行
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.52, no.8, pp.2365-2377, 2011-08-15

本論文では,低ジッタと高スケジュール可能性を達成するために,準固定優先度スケジューリングを提案する.準固定優先度スケジューリングは,終端部分という第2の必須部分を有する拡張インプリサイスタスクの各々の部分を固定優先度でスケジュールする.また,本論文では,Rate Monotonic(RM)を基調とした準固定優先度スケジューリングアルゴリズムRate Monotonic with Wind-upPart(RMWP)とRMWP++を提案する.スケジュール可能性解析では,RMWPはRMでスケジュール可能なタスクセットは必ずスケジュール可能であることを証明する.さらに,RMWP++は,タスクの実際実行時間に依存せず,最短周期タスクのジッタを0に抑制可能であることを証明する.シミュレーションによる評価結果では,準固定優先度スケジューリングは固定優先度スケジューリングと同程度のスケジュール成功率を発揮するだけでなく,従来のスケジューリングよりジッタを抑制したことを示した.This paper proposes semi-fixed-priority scheduling to achieve both low-jitter and high schedulability. Semi-fixed-priority scheduling schedules the part of each extended imprecise task, which has a wind-up part as a second mandatory part, by fixed-priority. This paper also proposes two novel semi-fixed-priority scheduling algorithms based on Rate Monotonic (RM), called Rate Monotonic with Wind-up Part (RMWP) and RMWP++. The schedulability analysis proves that one task set is feasible by RMWP if the task set is feasible by RM. In addition, we prove that the shortest period task in RMWP++ has zero-jitter, regardless of its actual case execution time. Simulation results show that semi-fixed-priority scheduling has approximately the same success ratio as fixed-priority scheduling and lower jitter than existing scheduling.
著者
永崎 研宣 大向 一輝 下田 正弘
雑誌
じんもんこん2020論文集
巻号頁・発行日
vol.2020, pp.75-80, 2020-12-05

IIIF(International Image Interoperability Framework)の登場と普及は,仏教文献研究において様々な課題をもたらした.とりわけこれまで閲覧が容易ではなかった典拠資料の確認を容易にしたことは,研究環境の在り方に大きな変革を引き起こした.これをより適切な形で解決するためには,IIIF APIの特徴を活かした協働的な仕組みが有用であり,本稿では,その事例としてSAT2018における画像とテキストデータのリンク機能とSAT2020におけるテキスト公開のモデル,及びそれを実現する協働的なAPIについて報告する.そして,このようなコラボレーションに基づく「人文学のためのAPIチェーン」の構築の有用性を示す.
著者
吉井 瑛美 深澤 向日葵 會退 友美 赤松 利恵 長谷川 智子
出版者
特定非営利活動法人 日本栄養改善学会
雑誌
栄養学雑誌 (ISSN:00215147)
巻号頁・発行日
vol.79, no.6, pp.345-354, 2021-12-01 (Released:2022-02-08)
参考文献数
24
被引用文献数
1

【目的】幼児の野菜摂取を促進するための手がかりを得るため,夕食の野菜摂取量で幼児を3群に分け,食事内容を比較すること。【方法】2019年3~5月,4~6歳の幼児121人を対象に,写真を用いた連続5日間の食事記録調査を実施した。幼児の夕食の野菜や栄養素等摂取量,1食あたりの野菜の種類数,5日間の主食,主菜,副菜等の出現回数,副菜および副菜を含む料理の内容等を調べた。1日あたりの野菜摂取量の25,75パーセンタイル値を用いて,対象者を3群に分け,食事内容を比較した。【結果】解析対象者は118人(97.5%)だった。夕食の野菜摂取量の中央値(25,75パーセンタイル値)は,54(39,74)g/食であった。野菜摂取量高群は他の群に比べ,エネルギー摂取量,1,000 kcalあたりの野菜摂取量,食塩相当量が多かった。高群の1食あたりの野菜の種類数は5.0(4.2,5.8)種類で最も多かった。副菜の5日間の延べ出現回数が3群間で異なり,高群が最も多く6.0(5.0,7.0)回であった。高群は副菜および副菜を含む料理として,野菜生もの,野菜汁物,野菜煮物の順に高頻度で摂取していた。【結論】幼児の夕食の野菜摂取量別の食事内容は異なっていた。野菜摂取量高群は,夕食1食あたりの野菜の種類が5種類であり,1食あたりに少なくとも1つの副菜を摂取し,野菜の生もの,汁物,煮物等の料理を高頻度で摂取していた。
著者
池田 奈由 由田 克士 西 信雄
出版者
特定非営利活動法人 日本栄養改善学会
雑誌
栄養学雑誌 (ISSN:00215147)
巻号頁・発行日
vol.79, no.6, pp.365-372, 2021-12-01 (Released:2022-02-08)
参考文献数
23

【目的】国内における対人の栄養指導の効果を評価した文献をレビューし,栄養指導の効果を把握した。【方法】成人の生活習慣改善を目的とする栄養指導の効果を縦断研究の測定データで定量的に評価した査読付き論文で,2010年1月~2020年12月に発表されたものを研究対象とした。CiNii ArticlesとPubMedによるスコーピングレビューを行い,各文献の研究方法と主な結果を要約した。【結果】15件の文献を採用した(和文5件,英文10件)。研究設定は地域4件,職域1件,医療機関10件であった。研究参加者数の中央値は108人,研究参加者の主な特徴は糖尿病患者と地域在住高齢者であった。臨床試験が4件(うち無作為化比較試験3件),非無作為の群間比較研究が7件,全員に同一の栄養指導を行った研究が4件であった。評価期間では3か月と6か月が最も多く,主な評価指標は体重,食事摂取状況,血液検査値,生活の質であった。14件で栄養指導の効果が認められた。栄養指導を複数回行うことの重要性を示す研究もあった。【結論】様々な対人の栄養指導についてその効果が示されたが,出版バイアスの可能性に留意する必要がある。今後,研究機関が地域と職域の関係者と連携できる仕組みの構築や人材の確保を図り,健康な成人への栄養指導の効果について,無作為割付による定量的評価研究をより一層積極的に推進しデータを蓄積する必要がある。
著者
千代 浩之 山崎 信行
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.51, no.12, pp.2227-2237, 2010-12-15

Responsive Multithreaded Processor(RMTP)のアーキテクチャはSimultaneous Multithreading(SMT)にリアルタイム処理で用いる優先度を導入した優先度付きSMTアーキテクチャである.RMTPでは同時に実行するタスクの組合せにより,最高優先度以外のスレッドで実行するタスクの実行効率が変動してしまうので,これらのタスクのリアルタイム性を保証することは困難である.最高優先度以外のスレッドでリアルタイム性を要求しない拡張インプリサイスタスクの付加部分を実行させることで,付加部分の実行割合を向上させることが可能である.拡張インプリサイスタスクを用いた準固定優先度スケジューリングアルゴリズムRate Monotonic with Wind-up Part(RMWP)はシングルプロセッサ用なので,優先度付きSMTプロセッサに適用できない.本論文では,最高優先度以外のスレッドで実行するタスクの付加部分の実行割合を向上させるために,RMWPを拡張したResponsive RMWP(R-RMWP)を提案する.スケジュール可能性解析では,R-RMWPのスケジュール可能上限はRate Monotonicのスケジュール可能上限と等しいことを証明する.シミュレーション結果では,R-RMWPはRMWPより付加部分の実行割合が向上したことを示す.Responsive Multithreaded Processor (RMTP) has the Simultaneous Multithreading (SMT) architecture with priority for real-time processings, called prioritized SMT architecture. In RMTP, execution efficiencies of tasks executing in threads except the highest priority thread fluctuate by multiple combinations of tasks executing simultaneously so that it is difficult to guarantee real-time properties of the tasks. When optional parts of extended imprecise tasks not requiring real-time properties are executed in threads except the highest priority thread, reward ratios of optional parts can be improved. Rate Monotonic with Wind-up Part (RMWP), which is a semi-fixed-priority scheduling algorithm with extended imprecise tasks, is for a single processor and cannot be adapted to the prioritized SMT processor. This paper proposes Responsive RMWP (R-RMWP), which is an extension of RMWP to improve reward ratios of optional parts. The schedulability analysis shows that the least upper bound of R-RMWP is the same as that of Rate Monotonic. Simulation results show that R-RMWP improves more reward ratios of optional parts than RMWP.
著者
松田 正
出版者
日本蘇生学会
雑誌
蘇生 (ISSN:02884348)
巻号頁・発行日
vol.1, pp.51-55, 1983-05-10 (Released:2010-06-08)
参考文献数
6
著者
金出 武雄
出版者
The Robotics Society of Japan
雑誌
日本ロボット学会誌 (ISSN:02891824)
巻号頁・発行日
vol.22, no.3, pp.296-299, 2004-04-15 (Released:2010-08-25)
参考文献数
1
出版者
日経BP
雑誌
日経ビジネス = Nikkei business (ISSN:00290491)
巻号頁・発行日
no.2069, pp.36-39, 2020-12-07

新型コロナなどあらゆる感染症流行時の公衆衛生のあり方を研究する米ハーバード大学薬学部のアサフ・ビットン准教授は、「政治的な集会か趣味のイベントかは関係ないが、大人数が1カ所に集まれば感染拡大を招くことは、科学的に証明されている」と話す。 …
著者
小林 秀典 山﨑 信行
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌コンピューティングシステム(ACS) (ISSN:18827829)
巻号頁・発行日
vol.46, no.16, pp.69-84, 2005-12-15
参考文献数
27

インプリサイス計算モデルに基づくインプリサイスタスクは,その実行に十分な時間が割り当てられない場合でも,デッドラインまでに品質の低い結果を生成することができる.しかし,インプリサイスタスクの実行は任意の時点で中断される可能性があるため,共有資源へアクセスすることができないという欠点がある.本論文では,資源の最大占有時間が既知である環境において,インプリサイスタスクが共有資源へアクセス可能なスケジューリングアルゴリズムを提案する.本アルゴリズムは,システムに存在するスラックのプロセッサバンド幅をオフラインで算出し,スケジュール可能性を判断する.オンラインでは,付加部分に割当て可能な時間を動的に算出することで,実際に要求された資源アクセスが完了できることを確認する.提案したアルゴリズムを実時間オペレーティングシステムRT-Frontier に実装し,実用性を評価する.また,資源制約を持つインプリサイスタスクを用いた検証実験を行うことで,実時間性を満たした資源アクセスが可能であることを示す.The imprecise tasks, based on the imprecise computation model, can produce lower quality of result even when there is not enough time. However, the imprecise tasks cannot share resources, because they allow termination at any point in their optional parts. This paper proposes a scheduling algorithm that enables the imprecise tasks to share resources in systems where the maximum access duration of every resource is known. The offline part of this algorithm calculates the processor bandwidth of slack and checks the schedulability of the given task set. The online part schedules tasks in deadline order and calculates the remaining time for optional parts in order to verify whether requested accesses can be completed. We implement this algorithm on the RT-Frontier operating system to assess its practicability. Moreover, we conduct experiments using imprecise tasks with resource constraints to confirm that resources can be accessed without causing any timing violation.