Strong Diffie-Hellman-DSA Key Exchange

To provide authentication to the Diffie-Hellman key exchange, a few integrated key exchange schemes which provide authentication using the DSA signature have been proposed in the literature. In this letter we point out that all of the previous Diffie-Hellman-DSA schemes do not provide security against session state reveal attacks. We also suggest a strong Diffie-Hellman-DSA scheme providing security against session state reveal attacks as well as forward secrecy and key independence     

Laser scanning path generation considering photopolymer solidification in micro-stereolithography

It is essential to automate the scanning path generation process to effectively implement the micro-stereolithography. However, a scanning path that is generated based only on a 3D CAD model introduces dimensional inaccuracies. In micro-stereolithography, the photopolymer solidification is affected by fabrication conditions, such as the optical properties (laser power, laser scanning speed, laser scanning pitch focusing condition, etc.) and material properties of the photopolymer. Thus, the photopolymer solidification phenomena must be considered when generating a laser scanning path. In this paper, a scanning path generation algorithm that uses 3D CAD data and considers the photopolymer solidification phenomena is proposed to improve the dimensional accuracy in micro-stereolithography. Multi-line photopolymer solidification experiments were performed for various laser scanning conditions to examine the photopolymer solidification phenomena. From these experiments, linear relations between the solidification length (width) and scanning length (width) were acquired and stored in a database. Subsequently, these data were utilized to compensate the scanning path of the laser beam. In addition, experiments for determining the layer thickness in the z-direction were performed and these results were also used in the scanning path generation algorithm.This research was supported by the Highly Advanced National Project (http://www.most.go.kr), which performs some of the National R&D Program, and sponsored by the Korean Ministry of Science and Technology under the contract project code M10214000116-02B1500-02010.     

Design,Implementation, and Validation of KOMPSAT‐2 Software Simulator

In this paper, we present design features, implementation, and validation of a satellite simulator subsystem for the Korea Multi‐Purpose Satellite‐2 (KOMPSAT‐2). The satellite simulator subsystem is implemented on a personal computer to minimize costs and trouble on embedding onboard flight software into the simulator. An object‐oriented design methodology is employed to maximize software reusability. Also, instead of a high‐cost commercial database, XML is used for the manipulation of spacecraft characteristics data, telecommand, telemetry, and simulation data. The KOMPSAT‐2 satellite simulator subsystem is validated by various simulations for autonomous onboard launch and early orbit phase operations, anomaly operation, and science fine mode operation. It is also officially verified by successfully passing various tests such as the satellite simulator subsystem test, mission control element system integration test, interface test, site installation test, and acceptance test.     

基于局部差别的形态学边缘检测方法研究

图像边缘特征是图像最基本也是最重要的特征之一.图像边缘特征的提取一直是计算机视觉和图像处理领域的经典研究课题,在精确制导武器的制导图预处理中有着广泛地应用.针对经典的边缘检测算子不能很好地提取噪声图像边缘这一问题,在数学形态学的基础上,提出了一种边缘提取方法.利用局部差别准则确定图像中受噪声影响的像素点,并对其进行形态学操作,滤除噪声,保存边缘.实验表明,该算法不仅具有很好的边缘提取能力,还具有很强的抗噪能力.说明了该算法的有效性和实用性.     

致密低渗透气田的试井特征分析--以新场气田为例

经对新场气田的试井资料处理,建立了不同类型储层典型井试井解释范例,得出低渗透试井判别式和判别图版,对该区具有低渗透特征的试井曲线进行了讨论。根据试井结果,可识别气藏(气层)储集类型,确定产层物性参数,为气藏动态分析提供基础资料。为开发致密低渗砂岩气藏、保持稳产高产奠定基础。     

Reliability-based failure cause assessment of collapsed bridge during construction

Until now, in many forensic reports, the failure cause assessments are usually carried out by a deterministic approach so far. However, it may be possible for the forensic investigation to lead to unreasonable results far from the real collapse scenario, because the deterministic approach does not systematically take into account any information on the uncertainties involved in the failures of structures.Reliability-based failure cause assessment (reliability-based forensic engineering) methodology is developed which can incorporate the uncertainties involved in structural failures and structures, and to apply them to the collapsed bridge in order to identify the most critical failure scenario and find the cause that triggered the bridge collapse. Moreover, to save the time and cost of evaluation, an algorithm of automated event tree analysis (ETA) is proposed and possible to automatically calculate the failure probabilities of the failure events and the occurrence probabilities of failure scenarios. Also, for reliability analysis, uncertainties are estimated more reasonably by using the Bayesian approach based on the experimental laboratory testing data in the forensic report. For the applicability, the proposed approach is applied to the Hang-ju Grand Bridge, which collapsed during construction, and compared with deterministic approach.     

Guest Editors' Introduction: Social Media and Search

The past few years have seen a rapid rise in social media Web sites. As user content becomes the dominant content form on the Web, various questions arise about the most effective approach to processing it.     

层状Ti3SiC2陶瓷的组织结构及力学性能

利用热压烧结TiH₂,Si和C粉获得了致密度大于98%的层状Ti₃SiC₂陶瓷。利用压痕法,在不同的载荷下测定了材料的维氏硬度, 发现其硬度值随载荷的增加而降低,在最大载荷30kg时,硬度值为4GPa。压痕对角线没有发现径向裂纹的出现。 这归因于多重能量吸收机制——颗粒的层裂、裂纹的扩展、颗粒的变形等。利用三点弯曲法和单边切口梁法测定了材料的强度和韧性分别为270MPa和6.8MPa·m1/2。Ti₃SiC₂材料的断口表现出明显的层状性质,大颗粒易于发生层裂和穿晶断裂,小颗粒易被拔出。当裂纹沿平行于Ti₃SiC₂基面的方向扩展造成颗粒的层裂,当裂纹沿垂直于基面的方向扩展时,裂纹穿过颗粒的同时,在颗粒内部发生偏转,使裂纹的扩展路径增加。裂纹的扩展路径类似人们根据仿生结构设计的层状复合材料。裂纹在颗粒内的多次偏转、裂纹钉扎以及颗粒的层裂和拔出等是材料韧性提高的主要原因。此外,在室温下得到的荷载-位移曲线,说明Ti₃SiC₂材料不象其它陶瓷材料的脆性断裂,而是具有金属一样的塑性。     

TSP203超前地质预报仪在隧道施工中的应用

大风垭口隧道地质及水文条件极其复杂,TSP203超前地质预报仪作为最先进的地质预报仪在大风垭口隧道施工中发挥了积极的作用。简单介绍TSP203超前地质预报仪的使用方法及其特点,根据TSP203预报结果与实际施工进行验证,体现其预报的精确性和长距离预报的优越性,建议今后类似工程中推广应用TSP203超前地质预报仪。     

An ideal topology type convergent theorem on scale effect algebras

The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic the- ory.