几何相似体应力-应变分布相同时的载荷关系

为了保证几何相似模型与原件具有完全相同的应力-应变分布,必须对几何相似模型施加与实际构件成对应比例的各种载荷,因此需要寻求几何相似模型在应力-应变分布完全相同时各种外加载荷的比例关系。从相似理论入手,以2端固支的矩形梁下表面边线中点的应力解析表达式为基础进行推导,得出相应的理论载荷关系,并用算例在弹塑性状态下验证了所得关系的正确性。得到的结论是:对于2个几何相似构件,若几何相似系数为kl,则当外加集中载荷的载荷系数为kl、均布线载荷的载荷系数为kl、均布面载荷的载荷系数为1时,2构件的应力-应变分布完全相同。     

计算机画法几何的研究与应用

以AutoCAD2000i为图形支撑平台，构建一种计算机辅助画法几何方法以直观、精确、高效地求解三维空间几何度量与定位问题，该方法适合于传统画法几何求解，也可用于曲柄滑块机构的行程、运动轨迹等内容的设计。     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

化学问题解决的“信息加工”策略

本文借鉴现代认知心理学的某些观点，结合例证阐述了复杂化学问题解决的“信息加工”策略：信息简约、信息类比、信息引伸、信息转换、信息评价等等．     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

Methodological foundations of systems methodologies

In social systems science generally, and in management science particularly, recent developments in the variety of types of specific problem-solving methodologies (under the rubric of hard and soft systems approaches) have given an impetus to a line of inquiry, as well as debate on the nature of those methodologies. On the one hand, there has been the view that what we are witnessing is a form of Kuhnian crisis. On the other hand, a complementarist view of developments has been argued and a contingency approach proposed. But one thing has been common among the competing views: a belief that the prospects for further advances in the design and application of those methodologies, and in resolving the current controversies, lie in serious attempts to reconsider and clarify the underlying metatheoretical assumptions and concerns. This paper is an attempt to contribute to such an endeavor. A brief exposition of three methodological foundations (namely, empiricism, hermeneutics, and critique) is made, not only with the purpose of highlighting the nature as well as the limits of their epistemological and ethical claims, but also as a basis for illuminating both the nature of contemporary work on systems inquiry, design, and problem solving and the ongoing debate on what constitutes appropriate criteria for choice of specific methodologies.     

双船联合举升多体协同作业系统横摇稳性评估

基于ADAMS平台,构建特定场景双船联合举升多体协同作业系统虚拟样机,对新型一体化拆解作业双船联合举升过程中待拆除组块横摇稳性进行预测与评估。构建了该系统拓扑模型,使用几何参数描述系统中上部组块横摇运动特征;通过虚拟样机仿真探究了双船不同耦合运动情况时上部组块最危险失稳状态,并分析了上部组块重心至连接点连线垂直距离与水平距离比值对横摇角度的影响规律。结果表明:物理模型试验数据驱动的虚拟样机技术可以有效评估该系统运动特征,与几何拓扑模型得到的上部组块横摇失稳角度理论公式计算结果吻合;双船同相位横摇与反相位垂荡耦合运动时对上部组块横摇稳性影响最大;待拆除上部组块横摇失稳时的极限纵横比可以作为复杂多体系统横摇稳性评估参数,为实际工程方案选择提供参考。     

面向时间敏感网络的安全感知调度方法

时间敏感网络（TSN）中信息的真实性是系统的关键安全要素,然而直接引入传统安全认证机制会导致系统可调度性和实时性大幅降低。现有的方法仍存在适用场景少、资源消耗高等问题。针对这些问题,文中提出了一种面向TSN的安全感知调度方法。首先基于TSN流量特性设计了一种时间有效的一次性签名安全机制,为消息提供高效的组播源认证;然后提出相应的安全模型对该机制进行评估,描述安全机制对任务和流量的影响;最后对提出的安全感知调度方法进行数学建模,在传统调度约束的基础上,增加了安全机制相关的约束,同时以最小化应用端到端时延为优化目标,使用约束规划进行求解。仿真实验结果表明：改进的一次性签名机制的引入可以有效保护TSN中关键信息的真实性,且对调度的影响有限;在多个基于真实工业场景生成的不同规模测试用例中,产生的应用端到端时延平均仅增加13.3%,带宽消耗平均仅增加5.8%;与其他同类型方法相比,文中方法的带宽消耗更低,更加适用于有严格带宽限制的TSN。