抽屉原理的推广

本文根据数学中可数与不可数的概念,把广抽屉原则中"无穷集合"分为"可数集合"或"不可数集合"。并把"有限集合"推广为"可数个集合"从而得到三个新的定理。另根据抽屉原理,在运用抽屉原理解决实际问题时,对不同构造抽屉的方法进行了总结、归纳,以及详细的分类。     

鸽巢公式的一些性质

由鸽巢原理定义的鸽巢公式PH nn+1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn+1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn+1的难解证明用到了其中一种标准形式.公式PH nn+1具有良好的子结构同构性质,如果DPLL算法中允许使用同构规则,则存在PH nn+1的反驳证明,其复杂性可以降至O(n3).     

本质线性非完整系统的Hamilton原理

研究了本质线性非完整系统的Hamilton原理,分别应用与不应用Appell-Chetaev条件证明了本质线性非完整系统Hamilton变分泛函取驻值的充分必要条件.结果表明,在本质线性非完整系统中,Hamilton作用量是稳定的作用量,与完整系统的Hamilton原理具有相同的形式与本质;而且由Hamilton原理得到的运动方程不会导致任何力学与数学上的矛盾.最后给出了Hamilton原理向本质非线性非完整系统推广时产生数学与力学上不合理的根本原因.     

浅析电子信息工程中的物理学原理

近些年来,随着人们科技的不断创新,社会产业结构随之而改变,在此过程中电子信息工程发挥着越来越重要的作用,多媒体技术与网络技术也为其发展提供了一定支持,而物理学原理在该项技术中所发挥的作用同样不可忽略.在模拟电路核心、数字电路以及分析电路的过程中均会涉及到物理原理的应用.据此,本文主要对该项技术中物理学原理的应用进行分析,首先对该项技术的重要性以及应用领域进行介绍,之后从电学原理、光学原理以及电磁学原理出发,对其应用进行说明,以便于人们对物理学原理与该项技术更加了解.     

基于VRML的交互式动画原理与实现

探讨VRML当中交互式动画的构成要素和原理以及实现的方法,通过一个实例说明应用交互式动画原理实现复杂动画的过程.     

关于Gauss原理

Gauss原理是分析力学中的一个微分变分原理,它在理论上简单,应用上有优势,而且适用于双面理想完整系统和非完整系统.本文对这个原理的形成和发展给出一些史料,并提出一些看法.     

基于FPGA的通信原理实验平台研制与应用

通信原理实验是拓展学生自主创新能力和发展的主要教学方式.尤其是基于FPGA的通信原理的实验平台的研制与应用,能够让学生结合最新的变成门列阵,变形或是拓展无线电软件的编程方式.因此,本文主要针对在FPGA为基础的通信原理实验平台研制与应用进行阐述和分析,并且通过加强对通信原理实验平台设计,提高无线电软件的设计和应用.这样能够促进通信原理实验平台的研制和应用具有实用价值.并且为学生研究提供了重要的平台.     

广义非保守系统的新型最小作用量原理

分别建立了广义非保守系统的Hamilton-Tabarrok-Leech正则方程和Raitzin-Tabarrok-Leech正则方程.给出了广义非保守系统的三种新型最小作用量原理Lagrange-Tabarrok-Leech最小作用量原理,Raitzin-Tabarrok-Leech最小作用量原理和Lagrange-Raitzin-Tabarrok-Leech最小作用量原理,并举例说明这些原理的应用.     

在.net平台下Agent迁移的设计实现

移动Agent是分布式计算与Agent技术相结合的产物,.net Framework提供的虚拟机CLR使得开发移动Agent系统成为可能,并扩充了移动Agent的应用范围.文章首先分析了移动Agent的迁移原理,研究了在.net平台下Agent迁移的具体实现     

XTR110单片精密电压—电流转换器的原理与应用

详细介绍了XTR110单片精密电压—电流转换器的构成、工作原理与应用方法,文末给出了一个应用实例.     

基于FPGA的屉式温度采集模块设计

针对多路温度采集的通用性与扩展性要求,设计了一种屉式温度采集模块,通过增减采集板卡的层数,可以方便地实现采集路数的修改.该模块以现场可编程门阵列(FPGA)为中心逻辑控制器,使用AD7621进行A/D转换,将采集到的模拟温度信号转换为数字信号传输到PXI机箱进行显示,以满足远程实时监测的需求.提出了一种使用查询ROM表的方式来进行模拟开关的通道切换,给软件设计带来极大方便;对于热电偶冷端温度不恒定造成的线性失真,使用K型热电偶专用的冷端补偿芯片AD8495,保证了测量的准确性.对温度采集模块进行测试,其采集精度达到±1％,证实了该设计的实用性与有效性.     

经典力学的一个新基本原理及其几个重要应用

新基本原理定名为零原理,建立在三个基石上：1）隐显模型；2）显示力假设；3）μ- 证明.用逻辑推理证明了显示力的定量模式F =m r,从而也证明了零原理.它的结论被表达成三个等效的“零力系”.零原理作出了几个重要贡献：1)消除了牛顿第二定律的“实验性”局限,将它提高到基本原理的层次.2)使达朗伯原理摆脱了对牛顿第二定律的依赖,从而也成为独立的基本原理.3)它的改造形式成为“最小自由量原理”,而将高斯原理作为特殊情况包含其中.在此新证明中阐明了高斯原理原始证明中出现所谓Z-佯谬的原因,并给出了消除Z-佯谬的条件.4）零原理的另一个应用是直接证明了新意义下的哈密顿原理,即真正的最小作用量S原理.从而摆脱了雅可比准则的困扰.5）零原理被推广到冲击情况,得到三个等效的“零冲击系”.简明地定义了冲击情况的“自由量动能函数Z”,并导出了相应的最小自由量动能原理.     

论现代纺织品图案设计中的对比法则

本文立足于形式美中的统一法则来探讨现代纺织品图案设计形式美中的另外一个重要法则——对比法则,分别从纺织品图案的色彩、形体、肌理这三个方面的属性对比关系来探讨现代纺织品图案设计中的对比法则,这对于现代纺织品图案设计实践具有较强的指导意义。     

Rational decision principle and social choice function

In this paper, we treat a social choice function as a decision principle and apply the concept of the rational decision principle to it. Then we derive the concept of the order rational decision principle. We show that the rational decision principle is suitable for an integral framework for a social choice, as well as for decision making under uncertainty and multiobjective decision making. We also show that some decision principles are considered to be models of Arrow's decision principle in a weaker sense.     

关于Hamilton原理

Hamilton发展了Lagrange分析力学,他对分析力学的主要贡献是一个原理—Hamilton原理和一个方程-Hamilton方程.本文给出Hamilton原理的经过史,包括Hamilton原著的表述,以及后人对这个原理的理解和发展.     

基于主成分分析的零水印算法

针对传统的数字水印方法,提出了一种基于主成分分量的零水印算法。该算法是对图像进行分块和主成分分析(PCA),得到图像的主要分量,然后将基于Logistic映射生成的混沌序列对图像的主要分量进行位置置乱,比较置乱后相邻主分量系数间的大小生成特征水印。当对待认证图像进行认证时,用同样的方法提取该认证图像的信息。实验结果表明,该算法具有无失真、鲁棒性好、简单易行及可操作性强等优点,并对一些常见的攻击,如JPEG压缩、剪裁、加噪、滤波等有很强的鲁棒性。     

“质胜文则野”另解——中国古代功能重于形式的设计思想

我们人类一诞生,就开始了创作设计的历程。每一件物品存在的最基本的原则是它的实用原则,如果这件物品失去了自己的实用原则,那么在一定意义上说,它就不能成为它自己。我国是一个特别务实的国家,我国古代有关设计思想的文献中,关于形式与功能关系的论述占了很大一部分,而且都是注重设计作品的功能原则。这个原则也应该是我们现代设计的根本原则。     

一种改进的推广能力衡量准则

通过对支撑向量机推广能力的分析，提出了一种构造性的与样本分布有关的推广能力衡量准则．该准则与统计学习理论中的推广能力准则具有几何上的一致性，由样本的二阶统计量构成，比已有的完全不依赖于样本分布的推广能力上界更能反映学习过程的收敛性和收敛速率．较为重要的一点是该准则在学习过程之前是可处理的，所以它可以用作所有分类器中数据预处理的准则，同时也可以为支撑向量机模型的选择提供依据．文中最后给出的人工及实际的例子也很好地说明了该准则的合理性．     

An Approach to Representation for Principle Scheme Design

One of the open issues in principle scheme design of mechanical systems is principle representation, which not only outlines the physical principles, but also facilitates the design synthesis. An energy-based approach to represent principle scheme design is proposed. Firstly, an energy interaction model of mechanical systems is established and an intermediate model is derived, in which principle scheme design is transformed into solving the energy functions of system. Then the energy functions are modeled with the language of bond graphs, and principle representation for components is presented. Finally, characteristics of the developed representation approach are analyzed and a design example of gate drive system is given to demonstrate this approach.