关于数理逻辑的几点辨析

数理逻辑的大量方法已运用于计算机软件的理论研究中,本文主要讨论了数理逻辑中容易出错的三种情况,并对这三种情况分别给出了具体的实例分析,以期学生能够准确的掌握。     

汽车驾驶时脑电干扰的去除方法研究

眼电干扰和电磁干扰是汽车驾驶脑电测量中常见的两种干扰,通过用小波分析和独立分量分析两种信号处理方法对脑电的干扰情况进行了分析和去除.结果表明两种方法都能用在驾驶时脑电的干扰去除中,小变换方法适用于通道数少,实时性要求较高的情况.而独立分量分析方法则适用于多通道的情况.     

浅析无线局域网安全技术及在企业网中的应用

简单分析了目前无线局域网中采用的主要几种安全技术、应用范围、技术特点及不足之处,介绍了在企业无线局域网建设中,针对不同的网络情况采用的几种安全技术和方案,并从当前技术发展的实际情况出发分析了需要解决的问题等。     

考虑不完美排错情况的NHPP 类软件可靠性增长模型

针对现有NHPP类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性,又考虑了不完全排错的情况,并且引入了一种故障排除率随时间变化的故障排除率函数,使模型更符合实际情况.利用公开发表的两组不同的软件失效数据对该模型进行验证的结果表明,与现有的对不完美排错情况考虑不完全的模型相比,该模型能够取得更好的拟合结果和预测效果.     

考虑不完美排错情况的NHPP 类软件可靠性增长模型

针对现有NHPP 类软件可靠性增长模型对故障排错过程中不完美排错情况考虑不完全的现状,提出了一 种新的软件可靠性增长模型.该模型全面考虑了不完美排错的两种情况:既考虑了排错过程中引入新错误的可能性, 又考虑了不完全排错的情况,并且引入了一种故障排除率随时间变化的故障排除率函数,使模型更符合实际情况.利 用公开发表的两组不同的软件失效数据对该模型进行验证的结果表明,与现有的对不完美排错情况考虑不完全的 模型相比,该模型能够取得更好的拟合结果和预测效果.     

欧式空间中反向最远邻查询方法的研究

大部分反向最远邻查询算法采用过滤-提纯查询处理框架,对数据集和查询点的位置关系不进行判断。针对这种情况,提出了一种处理欧式空间中反向最远邻查询方法,首先利用查询点与凸包之间的位置关系进行判断,得到三种情况,针对第三种情况再进行过滤和提纯两步处理。在过滤步骤中,使用修改的半平面修剪策略,除去大量的数据点,在提纯步骤排除不是查询点反向最远邻的数据点。实验结果验证了算法的有效性。     

系统

删除文件名含有非法字符的文件QWindows7系统,文件名中含有特殊字符(也不知道是如何出现的),想删除时总是提示出错,无法删除,试了Unlocker亦无效。请问这样的文件如何才能删除?A出现这种情况一般有两种原因,一种是因非法关机或其他误操作导致系统磁盘出错,并进而导致出错位置的文件无法删除,这种情况下只要直接扫描一下磁盘分区并修复磁盘错误即可解决问题。第二种情况就是中了恶意病毒,这种情况只有先杀毒、清理流氓软件(例如使用     

基于延迟时间理论的n中取k系统检测区间模型

延迟时间理论广泛应用于系统维修领域,能够更为细致和准确地反映系统的运行状态.不同于一般维修理论只用一个阶段描述系统的故障过程,该理论将系统的故障过程分为两个阶段:正常阶段和缺陷运行阶段.系统部件的状态有正常、缺陷和故障3种情况.延迟时间理论主要应用于单部件系统和串联系统的维修和检测,目前尚未应用于n中取k系统.对此,运用延迟时间理论确定n中取k系统的最优维修检测区间,分别针对两种情况进行分析:一种是系统中部件的初始缺陷发生时间服从指数分布的情况,一种是其服从非指数分布的情况.建立单位时间维修费用模型和设计仿真过程,以单位时间维修费用最小为目标进行优化,求解系统的最优维修检测区间.最后通过数值案例表明所提出方法的有效性.     

介绍一种dBASEⅢ中通行字的设置方法

为了对非法用户保密或者关键数据怕误动作破坏数据库,故一般用cdBASEⅡ编写的管理程序,在主控模块或子模块中,特加入保密口令即通行字。那么如何在程序中设置口令呢?下面分两种情况分别进行讨论。在这两种情况中,第一     

锐化的极限

锐化实际操作中,经常会发生两种情况：一是锐化不足,输出的照片清晰度不够,这是吃亏的。另一种情况是锐化过度,导致照片清晰度下降并伴生大量噪点,画质受损,这更是吃亏。合理锐化首先要弄清楚：锐化的极限在哪里？     

解决在WORD 2003中打印文档时无法打印图形的情况

在Word 2003中打印文档时,如果无法打印图形,可能出现的情况有以下几种：     

VPDN LNS备份实施方案研究

为了使VPDN在使用过程中更加稳定,对VPDN LNS设备的备份就非常重要,根据不同的部署条件给出6种不同的LNS设备备份实施方案,并对其中3种方案的具体实施情况进行分析和总结,使用户可以根据各自的不同条件和投资情况进行相应的LNS设备备份。     

两台流水机器协调分解调度问题

研究钢管加工流程中一类新型两台机器流水车间调度问题,工件在第一台机器上加工后被分解成多个子工件.对于最小化最大完成时间的情况,给出一个多项式时间的最优算法;对于最小化最大完成时间与惩罚费用之和的情况,给出一个拟多项式时间的动态规划算法;对于考虑生产前运输的最小化最大完成时间的情况,分析了问题的复杂性.证明了第一种情况的最优算法可作为后两种情况的2-近似算法.数值实验表明了算法的有效性.     

Web使用挖掘在电子商务中的应用研究

提出一种在电子商务环境中Web使用挖掘模型,该模型同时考虑了用户浏览路径模式挖掘和关联规则挖掘两种情况,克服了单纯考虑一种情况所带来的缺点。实验结果表明,该模型能正确捕获用户的浏览和购买行为,从而为Web站点经营者制定更有效的市场营销策略提供依据,使其及时改进决策,获得更大的竞争优势。     

网吧中下载文件新绝招

概括说来，我们在网吧中有两种情况下要下载软件，第一种是临时看到自己喜欢的软件要下载试用，第二种情况是想要下载自己事先准备好的件，如邮箱或网络硬盘中的件。针对这两种情况我们分别说一说。     

Pascal语言中数据类型的等价问题

在Pascal语言中 ,提出了数据类型定义的问题 ,但是它在对两种数据类型是否相同的比较操作中 ,存在着两种标准 ,即名字相同和结构相同 ,本文讨论这两种标准出现的情况以及其利弊 ,并与其它高级程序设计语言作了比较。     

遇到删不掉的文件应该怎样处理

在删除某个文件时,系统会给出各种各样的提示,有的文件就是死活不让删。造成这种情况的原因主要有三种：一是文件正在被系统使用,二是文件名中包含系统无法识别的字符,三是用户权限不够。我们主要研究前两种情况,下面做了个整理,帮你解决这个问题。     

一种新型的作战指挥流程效能评估模型

为建立作战指挥流程效能的评估模型,定义在某一种指挥流程下,指挥信息传递过程中信息流通迅速程度的度量称为指挥流的“时效”,以“时效”的大小作为衡量流程效能的高低。“反馈”是作战指挥流程中常见的情况,根据实际情况确立了“反馈”流程的非线性反馈函数。此方法为优化指挥流程提供了一种科学有效的定量分析途径。     

C＋＋中默认构造函数的探讨

阐述了C 中编译器自动合成默认构造函数的四种情况及需要注意的问题。     

Access97计算字段实用技巧

在Access97中,在利用表创建的窗体中,有时需要添加一些计算字段。但在其他窗体或报表中,再直接引用这个计算字段时,会发生一些意想不到的情况。本文以一个合同管理系统为例,做进一步说明。假设有表1,其结构如表1,含有“合同ID”等七个字段：利用表1可以创建窗体A,它包含表1的所有字段,并另加一个“应缴年租”项。注意,这里出现的“应缴年租”,它是根据合同进行和终止的情况,计算出某一合同当年应缴的年租。计算的过程中,要用到“起租日期”、“截止日期”、“合同中断日期”等字段。这里有以下两种情况：第一种情况,假设表1…