多级递阶工程系统抗地震设计整体优化的计算实现

针对多级递阶工程系统结构特点 ,以结构设防烈度为优化指标、抗地震设计为工程背景 ,本文建立该系统整体优化的计算方法体系并付诸实现。首先 ,提出大系统整体与局部划分概念 ,从基元系统出发 ,建立有效的离散型最优化方法和算法 ,形成方法体系的基础层次 ;其次 ,根据该系统逻辑分布 ,提出整体优化的耦合法与分解法 ,构成方法体系的上一层次 ;最后 ,通过该系统本体描述数据设计 ,开发了通用分析程序 ,大量运算校验了它们的速度。

代数规范的可计算实现

本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.

基于计算思维的项目式教学实践——以“设计算法实现用数学公式计算”教学为例

立足计算思维核心素养的培养,对项目式教学进行探索,可以进一步提高高中信息技术学科教学的质量。在高中信息技术学科教学中,教师基于计算思维运用项目式教学方法进行教学实践,可通过实施项目设计、计划制订、实施过程、学生自评、展示交流、综合评价等六个步骤,有效落实学生计算思维核心素养的培养。

认知科学中计算解释的自主性

计算作为一种科学方法,在解释认知现象中扮演重要角色。最近,其解释地位受到部分机制论者的质疑。他们认为计算作为一种科学解释是不完全的,可以被整合到机制解释中,因此计算解释并不具有解释自主性。然而,机制论的质疑并不成立。认知科学中计算解释存在两种形态:How形式和Why形式。机制解释对How形式计算解释自主性质疑的根源在于其混淆了计算解释与计算实现。机制解释通过描述被解释系统的因果机制来完成解释任务,属于因果解释类。机制解释试图取代Why形式计算解释失败的原因在于,很多Why形式计算解释使用类似于数学解释中的基本原理,这使其无法被整合到任何因果或基于因果的解释理论中。

面向语用消歧的量化约束条件系统:从语言学设计到计算实现

【目的】以面向语用消歧的量化约束条件系统(Quantifier Constraint System,QCS)为例,构建并实践从本体语言学到其计算实现的完整研究方法。【方法】首先,阐释QCS的原理,并介绍具体研究方法。第二,提出甄别有效约束条件和组建系统的标准,以及优化赋值的算法。第三,详细描写与量化相关的词类和语法规律。第四,使用类别描写语言(Type Description Language)对这些语言规律进行形式化描写,并基于"汉构"和Zhong[|]计算语法进行计算实现。【结果】运用该研究方法,可计算实现较为复杂的语言学现象(如量化、约束和前指解决方案等)。【结论】本文方法不仅有助于语言学的整体发展,还可为相关学科(如人工智能、深层语言处理等)提供语言学方面的技术支持。

NURBS曲面与隐式曲面求交的计算机实现及应用

阐述了参数曲面与隐式曲面求交的算法原理 ,给出计算机实现方法及交点可能的分布示意图 ,将其应用于基于 NU RBS的船体曲面与任意平面的求交中 。

由等t_0图进行变速空间校正绘制深度构造图的计算机实现方法

等t0 图可以看作是一二维空间曲面 ,其梯度矢量的大小和方向分别表示地层的倾角和走向。根据每一点的地层平均速度和倾角可以求出每点的空校量 ,从而实现对等t0 图的二维变速空校 。

基于混合设计法的广义零件设计及其计算机实现

提出了广义零件的概念,并以某类广义零件(电子产品的壳体类零件)的设计为任务,应用现代设计方法的基本思想,对其设计中的Bottom-up与Top-down设计方法进行比较,总结两者的优缺点,提出了针对广义零件设计行之有效的流程方案,即基于单元特征构建及整体装配的零件设计方法.该设计方法支持并行工程及协同设计,易于数字化实现,并以某广义零件为例,通过通用3D设计软件,使该设计方法在计算机上得以实现.

基于回路配置的平面机构运动链绘制新方法及其计算机实现

提出了一种根据平面机构运动链的邻接矩阵绘制草图的新方法,它首先借助运动链简图的广度优先生成树求得图的基本回路,然后将回路标准化后按照排序规则进行排序,最后依据排序后的回路自动绘制出运动链简图;还将该方法与已有的方法进行了比较和分析,并通过应用实例验证了这种方法的有效性和完备性,最后还给出了相应的计算机原型系统实现。

配电网故障定位的一种计算机实现方法

基于柱上RTU(远动终端 :remoteterminalunit)的配电网自动化的基础上 ,给出了一种适用于配电网的各类型故障的故障点定位的算法。当配电网线路出现故障后 ,它能以最快的速度精确的测出故障点的具体位置 ,大大减少了巡线人员的工作量 。

第二类Abel’s积分方程算法及计算机实现

引进了Sidi积分原则 ,对第二类Abel’s积分方程进行数值解 ,并给出实例在计算机上实现 。

基于可拓学的本科教学质量校内评价模型及计算机实现

提出运用可拓学中的可拓评价法对高等学校的本科教学质量进行校内评价 ,建立评价模型 并运用计算机进行计算处理 。

船用螺旋桨立体模型的计算机实现

曲面零件的计算机几何造型一直是工程和计算机图形学中的难点和重点。船用螺旋桨是典型的曲面零件。此文提供了一种船用螺旋桨立体模型的建立方法，并用计算机实现了螺旋桨的立体模型。

OpenStack云计算平台的研究与实现

针对企业需要快速部署基于云计算平台上的各项服务,用户需要高效访问各类云服务等需求,文中分析了OpenStack开源框架结构,分析实现云平台关键技术和难点,利用虚拟化技术设计规划并实现了一个基于OpenStack的最小规模的云计算平台,紧接着安装认证服务、镜像服务、网络服务、存储服务等常用的云计算服务。最后,借用图形界面企业可以快速部署相关服务,用户按需访问相关服务。结果表明,由于云计算平台可以实现资源自动化管理、运维自动化进行,因此,通过云计算平台部署服务,资源利用率比较高;通过按需访问云平台上的服务,数据响应速度比较快。

线性规划问题规范型算法的改进及计算机实现

线性规划的规范性算法是从一个初始基出发,通过一种单纯形变式求得可行基的方法.提出了求等式约束方程的初始基的方法,该方法不需要计算辅助目标函数的缩减费用,在约束无冗余的假定下经过至多m(等式个数)次迭代后一定得到一个初始基或者问题无可行基的结论,并对规范型算法进行了简化.为了验证改进的规范型算法的计算性能,通过MATLAB编程在计算机上实现大规模数值试验,结果表明,与经典单纯形算法相比,改进的算法平均每次迭代花费更少的执行时间,因而具有更高的计算效率,且随着问题规模的扩大,其计算优越性更明显.

命题逻辑等值演算的计算机实现

本文针对等值演算理论,通过数据结构和C++程序设计语言,分析了命题公式的逻辑结构,设计出用广义表单链表的存储结构,并在此基础上探讨了如何实现其基本操作,从而进一步阐明了复杂等值演算的计算机实现算法.

风险价值的方差——协方差计算模型构建及实现

"风险价值(Value At Risk,VaR)"作为一种科学的风险衡量方式,是基于发生损失的概率及损失发生所在的特定时期的一种应用广泛的市场定量工具,是用来评价包括利率风险在内的各种市场风险的方法。由于"风险价值"模型可用来估计因市场风险而发生的资本损失,因此它作为机构投资者有效的风险测量方法有着不可替代的地位。本文就风险价值的方差——协方差计算模型的结构设计、程序代码设计进行了详细阐述并通过具体实例验证了模型的运用和计算机实现。

求解非凸非光滑优化问题的同伦内点法及其计算机实现

主要给出在绿色制造实际问题中遇到的一类可以归结为求解非凸非光滑优化问题的解决方法及其计算机实现算法，并通过实例证明了算法的可行性。

基于Petri网的一致性检验的计算机实现

介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用。首先对约束Petri网的概念作了简要介绍。然后着重讲述应用面向对象方法开发的Petri网建模工具 ,以及一致性检验命题的软件实现方法。最后以某卫星电源系统为对象 。

网络技术应用下计算机软硬件资源共享的实现

现在随着信息技术的推广和普及,计算机设备越来越普及,人们在工作和生活当中对于信息技术的依赖程度越来越高,但是在这种情况下,如何借助软件和硬件设备来实现共享就已经成为了现在人们研究的重点。如果采用网络的技术来实现软硬件资源的共享就可以提高其工作效率,从而保证其资源的利用率,这对于我国计算机的研发工作的开展来说意重大。