Hamiltonian-connected graphs

For a simple graph G, let . In this paper, we prove that if NCD(G)≥|V(G)|, then either G is Hamiltonian-connected, or G belongs to a well-characterized class of graphs. The former results by Dirac, Ore and Faudree et al. are extended.     

风力机控制策略对功率和转速变化的影响分析

为了掌握风力发电机控制策略对运行过程中风力发电机转速和功率流动的影响,在简要介绍与功率和转速变化有关的风力发电机控制策略的基础上,分析了采用不同控制策略的风力发电机功率产生的特点.重点阐释了风力发电机变桨矩控制方法对风力发电机组的功率流动、叶轮转速变化的影响.得出了不同控制策略下风力发电机功率流动方向、叶轮转速大小和方向的变化,以及叶轮转速变化的依据和限制.     

微波物位计测量干扰因素的研究

随着高精度微波物位计在储罐系统中的大量使用,其在实际工况中的测量精度得到了越来越多的关注.从频率源、天线形式、微波的测量技术以及信号的检测和处理算法等几个方面介绍了微波物位计的设计要素.说明了影响微波物位计测量的因素主要体现在安装方式和安装位置、信号的强度以及测量介质气相状况等.详细叙述了实际工作中采用较多的微波物位计的测量值修正方法,对广大工程技术人员的选型、安装和调试,乃至新产品研发具有一定的借鉴和参考作用.     

基于AT89C52的天车智能遥控系统研究与设计

为改善天车操作人员工作环境,提高工作效率和控制精度,对继电器-接触器控制系统进行了改进.采用了先进的微波和电子技术设计无线智能遥控装置.该遥控装置分为遥控发射机和遥控接收机两部分.前者以单片机AT89C52为核心,控制芯片MT8888C完成DTPF信号的发送;后者以单片机AT89C52为核心,控制芯片MT8888C完成DTPF信号的接收,并分析接收信号,进行译码.通过驱动外围设备,控制天车按发送命令运行,实现了对天车的远距离控制,大大方便了操作.     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

网络扫描技术的智能化研究

针对现有网络扫描技术中存在的扫描静态性和分析评估功能有限等不足,在对网络扫描基本原理综合分析的基础上,进行了网络扫描技术智能化策略的分析探讨,同时提出了一个符合智能化策略的网络扫描系统概念模型.     

身份认证协议的新安全属性

总结了针对身份认证协议的一类新型攻击的特征。对于攻击的分析,引入了两个新的安全属性定义,其一定义在单个证明者的环境中,另一个则定义在多个证明者的环境中。并可证明这两个安全属性本质上是等价的。因此,只要满足了其中单证明者环境下的安全要求,身份认证协议也能安全地运行在多个证明者的环境下。     

基于WAP的校园无线门户网站设计与实现

WAP(Wireless Application Protocol)是Internet与移动网络有机结合的技术,为无线数据应用提供了平台.通过详细介绍WAP技术的原理与编程开发模型,根据校园门户网站的新需求,将JSP(Java Server Pages)技术与WAP技术相结合,设计和开发了校园无线门户网站,提出了在开发过程中出现的关键技术问题,并给出相应的解决方案.     

基于WEB服务器方式中优化ClearCase手动同步系统的实现

针对ClearCase同步功能的不足,使用网页浏览的方式,运用适合Unix、Solaris等操作系统的Perl脚本语言及ASP客户端脚本语言编写程序代码,改善繁琐的操作界面,简化手动同步的步骤,提高手动同步功能的实用价值,构建了具有Web服务器方式的运行环境,优化了手动同步功能.     

鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在聚甘氨酸修饰电极上的电化学行为及其同时测定

在优化的实验条件下,利用电化学方法制备了甘氨酸修饰电极,对修饰膜的电活性进行了表征.用循环伏安法研究了鸟嘌呤(G)和8一羟基脱氧鸟嘌呤核苷(8-OH-dG)在聚甘氨酸修饰电极上的电化学行为,并建立了对两者进行分别检测和同时检测的分析方法.实验结果表明,聚甘氨酸修饰电极可以增强鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在电极表面的吸附,并且可以加快鸟嘌呤和8-羟基脱氧鸟嘌呤核苷在电极表面的电子传输,使两种电活性物质在聚甘氨酸修饰电极上的电化学信号明显增大,检测灵敏度大大提高,并且该修饰电极具有良好的稳定性和重现性.可用于鸟嘌呤和8-羟基脱氧鸟嘌呤核昔的分别和同时检测.