Requirements Engineering-Based Conceptual Modelling

The software production process involves a set of phases where a clear relationship and smooth transitions between them should be introduced. In this paper, a requirements engineering-based conceptual modelling approach is introduced as a way to improve the quality of the software production process. The aim of this approach is to provide a set of techniques and methods to capture software requirements and to provide a way to move from requirements to a conceptual schema in a traceable way. The approach combines a framework for requirements engineering (TRADE) and a graphical object-oriented method for conceptual modelling and code generation (OO-Method). The intended improvement of the software production process is accomplished by providing a precise methodological guidance to go from the user requirements (represented through the use of the appropriate TRADE techniques) to the conceptual schema that properly represents them (according to the conceptual constructs provided by the OO-Method). Additionally, as the OO-Method provides full model-based code generation features, this combination minimises the time dedicated to obtaining the final software product.     

一种新型代理签名方案的密码分析及改进

对最近提出的一种新型代理数字签名方案——匿名代理数字签名方案进行了密码分析，发现该方案存在安全漏洞：原始签名者可以伪造其指定的代理签名者的有效代理数字签名，还可以诬陷其他任何人为其指定的代理签名者。对该方案进行了改进，安全性分析表明，改进后的方案可以抵抗原始签名者的伪造攻击，并且保留了原方案的一些优点。     

一种改进的动态门限签名方案

针对WLC数字签名方案的不安全性,做了一些必要的改进.改进后的方案:只有指定的合成群秘书参与才能生成签名;而当有新成员加入或剔除违规成员时,系统本身的参数及其它成员的密钥对保持不变;系统的成员也可以用唯一的密钥对为不同群的消息签名.     

基于叠氮丙啶-实时荧光聚合酶链式反应PMA-qPCR 结合与高温裂解法高通量测序技术检测鉴定检测冷链食品中5多种 病原菌并构建金黄色葡萄球菌分子进化树完成病原菌分子进化树构建与溯源分析

目的 将PMA-qPCR、高通量测序以及分子进化树构建技术相结合,应用于冷链食品中多种病原菌的快速检测、种属鉴定、亲缘关系确定与溯源分析工作。 建立冷链食品中多种病原菌的快速检测技术并完成金黄色葡萄球菌的溯源分子进化分析工作。方法 以冷链食品中的沙门氏菌、金黄色葡萄球菌、蜡样芽胞杆菌、副溶血性弧菌、单核细胞增生李斯特氏菌等等5种病原菌5种病原菌为作为研究对象, 应用PMA-qPCRPMA-qPCR技术结合高温裂解法作为冷链食品中病原菌检测初筛手段,应用微生物培养法以及生化鉴定仪器法进行方法比对验证qPCR结果,运用高通量测序以及分子进化树构建作为冷链食品中所分离病原菌的种属地位确证方法。研发病原菌活菌快速检测方法并开展冷链食品中病原菌的抽样调查。在建立稳定高效的检测方法后,为了获得冷链食品中病原菌污染水平、分布数据以及污染来源,研究开展冷链食品中病原菌的抽样调查检测工作。在检测出金黄色葡萄球菌等并分离病原菌后,进一步通过多位点采样以及16S rRNA测序构建了葡萄球菌属、弧菌属以及李斯特菌属分子生物进化树,完成菌株种属鉴定采用构建分子进化树的方法以及完成金黄色葡萄球菌等病原菌的溯源分析工作。结果 本研究应用建立的PMA-qPCR成功扩增了冷链食品中生活状态病原菌的特征性核酸片段,排除了死亡细菌以及阴性对照菌的干扰感染,病原菌最低检测浓度可达到1×103 CFU/mL,一次反应可检测42份试样,可以在16小时内完成检测工作。在冷链食品中病原菌抽样检测调查中,本研究共从随机采集的751份冷链食品中检出6162株病原菌,病原菌总体检出率为8.13% (6162/751)。通过后续的16S rRNA测序以及葡萄球菌属、弧菌属以及李斯特菌属分子进化树的构建成功溯源了金黄色葡萄球菌的污染来源并完成病原菌种属定位。通过分子进化树的构建成功溯源了金黄色葡萄菌的污染来源并完成菌种种属定位。本研究还注意到经微生物检验一株疑似单核细胞增生李斯特氏菌阳性菌株,该菌株后续通过测序、序列比对以及分子进化树构建确定为英诺克李斯特菌,这充分说明高通量测序的重要性以及方法验证的必要性。结论 研究在国内率先将PMA-qPCR、高通量测序与分子进化树构建技术相结合,应用于应用本研究方法可以快速有效检测5种冷链食品中的冷链食品中多种病原菌检测分析与种属鉴定,并完成金黄色葡萄球菌的溯源分析,方法特异性好、灵敏度高、检测通量高,研究方法与成果可以为冷链食品及相关食品中病原菌的精确检测与溯源分析提供全新的思路与方法。     

Attribute-Based Worker Selection Scheme by Using Blockchain in Decentralized Crowdsourcing Scenario

Traditional crowdsourcing based on cen-tralized management platform is vulnerable to Distributed denial of service (DDoS) attack and single point of failure. Combining blockchain technology with crowdsourcing can well solve the above problems, enabling users to realize peer-to-peer transactions and collaboration based on decentralized trust in distributed systems where nodes do not need to trust each other. Although the current methods have solved the above problems, task publishers select workers based on their reputation values, which has two disadvantages: subjectivity and difficulty in initial value setting. Due to the complexity of crowdsourcing network, there will be malicious users in the network. The requirement for anonymity protects both legitimate and malicious users. In order to solve these problems, we propose an attribute-based worker selection scheme using the private set intersection technology. Our scheme also realizes the malicious user identity disclosure function. A concrete example of our scheme is given.     

迈思肯条码扫描器QX-830帮助食品工厂提高生产自动化管理

条码技术的应用在食品饮料生产行业的应用,大大提高了工艺运行质量和产品管理效率。本文介绍了迈思肯条码扫描技术在某跨国食品制造公司的应用实例,通过阐述该其技术特点和所显示的优越性,展现了这项新技术在食品饮料生产行业的前景。     

钢铁企业在制品成本追溯模型研究*

针对钢铁企业在制品特点及成本管理的需求,将可追溯性的概念引入到在制品成本管理中,提出了钢铁企业在制品成本追溯方法,建立了在制品状态三维描述模型。该模型通过作业中心维、属性维和成本中心维对在制品进行描述,并采用巴科斯一诺尔范式对其进行数学规范,给出了在制品成本追溯规则和算法流程。通过在钢铁企业的应用实例,验证了在该模型的可行性,能够实现钢铁企业实际管理过程中对在制品的完整描述,提高了在制品成本核算的准确性。     

提高核电仪控系统软件安全性的验证技术研究

由于软件技术在核电站中的应用日益广泛,其安全性显得越发重要;而对提高软件安全性的分析验证技术和方法的研究将进一步促进核电仪控软件的应用。本文将对核电站仪控系统软件开发全生命周期中的若干提高软件安全性的验证技术与方法进行阐述,包括:可追踪性分析、危险分析、安全性测试等。