Threshold signature scheme with threshold verification based on multivariate linear polynomial

Secret sharing schemes are multi-party protocols related to key establishment. They also facilitate distributed trust or shared control for critical activities (e.g., signing corporate cheques and opening bank vaults), by gating the critical action on cooperation from t(t ∈ Z ⁺) of n(n ∈ Z ⁺) users. A (t, n) threshold scheme (t < n) is a method by which a trusted party computes secret shares Γ _i (1 ⩽ i ⩽ n) from an initial secret Γ ₀ and securely distributes Γ _i to user. Any t or more users who pool their shares may easily recover Γ ₀, but any group knowing only t−1 or fewer shares may not. By the ElGamal public key cryptophytes and the Schnorr’s signature scheme, this paper proposes a new (t, n) threshold signature scheme with (k,m) (k,m ∈ Z ⁺) threshold verification based on the multivariate linear polynomial.     

基于APDL的CST系统零部件参数化有限元模型

为解决螺纹剪切吸能装置（CST）这类非标螺纹装置零部件有限元模型的自动生成问题,简化CST系统研究工作的重复性操作,以ANSYS为软件开发平台,利用APDL参数化编程语言来编写程序,通过对话框输入参数,将参数化设计引入到有限元结构分析之中,完成了CST零部件有限元模块的开发．应用实例表明,所开发的CST零部件有限元模型的模块,其用户界面友好,实现了结构参数快速调整．自动生成的分析模型可以极快地缩减设计研究周期,避免了重复建立与分析模型的操作,明显提高了研究效率．     

基于设计要素的设计活动建模语言及支持环境

为了对不同的设计活动进行综合分析,需要一种可以对它们进行统一描述的建模语言．基于面向设计要素的设计活动建模思想,提出一种可以对不同的设计活动进行统一描述的建模语言DAML（Design Activities Modeling Language）．给出了DAML的概念结构,定义了DAML的语法结构,设计并实现了DAML的支持环境DAMLER（DAML EnviRonment）．通过对国家自然科学基金近20年来在机械设计学方面资助项目的调研,整理出204个设计活动,在DAMLER中对其进行建模及分析,得出有意义的分析结果,验证了DAML的有效性和实用性．     

基于随机价格时间博弈的列车队列稳定性模型验证与控制策略优化

为保证列车队列运行安全并提高队列稳定性,研究了列车队列稳定性模型验证与控制策略优化问题;基于车-车通信的列车队列采用等空间间隔、等时间间隔和变时距3种控制策略,利用随机价格时间博弈自动机,建立了包含领航列车和跟随列车的队列控制模型,分析了模型的队列稳定性;在保证列车运行安全的前提下,以列车的相对位置差、相对速度差和时间间隔差为成本函数,通过队列随机价格时间博弈自动机模型获得控制策略集;利用Q-Learning方法得到队列的最优驾驶策略,验证队列运行的安全性和稳定性;结合列车运行追踪场景,进行队列的稳定性分析。仿真结果表明：通过形式化验证,采用3种控制策略下的队列安全性得到了保证;通过随机价格时间博弈控制、协方差优化控制和Q-Learning方法对比PID控制,等空间间隔策略下的队列稳定性误差最大值分别减小到了0.19%、0.18%和0.11%,等时间间距策略下的队列稳定性误差最大值分别减小到了30.21%、10.34%和9.24%,变时距策略下队列稳定性误差最大值分别为118.27%、56.09%和39.67%,可见,采用Q-Learning方法的随机价格时间博弈理论能在安全前提下提高列车队列稳定性。     

关于水泥标准稠度用水量测定方法的分析探讨

针对现行规范ＪＴＪ０５３—９４中Ｔ０５０２—９４,关于标准稠度用水量测定方法有关条款在实际执行过程中产生的一些理解误区进行了分析探讨,并提出厂自己的一些建议以供参考。     

基于 Fluent 防雪栅栏数值仿真研究

运用CFD软件Fluent ,针对特定的防雪栅栏,简要叙述其作用机理,选取新疆塔城地区S201线典型断面,对不同的防雪栅栏的水平距离、路堤高度以及边坡坡率等参数设定,基于风雪流的气固两项性并采用一定的数学模型进行数值模拟,进行雪害沉积的规律研究和模拟参数的合理确定,从而为新疆公路风吹雪灾害提供一种快速、经济、可靠的治理方法。     

实时道路条件的跟驰模型研究

为了研究实时道路条件对车辆跟驰行为的影响,应用车辆动力学结合车载GPS和传感器数据实时估算路面与轮胎间的附着系数,并应用附着系数对智能驾驶模型的最小期望跟驰间距进行修正,建立考虑实时道路条件的跟驰模型。对模型的分析表明:考虑实时道路条件的跟驰模型在保证乘客舒适性的基础上能提高道路的服务水平。     

基于三元论的高速公路景观设计

随着我国高速公路的快速建设,其景观的设计日益受到重视,但针对公路景观的设计方法却尚未形成统一可靠的系统理论。从国内外公路景观设计现状人手,借鉴风景园林理论提出高速公路景观设计的三元论,即生态、美观、安全,并以此作为理论基础探讨高速公路景观设计方法。     

基于元胞模型的列车运营能力研究

通过分析影响列车运营能力的主要因素,将运营能力转换为线路通过能力和折返站折返能力,从理论上分析线路通过能力和折返站折返能力.结合列车运行的实际情景,建立基于元胞自动机的列车追踪与折返模型,并通过Matlab编程对模型进行仿真实现;最后对实际在建的城市轨道线路郑州1号线进行模拟仿真,通过所建立的模型分析其运营能力,验证模型的可靠性和可行性,并结合实际情况提出了提升运营能力的措施或方法.     

基于视觉传感器的去毛刺加工路径生成方法研究

当前在使用工业机器人进行去毛刺加工作业时,编程方法多数为现场手动示教或是在离线编程软件中对工件模型进行手动编程.针对手动编程的不便利性,提出了一种通过使用视觉传感器对工件模型进行识别检测,进而自主生成去毛刺加工路径的方法.在V-REP平台下,将实际应用场景抽象化,并使用Lua语言编写相应的脚本程序.最后通过模拟仿真验证...     

基于减价拍卖的高速铁路票价研究

为了实现高铁运营单位与旅客之间的利益均衡性,让旅客积极参与到高铁票价的制定过程中,使高铁票价更具合理性和普遍性.通过分析不同运输方式的时效性和模型的适用性,以时效票价率为依据,建立拍卖过程中的叫价策略和应价策略.并给出虚拟条件下的拍卖流程,实例验证得到能反映客运市场供需关系的动态定价策略.研究结果表明:成交价格、收益率、上座率及成交期望趋于稳定时,应价方对拍卖方的降价幅度具有较高的接受度,成交价格随着收益率偏好系数的增大而增大,而随着上座率偏好系数的增大而减小,这说明合理的成交价格应当是收益率和上座率综合的结果;相较于目前研究,该模型让旅客参与定价,更加符合现实场景中的动态定价,为高铁运营单位定价提供了相应的决策支持.     

基于Java的移动公文包模型研究

在现代移动计算研究中,满足离线情况下使客户/服务器应用系统能够正常运转的新客户端结构模型成为研究的重点和难点.基于Java的移动公文包模型实现了这种新客户端结构模型.介绍该模型在移动计算中的应用,阐述了其原理及其实现方法,并给出了关键部分的Java代码.通过一个示例说明此模型在实际应用中的使用方法.该模型对于其他需要实现移动计算的数据库应用系统模型有很好的借鉴意义.     

Research of legal affair simulation based on Petri net

Legal affair simulation is on the basis of information technology, and can simulate legal scene. College students do legal experiments with virtual reality scene. This helps to train college students. Petri net has not only strict math definition to analyze the dynamic behavior of models, but also intuitive graphic expression. Petri net is used to model for legal process. Reduction rules of Petri net are used to analyze the correctness of the system. At last Java Business Process Management (JBPM) technology is used to realize legal affair simulation models, models are transformed into flow charts. Simulation software deduces processes of legal affair. Many college students have improved their ability with the software, the fact proves that the method is effective.     

基于XML的MIB Browser的研究

探讨了如何解析和访问MIB文件,把XML应用到MIBBrowser设计和开发之中,并给出了实现方案。     

基于Web服务的信息搜索机制的研究

Web Service是WWW和XML结合的全新应用，文中介绍了Web Service的实现技术及其体系结构，并在此基础上实现了企业竞争情报系统．该系统可以有效地从多个企业门户网站中自动搜索出所需要的目标网页，并具有良好的可扩展性、安全性和有效性．     

基于绕行系数的交通可达性研究

为了评价不同路网形态下的城市道路可达性和对出行者的出行方式选择的影响,通过引入绕行系数的概念,对不同路网密度和交通管理策略的案例研究,说明可达性的变化对交通方式选择的影响。提出了基于绕行系数的可达性分析的基本思路,研究结果表明：仅以出行距离作为交通方式选择的影响要素条件下,可达性的改善有利于非机动出行方式分担率提高,合理的城市路网密度和适当的交通管理策略有利于多种交通方式共同发展。     

基于利益相关者理论的IT治理研究

IT作为企业的重要资产,发挥着越来越重要的作用,但同时,与IT相关的风险也在不断地增加,使得IT治理问题越来越突出地显现出来.本文正是基于IT治理这一主题,对IT治理结构进行探讨,结合利益相关者理论,给出了利益相关者协同共治的IT治理模型.     

基于p-y曲线法的门式双排桩支护变形研究

基于p-y曲线法和比例系数,对双排桩侧向位移进行计算,考虑了桩土接触的非线性,并结合有限单元法进行验证.研究表明:采用p-y曲线法计算门式双排桩侧向位移,在位移曲线的形态及数值上十分接近真实情况,采用p-y曲线法的非线性分析对双排桩的水平位移计算是十分合理的,对实际工程中快速计算双排桩位移具有指导意义.     

基于体验式教育的航运船员群体凝聚力研究

本文探讨了通过体验式教育来提升航运船员的凝聚力,并开展对比实验。实验结果表明,体验式教育提升了船员的凝聚力,这直接关系着船员稳定和航运安全。因此,采取体验式教育模式有利于培养和激发航运船员群体的团队精神,加强航运效益,对于远距离运输有着积极影响。