会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 64. 发明申请
    • シミュレーション装置,方法,およびプログラム
    • 模拟设备,方法和程序
    • WO2012049728A1
    • 2012-04-19
    • PCT/JP2010/067866
    • 2010-10-12
    • 富士通株式会社池 敦タシ デビッド
    • 池 敦タシ デビッド
    • G06F9/455G06F9/38G06F11/28
    • G06F8/40G06F9/4552G06F11/3457G06F17/5022G06F2217/68
    •  パイプライン処理を制御するCPUの性能シミュレーションを,高速かつ高精度で実行できるようにする。シミュレーション装置1のコード変換部11は,ターゲットCPUのプログラムの実行時に,分割した各ブロックで,外部環境が影響する外部依存命令を検出し,外部依存命令の実行結果を予測し,予測結果での命令実行をシミュレーションし,そのシミュレーション結果をもとに性能シミュレーション用コードを組み込んだホストコードを生成する。シミュレーション実行部12は,ホストコードを用いてプログラムの予測結果での命令実行について性能シミュレーションを行い,実行中に外部依存命令の実行結果が予測結果の設定と違う場合に,予想結果での命令の実行時間を,その命令前後に実行される命令の実行時間等を用いて補正する。シミュレーション情報収集部13は,性能シミュレーション情報を収集,出力する。
    • 本发明使得可以高速且高精度地执行用于控制流水线处理的CPU的性能模拟。 模拟装置(1)的代码转换单元(11)在执行目标CPU的程序时,检测对于每个分割块对外部环境影响的外部依赖性指令,预测外部依赖性命令的执行结果,模拟 对该预测结果进行命令执行,并根据该仿真结果生成并入了用于性能模拟的代码的主机代码。 仿真执行单元(12)使用程序的预测结果中的命令执行中的主机代码执行性能仿真,并且在执行期间,外部依赖性命令的执行结果与预测结果的设置不同 使用在命令之前和之后执行的命令的执行时间等来校正预测结果中的命令的执行时间。 模拟信息收集单元(13)收集并输出性能模拟信息。
    • 65. 发明申请
    • ソースコード変換方法およびソースコード変換プログラム
    • 源代码转换方法和源代码转换程序
    • WO2012032890A1
    • 2012-03-15
    • PCT/JP2011/068089
    • 2011-08-08
    • 株式会社日立製作所市井 誠近久 真章野口 秀人長野 岳彦
    • 市井 誠近久 真章野口 秀人長野 岳彦
    • G06F9/44G06F11/28
    • G06F8/40G06F8/51G06F8/75G06F11/3604G06F11/3624
    •  ソフトウェアのモデル検査において、モデルチェッカの入力言語で検査コードを記述するコストを低減させるため、ソフトウェアのソースコードを検査コードに変換するアプローチがある。利用者は単一の変換方式しか選べないため、抽象化の水準の変更が困難、ソースコードの設計変更へ追従するためのルール修正コストが高い、異なる検査ツールで検査するためのルール修正コストが高い、等の課題が存在する。本発明は、ソースコードを検査コードに変換する際、複数の変換ルールを選択する手段を提供し、利用者が容易に抽象化の水準を変更可能とする。また、複数の変換ルールは、ソースコードを中間形式に変換する変換ルールと、中間形式において抽象化を行う変換ルールと、中間形式から検査コードに変換する変換ルールとを含む。
    • 在软件的模型检查中,为了降低使用模型检查器的输入语言描述检查代码的成本,有一种将软件源代码转换为检查代码的方法。 然而,由于用户只能选择一种转换方法,所以存在诸如难以改变抽象级别的问题,用于应对源代码设计变化的高规则修改成本以及高规则修改成本 通过不同的检查工具检查。 本发明提供了一种在将源代码转换为检查码时,选择多个转换规则的方法,使用户能够容易地改变抽象级别。 多个转换规则包括用于将源代码转换为中间格式的转换规则; 以中间格式执行抽象; 并将中间格式转换成检查码。
    • 67. 发明申请
    • ANY-TO-ANY SYSTEM FOR DOING COMPUTING
    • 任何用于计算的任何系统
    • WO2010064136A3
    • 2010-08-26
    • PCT/IB2009007700
    • 2009-12-08
    • WARREN PETER D
    • WARREN PETER D
    • G06F9/44
    • G06F8/41G06F8/40
    • Methods for constructing an Any-to-Any data machine (consisting of Any-to- Any data components and their environmental requirements) and an Any-to-Any code machine (consisting of Any-to-Any code components and their environmental requirements) and relating them together so that they harmoniously interact and so that the data Any-to-Any machine controls and is also acted upon by the code Any-to-Any machine so as to produce an Any-to-Any system that transforms data in a manner that is useful and which is analogous to the harmonious interaction of the Any-Any binary code and Any-to-Any transistor systems, and which handles data and transforms it in a sufficiently similar manner to the manner in which the human handles and transforms data that the human finds it easy and intuitive to operate, all supported by methods that enable data to be stored in a single logical grid structure that can accept and correctly relate, transmit and receive any data, together examples of methods to derive benefits from these inventions.
    • 构建任何到任何数据机器(由任何数据组件及其环境要求组成)和任何到任何代码机器(由任何到任何代码组件及其环境要求组成)的方法, 并将它们关联在一起,以便它们协调地进行交互,使得数据任意到任何机器控制,并且还由代码任何到任何机器进行操作,以便产生将数据转换成的任何到任何系统 这种方式是有用的,类似于Any-Any二进制代码和Any-to-Any晶体管系统的和谐相互作用,并且处理数据并以与人类处理的方式完全相似的方式进行变换, 转换人类发现的数据,操作简单直观,所有这些数据都支持使数据存储在可以接受和正确关联,传输和接收任何数据的单个逻辑网格结构中的方法,一起派生的方法示例 这些发明的装备。
    • 69. 发明申请
    • SOFTWARE FOR GENERATING A COMPUTER APPLICATION CODE AND SOFTWARE DESCRIPTION LANGUAGE
    • 用于生成计算机应用程序代码和软件描述语言的软件
    • WO2004013800A3
    • 2004-11-11
    • PCT/EP0309311
    • 2003-07-29
    • SERENEOARCARO STEPHANEGODEFROY FREDERICMIGNOT ERIC
    • ARCARO STEPHANEGODEFROY FREDERICMIGNOT ERIC
    • G06F9/44
    • G06F8/35G06F8/40
    • The invention relates to a software generating the computer code of at least one part of a computer application from a description of the computer application part, by distributing said part between several code generators according to modifiable distribution rules. Each code generator translates the received description part in order to provide at least one part of said computer code in a respective language. Said invention also relates to a software description language, especially of the object language type for computer application modeling, and to a software allowing a computer application model to be textually or graphically built, in particular a man-machine interface model, and to provide a model description in said software description language.
    • 本发明涉及一种软件,根据计算机应用部分的描述,通过根据可修改的分配规则在几个代码生成器之间分配所述部分来生成计算机应用的至少一部分的计算机代码。 每个代码生成器翻译所接收的描述部分以便以相应的语言提供所述计算机代码的至少一部分。 本发明还涉及一种软件描述语言,尤其是用于计算机应用建模的目标语言类型的软件描述语言,并且涉及允许文本或图形地构建计算机应用模型的软件,特别是人机接口模型,并且提供 在所述软件描述语言中的模型描述。