关于命题公式的主范式

本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系。     

基于DirectX的视频编程

介绍了采用DirectX技术的微机上进行视频编程的原理，并给出了视频叠加的应用例子。     

改进的直接分支模态综合法

介绍了直接分支模态综合法的基本原理并通过算例对算法进行验算,分析了该方法计算结果很不准确的原因并进行了改进。改进的分支模态法将系统中主子结构的剩余模态加入,降低了略去高阶模态带来的严重误差。计算结果与有限元软件ANSYS的计算结果吻合较好,误差小于2%。改进的方法不仅使计算结果准确,而且保持了原方法的优点,适用于工程计算。     

Some geometrical aspects of semidefinite linear complementarity problems

This article studies some geometrical aspects of the semidefinite linear complementarity problem (SDLCP), which can be viewed as a generalization of the well-known linear complementarity problem (LCP). SDLCP is a special case of a complementarity problem over a closed convex cone, where the cone considered is the closed convex cone of positive semidefinite matrices. It arises naturally in the unified formulation of a pair of primal-dual semidefinite programming problems. In this article, we introduce the notion of complementary cones in the semidefinite setting using the faces of the cone of positive semidefinite matrices and show that unlike complementary cones induced by an LCP, semidefinite complementary cones need not be closed. However, under R₀-property of the linear transformation, closedness of all the semidefinite complementary cones induced by L is ensured. We also introduce the notion of a principal subtransformation with respect to a face of the cone of positive semidefinite matrices and show that for a self-adjoint linear transformation, strict copositivity is equivalent to strict semimonotonicity of each principal subtransformation. Besides the above, various other solution properties of SDLCP will be interpreted and studied geometrically.     

Characterization of supercommuting matrices

For a given n-by-n matrix A, we consider the set of matrices which commute with A and all of whose principal submatrices commute with the corresponding principal submatrices of A. The properties of this set are examined, with particular attention to its dimension.     

广义拟变分不等式解集的稳定性及本质连通区的存在性

在赋范线性空间下．讨论广义拟变分不等式解集的稳定性，证明了满足一定连续性和凸性条件的广义拟变分不等式问题构成的空间M中，大多数(在Baire分类意义下)广义拟变分不等式问题的解集是稳定的，并证明了M中每一个广义拟变分不等式的解集至少存在一个本质连通区。     

Delphi开发ASP文件上载组件

对ASP实现文件上载的原理进行分析 ,用高级编程工具Delphi开发ASP文件上载组件 .     

VM—1邻频电视调制器电路原理分析

分析了一种射频处理邻频电视调制器的电路原理，阐述了为满足邻频电视信号传输要求而采取的带外寄生分量抑制技术及ＳＡＷＦ的应用。     

基于J2EE体系结构实现网上购物系统

J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 .     

应用测力—落刀装置对积屑瘤、鳞刺的研究

本文研制了一种测力—落刀装置,对积屑瘤和鳞剌的某些问题进行了试验研究。结果表明:在积屑瘤存在的区域内,由于刀具实际前角的增加,以及切屑与积屑瘤的接触长度小于自然接触长度,从而导致了切削力的降低。积屑瘤不是整体稳定不变的,也不是高频地整体脱落后再重新生长。而是基体比较稳定,头部产生高频的分裂、成长,其分裂的部分留在工件表面成为鳞剌,同时,引起了切削力的较大波动。切削力动态分量越大,相应的鳞剌高度越高。