Maple软件

摘要： 本文根据矩阵特点得出低阶矩阵求解特征值的快速算法,但在较高阶矩阵计算过程复杂且慢。于是利用较为常见的数学计算软件 Maple 以及 Excel 求解矩阵特征值。

摘要： Maple软件是目前世界上最为通用的数学和工程计算软件之一,文章通过采用经典李群方法,运用Maple软件得到(3+1)维推广KP方程的对称及子代数优化系统。

摘要： Maple软件是目前世界上最为通用的数学和工程计算软件之一,文章通过采用经典李群方法,运用Maple软件得到(3+1)维推广KP方程的对称及子代数优化系统.

摘要： 本文以课程《常微分方程》教学为背景,使用软件Maple 17探讨一阶常微分方程的初等解法,介绍符号计算系统发展前沿在《常微分方程》方面的应用状况。建议将计算机求解常微分方程纳入数学专业课程教学内容。

摘要： 本文以课程《常微分方程》教学为背景,使用软件Maple 17探讨一阶常微分方程的初等解法,介绍符号计算系统发展前沿在《常微分方程》方面的应用状况.建议将计算机求解常微分方程纳入数学专业课程教学内容.

摘要： 机械设计教学现代化离不开对科学计算软件的使用，本文以符号计算软件Maple的数学作图功能及交互式编程功能说明其如何在机械设计教学中的应用。

摘要： 机械设计教学现代化离不开对科学计算软件的使用，本文以符号计算软件Maple的数学作图功能及交互式编程功能说明其如何在机械设计教学中的应用。

摘要： 机械设计教学现代化离不开对科学计算软件的使用，本文以符号计算软件Maple的数学作图功能及交互式编程功能说明其如何在机械设计教学中的应用。

摘要： 机械设计教学现代化离不开对科学计算软件的使用，本文以符号计算软件Maple的数学作图功能及交互式编程功能说明其如何在机械设计教学中的应用。

摘要： 机械设计教学现代化离不开对科学计算软件的使用，本文以符号计算软件Maple的数学作图功能及交互式编程功能说明其如何在机械设计教学中的应用。

摘要： 针对空中某正方形区域内若干架飞机的碰撞问题,给出了计算机数学的判断处理方法。通过建立飞机运动坐标方程,并运用数学软件MAPLE进行计算和处理,提出了安全飞行方案。

摘要： 针对空中某正方形区域内若干架飞机的碰撞问题,给出了计算机数学的判断处理方法。通过建立飞机运动坐标方程,并运用数学软件MAPLE进行计算和处理,提出了安全飞行方案。

摘要： 针对空中某正方形区域内若干架飞机的碰撞问题,给出了计算机数学的判断处理方法。通过建立飞机运动坐标方程,并运用数学软件MAPLE进行计算和处理,提出了安全飞行方案。

摘要： 针对空中某正方形区域内若干架飞机的碰撞问题,给出了计算机数学的判断处理方法。通过建立飞机运动坐标方程,并运用数学软件MAPLE进行计算和处理,提出了安全飞行方案。

摘要： 针对空中某正方形区域内若干架飞机的碰撞问题,给出了计算机数学的判断处理方法。通过建立飞机运动坐标方程,并运用数学软件MAPLE进行计算和处理,提出了安全飞行方案。

摘要： 本发明公开了一种由软件数字许可服务器给予软件开发商签发软件数字许可权限的方法和软件数字许可服务器，该方法包括：接收来自软件开发商侧电子设备的用于登录软件数字许可服务器的账户名和密码，对所述账户名和密码进行第一验证；获取与软件开发商侧电子设备通信地连接的软件保护装置内预存的软件开发商信息，并对软件开发商信息进行第二验证；通过所述第一验证和所述第二验证后，给予软件开发商以软件数字许可签发权限。通过对软件保护装置内预存的软件开发商信息进行进一步的验证，检测出登录软件数字许可服务器的用户身份是否合法，保障了软件数字许可签发过程中的安全性，防止非法人员恶意为他人签发许可而损害软件开发商的利益。

摘要： 本发明提供软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法。软件行为模型化装置(100)包括：事件信息取得部(110)，其取得表示在软件的运行中发生的特定事件的事件信息；堆栈信息取得部(120)，其取得在发生特定事件的时刻存储在暂存器中的堆栈信息；模型生成部(130)，其根据包含在堆栈信息中的返回地址存储在暂存器中的存储位置，对返回地址设定得分，并使用存储位置以及得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。

摘要： 软件动作模型化装置(100)具备：堆栈信息记录部(120)；终端信息记录部(150)；使用终端信息记录部(150)记录的终端信息，作为堆栈差分信息生成将从堆栈信息的调用堆栈上位开始到检测到终端信息为止的信息相互联结后的信息的堆栈差分信息生成部(130)；以及根据堆栈差分信息，生成该软件的动作模型的模型生成部(140)。

摘要： 一种软件管理装置、软件分发服务器、软件分发系统及软件安装方法。软件管理装置包括软件信息获取单元，当接收对将软件组件安装到由用户所指定的图像形成装置上的第一安装请求时，从软件分发服务器获取有关请求安装的软件组件的软件信息；请求生成单元，基于有关请求安装的软件组件的软件信息和有关所指定的图像形成装置的设备信息而生成对安装请求安装的软件组件的第二安装请求；以及请求发送单元，向所指定的图像形成装置发送第二安装请求，以使得请求安装的软件组件被安装在所指定的图像形成装置上。

摘要： 检测装置(100)根据针对用于区分监视对象网络的终端或者恶意软件的每个识别符取得的事件，生成按照该事件的发生顺序形成的事件序列。之后，检测装置(100)在相似度在一定程度以上的各事件序列形成的类群中，取出属于同一类群的事件序列之间共同出现的事件，从相似的共同事件序列，提取由出现频度高的事件之间的关系构成的代表事件序列作为检测用事件序列。之后，检测装置(100)基于生成的基于监视对象网络的通信的事件序列和提取的检测用事件序列的匹配，检差出监视对象网络的终端被恶意软件感染。

摘要： 一种软件管理装置、软件分发服务器、软件分发系统及软件安装方法。软件管理装置包括软件信息获取单元，当接收对将软件组件安装到由用户所指定的图像形成装置上的第一安装请求时，从软件分发服务器获取有关请求安装的软件组件的软件信息；请求生成单元，基于有关请求安装的软件组件的软件信息和有关所指定的图像形成装置的设备信息而生成对安装请求安装的软件组件的第二安装请求；以及请求发送单元，向所指定的图像形成装置发送第二安装请求，以使得请求安装的软件组件被安装在所指定的图像形成装置上。

摘要： 本发明提供软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法。软件行为模型化装置(100)包括：事件信息取得部(110)，其取得表示在软件的运行中发生的特定事件的事件信息；堆栈信息取得部(120)，其取得在发生特定事件的时刻存储在暂存器中的堆栈信息；模型生成部(130)，其根据包含在堆栈信息中的返回地址存储在暂存器中的存储位置，对返回地址设定得分，并使用存储位置以及得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。

摘要： 软件动作模型化装置(100)具备：堆栈信息记录部(120)；终端信息记录部(150)；使用终端信息记录部(150)记录的终端信息，作为堆栈差分信息生成将从堆栈信息的调用堆栈上位开始到检测到终端信息为止的信息相互联结后的信息的堆栈差分信息生成部(130)；以及根据堆栈差分信息，生成该软件的动作模型的模型生成部(140)。

摘要： 软件作成部11作成更新数据和版本升级数据，从发送部13或服务器15向接收装置20供给。更新数据中包含版本升级数据的应用期以后的更新信息。更新信息处理部31将与存储器34的软件对应的更新信息供给改写处理部33，而保持其它更新信息。数据更新部32将与经由接口25、26供给的版本升级数据对应的更新信息，从更新信息处理部31中保存的更新信息抽出，使之反映在版本升级数据而成为最新状态后供给改写处理部33。改写处理部33用供给的更新信息或版本升级数据改写存储器34的软件。可经常将软件改写为最新状态。

摘要： 本发明的手机1具备存储单元6、短距离无线单元8以及控制单元2。存储单元6把应用程序ID、关键字以及应用软件对应来存储。短距离无线单元8接收从外部发送的应用程序ID和关键字。控制单元2当在短距离无线单元8中接收到的关键字与存储在ADF存储区域61中的关键字一致的情况下，从应用软件存储区域62读出与接收到的应用程序ID对应的应用软件并起动。