PCS网络中基于方向的自适应位置管理模型

研究了个人通信服务网络中的位置管理问题 ,提出了基于方向的自适应位置管理方法 (ADBU) ,该方法有效地减小了整个系统的位置管理总开销 .移动终端周期地检测其运动方向 ,当它的改变超过预先设定的阈值时 ,系统将更新它在数据库中的位置信息 .采用了高斯 -马尔科夫模型来模拟移动终端的运动方向 ,然后通过自适应反馈控制方法来调整移动终端的最佳方向阈值 ,从而减小其位置管理开销 .仿真结果表明ADBU的位置管理开销要明显小于基于距离的位置管理方法 ,也小于直线式寻呼位置管理方法 .     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

Gauss型函数方程和平均值特征

针对Lehmer平均值和Stolarsky平均值分别探讨了Gauss型函数方程的求解，并且给出了这些平均值新的特征．     

一种新型的虹膜定位算法

针对虹膜图像自身的特点，利用信息论中最大熵的方法进行阈值选取，提出了先将其分成三个灰度等级以最大限度的消除干扰信息，然后进行快速定位的新方法。实验结果表明，该方法具有很好的定位效果。     

模拟线性电路中故障元件存在范围的确定

为了简化模拟线性电路故障诊断定位阶段的工作量，提出了1种确定故障元件存在范围的方法.即在十分现实的K故障假设下，确定能代表电路所有元件并给出在K故障假设下的故障诊断方程的唯一解的1组元件--最优可测试元件组，使故障定位工作只局限于该组元件，而不必对电路所有元件进行.该方法构成了故障定位的第一步，且与故障定位方法无关.方法基于电路的可测试值计算和规范式不确定性组的确定，它在可测试性与不确定性组概念中具有严格的理论基础，其可测试性计算可直接从参数类型故障诊断技术中推得.     

审美人类学之我见

审美人类学是一门以美学、人类学为基础的多学科整合来关注民族文化的新兴学科，目的是建构与西方学理平等对话的平台。本文试从审美人类学的学理存在、研究方法拓展及其功用价值来讨论这门新兴学科的意义及其发展前景。     

在林间防除瓢虫隐尾跳小蜂后红点唇瓢虫Chilocorus kuwanae Silvestri幼虫对杨圆蚧的功能反应

在林间除掉瓢虫隐尾跳小蜂后，红点唇瓢虫各龄幼虫应用ＨｏｌｌｉｎｇⅡ，型公式计算日极限捕食量分别为：Ｉ龄幼虫－１．６７７的头／日，Ⅱ龄幼虫－２．０８８６头／日、Ⅲ龄幼虫－６．１７６７头／日、Ⅳ龄幼虫－１９．３０５０头／日、Ｖ铃幼虫－３１．３４８０头／日。红点唇瓢虫随幼虫龄期增加捕蚧量明显增大，对杨圆蚧的发生有显著的控制作用。     

电缆故障测试电路

介绍了三相电缆真故障点的计算公式，并以此为基础设计出电缆故障测试电路     

某一类一阶非线性中立型泛函微分方程的振动性

研究一阶非线性中立型泛函微分方程的振动性,获得方程为振动的某些充分性条件。