効率のよい活性化処理が行なえます
行列Horner法の並列化による行列の固有ベクトル計算の効率化について (数式処理研究の新たな発展)
... に，その固有値に属する固有ベクトルを計算する算法) [10] において，固有ベクトル候補を計算する際の行 列 Horner 法に並列処理を導入した，固有ベクトル計算のさらなる効率化を提案する．以下，第 2 章では， 問題設定およびその解法について復習する．第 3 章では，固有ベクトル候補を計算する際の行列 Horner 法 ...
10
ストリーム指向によるXQuery問い合わせ処理の効率化
... a program processing a query in XQuery using PDA and List, 以下, XQPL と広く用いられている XQuery 処理系 SAXON[4] とを比較した.. 実行時間, メモリ使用量に関する実験, 考察 宮田は拡張と実現, 牛田は実験を担当した..[r] ...
4
JAIST Repository: 幾何的特徴をもつグラフ構造に対する効率のよいアルゴリズムの研究と開発
... ３．研究の方法 本テーマは理論計算機科学の一つであり、 具体的なモノを介した研究ではない。したが って、多くの研究者と議論を重ねて、既存の 結果を学び、そして発展させ、新しいモデル やアルゴリズムを提案していくことが必要 となる。そのためには、実際に国際会議に参 加・発表し、自分の結果をアピールすると同 ...
6
行列Horner法の拡張と効率化 (数式処理研究の新たな発展)
... の計算コストに占める割合は小さくなり， Horner 法の部分の効率化が，計算全体の効率化に寄与するので ある． 我々が本稿で行った計算機実験の対象は，行列の次元，多項式の次数ともに数十次の “ 中程度” の大きさ ...
13
「市町村合併の組み合わせが職員数の効率化に与えた影響について」
... とを明らかにしている．西川 ( 2009 ) は，合併前の市町村の歳出の推定値を合計した数値 と合併後の規模による推定値を比較し合併による歳出の削減効果を推計しており，その際 に，最小効率規模の考え方から，一定規模を超えるような合併の組み合わせは効果が少な いことを明らかにしている． また， 広田他 ( 2011 ...
20
プラズマ処理によりリチウムイオン電池の充放電効率がアップ
... ２．今回の研究成果 黒鉛系炭素材料の表面改質は、通常の黒鉛化温度（2,000℃∼3,000℃）より高温で、雰 囲気組成を制御した環境で行うことが必要である。従来、炭素粉末の表面改質は機械的な 粉砕処理による微粒化と表面の非晶質化、ＣＶＤ法によるヘテロ元素含有層形成が行われ ...
8
微生物燃料電池による排水処理の効率化に関する研究 —電気出力とCOD の減少速度との関係—
... 回目の I-V 特性の測定が行われたものと考えられる．この ときの測定では，外部抵抗を 100Ω として実験を継続して きた MFC セルのほうが 1000Ω で実験を行ったセルよりも， I-V 測定で大きな出力を示した．これは，外部抵抗 100Ω に 対して十分な電子やプロトンを供給するために必要な菌数 が存在し，1000Ω ...
7
効率のよい英文理解を求めて：意味中心の読解
... 文の練習を行うというものである．この手法は，英文と の遭遇がまだ少なく文構造の全体像を把握できていない 中学生（あるいは初歩的レベルの学習者）が基本的な英 文を産出する上では，有効な学習法だと言えよう．ただ し，本論文で筆者が主張するのは， 「だれが」， 「する（で ...
11
ネーター作用素計算におけるモニックでない多項式による割り算の効率化(数式処理研究の新たな発展)
... 正しい答えを得るには , 割り算を行った後で, かけておいた数で割り直さなければならないが , この計算は –瞬である. というのは , プログラムでは , 有理数係数の多項式を , 整数係数化した多項式と, 係数部分の通 分値とに分離して計算を進行させているため , かけておいた数での割り直しの計算は , ...
10
JAIST Repository: 近似手法と数式処理の融合による実数多項式制約の効率化
... 平成 ２７ 年 ６ 月 １０ 日現在 円 15,500,000 研究成果の概要（和文）：本研究では、多項式制約解消アルゴリズムである区間制約伝播の拡張としてraSAT ループを 提案し、SMTソルバ raSATとして実装を行った。制約解消の解は SAT（充足可能）かUNSAT（充足不能）だが、SAT検出 ...
5
CG法の最近の前処理のロバスト性と効率化について : 閾値によるドロッピングと対角緩和処理 (数値解析と新しい情報技術)
... 行う double dropping 技法を提案し , その有効性を数値実験で実証した [7][8][9][10][11][12]. 本研究ては, 疎行 列データベースに収納された行列への適用だけでなく , 実際のコンクリート橋の梁 (BEAM) やケーブル定着部に おける応力解析て生じた行列に対しても double dropping つきの改良版の SAINV ...
9
効率的な汚水処理施設整備のための
... 照査降雨 ハード対策及びソフト対策による総合的な浸水対策計画（下水道浸水被害軽減総合計画等） を策定する上で，公助・自助によるハード対策及びソフト対策の検討を行う場合に対象とす る降雨をいう。浸水を抑止するという目標で施設計画･設計に用いてきた従来の計画降雨（レ ベル１降雨）と対比して，照査降雨は「床上浸水を抑止の上で床下浸水を許容」や「20cm 程 ...
52
グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究)
... $\bullet$ reduced な基底の係数が小さくなる場合には, modular 計算による効率化が期待でき る . ただし, この場合には, 行列の各行の $0$ 簡約チェックが必須である . 効率に関していえば, ...
45
オン セミコンダクターは 設計者がシステム効率を速やかに改善できる専門技術 ソリューション 製品を提供しています 強化される効率基準 地球温暖化を抑えるために 様々な規制やルールが発展強化され エネルギー効率の改善が迫られています 現在の電源効率を改善するだけで世界のエネルギー消費の 2% 以上を節
... (米国食品医薬品局)クラス3の医療機器、FDAが管轄しない地域において同一もしくは類似のものと分類される医療機器、あるいは、人体へ の移植を対象とした機器における重要部品などへの使用を意図した設計はされておらず、また、これらを使用対象としておりません。お客様が、このような意図されたものではない、許可されていな いアプリケーション用にON ...
24
働き方の効率化のためのライフログの処理技術に関する研究
... ンは向上するか？） によれば感謝をされた数と作業におけ る人間関係には正の相関があるとしている． 作業における人間関係を分析するためにチャットツ ールでやり取りされる感謝のメッセージを情報源とし 感謝のメッセージをもとにメンバー間の人間関係を推 定する．人間関係の分析方法を図２に示す．感謝のメッ ...
3
JAIST Repository: 論理式肥大に伴う活性のモデル検査の非効率化の改善に関する調査 [課題研究報告書]
... Qlock が無排斥性を満たすことのモデル検査をするこ とを目的とし、公平性を仮定した上で再び検査を行う。公平性の仮定を記述する には、ラベル付きクリプケ構造（LKS）を用いる必要がある。しかしながらラベル 付きクリプケ構造そのものは、Maude では記述できない。そこで、状態にイベン トを埋め込むことで、通常のクリプケ構造を用いてラベル付きクリプケ構造を模 ...
74
リースの活用は多彩なメリットがあります ●事務処理の効率化・省力化が図れる リースの場合、購入手続、固定資産税の申告・納付、 保険契約はリース会社が行いますので、事務負担が 大いに軽減されます。 ●リース料は損金として処理 リース料は定額支払で全額損金処理できます。その 為原価計算が容易に
... ・メンテナンスリース 「導入から点検・整備・車検までフル パッケージサービス」 車両導入時の諸税および諸費用から、 リース期間中の車検、定期点検、一般 修理、タイヤ、油脂類交換、諸税、任意 保険料などの維持管理費用を全て定 額のリース料にフルパッケージ。煩雑 な車両管理業務を軽減します。 ...
7
「市街地再開発事業による商業集積の効率化に関する研究－市街地再開発事業は商業活性化に繋がっているか－」
... 背景、地域の課題や商業運営効率化の手法及び効果、キーパーソンの存在や行政の関わり方など の情報に容易にアクセスできるような仕組みを構築することで、外部性の内部化という視点から ...
65
製品カタログ 設計業務効率化ツール for icad 設計業務効率化ツール for icad ご紹介 お客様の業務に合わせた設計業務効率化ツールを提供します 設計業務効率化ツール for icad の特徴 設計者の声を反映かゆいところに手が届くコマンドを実現! 豊富なサポート実績をもとに設計者の生の
... 豊富なサポート実績をもとに設計者の生の声を反映して開発しました。 「この一手間が面倒」といったお困りごとを改善します。 ■作業時間を短縮し業務効率ＵＰ！ 単一オペレーションによる手数軽減により最低限の操作で設計業務を行うことができます。 ...
21
JAIST Repository: 論理式肥大に伴う活性のモデル検査の非効率化の改善
... 態数が有限であればモデル検査可能である が、使用できるメモリ量や時間を考慮する と状態数は十分に小さくする必要がある。 しかし、実用規模の計算機システム、特に ソフトウェアに対応する状態機械の状態数 は非常に大きく、典型的には無限である。 このためモデル検査を効果的に利用できな くなるといった問題が起こる：「状態爆発 ...
5