利用分支定界法解决MPS任务分配问题

应用简单的判定树法进行ＭＰＳ任务分配，其结果一般不是最佳的。本文使用分支定界法解决该问题。使得多处理机系统的负载均衡，任务并行程度，运行效率，资源利用率和降低不同处理机间的进程通信开销等方面的综合性能达到最优。     

单带恒星模型的混沌脉动

到目前为止，某些变星的倍周期分岔都是通过观测其光度曲线的功率谱，看它是否出现分谱波而得到证认的。因而自然提出这样问题，人们是否能从理论分析预测某些变星会不会出现倍周期分岔呢？本文研究了这个问题，得到初步结论是：对于单带恒星模型的脉动，从一个不动点到２周期的分岔发生在参数λ１＝－１，即绝热指数ｒ１＝１．３３。     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

基于MATLAB的数字通信系统可视化设计

利用MATLAB高级语言实现了数字通信系统的可视化设计，介绍了系统设计方法与运行结果，从中可直观地观察到信号在通信系统各部分中的时域波形与频域波形，有利于深入理解通信系统．同时，通过修改系统的相应参数，可以对该数字通信系统进行仿真研究．     

基于系统调用的实时IDS方案

给出一种基于进程系统调用的实时IDS方案.该方案选择网络服务进程(特权进程)作为系统的代表进行监测,使用隐马尔可夫模型(HMM)对系统行为进行模拟和测试,使用实时P(O|λ)值和近期对“某些重要文件”的读、写频率这两个条件作为判断系统是否遭受入侵的标准.实验和分析表明,该方案有较高的预报准确率和较小的时间开销.     

基于进程行为的防沉迷模型

防沉迷系统监控的软件大多是娱乐型软件,如游戏、视频、音频等,传统的防沉迷系统一般仅针对软件使用者的身份加以鉴别和监管,对软件本身的行为不作分析。对于此类娱乐进程运行时表现出来的行为特征,提出一种基于进程行为分析的娱乐进程监控系统模型。动态收集进程运行时产生的行为数据,通过基于迭代、分类、阀值比较的识别算法来判定出娱乐进程,进而对其使用时间进行监控。通过收集的数据和测试实验,验证该模型的可行性和有效性。     

关于倍周期分支定理的注记

关于倍周期分支定理的注记黄永年，王德全，昔秀峰（新疆大学数学系．乌鲁本齐８３００４６）（宁波师范学院，宁波３１５２１１）关键词失稳，倍周期分支在［１］中有如下倍周期分支定理定理１设ｆλ（ｘ）对λ，ｘ有三阶连续偏导数且满足：１°ｆλ（０）＝０在λ＝λ０...     

Linux系统面向进程安全审计机制的设计与实现

基于Linux系统提出了面向进程的安全审计思想，目标是通过监测特权进程实现系统内核层的安全审计功能．利用LKM(Loadable Kernel Modules)技术在Linux内核上获取审计数据——进程运行过程中所使用的系统调用；依据进程调用的系统调用序列片断(系统调用短序列)相对稳定的特性，提取进程的行为特征；基于进程行为特征检测并记录系统运行状况．给出了此审计思想的实现方案．     

箱形桥梁估算剪力滞效应的两种简捷方法

讨论两种估算超静定箱梁剪力滞效应的简捷方法。第一种方法，在受荷的超静定体系中取一基本静定体系，将梁上的载荷、反力分别作用于基本体系上，然后利用叠加原理求得剪力滞系数．即利用λ＝∑λｉλｉ，这里．Ｍｉ，λｉ分别表示基本体系中的指定截面上求得的静定结构弯矩及剪力滞系数。第二种方法是在受荷的超静体系中，根据弯矩图中的反弯矩割切成若干简文体系。指定截面上的剪力滞效应（或剪力滞系数），即在所在的简支梁上求得．最后通过两等跨常截面承受均布荷载的连续证明两种简捷方法计算结果相当吻合．同样证实这两种简捷方法在工程上实用有重要意义。     

基于贝叶斯多元模型的邮件过滤设计与实现

首先分析了贝叶斯单因素过滤的基本原理，指出它存在不考虑自然语言内在联系的本质错误，并给出了目前垃圾邮件散发者常用的攻击手段，然后重点分析比较了无序特征、有序特征、SBPH／BCR以及马尔可夫链匹配4种基于贝叶斯多元模型的邮件过滤的方法，实验结果表明贝叶斯多元过滤好于单因素过滤，在4种多元模型中马尔可夫链匹配过渡效果最好．     

反函数的混合多项式逼近

给定一个在[0,α]上的单调函数λ=f（t）,给出一个函数序列Pm（A）来逼近其反函数t=f^-1（λ）．其中Pm（λ）不是一般的多项式函数,而是多项式和三角函数的混合,即Pm（λ）∈Ωm=span{sint,cos t,1,t,t^2,…,t^（m-2）},称这样的逼近为混合多项式逼近．利用Qm中有一组标准正交基,即拟Legendre基,可以表示出Pm（λ）．通过比较可得,对于一些特定的函数,混合多项式逼近比以往的多项式逼近效果要好．     

量子通信载荷自动检测软件的设计

为解决对量子通信载荷进行长时间测试时需有人一直看守的问题,提出测试过程的自动记录及数据回放方案,将测试过程中载荷执行的指令和运行状态及当前时刻等数据记入日志文件,测试完后对日志文件进行回放即可查看载荷运行是否正常.该方案可快速定位查找数据,回放步长可自由设定,载荷各状态配置信息可通过外部文件设定,很好地提高了测试效率.     

Hilbert型重积分不等式及最佳常数

引入参数λ，μ和α，利用权系数方法，得到了Hilbert型重积分不等式，并讨论了某些条件下的最佳常数问题．     

一类四项非常系数齐次差分方程的解公式

对于非常系数的差分方程，由于无法写出其相应的有限次的特征方程，经典方法或算符演算方法都是无能为力的．本文突破上述传统方法，根据代数方程的基本原理，直接将所述差分方程之解表示成其系数与初始值的显函数，从而避免了一般解法中可能出现的困难．     

经济时间序列相空间重构与混沌特性判定研究

提出通过相空间重构及Lyapunov指数来判定时间序列的混沌特性．给出了时间序列相空间重构中确定最小嵌入维数的伪邻点法及确定时滞参数的自相关函数法；提出了一种计算Lyapunov指数的实用方法；最后，以上证综合指数收益率时间序列为例研究了经济时间序列的混沌特性判定问题．     

一种新的进程可信保护方法

针对计算机端系统中病毒和木马导致应用程序缺乏可信性的问题，提出了一种新的进程可信保护方法．该方法采用可信计算平台技术，通过度量进程代码和数据的完整性断定其信任性．并综合运用软硬件控制，采用单向散列算法，在通用开放的计算机系统中建立起用户到进程的可信道路，保证了进程代理用户任务的可信性．实际测试结果表明该方法能够增强操作系统的安全性，确保关键应用在不安全的环境中顺利执行，并防止重要文件的非授权使用．     

关于一个较为精密的Hilbert型不等式的推广

通过引入两个参量λ，α和两对共轭指数（p，q），（r，s），建立了一个推广的、具有最佳常数因子的较为精密的Hilbert型不等式．作为应用，建立它的一个等价式．     

关于图的代数连通度的一个注记

设G=(V,E)是一个无向有限简单图.记V=V(G)={v_1,v_2,…,v_n},我们构成一个n×n阶方阵A(G)=(a_(i j) )n×n:其中degv_i是顶点v_i在G中的度数。如果A(G)的特征值λ_1,λ_2,λ_n满足λ_1≤λ_2≤…λ_n,那么λ_1=0,而λ_2称为G的代数连通度(Algebrai Connectivitv),记为α(G)。它是由M.Fidler引进的关于函数α(G),有许多没有解决的问题,其中之一为:对于两个任意给定的正整数n和α,0≤α≤n—2,是否存在一个n阶图G,使得α(G)=α。本文给出上述问题的一个肯定的回答。为达此目的,只需对于给定的n和α,0≤α≤n—2,我们构造一个n阶图G,使得α(G)=α就行了。令     

多元拟连接函数的刻画

CENEST等曾给出二元拟连接函数的两个等价刻画，同时提出一问题：引理可否推广到高维？本文回答了这一问题，证明了引理在高维时也是成立的；并指出其中一个刻画可以推广到多元，作为多元拟连接函数的刻画，而另一个刻画在高维时不成立；最后进一步得到多元线性拟连接函数概念，它是多元拟连接函数的推广．     

高频地波雷达VXI总线接口电路的设计

按照模块化和标准化的要求，提出用CPLD和双口RAM来实现一种通用的寄存器基VXI接口电路的设计方案，使之满足基于VXI总线高频地波雷达所有模件的接口要求．具体描述了该接口的设计方法、主要的逻辑及时序关系，采用有限状态机并利用VHDL语言和原理图输入的混合设计成功实现了“双向中断、全双工”的块数据传输方式．它具有通信速率高、灵活性好、调试方便等特点．实际运行表明，该接口电路工作正常可靠．