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.     

基于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.     

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混用的效果。     

高铋粗铅电解精炼生产控制条件浅析及实践

分析了铋在粗铅电解精炼中的行为,介绍了高铋粗铅电解精炼中存在的问题,通过采取合理搭配粗铅、控制电流密度及电解液成分、阳极泥洗水铅铋置换等有效措施,确保了铅电解生产平稳运行,析出铅合格。     

给/吸电子基团取代对三苯胺基二苯乙烯衍生物光导性能的影响

分别以甲氧基作为给电子基团、溴作为吸电子基团,设计并合成了一系列三苯胺基二苯乙烯衍生物.用红外光谱、核磁共振谱及元素分析对其化学结构进行了表征.通过紫外-可见吸收光谱和循环伏安法研究了其能带结构.以三苯胺基二苯乙烯衍生物作为电荷传输层、TiOPc作为光生层,制备了双层光电导体,研究了给/吸电子基团取代对光导性能的影响.     

通道式辐射计的相对光谱响应率定标

为配合气象卫星的在轨辐射定标,利用自行设计的宽光谱辐射定标系统配合高精度陷阱探测器,采用光谱替代法为试验中所需的可见、近红外辐射计和近红外、短波红外辐射计进行了高精度相对光谱响应率定标.详细叙述和分析了定标过程以及影响测量结果的不确定度源,其最终合成不确定度为3.21×10-3,满足了定标精度要求.