求解不等式约束优化问题的一个非线性Lagrange函数

本文提出了一个求解具有不等式约束优化问题的非线性Lagrange函数,讨论了该函数在K-T点的性质,证明了在适当条件下,当参数k大于某一阈值k0时,由算法产生的点列具有局部收敛性,并给出了与罚参数有关的解的误差估计.     

关于一类时间最优控制系统的切换条件问题

本文从工程应用实际出发,研究了时间最优控制系统的切换条件问题。文中以调速系统为例,考虑了系统的状态约束和控制量约束,从理论上进行了推导,并结合系统的参数变化和计算机控制的实际时延,提出了一套适用于这一类时间最优控制的切换条件。通过数字仿真和物理系统的实验,证明这些切换条件是准确可靠的。所用的推理方法也可适用于类似的最优控制切换条件的综合。     

近断层强地震动的特点研究

随着我国地震的频发,加强对特殊地震动特点的研究对我国建筑抗震设计有着重要的现实意义。本文在简要介绍近断层地震的基础上,重点从集中性、滑冲效应、上盘效应、破裂方向效应、长周期速度脉冲和近断层地震动的方向性六个方面总结阐述了近断层地震动的特点,同时指出我国近断层地震研究的现状,强调了研究适用于近断层区的抗震设计方法的重要性,以期对我国的建筑抗震设防工作有所帮助。     

薄壁矩形钢管混凝土受压柱临界宽厚比

对薄壁矩形钢管混凝土柱在轴压作用下的局部屈曲性能进行了研究。使用能量法分析了钢板的局部屈曲系数。假设钢管壁在非加载边受到弹性约束,在内侧受到混凝土的径向压力,通过计算弹性约束系数,得到了矩形钢管混凝土柱轴压下的临界宽厚比。从公式中得知径向力降低了钢管的屈曲应力。钢管屈曲系数随着约束系数的增大而增大,且与钢管截面高宽比和邻边厚度比有关。     

基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。     

扩展的纽结族{ψi}64在Hamilton约束下的行为

在量子引力的扩展圈表象中,对Hamilton约束在扩展纽结族{ψi}64,即微分同胚约束的第3组解上的作用给出了详细的推证.     

交通流局部单向传输对复杂网络拥塞的影响

实施网络局部交通流的单向传输能否有效地提高网络的吞吐量及缓解网络拥塞情况, 对于许多现实复杂系统而言具有重要意义. 通过研究节点的度和介数与节点拥塞情况的关系, 提出了两种用于交通流单向传输控制的流向约束模型. 为检验不同模型下流向约束对网络传输能力的影响, 通过引入一个状态参数H, 利用由稳态到拥塞状态的指标流量相变值来度量网络的吞吐量, 并分别针对3种网络在不同约束模型下进行了仿真. 通过数值模拟得到如下结论: 采用基于度的流向约束模型对ER随机网络和WS小世界网络的数据传输能力几乎没有影响, 网络吞吐量和拥塞情况均没有得到改善, 但该模型在一定程度上缓解了BA无标度网络的拥塞程度; 采用基于介数的流向约束模型有效地提高了ER随机网络和WS小世界网络的吞吐量并在一定程度上缓解了网络拥塞情况, 且较基于度的约束模型进一步改善了BA无标度网络的拥塞程度, 但无论采用哪种约束模型, 均不能有效提高BA无标度网络的吞吐量. 同时可以看出, 对于3种网络, 有意识地对介数较大(拥塞较严重)节点实施流向约束均可以有效地缓解网络的拥塞程度.     

高校考试质量控制与试卷档案规范管理

随着经济社会的快速发展,人力资源市场对高素质人才的需求标准也越来越高。高等教育如何实现高素质人才目标的培养,使得高校毕业生在走向职场时能尽快展现职业岗位的胜任力、缩短人职匹配的磨合期,同样有了新的要求。高校提高人才培养质量的重要途径之一,就是加强考试质量的控制、规范试卷档案的管理。对于考试质量的控制主要体现在考试试题的质量、考试过程的监控以及考试试卷的评分和反馈信息的分析等方面;对于考试试卷档案的规范管理,已引起人们的高度关注,做到试卷档案的规范管理、更好地为教育教学改革服务,是人们针对试卷档案管理工作进行研究的新方向。     

各国专利局网站的利用

本文涉及中、美、日、欧、韩五大局以及国际专利局网站的利用,重点介绍了在各网站进行专利文献查找时的输入规范以及相关专利申请审查过程的查看方法。     

爱因斯坦的未竟之梦:物理规律的大统一

本文对物理学中的统一理论的发展历史和目前的现状展开综述.从牛顿的天和地的统一,到麦克斯韦的电、磁、光的统一;从爱因斯坦的时间、空间和物质的统一,到电磁作用和弱作用的统一.对一些未成功的统一理论(引力和电磁的统一、强作用和电磁作用以及弱作用的统一、夸克和轻子的统一、超对称大统一)也给予简要介绍.最后评述目前正在尝试的试图把所有相互作用都统一进来的超弦理论.