Primary Structural and Quantitative Analysis of Infeasible Solution to Job shop Scheduling Problem

1　IntroductionTheJobShopSchedulingProblemisawell-knownNP-hardproblem,whichattractslotsofmathematiciansallovertheworldspendingmuchtimeandenergyinthisfield.Uptonowtherearemanyefficientheuristicalgorithms,whichhadalreadybeendeveloped,buttheinfeasiblesolutioncertainlypossessesthemajorityofsearchspacewhichhasinfluencedtheefficiencyofthesealgorithms.Atthemoment,noonehasbeenfoundtobededicatingtothequantitativeanalysisoftheinfeasiblesolutionproblem.InthispaperthestructureofinfeasiblesolutiontoJSS…     

The Entropy of System Decreases with the Deflection from the Equiprobability Distribution

1　IntroductionEntropy,asameasurementthatdescribestheuncertaintyofsubsystemsdistributioninasystem,hasdevelopedunceasingly.First,R.J.E.Clausiusintroduceditintothermodynamics,asastatefunction,todescribetheauto-evolutionabilityofthestate.Thedifferenceofentropybetweenthetwostatesequalstothequantityofheatabsorbedbythesysteminanisothermalprocess,thatisS2-S1=∫21dQT(1)　　L.E.Boltzmannconnecteditwiththeuncertaintyofsubsystemsdistributioninathermodynamicalsystem.Theentropyofathermodynamicalsystem…     

Robust H_∞ Control of Robot Manipulator

１ＩｎｔｒｏｄｕｃｔｉｏｎＡｓｗｅｋｎｏｗ,ｂｅｃａｕｓｅｏｆｅｎｖｉｒｏｎｍｅｎｔａｌｃｏｎｄｉｔｉｏｎｓａｎｄｓｐｅｃｉａｌｄｅｓｉｇｎｄｅｍａｎｄｓ,ｒｏ－ｂｕｓｔｎｅｓｓｆｏｒｒｏｂｏｔｃｏｎｔｒｏｌｂｅｃｏｍｅｍｏｒｅａｎｄｍｏｒｅｉｍｐｏ...     

用神经网络实现线性系统状态估计

本文研究了一种用神经网络解决线性动态系统状态估计问题的方法。使用了动态优化技术设置Ｈｏｐｆｉｅｌｄ网络的加权矩阵。仿真结果显示本文研究的方法具有广泛的适用性。此方法对于大型系统实时估计具有很大的应用潜力。     

实时控制计算微分代数系统的代数约束算法

本文结合实际的航天工程背景,针对飞行器轨道约束实时控制模型问题进行了算法研究。首先分析了ＢＤＦ方法用于飞行器轨道约束实时控制模型问题时的缺陷,其后针对实际问题的特点构造了具有三阶收敛的代数约束算法,分析了该算法的数值稳定性,并对潜地式弹道约束实时控制问题及指标（ｉｎｄｅｘ）为２的单摆模型问题进行了实际仿真计算,理论分析以及数值结果表明代数约束算法对指标为２的半显式微分代数系统的实时控制计算是非常有效的。     

Capacity Reliability of Signalized Intersections with Mixed Traffic Conditions

The reliability of capacity of signalized intersections in mixed traffic conditions involving vehicles, bicycles, and pedestrians was investigated to complete the conventional, deterministic capacity calculations. Simulations using VISSIM provided estimates of capacity distributions, and demonstrated the effects of the analysis intervals on the distributions. With the random vehicle arrivals taken into account, a capacity reliability assessment method was given as a function. Assessments were also performed...     

Estimating the Willingness-to-Pay for Urban Housing in Chinese Cities

The housing market, an important component of the urban economy, is closely integrated with urban development. Urban development attracts labor inflows which then increase the housing demand in the cities. Urban dwellers’ willingness-to-pay (WTP) for housing, as part of their living costs, depends on their incomes they can earn in the cities and the quality of life (QOL) they want to enjoy. Urban wage growth and quality of life improvements are always accompanied by increased demand and increased WTP. This ...     

Applying File Information to Block-Level Content Addressable Storage

Content addressable storage (CAS) is a promising technology for improving storage efficiency as well as access throughput.Currently,many CAS products are implemented on the block level,which results in loss of file information.Thus,some sophisticated optimizations cannot be achieved,such as accurate fileprefetching.This paper presents a file-aware block-level storage system combined with the CAS function.In contrast with some existing file-level CAS,this system is transparent to upper-level applications,including the operating system and the file system.These features are achieved by using smart-disk technologies to help the storage system to learn the file-system layout.A prototype was implemented on an open-source virtual machine (VM) with the guest operating system being Windows XP.Tests show that this combination significantly reduces the size of the VM image file and improves the storage performance by discarding unused blocks and using a simple file-level prefetching strategy.     

Simplified Design for Concurrent Statistical Zero-Knowledge Arguments

This paper shows that the protocol presented by Goyal et al.can be further simplified for a one-way function,with the simplified protocol being more practical for the decisional Diffie-Hellman assumption.Goyal et al.provided a general transformation from any honest verifier statistical zero-knowledge argument to a concurrent statistical zero-knowledge argument.Their transformation relies only on the existence of one-way functions.For the simplified transformation,the witness indistinguishable proof of kn...     

Rapid Manufacturing of Sand Molds by Direct Milling

Direct milling of sand molds is an important development in rapid manufacturing of sand molds. Direct milling is an effective method for manufacturing single or small batches of cast parts. This paper describes experimental investigations to find sand blocks with the appropriate strength, to describe wear patterns of different tools (high-speed steel (HSS), carbide, and polycrystalline diamond (PCD) tools), and to analyze sand mold cutting mechanisms. The results show that the PCD tool outperformes the other tools in terms of tool life. Average flank wear and micro-tipping are the dominant tool failure modes in the sand mold milling process. With a flank wear limit of 0.3 mm, the PCD tool works continuously for about 70 h under the experimental conditions. The experimental results show that the cutting mechanism for direct milling sand molds differs from metal cutting.