坐标转換与切削角度

藉有关向量的乘积可以计算刀具的切削角度。计算向量乘积时所必需的向量的分量又可分别在不同的直角坐标系(基)中求得。这就涉及到角度计算时的坐标转换问题。本文分别以向量球函数的角参数以及罗德里格——哈密顿(Rodrigues-Hamilton)参数描述了坐标系统绕固定点的旋转,经过计算得到了一系列坐标转换公式,即表1和表2,从而提出了切削角度计算的向量球函数法和旋转运算法,並为应用以上两种彼此独立的方法提供了便利的条件。     

����֧���������ij����������ʶ���о�

基于支持向量机理论对出行链活动类型的识别方法进行了研究. 首先对居民出行的时间序列位置信息做数据预处理,提取出行链的出行过程和活动地点信息,并结合地理信息系统（GIS）提取活动的备选类型;然后从出行链和活动的时间和空间因素提取活动类型识别的特征,形成特征向量作为分类器的输入,并建立基于支持向量机的两两分类器,采用分类器投票的方法从备选集中选择活动的类型;最后利用模拟数据和交叉验证的方法对两两分类器进行训练检验,分别从高斯径向机核函数和多层感知器核函数的角度分析活动类型识别率. 结果表明：在两两分类中,高斯径向机核函数的最高识别率为99%,最低识别率为62%;多层感知器核函数的最高识别率为97%,最低识别率为54%.     

基于支持向量机的出行链活动类型识别研究

基于支持向量机理论对出行链活动类型的识别方法进行了研究. 首先对居民出行的时间序列位置信息做数据预处理,提取出行链的出行过程和活动地点信息,并结合地理信息系统（GIS）提取活动的备选类型;然后从出行链和活动的时间和空间因素提取活动类型识别的特征,形成特征向量作为分类器的输入,并建立基于支持向量机的两两分类器,采用分类器投票的方法从备选集中选择活动的类型;最后利用模拟数据和交叉验证的方法对两两分类器进行训练检验,分别从高斯径向机核函数和多层感知器核函数的角度分析活动类型识别率. 结果表明：在两两分类中,高斯径向机核函数的最高识别率为99%,最低识别率为62%;多层感知器核函数的最高识别率为97%,最低识别率为54%.     

关于综合评价模型中复合效用序位在同一置换空间中的唯一性

本文讨论了在相互偏好独立的条件下效用置换的统一函数形式,证明了加性结构的总体复合效用与评价指标的效用函数形式无关和在同一效用置换空间中的序位具有唯一性。      

识别独立随机过程的一个充要条件

识别独立随机过程的一个充要条件是独立随机过程的有限维概率密度函数，可表示为若干个一维函数的乘积，这些一维函数只与相对应的边缘概率密度函数相差一个常数，且其中有关的边界常数均与自变量和参数无关．这是独立随机过程的有限维概率密度函数的2个特征，利用此特征可以避免求有限维边缘概率密度函数，使判定随机过程是否独立随机过程的工作变得非常简单．     

二层线性规划的模糊数学解法(Ⅱ)

针对上层有约束条件、下层有Ｎ个独立的决策单元的二层线性规划问题，提出了一种模糊数学解法。首先，把这种规划分解为若干单层规划；然后引入隶属函数，用３个定理对各单层规划的解进行讨论，最终把这种二层线性规划转化为求解一个单层线必规划问题。使问题得到了简化。     

非参数估计中核估计的构造及相合性

讨论了非参数估计中的核估计方法,对于相互独立同分布的随机变量的密度函数引进了新的估计量方法,并且讨论了此估计的量的逐点相合性,求出了未知密度函数的区间估计,最优窗宽。     

尺度核支持向量机及在动态系统辨识中的应用

为了提高非线性动态系统辨识质量,提出了新的支持向量机尺度核函数构造方法.首先直接构造紧支撑尺度函数,然后根据小波多分辨分析理论,由紧支撑尺度函数生成具有多分辨率特性的尺度核函数.证明了这种核函数是满足Mercer定理的支持向量机核函数.动态系统辨识的仿真结果表明,尺度核函数支持向量机的建模和逼近能力优于基于三阶样条核函数或RBF核函数的支持向量机.     

力系零轴系的几何性质

本文探讨了足以使n个力矩轴相关(亦即使n个空间力系力矩平衡方强式不尽独立)的几何条件。这些条件也是空间n个力在某种情况下平衡的必要条件,又是空间结构的六个支杆不稳定的充分条件。这些条件中某些几何关系比较简明的在理论上和实用上都有一定意义。     

基于傅立叶变换的变元可分离核函数的确定方法

利用傅立叶变换分析的方法提出了支持向量机理论中核函数与傅立叶变换的关系 ,并就两者的关系给出了一些有意义的新定理和相关的证明 ,证明了基于傅立叶变换的核函数在一定条件下必定满足Mercer条件 .在这些重要结论的基础上 ,可利用傅立叶变换分析核函数的特性 ,确定核函数 .特别是当核函数的变元可分离时 ,傅立叶变换在核函数分析中的意义就更加重要     

n维随机变量独立性的一个充要条件

给出了ｎ维随机变量的独立性的一个充要条件，避开了求边缘概率密度函数的繁琐过程，使判定随机变量的独立性的工作变得异常简单。给出了利用这个充要条件的简单应用实例。     

自主—合作—探究式教学在高职英语语法教学中的应用

为了培养社会需要的人才,各地实施教学改革。传统教学模式受到了越来越多的质疑,自主—合作—探究教学模式发挥学生的主体作用,让学生主动参与,自主发现,乐于探索,有利于培养学生的综合能力并构建和谐的师生关系。本文针对自主-合作-探究教学模式在高职英语语法教学中的实践进行探讨。     

独立系统中的一种偏序关系

首先提出了独立系统的矛盾组的概念，在不包含矛盾组的独立系统中建立了一种偏序关系，并对它的一些特性进行了剖析与探讨。根据这种偏序关系，可将独立系统的元素划分成若干个集团，子集的独立性只依赖于它与各个集团交集的基数。     

赋权独立系统

本文提出了赋权独立系统的概念，并且给出了一个独立系统成为赋权独立系统的三个充分必要条件。     

学术分科与史、文独立--早期文学史书写的学术背景考论

文学的独立（文学史的出现是随着文学的独立而出现的）与史学的独立是同一件事情的两个层面，而这两个层面都与学术分科的出现和演变息息相关。所以，对近代以来学术分科观念的演变作一番较为细致的梳理分析，能使我们对晚清以来的文学史书写获得更深刻的理解。本文旨在揭示和总结这一时期的学术分科在中西新旧之间的复杂演变过程——这导致史、文独立，并进而影响到文学史书写的风貌特色——以期对此一时期的文学史书写状况有更加深入的理解和自觉反思。     

平飞模式双站SAR运动补偿研究

机载双站SAR收、发分置,收、发平台产生的运动误差是独立的,增加了双站SAR运动补偿技术的复杂性.文中建立了平飞模式的双站SAR运动误差模型,在双站模型等效到单站的基础上,对双站SAR运动补偿方法进行了研究,基于模型等效的思路提出了基于回波数据运动补偿的方案.并讨论了PGA自聚焦算法的可行性,给出了相应的计算机仿真.     

Equivalent stochastic linearization for nonlinear uncertain structure under stationary Gaussian stochastic excitation

Equivalent stochastic linearization （ESL） for nonlinear uncertain structure under stationary stochastic excitation is presented. There are two parts of difference between the original system and equivalent system： one is caused by the difference between the means of original and equivalent stochastic structure; and another is caused by the difference between the original and equivalent stochastic structure which has the relation with stochastic variables. Statistical characteristics of equivalent stochastic structure can be obtained in accordance with mean square criterion, so nonlinear stochastic structure is transformed into linear stochastic structure. In order to attain that objective, the compound response spectrum of linear stochastic structure under stationary random excitation which is used in the solution is derived in the case of the mutual independence between stochastic excitation and stochastic structure. Finally, the example shows the accuracy and validity of the proposed method.     

英美独立董事任免机制研究

通过介绍英美独立董事任免机制,对我国在独立董事提名、任命、辞职、罢免等方面完善立法提出建议。笔者认为,股东大会享有任免独立董事的固有权利,董事会在法定情形下有任免独立董事的权利;公司、股东、独立董事和利害关系第三人在独立董事的任免方面享有诉权;我国应细化董事会提名和股东大会任免独立董事的议事规则。     

审计独立性的新制度经济学视角

审计独立性是职业道德的精髓之所在.在新制度经济学的框架下,深入分析了交易成本、产权理论和契约理论与审计独立性的内在逻辑关系,最后提出了旨在提高审计独立性的一些制度安排,包括公司治理、披露管制、事务所组织结构、行业监管法律责任等.     

Formal analysis of authentication in 802.11i

Authentication is the basis of the security of IEEE 802.11i standard. The authentication process in 802.11i involves two important protocols: a 4-way handshake and a group key handshake. A formal analysis of authentication in 802.11i is given via a belief multisets formalism. The analysis shows that the 4-way handshake and the group key handshake may provide satisfactory mutual authentication, key management, and issue of a new group temporal key from an access point to a user device, under the guarantee of mutual possession of a confidential pairwise master key. The analysis also shows that there exists a denial of service attack in the 4-way handshake and some seeming redundancies are useful in the protocol implementation.