公开(公告)号：JP2017010305A

公开(公告)日：2017-01-12

申请号：JP2015125511

申请日：2015-06-23

Applicant: 株式会社エクサ

Inventor： 杉田 知哉 ,  山内 昭宏 ,  親里 未智留

IPC: G06F9/44 ,  G06F9/45

Abstract: 【課題】外部モジュールを参照するソースコードを変換することによって得られたソースコードがコンパイルエラーを発生させる可能性を抑制する。 【解決手段】本発明に係るソースコード変換プログラムは、変換後のプログラム言語において規定されていない外部モジュールを変換前のソースコードが使用している場合、その外部モジュールの代替となるモジュールソースコードを自動生成する。 【選択図】図4

Abstract translation: 通过转换引用外部模块的一个源代码得到的源代码抑制产生编译错误的可能性。 根据本发明，当未在所述转换后的程序设计语言定义的外部模块的变换前的源代码是使用交替其外部模块的模块的源代码的源代码转换器 自动生成的。 点域4

公开(公告)号：JP2016081126A

公开(公告)日：2016-05-16

申请号：JP2014209141

申请日：2014-10-10

Applicant: 株式会社エクサ

Inventor： 中林 慎哉

IPC: G06F9/44

Abstract: 【課題】ジョブ制御言語(JCL)を生成する作業負担を軽減しつつ、生成するJCLを柔軟に調整する。 【解決手段】JCL自動生成プログラム120は、ジョブフローファイル131内のジョブフロー図とルールファイル132内のJCLのテンプレートを入力として読み込み、JCLを含むジョブ制御ファイル133を出力として生成する。この時、ジョブフロー上のプロセスを表すジョブフロー部品毎に記述したテンプレートをジョブフロー図に適用する。 【選択図】図1

Abstract translation: 要解决的问题：在减少生成JCL的工作量的同时灵活地调整生成的作业控制语言（JCL）。解决方案：JCL自动生成程序120作为输入读取作业流文件131中的作业流程图， 规则文件132中的JCL的模板，并且生成包括JCL的作业控制文件133作为输出。 此时，为作业流程的每个作业流程组件描述的模板应用于作业流程图。选择的图：图1

公开(公告)号：JP2016021195A

公开(公告)日：2016-02-04

申请号：JP2014145361

申请日：2014-07-15

Applicant: 株式会社エクサ

Inventor： 青木 啓文

IPC: G06F9/445

Abstract: 【課題】インフラストラクチャが、その設計仕様通りに構築されているか否かを検証する作業の効率を向上させる、設定パラメータチェックプログラムを提供する。 【解決手段】OSまたはミドルウェアから抽出した設定パラメータと、設計書から抽出した設定パラメータとをそれぞれスプレッドシート上で整列し、互いに異なる部分をスプレッドシート上で強調表示する。 【選択図】図2

Abstract translation: 要解决的问题：提供一种设置参数检查程序，其提高工作效率以验证是否根据设计规范构建基础设施。解决方案：设置参数检查程序对齐从OS或中间件提取的设置参数 以及分别从扩展表上从设计文档中提取的设置参数，并且在展开表上突出显示彼此不同的部分。选择图：图2

公开(公告)号：JP2015038641A

公开(公告)日：2015-02-26

申请号：JP2010096097

申请日：2010-04-19

Applicant: 株式会社エクサ ,  Exa Corp

Inventor： INAZUKI TERUO

IPC: G06F15/00 ,  G06F13/00

Abstract: 【課題】移行前後のトランザクションモニタの環境下において、汎用機上のアプリケーションのロジックを残しつつ、トランザクションモニタのみを汎用機環境からオープン環境に移行する技術を提供する。【解決手段】本発明に係るトランザクション管理プログラムは、トランザクションモニタが通信セッションを管理する前提で構成されているアプリケーションプログラムと、クライアント端末との間の通信セッションを保持する領域を、記憶装置上に確保する。また、通信セッションを継続する場合は、その領域内の通信セッションデータを次のトランザクションに引き継ぐ。【選択図】図2

Abstract translation: 要解决的问题：提供一种仅将交易监控从通用机器环境转移到开放环境的技术，同时将应用逻辑留在通用机器的交易监控之前和之后的环境中。 ：根据本发明的交易管理程序将存储在交易监视器管理通信会话的前提下的应用程序与客户终端之间的通信会话保持在一个存储设备上。 如果通信会话要继续，则交易管理程序将该区域中的通信会话数据交给下一个交易。

公开(公告)号：JP5613348B1

公开(公告)日：2014-10-22

申请号：JP2014124924

申请日：2014-06-18

Applicant: 株式会社エクサ

Inventor： 康平 菅 ,  康平 菅

IPC: B63B27/00

Abstract: 【課題】船舶が積載している荷物の実重量を効率よく計算することができる手段を提供する。【解決手段】本発明に係る荷物重量計算プログラムは、積み付け計算シミュレーションソフトウェアが備えている構造データや重量データを船舶荷物の重量計算において流用できることに着目し、これらを利用して荷物の重量を求める。【選択図】図1

Abstract translation: 提供一种能够船只的计算加载的负载的有效实际重量的装置。 根据本发明的行李重量计算程序，计算出的积载结构数据和权值数据仿真软件提供注意到可以在权重计算该船舶的货物通过利用这些被转移，负载的重量 求。 点域1

公开(公告)号：JP5613091B2

公开(公告)日：2014-10-22

申请号：JP2011068097

申请日：2011-03-25

Applicant: 株式会社エクサ ,  東日本電信電話株式会社

Inventor： 村松　健太郎 ,  健太郎 村松 ,  直樹 村山 ,  直樹 村山 ,  桃子 矢部 ,  桃子 矢部 ,  暢大 高木 ,  暢大 高木 ,  俊紀 門田 ,  俊紀 門田 ,  田中　逸清 ,  逸清 田中

IPC: G06F9/445 ,  G06F9/54 ,  G06F13/10

公开(公告)号：JP5602326B1

公开(公告)日：2014-10-08

申请号：JP2014116695

申请日：2014-06-05

Applicant: 株式会社エクサ

Inventor： 匡洋 菊池

IPC: B63B9/00 ,  G06F17/50

Abstract: 【課題】船舶を設計する過程において、船舶の断面における閉区画を自動的に特定することができる技術を提供する。
【解決手段】本発明に係る船舶設計支援プログラムは、船舶の断面上における独立グラフを構成する点と辺を双方向に辿ることにより閉区画候補を抽出し、面積が０以下となる閉区画候補を削除することにより、閉区画を特定する。
【選択図】図３

公开(公告)号：JP5593461B1

公开(公告)日：2014-09-24

申请号：JP2014019147

申请日：2014-02-04

Applicant: 株式会社エクサ

Inventor： 未智留 親里 ,  知哉 杉田

IPC: G06F9/45

Abstract: 【課題】ＦＯＲＴＲＡＮ言語によって記述されたプログラム内において浮動小数点数値を比較演算する際において、プラットフォーム毎に比較結果が異なることを抑制する。
【解決手段】本発明に係るソースコード変換プログラムは、浮動小数点数値と他の数値とを比較する条件文を、所定の許容誤差に基づき同様の比較を実施してその結果を戻す比較関数に置き換える。
【選択図】図４

公开(公告)号：JP2014115898A

公开(公告)日：2014-06-26

申请号：JP2012270554

申请日：2012-12-11

Applicant: Exa Corp ,  株式会社エクサ

Inventor： YAMAUCHI AKIHIRO ,  NIIDOME KAZUFUMI

IPC: G06F13/00 ,  G06F11/36

Abstract: PROBLEM TO BE SOLVED: To provide a WEB data verification support device capable of much more efficiently performing verification support.SOLUTION: A WEB data verification support device for supporting verification accompanied by the change or duplication of WEB data of a data providing device 100 about a system for performing communication using WEB by transmitting a response signal including the WEB data from the data providing device 100 on the basis of a request signal from a terminal 200 includes: a recording device 140 for recording data related with verification; recording processing means 112 for recording data related to a request signal and data related to a response signal in the recording device 140; reproduction processing means 113 for performing processing based on a reproduction request signal; and reproduction/comparison device 150 for transmitting the request signal recorded in the recording device 140 to the data providing device 100 as the object of reproduction on the basis of an instruction from the reproduction processing means 113, and for performing reproduction processing of recording data related to the reproduction response signal from the data providing device 100 as the object of reproduction in the recording device.

Abstract translation: 要解决的问题：提供能够更有效地执行验证支持的WEB数据验证支持设备。解决方案：用于支持验证的WEB数据验证支持设备，伴随着关于数据提供设备100的WEB数据的改变或复制 基于来自终端200的请求信号，通过从数据提供装置100发送包括WEB数据的响应信号来进行通信的系统包括：用于记录与验证有关的数据的记录装置140; 记录处理装置112，用于在记录装置140中记录与请求信号相关的数据和与响应信号相关的数据; 再现处理装置113，用于根据再现请求信号执行处理; 以及再现/比较装置150，用于根据来自再现处理装置113的指令将记录在记录装置140中的请求信号发送到作为再现对象的数据提供装置100，并且用于执行记录数据相关的再现处理 涉及作为记录装置中的再现对象的来自数据提供装置100的再现响应信号。

公开(公告)号：JP5511134B2

公开(公告)日：2014-06-04

申请号：JP2007337505

申请日：2007-12-27

Applicant: 株式会社エクサ

Inventor： 圭一 松山

IPC: G06F12/00