The quantifier structure of sentences that characterize nondeterministic time complexity

For every nondeterministic Turing machineM of time complexityT(n), there is a second-order sentence of a very restricted form, whose set of finite models encodes the set of strings recognized byM. Specifically, has a relational symbol which is interpreted as addition restricted to finite segments of the natural numbers, and a prefix consisting of existentially quantified unary second-order variables followed by a universal-existential first-order part. Here, every input stringx is encoded by a model of sizeT(|x|). Using a closely related encoding of strings as models where the size of the model is the length of the string, a consequence is that ifT(n)=n ^d, then there is a sentence with a similar prefix but whose second-order variables ared-ary and whose finite models encode the strings accepted byM. Potential applications to low-level complexity are discussed.     

基于MCS-51系列单片机时间控制器软件的设计与实现

本文设计的基于MCS-51系列单片机时间控制器主要应用AT89C51作为控制核心,采用实时时钟芯片DSl302、EipROM24C02及动态数码显示相结合。具有硬件电路简单、软件功能完善、控制系统可靠、性价比较高等特点,具有一定的使用和参考价值。     

基于单片机的皮带秤变频调速控制仪的设计与实现

介绍了皮带秤调速控制仪系统实现的原理和方法,提出了在皮带秤调速控制仪的动态跟踪问题,采用模糊-数字PID复合控制算法,既可计量也可以实时跟踪控制产量。实践表明,该控制方法理想地解决了实时跟踪问题,取得了较好的控制效果。     

基于时间序列模式表示的异常检测算法*

提出了一种基于时间序列的模式表示提取时间序列异常值的异常检测算法(PREOV).时间序列的模式表示本身就具有压缩数据、保持时间序列基本形态的功能,并且具有一定的除噪能力.在时间序列模式表示的基础上提取异常值,可以大大提高算法的效率和准确性,达到事半功倍的效果.在本算法中,还使用了一定的剪枝策略,使得算法的时间复杂度进一步降低.该算法计算简单、实现方便、无须训练,可以支持时间序列的动态增长.     

Effect of additives on formation of natural gas hydrate

The formation of natural gas hydrate (NGH) is studied in this work. Kinetics data of hydrate formation with no agitation were collected at various concentrations of the aqueous solutions with different additives such as alkylpolyglucside, sodium dodecyl benzene sulfonate and potassium oxalate monohydrate. Various kinds of additive increased the formation rates of NGH and its storage capacity and reduced the induction time of NGH formation. Moreover, the storage capacity, the induction time and the hydrate formation rate were influenced by the concentration of the aqueous solution.     

Motion-based method for estimating time required to attach self-adhesive insulators

A self-adhesive insulator is a component of a home appliance that is used to suppress vibration or prevent humidity affecting the internal parts of the appliance. There is a wide range of types and designs available, allowing them to be applied to areas having different shapes. At the design stage, once an insulator design has been developed sufficiently to identify its dimensions and features, the attaching time and baseline cost must be estimated with reasonable accuracy to enable a comparison of vendor quotes. However, the current estimation method is not sufficiently accurate in terms of the baseline cost. This paper presents a motion-based time-estimating scheme with which the time required for the attachment of such insulators can be calculated more accurately. The scheme has been developed by analyzing the motions needed to attach 350 insulators and then designating representative motions and their time values. For this purpose, a modular arrangement of predetermined time standards (MODAPTS) is adopted. Motion-based time-estimation method is useful in terms of simplicity and accuracy. It enables design engineers to estimate the time required for the attachment based only on a drawing of the insulator and a few MODAPTS rules. Estimates made with this method should vary from the actual value by no more than 9.5%.     

Exploiting temporal information in Web search

Time plays important roles in Web search, because most Web pages contain temporal information and a lot of Web queries are time-related. How to integrate temporal information in Web search engines has been a research focus in recent years. However, traditional search engines have little support in processing temporal-textual Web queries. Aiming at solving this problem, in this paper, we concentrate on the extraction of the focused time for Web pages, which refers to the most appropriate time associated with Web pages, and then we used focused time to improve the search efficiency for time-sensitive queries. In particular, three critical issues are deeply studied in this paper. The first issue is to extract implicit temporal expressions from Web pages. The second one is to determine the focused time among all the extracted temporal information, and the last issue is to integrate focused time into a search engine. For the first issue, we propose a new dynamic approach to resolve the implicit temporal expressions in Web pages. For the second issue, we present a score model to determine the focused time for Web pages. Our score model takes into account both the frequency of temporal information in Web pages and the containment relationship among temporal information. For the third issue, we combine the textual similarity and the temporal similarity between queries and documents in the ranking process. To evaluate the effectiveness and efficiency of the proposed approaches, we build a prototype system called Time-Aware Search Engine (TASE). TASE is able to extract both the explicit and implicit temporal expressions for Web pages, and calculate the relevant score between Web pages and each temporal expression, and re-rank search results based on the temporal-textual relevance between Web pages and queries. Finally, we conduct experiments on real data sets. The results show that our approach has high accuracy in resolving implicit temporal expressions and extracting focused time, and has better ranking effectiveness for time-sensitive Web queries than its competitor algorithms.     

Muscular fatigue and maximum endurance time assessment for male and female industrial workers

A single arm pushing experiment was conducted in an electronic factory in Yantai, China to assess muscular fatigue using the theoretical models of muscular strength and maximum endurance time (MET) developed by Ma et al. (2009). Seventy seven workers, including 38 males and 39 females, participated in the study. The muscular strength of pushing was measured after the subject pushed a stick, with a force of 2.5 kgf, for 0.5, 1.0, 1.5, 2.0, 2.5, and 3.0 min. Fatigue rate was determined based on a regression approach. In addition to the theoretical model, the MET for such a pushing task was also determined using four empirical models in the literature. The results indicated that females were more resistant to muscular fatigue than males in the pushing task. The results of the muscular strength prediction show that the predictability of the muscular strength model is acceptable. The prediction errors for muscular strength for female subjects were significantly lower than those of the male subjects. The predicted MET using the theoretical model, with a group constant k, was highly correlated with those using the empirical models compared in the current study.     

Determination of temporal information granules to improve forecasting in fuzzy time series

Partitioning the universe of discourse and determining intervals containing useful temporal information and coming with better interpretability are critical for forecasting in fuzzy time series. In the existing literature, researchers seldom consider the effect of time variable when they partition the universe of discourse. As a result, and there is a lack of interpretability of the resulting temporal intervals. In this paper, we take the temporal information into account to partition the universe of discourse into intervals with unequal length. As a result, the performance improves forecasting quality. First, time variable is involved in partitioning the universe through Gath–Geva clustering-based time series segmentation and obtain the prototypes of data, then determine suitable intervals according to the prototypes by means of information granules. An effective method of partitioning and determining intervals is proposed. We show that these intervals carry well-defined semantics. To verify the effectiveness of the approach, we apply the proposed method to forecast enrollment of students of Alabama University and the Taiwan Stock Exchange Capitalization Weighted Stock Index. The experimental results show that the partitioning with temporal information can greatly improve accuracy of forecasting. Furthermore, the proposed method is not sensitive to its parameters.     

水下拖曳体多源信息监控系统设计与实现

基于海洋电法探测系统中水下拖曳体对多源信息实时监控的需求,设计了一种准实时监测拖曳体的运动状态与环境信息的监控系统。该系统可与水面监控器保持命令与数据沟通,并在监控器的指令下启动水下电法仪执行参数设置、数据采集等操作。经系统样机的海上测试结果表明,系统性能稳定可靠,能够在其他水下信息采集作业中得到推广应用。