《两个平面垂直的性与判定》教学设计

教学目标 知识目标 (1)进一步理解两个平面垂直的定义; (2)初步掌握两个平面垂直的判定定理与性质定理及应用; (3)能运用两个平面垂直的判定定理与性质定理解决简单问题.     

程进均衡定理引理从经济角度发预测巴西足球世界杯

2014年巴西足球世界杯海峡上欧亚美之间经济角度验证证明解决三维＂复数＂的寻找,四元数的性质,＂卡瓦列里定理＂,螺线与抛物线,程进均衡定理引理的宇航呼吸道的监控及举一反三,杨辉三角形发预测。     

一种新的神经模糊系统及其应用

为了解决非高斯非线性系统的辨识问题,提出一种新型神经模糊系统,应用微分中值定理和Weierstrass定理证明了新系统具有通用逼近性.为验证其效能,已将其应用于油田试井压力的建模和预报,取得很好效果.     

基于复数法的几何定理可读机器证明

已有的机器证明方法在处理一些涉及大规模符号运算的几何问题时,常因算法复杂度过高或机器能力的限制,有时并不能在合理时间内实现可读机器证明.故提出了复数法这一新的几何定理机器证明算法,并选用符号计算功能较为强大的软件Mathematica创建了新证明器CNMP(complex number method prover).新提出的复数法能有效地解决构造型几何命题,对用于测试与评价几何定理证明器性能的综合性平台TGTP(thousands of geometric problems for geometric theorem provers)上的180个几何问题的实验结果表明,CNMP的解题能力与运行效率均令人满意.尤其是对于一些具有相当难度的几何定理,如五圆定理、Morley定理、Lemoine圆定理、Thebault定理、Brocard圆定理等,CNMP均能在短时间内给出可读机器证明.     

基于中国剩余定理的入侵容忍CA方案

在介绍和分析了中国剩余定理和t-out-of-n秘密共享方案的基础上,提出了一个基于中国剩余定理的门限数字签名方案和一个基于离散对数的零知识证明方法.设计了一个具有入侵容忍功能的认证机构,并将中国剩余定理与RSA结合实现签字运算.此系统不仅有效地解决了私钥的秘密共享,而且减少了系统的计算量,提高了系统的运算效率.     

群机器人区域覆盖算法高阶逻辑建模与验证

区域覆盖算法广泛用于群机器人解决资源勘查、目标搜救、地形测绘等问题.目前,对区域覆盖算法的研究主要是用传统计算机仿真和数值计算方法对算法模型进行测试,然而,软件系统缺陷可能会使测试结果出现偏差,导致任务失败.因此,本文采用定理证明的形式化方法,基于交互定理证明器HOL-Light中集合库、实分析库等定理证明库,实现了群...     

基于二次剩余定理的数字图像分存算法

在分析二次剩余定理及Rabin密码体制的基础上,结合数字图像的特点,提出基于二次剩余定理的数字图像分存算法,分析该算法的可靠性。对分存算法存在的不足及需要解决的问题进行讨论。实验结果表明,在图像分存后,其数据膨胀率低,安全性高,图像恢复效果好。     

语义网的一阶逻辑推理技术支持

研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑工具的不足,并可以弥补定理证明器对可满足的公式推理的不完备性.     

生活中伯努利定律的应用

本文简单介绍了伯努利定律的由来以及它所能解决的实际问题,并就采用注射器抽血所需要的时间,利用伯努利定理加以定量的计算求解。     

程序员的时空定理

为了解决中国IT从业人员商业与技术二律背反的问题,程序员应该学会"不谋全局者不足以谋一域,不谋万世者不足以谋一时"这条时空定理。     

Characterizing the anthropometric extremes of the population

Equipment designers frequently choose 5 percentile female and 95 percentile male dimensions as design limits. However, in the more complex design problems which involve several body dimensions, it is important also to consider the interactions or relationships between body dimensions. These have been investigated using data from an anthropometric survey, which was carried out by MIRA, in order to develop models which represent the extreme body sizes of the male and female population.     

基于快速原型的联想与类比法在产品概念开发中的作用

联想、类比是激发创造性思维的创新方法。文章从联想、类比产生的条件入手,分析了它们在新产品概念开发中的作用以及基于联想、类比法的新产品开发模式并指出了该模式的不足。在此基础上提出了基于快速原型的联想、类比法在新产品概念开发中的模式,分析了快速原型在激发与完善新产品创意中为联想、类比提供依据的作用以及加速完成新产品概念的功效。最后,结合RH治疗仪的概念开发过程进一步分析了基于快速原型的联想与类比法在产品概念开发中的作用。     

基于导体系统电容对变压器电容的研究

电容器是一种常用的电子元件,不管是独立导体,还是多个导体组成的系统,都可构成电容器,对于多个导体组成的系统来说,它们所构成的电容可分为自部分电容和互部分电容,这些电容在有的电路中可以看成是分布电容。变压器是一个多导体系统特例,它是由铁芯(磁芯)、绕组、屏蔽层(接地)等导体构成,该系统所形成的分布电容对有的电路影响非常大,因此为了讨论该问题,本文从导体系统电容出发,系统地阐述变压器分布电容的形成、危害及克服办法。     

距离延时对STDMA系统网络吞吐量影响的分析

在船舶自动识别系统所采用的STDMA技术中，由于站台分布距离的不同会带来信道中时隙传播的延时，这种距离延时有可能会造成相邻时隙间的交叠，从而导致传输中的冲突，使系统的网络吞吐量受到影响。该文采用计算机仿真的方法，通过模拟站台间的不同分布状况，研究了STDMA系统中不同分布范围内所产生的传播延时对系统网络吞吐量的影响状况，并进一步分析了链路负载、站台的VHF蜂窝区半径与系统网络吞吐量之间的关系。此外，在仿真结果的基础上，该文还给出了一个定量计算系统网络吞吐量的近似公式。     

On the parametrization of solutions to the servomechanism problem

This paper addresses a servomechanism problem for linear multivariable plant/sensor systems and two-parameter controllers. The controllers are required to ensure asymptotic tracking of a class of reference signals and asymptotic rejection of two classes of distinct disturbances signals which affect simultaneously the plant input and the sensor output. The solutions of the servomechanism problem are explicitly parametrized by free, stable, rational and proper matrices under two sets of assumptions: one which is necessary and sufficient for the existence of solutions and another (stronger) set which avoids the Kronecker products and associated higher-dimension factorizations involved in the first case.     

透过设计美学审视产品情感设计

人是感性与理性的合体,在理智的分析与抉择中,都有感性的参与,所以在产品的设计中,我们不能忽略人们感性对理性的影响。所以一个成功的产品设计关注的重要因素之一有情感。当产品最基本的实用目的实现之后,人们更多的是将产品视为诱发情感体验,进行审美关照的对象,而审美的依据、根源、过程等都是设计美学从广义上对人和产品的影响。     

基础空间数据中心框架的设计

首先介绍了基础空间数据中心框架的意义和三大组成部分:规划综合数据库、信息资源共享交换体系和信息资源服务体系。在规划综合数据库建设的时候,确定好要建设哪些数据库很关键,这是实现共享的基础。而信息资源共享交换体系是实现共享的技术手段,是很关键的。信息资源服务体系则主要涉及了系统的维护和更新方面的内容。以昆明市规划管理信息系统为例,详细介绍了三大组成部分的设计。     

在Linux环境下SIP通信的实现

SIP(Session Initiatioan Protocol)协议是由IETF工作组于1997年7月提出的,是应用层的控制协议,能建立、调整和终止多媒体的呼叫和会话。SIP协议是基于文本方式的,即以明文方式传输。SIP消息包括请求消息、应答消息。SIP协议侧重于将IP电话作为因特网上的一个应用,并且也采用RTP作为媒体传输的协议。本文在SIP通信过程中,采用面向连接的TCP来传输SIP的交互信令,采用面向无连接的UDP协议进行实时音频流传输。本设计是在Linux操作系统下,用套接字(socket)来实现的。设计实现了SIP协议的整个通信过程。最后,提出了进一步开发的设想。     

Measuring the quality of the development lifecycle process

This paper proposes an approach to measuring the efficacy of the development process in terms of its ability to discover defects, and shows the metrics and forms of analysis which can be used to demonstrate this. Every activity in the development process has the capacity to both introduce and reveal defects. The efficacy of the process can be defined in terms of how soon after their introduction defects are discovered. To measure this, defects reported during each step are analysed to determine in which step the defect was introduced. A comparison of this defect distribution by introduction and detection step with the expected distribution indicates which aspects of the process are failing.     

嵌入式Nucleus系统中驱动接口的实现

Nucleus是一种实时的嵌入式操作系统。深入全面地探讨了Nucleus中驱动通用接口的实现方法。首先对Nucleus的内核进行了概述;其次阐述了Nucleus的系统层和驱动层解决方法;最后给出Nucleus解决后的接口函数。