Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

Catalytic reduction of no over perovskite-type catalysts

In the present work, we have investigated the reduction of NO by propane over perovskite-type oxides prepared by malic acid method. The catalysts were modified to enhance the activity by substitution of metal into A or B site of perovskite oxides. In addition, the reaction conditions, such as temperature, O₂ concentration, and space velocity have been varied to understand their effects on the catalytic performance. In the LaCoO₃ type catalyst, the partial substitution of Ba and Sr into A site enhanced the catalytic activity in the reduction of NO. For the La_0.6Ba (Sr)_o.4 Co_1−x Fe_xO₃ (x=0-1.0) catalyst, the partial substitution of Fe into B site enhanced the conversion of NO, but excess amount of Fe decreased the conversion of NO. The surface area and catalytic activity of perovskite catalysts prepared by malic acid method showed higher values than those of solid reaction method. The conversion of NO increased with increasing O₂ concentration and contact time. The introduction of water into reactant feed decreased the catalytic activity but the deactivation was shown to be reversible over La_0.6Ba_0.4Co_1−x ,Fe_xO₃ catalyst.     

基于Client/Server模式的智能抽题算法

文章介绍了一种应用于Client/Server模式的计算机辅助测试系统中的智能抽题算法。该算法采用抽题脚本动态获取题目信息,运用优化替换技术对抽取的脚本草稿进行替换修正,具有抽题快捷、网络传输量小、对数据库的完备性要求较低、通用性较强的优点。     

Flight decks and free flight: where are the system boundaries?

The change from managed to free flight is expected to have large effects, over and above the intended efficiency gains. Human factor concerns have understandably focused on how free flight may affect the pilots in the cockpit. Yet it is necessary to see the change from managed to free flight as more than just an increment to the pilots' work. Despite the best intentions the transition will not be a case of a smooth, carefully planned and therefore uneventful introduction of a new technology. It is more likely to be a substantial change to an already challenging working environment, in the air as well as on the ground. The significant effects will therefore not just happen within the existing structure or distribution of work and responsibilities, but affect the structure of work itself. This paper takes a look at free flight from a cognitive systems engineering perspective and identifies two major concerns: first what effects free flight has on the boundaries of the joint cognitive systems, and second how this affects demands to control. The conclusion is that both will change considerably and that we need to understand the nature of these changes before focusing on the possible effects of free flight on pilots' performance.     

Luminescence properties of Eu-activated Ca12Al10.6Si3.4O32Cl5.4: A promising phosphor for solid state lighting

In this article, we synthesized and characterized a novel bluish green phosphor for white light-emitting diodes, Eu²⁺-activated Ca₁₂Al_10.6Si_3.4O₃₂Cl_5.4. The phosphor shows broad and strong absorption in the region (320-450 nm), which is essential for improving the efficiency and quality of white light-emitting diodes. When excited at 380 nm, the phosphor shows two emission bands at around 425 and 500 nm. The main emission peak of Eu²⁺-activated Ca₁₂Al_10.6Si_3.4O₃₂Cl_5.4 exhibits red shift in comparison with that of Eu²⁺-activated Ca₁₂Al₁₄O₃₃, which is due to the introduction of Si and Cl ions. The results show Ca₁₂Al_10.6Si_3.4O₃₂Cl_5.4 is a promising host candidate for the phosphors.     

Macro OL-systemsf macro

Macro OL-systems and two of their subclasses, called FMOL-systems and RMOL-systems are introduced. Macro OL-systems arc motivated by theoretical models for the development of biological organism. Various properties of the families of languages generated by FMOL-systems and RMOL-systems are studied. It is shown that the family of languages generated by RMOL-systems forms the minimal full abstract family of languages containing the family of OL-languages.     

An efficient and secure cipher scheme for images confidentiality preservation

In this paper, a novel image encryption scheme based on two rounds of substitution–diffusion is proposed. Two main objectives have guided the design of this scheme: (a) robustness against the most known type of attacks (statistical, chosen/known plaintext, ciphertext-only and brute force attacks) and (b) efficiency in terms of computational complexity (i.e., execution time reduction) in order to meet recent mobiles’ applications’ requirements. First, a dynamic key, changed for every input image is generated and used as the basis to construct the substitution and diffusion processes. Then, the encryption process is performed by the transmitter based on a non-linear S-box (substitution) and a matrix multiplication (diffusion), applied on each sub-matrix of the image. At the destination side, decryption is applied in the reverse order. We have conducted several series of experiments to evaluate the effectiveness of the proposed scheme. The obtained results validated the robustness of our scheme against all considered types of attacks and showed an improvement in terms of execution time reduction compared to the recent existed image-encryption schemes.     

氧化羟丙基淀粉浆料性能研究

探讨氧化羟丙基淀粉浆料性能。利用氧化和羟丙基化复合变性制备了氧化羟丙基淀粉浆料,测试了黏度、取代度及pH值等因素对氧化羟丙基淀粉浆料及浆纱性能的影响。结果表明:氧化羟丙基淀粉浆料具有高浓低黏浆料特性,其黏度热稳定性和成膜性良好;在一定范围内,随着氧化剂用量的增加,黏度逐渐下降,浆膜断裂强度和断裂伸长率降低,耐磨性增加;随着取代度的增加,浆液黏度热稳定性提高,浆膜断裂强度和断裂伸长率都增加,水溶速度加快,浆液黏附力增大;取代度达到0.3的氧化羟丙基淀粉表现出良好的浆膜性能、黏附性能及对纯棉纱良好的浆纱效果。认为:取代度为0.3的氧化羟丙基淀粉具有较好的上浆性能。     

醋酸酯淀粉浆料粘附性能的研究

采用浸浆粗纱法研究醋酸酯淀粉浆料的粘附性能，以粗纱条的最大强力和断裂功为量化指标定量研究了淀粉品种、变性程度以及混合浆组分与其粘附性能的对应关系。试验表明，醋酸酯化变性能够改善淀粉对纤维的粘附性能；在变性程度相同时，醋酸酯马铃薯淀粉的粘附性能最好，醋酸酯玉米淀粉次之，醋酸酯木薯淀粉最差；用取代度为0．019的醋酸酯玉米淀粉与PVA-1799混配，在粘附性能方面能够达到玉米原淀粉与PVA-1788混用的效果。     

Computational study on IM-5 zeolite: What is its preferential location of Al and proton siting?

The topological structure of IM-5 zeolite has remained a mystery for nearly 10 years. Stimulated by the recently structural solution of IM-5, we firstly report the computational study on the Al locations, acid sites and acid strength, which are important to understand the catalytic mechanism of IM-5. At the B3LYP/6-31+G(d,p) level, the 8T models were applied. The substitutions of Si by Al atom at 24 inequivalent tetrahedral crystallographic sites and the corresponding H proton localizations were examined by calculating the Al, H substitution energies, proton affinities, the atomic charges on proton and hydroxyl stretching vibrational frequencies. Based on the calculated results it was predicted that the most favorable sites for Al atom substitution in IM-5 were T4, T5, T14, T15 and T19 sites, whereas the least favorable sites were T1, T3, T8, T11, and T16 sites. There are about 40 preferable Al, H locations with relatively high acidity, including the nine strongest acid sites Al19H43 > Al14H18 > Al5H13 > Al4H8 > Al10H26, Al15H26, Al15H37, Al22H45 and Al24H47. The last five sites have equivalent proton affinity values. The numerous Al, H-sites with high acidity may be responsible for the high catalytic ability of IM-5. The calculated results should be helpful for understanding the chemistry of IM-5, the most complicated zeolite material known up to now.