核素分布的漂亮三角形

在氘氚结团为坐标的核素图中,边长11核素的核素分布最大三角形的3顶点为361818Ar180,1365838Ce7820,1967838Pt1184,3边为坐标S38,差K18和参量2S-H=36.最大三角形由4个边长10个坐标单位的小三角形组成,还可由3个6×6核素的菱形组成,3个菱形内部的3个4×4核素组合共有36核素1144830Cd6618,1275232Te7220,1305432Xe7622;中心区有2个最小三角形,其3顶点分别为偶偶核素,奇A核素1195031Sn6919,1255231Te7321,1275332I7421.     

基于投影面由三维地心坐标系到区域性坐标系的转换

由于现有的基于重合点上两组三维坐标求解空间转换参数的模型不适用于数千平方公里的整个区域,提出了一种基于投影面直接求解由三维地心坐标系到区域性坐标系的空间转换参数的方法.该方法只需利用GPS控制点上经由水准联测所得到的正常高,在确定与既有投影面最优拟合的区域性椭球面过程中,就能解得其椭球参数和空间转换参数,而且此空间转换模型并不涉及现有的平面坐标,因此在维持现有平面坐标不变的情况下也能获得应用.     

从图形“实体”到几何“存在”——对笛卡尔解析几何的哲学反思

笛卡尔的解析几何与欧几里得的《几何原本》在点、线和空间等基本概念上有较大差异。相对于《几何原本》:解析几何中的点可相互区分,且依赖于与其它点的关系而存在;曲线的存在依赖坐标空间整体,同时是点的运动轨迹,与物理运动的可能路径相关;坐标系通过量化空间,提供了对于空间的完整构造。从图形实体到几何存在,是笛卡尔对于数学实在和存在方式所作的区分。     

混凝土多轴强度模型的偏平面方程变换及讨论

为了将应力空间中的强度模型转换为偏平面方程,反之亦然,可根据所选择的不同参考坐标轴来实现,有两种变换方法,且可以通过坐标变换实现互逆.通过这两种变换方法,可以相互证明偏平面极限迹线所具有的6折对称特征.而根据混凝土多轴强度模型的偏平面分析,表明混凝土的多轴破坏形态可以分为广义受拉和广义受压两种形式,这就暗示了统一的强度...     

空间4-UPU并联机器人的运动学研究

运用自然坐标法研究了空间4-UPU（万向铰-移动铰-万向铰）并联机器人的运动学正解问题．通过共用并联机器人两两构件间的公共点或公共向量的笛卡尔坐标减少自然坐标的数量,从而简化了整个分析过程．在用自然坐标法处理多体机器人系统时,由于变量仅仅引进了末端执行器上关键点的笛卡尔坐标,因此,约束方程或者是二次的或者是线性的,这就使得并联机器人的运动学分析中不会出现任何超越函数．该建模过程方法简单、统一,非常有利于计算机编程处理．     

三维空间中圆锥、圆柱和平面交线的绘制

在三维空间中,要绘出任意圆锥、圆柱和任意平面的交线,一般先选取适当坐标系,得到交线的标准型方程,绘出后,再经过一组坐标变换,显示在当前屏幕上。本文通过分析圆柱、圆锥和平面的几何关系,推导出它们的交线的显式表示,从而给出在三维空间中直接绘制这类交线的方法。     

基于组织机构图的改进RBAC模型

针对电子政务工作流系统的特点,在基本RBAC模型的基础上,引入了组织机构图和额外授权的概念,提出了改进的RBAC模型,并给出模型各要素的形式化描述．模型根据组织机构图划分出原子权限,借助拓扑集合完成角色的设置．在实现用户-角色和角色-权限的指派过程中,考虑了角色的继承,并给出模型实现过程中应该注意的原则．模型具有实现快捷和管理方便的特点,可以加快工作流管理系统的开发进程．并通过开发的办公自动化系统实例加以证明．     

电子海图平台下的航线自动设计方法

为优化舰船计划航线设计,提出了一种基于电子海图的自动设计方法.通过追踪安全等深线和处理障碍区,得到可航渡区域.在可航渡区域内,进行路径的可航渡性测试,自动搜索一条安全的最短计划航线,并根据障碍区的动态变化,实时调整和优化航线.实验结果表明,与传统的手工作业方法相比,该方法在效率、经济性、可靠性等方面都具有明显的优势.     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

等截面曲梁的传递函数方法

对将传递函数方法运用于曲梁的变形计算进行了研究。建立弧坐标,并定义状态向量,将曲梁变形控制方程和边界条件写成状态空间形式,其中轴力和弯矩都是方程中的参数。文中给出了数值算例并与精确解进行了对比。