AADL 测试模型的构造研究

目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用.为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误.研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果.     

化纤精纺陶瓷磨擦盘的研制

本文在Mgo—Al_2O_3—SiO_2三元系高铝瓷配方的基础上,选用高纯活性α—Al_2O_3粉料,将MgO 等复合添加剂按一定成份和比例加入配料中以促进烧结,并改善材料的显微结构。采用一次造粒的干压成型工艺,在高温隧道窑中连续烧成,获得了批量产品性能一致的细晶陶瓷磨擦盘制品。     

化学铣切槽液中Na2S的分析

本文采用“碘量法”测定化铣液中的硫化钠，分析结果的准确度和精密度完全能够满足生产要求。     

Lattice-based key exchange on small integer solution problem

In this paper, we propose a new hard problem, called bilateral inhomogeneous small integer solution （Bi-ISIS）, which can be seen as an extension of the small integer solution problem on lattices. The main idea is that, instead of choosing a rectangle matrix, we choose a square matrix with small rank to generate Bi-ISIS problem without affecting the hardness of the underlying SIS problem. Based on this new problem, we present two new hardness problems： computational Bi-ISIS and decisional problems. As a direct application of these problems, we construct a new lattice-based key exchange （KE） protocol, which is analogous to the classic Diffie- Hellman KE protocol. We prove the security of this protocol and show that it provides better security in case of worst-case hardness of lattice problems, relatively efficient implementations, and great simplicity.     

Solvent free oxidation of alcohols catalyzed by KMnO4 adsorbed on Kieselguhr

Efficient and selective oxidation of primary and secondary alcohols to the corresponding aldehydes and ketones catalyzed by potassium permanganate supported on Kieselguhr reagent under solvent free conditions are reported.     

Effects of silicone oil and polymeric modifiers on the mechanical properties of highly filled LLDPE

The effects of coupling agents, silicone oil, and three types of polymeric modifiers on the mechanical properties of linear low density polyethylene (LLDPE) composites highly filled with aluminium hydroxide [Al(OH)₃] were studied. Polymeric modifiers that contain polar groups, such as silane‐grafted polyethylene (Si‐g‐PE) and acrylic‐acid‐grafted ethylene‐vinyl acetate copolymer (AA‐g‐EVA), improve the mechanical properties dramatically, while nonpolar modifiers improve them to some extent. When Al(OH)₃ was treated using a titanate coupling agent, the silicone oil increased the impact strength and elongation at break of the LLDPE/Al(OH)₃ composites. Introduction of a polymeric modifier containing polar groups destroys the beneficial effects of silicone oil on film mechanical properties, while the introduction of a nonpolar elastomeric polymeric modifier retains the high impact strength and elongation at break. SEM analyses provide the indirect evidence of the encapsulation of silicone oil around the filler. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 83: 121–128, 2002     

"互联网+"时代个性化试题推荐方法

"互联网+"环境下,网上自主学习已成常态.文章提出一种个性化试题推荐方法,先通过认知诊断模型诊断出学生的认知状态,再采用协同过滤方法推荐试题,能给学生推荐准确且可解释性的试题.     

Augmented Online Sequential Quaternion Extreme Learning Machine

Neural Processing Letters - Online sequential extreme learning machine (OS-ELM) is one of the most popular real-time learning strategy for feedforward neural networks with single hidden layer due...     

An ultrahigh-resolution image encryption algorithm using random super-pixel strategy

Multimedia Tools and Applications - Almost all existing image encryption algorithms are only suitable for low-resolution images in the standard image library. When they are used to encrypt...     

Conspiracy vs science: A large-scale analysis of online discussion cascades

World Wide Web - With the emergence and rapid proliferation of social media platforms and social networking sites, recent years have witnessed a surge of misinformation spreading in our daily life....