单向执行器系统配置的完整性

提出了配置完整性的概念,用来表征单向执行器系统控制作用的生成能力.并且将 配置完整性归结为线性方程组正解的存在性问题,给出了配置矩阵完整性的若干性质和判 别条件及其相应的判别步骤.     

分布式环境下书目数据库的安全性问题

基于MicrosoftSQLServer 6 .5分布式数据库的完整性、安全性、并发性和故障恢复等机制 ,对分布式环境下书目的数据库安全性提出了一套有效的策略 ,并通过身份验证、利用视图等 7个方面来实现该系统的数据库安全性问题     

The Complexity of the Exponential Output Size Problem for Top-Down and Bottom-Up Tree Transducers,

The exponential output size problem is to determine whether the size of output trees of a tree transducer grows exponentially in the size of input trees. In this paper the complexity of this problem is studied. It is shown to be NL-complete for total top-down tree transducers, DEXPTIME-complete for general top-down tree transducers, and P-complete for bottom-up tree transducers.     

数据库财务管理系统中的后台监督

本文借鉴某些大型机上的系统日记的思想,为自己的财务系统建立一个后台监督系统,以解决凭证数据库的数据修改问题以及由此引起的完整性和安全性问题。     

Identification of chemical oviposition stimulants from rice grain forSitophilus zeamais motschulsky (Coleoptera,Curculionidae)

Chemical components stimulating oviposition bySitophilus zeamais in rice grain were isolated from rice bran and were found to be a mixture of ferulates, diglycerides, and free sterols. Oviposition preference of the species can be induced by synergistic action of these compounds.     

基于PCA-LINMAP-FCE的通信系统维修性评价方法

为提高通信系统维修性评价的实用性和可操作性,提出了一种基于 PCA-LINMAP-FCE 的维修性评价方法。在构建简化的维修性评价指标体系的基础上,将 PCA-LINMAP 与模糊综合评判（ FCE）方法相结合,从定量和定性的角度对维修性进行评价。实例仿真分析表明,该方法可操作性强,且有效地降低了评价的主观随意性,使维修设计和作业人员全面掌控通信系统装备维修性的影响因素,能够为科学制定设计方案和维修实施决策方案提供决策信息。     

A study of replacement rules for a parallel fleet replacement problem based on user preference utilization pattern and alternative fuel considerations

Parallel fleet replacement problems deal with determining an optimal replacement schedule that results in a minimal total cost of owning and operating a fleet within a finite planning horizon. In this paper, the fleet consists of service vehicles, varying in age and cumulative mileage, commonly owned by government agencies or private business organizations. The paper focuses on three main aspects of the problem, including the effects of some widely used replacement rules, consideration of alternative fuel vehicles for replacement, and a new “user preference” utilization pattern. The vehicle replacement rules under study include purchase-new-vehicles-only, no-splitting-in-selling, one-purchase-choice, older-vehicles-selling, and all-or-none rules. The initial fleet consists of gasoline vehicles, while alternative-fuel vehicles using either compressed natural gas (CNG) or liquefied petroleum gas (LPG) are included as challengers in every replacement decision period. The user preference utilization pattern denotes a pattern in which yearly usage of vehicles declines as the vehicles grow older or have higher cumulative mileage. Integer programming formulation of the defined problem that incorporates these new factors is provided. Small numerical examples under various scenarios and a large problem instance with model parameters estimated from actual data are solved to optimality to gain some insights about the replacement rules and other considered factors.     

A consistency and consensus based decision support model for group decision making with multiplicative preference relations

In group decision making (GDM) with multiplicative preference relations (also known as pairwise comparison matrices in the Analytical Hierarchy Process), to come to a meaningful and reliable solution, it is preferable to consider individual consistency and group consensus in the decision process. This paper provides a decision support model to aid the group consensus process while keeping an acceptable individual consistency for each decision maker. The concept of an individual consistency index and a group consensus index is introduced based on the Hadamard product of two matrices. Two algorithms are presented in the designed support model. The first algorithm is utilized to convert an unacceptable preference relation to an acceptable one. The second algorithm is designed to assist the group in achieving a predefined consensus level. The main characteristics of our model are that: (1) it is independent of the prioritization method used in the consensus process; (2) it ensures that each individual multiplicative preference relation is of acceptable consistency when the predefined consensus level is achieved. Finally, some numerical examples are given to verify the effectiveness of our model.     

基于边界扫描技术的抗混淆自适应测试算法

针对现有边界扫描测试快速测试算法存在征兆混淆现象的问题,在深入分析多种测试算法的基础上,提出一种抗混淆的自适应测试算法.首先,通过分析走步算法的特点,给出一种走步算法的改进方案.该方案在保证算法完备性指标不变的情况下,提高了算法的紧凑性指标.在此基础上,结合改良计数序列算法,生成抗混淆自适应测试算法.该算法解决了改良计数序列算法存在的征兆混淆问题,极大提高了算法的完备性指标,且紧凑性指标较好.