期刊文献+
共找到237篇文章
< 1 2 12 >
每页显示 20 50 100
A DISCRETE TIME TWO-LEVEL MIXED SERVICE PARALLEL POLLING MODEL 被引量:6
1
作者 GuanZheng ZhaoDongfeng ZhaoYifan 《Journal of Electronics(China)》 2012年第1期103-110,共8页
We present a discrete time single-server two-level mixed service polling systems with two queue types, one center queue and N normal queues. Two-level means the center queue will be successive served after each normal... We present a discrete time single-server two-level mixed service polling systems with two queue types, one center queue and N normal queues. Two-level means the center queue will be successive served after each normal queue. In the first level, server visits between the center queue and the normal queue. In the second level, normal queues are polled by a cyclic order. Mixed service means the service discipline are exhaustive for center queue, and parallel 1-limited for normal queues. We propose an imbedded Markov chain framework to drive the closed-form expressions for the mean cycle time, mean queue length, and mean waiting time. Numerical examples demonstrate that theoretical and simulation results are identical the new system efficiently differentiates priorities. 展开更多
关键词 Polling model PRIORITY TWO-LEVEL Mixed-service Waiting time
下载PDF
Establishment and application of service mapping model for proactive remanufacturing impeller 被引量:2
2
作者 宋守许 邰莹莹 柯庆镝 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第12期3143-3152,共10页
Since the complex impeller structure and the difficult remanufacturing process may easily cause advance remanufacturing or excessive use,an optimized design method of impeller and service mapping model was presented f... Since the complex impeller structure and the difficult remanufacturing process may easily cause advance remanufacturing or excessive use,an optimized design method of impeller and service mapping model was presented for its proactive remanufacturing with setting up to explore the best remanufacturing time point in this work.Considering a certain model of long distance pipeline compressor impeller with the Basquin equation and the design method of impeller,the mathematical relationship between the changes of structure and life of the impeller was established.And the service mapping model between the structure and life was set up and simulated by ANSYS software.Thus,the service mapping model was applied to feedback the original design for proactive remanufacturing.In this work,the best proactive remanufacturing time point of impeller was analyzed with the service mapping model,and the structural parameter values could be optimized at this time point.Meanwhile,in the results of this simulation,it proves that the impeller under this optimization performance could satisfy the impeller operating demands.Therefore,comparing with the traditional optimization design method,the remanufacturing optimized design based on the service mapping model is feasible in proactive remanufacturing for sustainable development. 展开更多
关键词 IMPELLER proactive remanufacturing remanufacturing time point service mapping model
下载PDF
Improved Radio Network Dimensioning for Real-Time Polling Service on IEEE 802.16 Wireless Networks with QoS Consideration
3
作者 Thiaw Seng Ng Teong Chee Chuah Yi Fei Tan 《International Journal of Communications, Network and System Sciences》 2012年第3期192-205,共14页
Recently, applications of real-time polling service (rtPS) in IEEE 802.16 wireless networks have gained considerable popularity. These applications generate large amounts of real time traffic in the network and thus m... Recently, applications of real-time polling service (rtPS) in IEEE 802.16 wireless networks have gained considerable popularity. These applications generate large amounts of real time traffic in the network and thus maintaining the quality of service (QoS) such as packet delay requirement in rtPS dominant networks is critical. Existing dimensioning methodology does not consider QoS parameters of rtPS in network dimensioning. Moreover, exhaustive and time-consuming simulations are required to evaluate the performance and QoS of rtPS. To overcome this problem, we propose an improved radio network dimensioning framework which considers QoS parameters of rtPS in network dimensioning. In this framework, an analytical model is developed to evaluate the capacity and performance of rtPS in IEEE 802.16 wireless networks. The proposed framework provides a fast and accurate means of finding the trade-off between system load and packet delay, thus providing network operators with an analytical tool that jointly considers coverage, capacity and QoS requirements for obtaining the minimum number of sites required. The accuracy of the proposed model is validated through simulations. 展开更多
关键词 IEEE802.16 DIMENSIONING Analytical model Real time POLLING service QOS
下载PDF
Detecting DDoS Attacks against Web Server Using Time Series Analysis 被引量:1
4
作者 WU Qing-tao SHAO Zhi-qing 《Wuhan University Journal of Natural Sciences》 EI CAS 2006年第1期175-180,共6页
Distributed Denial of Service (DDoS) attack is a major threat to the availability of Web service. The inherent presence of self-similarity in Web traffic motivates the applicability of time series analysis in the st... Distributed Denial of Service (DDoS) attack is a major threat to the availability of Web service. The inherent presence of self-similarity in Web traffic motivates the applicability of time series analysis in the study of the burst feature of DDoS attack. This paper presents a method of detecting DDoS attacks against Web server by analyzing the abrupt change of time series data obtained from Web traffic. Time series data are specified in reference sliding window and test sliding window, and the abrupt change is modeled using Auto-Regressive (AR) process. By comparing two adjacent nonoverlapping windows of the time series, the attack traffic could be detected at a time point. Combined with alarm correlation and location correlation, not only the presence of DDoS attack, but also its occurring time and location can be deter mined. The experimental results in a test environment are illustrated to justify our method. 展开更多
关键词 distributed denial of service auto-regressive model time series Web server
下载PDF
Development of a Model for International Traveler’s Check-In Process Using Arena Software Tool
5
作者 O. O. Olusanya J. L. Obetta +1 位作者 M. O. Oyediram A. W. Elegbede 《Engineering(科研)》 2020年第11期811-823,共13页
The increasing demand for airline services amidst limited resources results in passenger dissatisfaction and dwindling revenue for airports and airlines. The dynamics of service demand and resource supply results in c... The increasing demand for airline services amidst limited resources results in passenger dissatisfaction and dwindling revenue for airports and airlines. The dynamics of service demand and resource supply results in check-in issues for the stakeholders in the commercial aviation industry. This has the effect of impacting negatively on service performance, cost of operations, customer satisfaction, and overall throughput. Hence, this paper modelled the travelers’ check-in process at the “D Wing” of the Departure Section of Murtala Muhammed International Airport (MMIA), Ikeja, using Arena Software Tool. The work was carried out by determining the parameters of the queues at designated service points in the check-in process. The primary data required to develop the model were acquired by direct observation of passenger flow and oral interview. Thus, the average check-in time was determined. Thereafter, a model of the international check-in system of the MMIA was developed using Arena software in combination with Microsoft Office tools. The data collected were therefore inputted into the model and simulated;the real result was compared with the simulation result of 133 completions and there was no significant difference. The result showed that the model is a representation of the real system under study. Further work will be tailored towards simulation (<em>i.e</em>. the model will be subjected to experimentation in order to have different scenario). 展开更多
关键词 modelLING Check-In Process Arrival Rate service Rate Average Check-In time Server Configuration
下载PDF
Simulation of a Model for International Traveler’s Check-In Process Using Arena Software Tool
6
作者 J. L. Obetta O. O. Olusanyan +3 位作者 M. O. Oyediran W. B. Wahab A. T. Olusesi A. W. Elegbede 《Engineering(科研)》 2021年第3期125-134,共10页
With the current situation of insecurity in Nigeria and the worsening condition of Nigerian roads, there is increasing demand for air travel. This increasing demand for airline services amidst limited resources result... With the current situation of insecurity in Nigeria and the worsening condition of Nigerian roads, there is increasing demand for air travel. This increasing demand for airline services amidst limited resources results in passenger dissatisfaction and reduction of revenue for airports and airlines. The dynamics of service demand and resource supply result in check-in issues for all the stakeholders in the commercial aviation industry. Hence, this research simulated the developed model for travelers’ check-in process at the “D Wing” of the Departure Section of Murtala Muhammed International Airport (MMIA), Ikeja, using Arena Software Tool. The simulation of the developed model was carried out by varying five different configurations of the servers with respect to the baggage weighing machines and passenger profiling devices to obtain the minimum average check-in time (ACT) for the process, with each configuration undergoing 133 completions of simulation runs. The result of the experimentation revealed that the 3 × 3 × 4 configuration of servers produced the smallest ACT of 18.25 minutes. This translates to a difference of about 58 minutes from the 76.16 minutes ACT of the real system;representing about 76% improvement in the check-in time of passengers. This study contributed to knowledge by revealing that the main choke points in the MMIA check-in system occur at the baggage weighing and passenger profiling areas as against the check-in counter sub-section as advanced by previous works. Furthermore, the research added value to knowledge by creating a balance between customer satisfaction and cost of operations thereby accommodating the interests of the passenger and the operator who are the two main stakeholders in the commercial aviation industry. 展开更多
关键词 modelLING Check-In Process Arrival Rate service Rate Average Check-In time Server Configuration
下载PDF
Scheduling Algorithm with Quality of Service Support in IEEE 802.16 Networks 被引量:1
7
作者 Zhang Yumei Sheng Yu 《信息通信技术》 2009年第4期44-49,共6页
The MAC layer in IEEE802.16 is designed to differentiate service among traffic categories with different multimedia requirements.In this paper,a scheduling algorithm at MAC layer for multiple connections with diverse ... The MAC layer in IEEE802.16 is designed to differentiate service among traffic categories with different multimedia requirements.In this paper,a scheduling algorithm at MAC layer for multiple connections with diverse QoS requirements is proposed.As for this algorithm,each connection is assigned a priority,which is updated dynamically based on its service status concluding queue characteristic and channel state.A connection with the highest priority is scheduled each time.Analytical model is developed by assuming a Finite State Markov Chain(FSMC)channel model.Simulation results show that the proposed scheduling algorithm can improve the performance of mean waiting time and throughput in broadband wireless networks. 展开更多
关键词 多媒体 通信 运算法则 MAC
下载PDF
A Preliminary Study of Just-in-Time Methods for a Seamless Public Transportation Information Framework
8
作者 Spring C. Hsu 《Intelligent Information Management》 2012年第1期1-5,共5页
A seamless multimodal transit system has been a goal for transportation planners and users. Owing to the developments of advanced public transportation and telecom technologies such as automatic vehicle location (AVL)... A seamless multimodal transit system has been a goal for transportation planners and users. Owing to the developments of advanced public transportation and telecom technologies such as automatic vehicle location (AVL) and real-time passenger information system, key just-in-time (JIT) concepts can now be realized in process design and coordinated scheduling to shape a seamless multimodal transit system. JIT refers to a production system that times both movements of goods during production and delivery from suppliers together. It meets the same logic for seamless multimodal services. Therefore, this study innovatively analyzes possible public transportation technologies for JIT uses;moreover, to layout the possible application frame-work of a transportation technology based JIT multimodal transit system for main station area in Taipei city. With this innovative framework, multimodal transit services can deliver to the right place at right time. 展开更多
关键词 JUST-IN-time (JIT) KANBAN Management Mixed-model Production PUBLIC TRANSPORTATION SEAMLESS services
下载PDF
高速公路收费站ETC/MTC混合收费车道通行能力计算模型研究 被引量:3
9
作者 邵长桥 陈艳清 《重庆交通大学学报(自然科学版)》 CAS CSCD 北大核心 2024年第1期52-58,共7页
分析了ETC/MTC混合收费车道入口ETC车辆占比αE和连续到达ETC车辆排队长度w对混合收费车道平均服务时间tS的影响;对SHAKER模型进行了修正,并对修正SHAKER模型参数进行了标定,建立VISSIM仿真模型对修正SHAKER模型的有效性进行了验证;分析... 分析了ETC/MTC混合收费车道入口ETC车辆占比αE和连续到达ETC车辆排队长度w对混合收费车道平均服务时间tS的影响;对SHAKER模型进行了修正,并对修正SHAKER模型参数进行了标定,建立VISSIM仿真模型对修正SHAKER模型的有效性进行了验证;分析了ETC/MTC混合收费车道通行能力与ETC车辆占比之间的关系,提出了考虑车辆平均服务时间的ETC/MTC混合收费车道入口通行能力估计模型,并与余弦函数模型进行了对比分析。结果表明:不同ETC车辆占比下,ETC/MTC混合收费车道入口通行能力修正SHAKER模型计算值和VISSIM模型仿真值的相对误差ε<10%,在允许范围之内,验证了修正SHAKER模型的有效性;ETC/MTC混合收费车道通行能力随着驶入混合车道ETC车辆占比的增大而增大;与余弦函数模型相比,笔者提出的估计模型更能反映ETC/MTC混合收费车道的交通运行特性。 展开更多
关键词 交通工程 ETC/MTC混合收费车道 SHAKER模型 平均服务时间 VISSIM仿真
下载PDF
一种融合改进A^(*)算法与改进动态窗口法的文旅服务机器人路径规划 被引量:3
10
作者 贾明超 冯斌 +2 位作者 吴鹏 张坤 桑胜举 《图学学报》 CSCD 北大核心 2024年第3期505-515,共11页
为满足复杂环境下文旅服务机器人路径规划算法搜索的导向性、静态环境下全局路径的最优性和动态环境下实时避障的安全性的需要,提出了一种基于改进A^(*)算法与动态窗口法相融合的算法。首先,在传统A^(*)算法的基础上,采用更精确的搜索... 为满足复杂环境下文旅服务机器人路径规划算法搜索的导向性、静态环境下全局路径的最优性和动态环境下实时避障的安全性的需要,提出了一种基于改进A^(*)算法与动态窗口法相融合的算法。首先,在传统A^(*)算法的基础上,采用更精确的搜索邻域选取策略,并引入障碍物占用栅格率来量化地图信息,动态调节启发函数和权重系数;其次,引入安全距离概念,提出一种三次折线优化方法,剔除冗余节点和拐点,以提高路径的平滑性;针对狭窄通道环境,提出一种自适应圆弧优化方法,使路径更符合机器人的运动学约束。通过加入动态障碍物垂直距离代价函数,有效减少机器人与动态障碍物的冲突和碰撞风险;最后,将改进A^(*)算法与动态窗口法相融合,选取关键路径点作为动态窗口法的临时目标点,分段使用动态窗口法进行局部实时路径修正。实验结果表明,该融合算法同时具备搜索导向性、全局路径最优性和动态避障能力,能够安全快速到达目标点,具有一定的应用价值。 展开更多
关键词 文旅服务机器人 环境建模 路径规划 实时避障 A^(*)算法 动态窗口法
下载PDF
联合特征概率分布和时间相关性的无线网络业务建模方法
11
作者 王智宇 王宁 +2 位作者 李波 杨懋 闫中江 《航空电子技术》 2024年第1期23-29,共7页
民用无线网络以及航空无线网络等未来无线网络需要承载需求多样化的业务类型和信息交互。数据包尺寸特征和数据包到达间隔等不同业务特征,对无线网络有至关重要的意义。然而,当前无线网络业务建模研究鲜有同时建模业务特征和业务特征的... 民用无线网络以及航空无线网络等未来无线网络需要承载需求多样化的业务类型和信息交互。数据包尺寸特征和数据包到达间隔等不同业务特征,对无线网络有至关重要的意义。然而,当前无线网络业务建模研究鲜有同时建模业务特征和业务特征的时间相关性,这导致对业务的建模刻画不够准确。本文提出一种联合业务特征概率分布和时间相关性的无线网络业务建模方法,保障了业务特征的概率分布和业务特征的时间相关性。本方法具有一般性,可以应用于民用无线网络的业务建模,也可以应用到航空无线领域,有利于对业务特性的把握,从而进行更加优化和确定性的资源分配。 展开更多
关键词 业务建模 时间相关性 无线网络 无线局域网
下载PDF
移动健康信息服务的个性化运动目标决策研究
12
作者 方霁 潘威旭 +1 位作者 林徐勋 王海燕 《管理工程学报》 CSSCI CSCD 北大核心 2024年第1期253-265,共13页
随着物联网技术在智能健康管理领域的不断发展,用户能够通过智能设备感知和监测个人健康状况,并借助移动设备实现与健康信息服务提供商的数据交互,生成个性化运动锻炼方案。在这种实时交互的健康干预服务中,健康信息服务提供商采用数据... 随着物联网技术在智能健康管理领域的不断发展,用户能够通过智能设备感知和监测个人健康状况,并借助移动设备实现与健康信息服务提供商的数据交互,生成个性化运动锻炼方案。在这种实时交互的健康干预服务中,健康信息服务提供商采用数据驱动的方法,适应性地调整为用户推送的个性化运动目标,目的是实现用户长期健康效用最大化和提升用户的服务满意度。为了研究最优的个性化运动推送目标,首先对研究问题进行界定,构建实时交互的个性化运动目标决策模型;随后针对问题中用户行为不确定的特点,采用深度强化学习算法,结合了离轨策略时序差分学习方法以及神经网络非线性拟合方法,从用户的历史数据中学习策略;最后使用Fitbit的真实数据集验证了所提方法的有效性。研究结果表明,基于深度强化学习的个性化运动目标推送服务,通过实时分析用户行为数据,对用户进行科学的引导和适时的激励,有助于帮助用户培养健康的生活方式,提高个人健康管理水平。 展开更多
关键词 移动健康信息服务管理 个性化运动目标优化 实时交互模型 深度强化学习
下载PDF
计及可达时间窗的远岸风场运维路线优化策略
13
作者 陈慧敏 窦培林 +3 位作者 孔令海 王震 徐龙堂 李明昊 《船舶工程》 CSCD 北大核心 2024年第8期158-165,共8页
通过构建风浪预测模型求解风电机组可运维时间窗,作为调度优化的时间约束。为最小化运维成本,考虑运维过程中服务母船(SOV)与船员转运子船(CTV)之间的运维调度问题。将不同技术人员划分为几个独立的运维班组,以运维班组技术水平、待运... 通过构建风浪预测模型求解风电机组可运维时间窗,作为调度优化的时间约束。为最小化运维成本,考虑运维过程中服务母船(SOV)与船员转运子船(CTV)之间的运维调度问题。将不同技术人员划分为几个独立的运维班组,以运维班组技术水平、待运维风电机组故障类型、动态运维时间窗口、运维班组可连续作业时长和运维时间窗为约束条件,构建SOV-CTV运维路线优化模型。以30台待运维风电机组为仿真案例对该模型的有效性进行测试,结果表明,提出的模型可有效缩短运维总路径长度和降低运维成本,提高了运维班组的运维效率。 展开更多
关键词 SOV-CTV协同运维调度 可运维时间窗 运维路线优化模型
下载PDF
结合EKF与LSTM神经网络的授时/守时算法
14
作者 徐涛 郭宸宇 赵程 《全球定位系统》 CSCD 2024年第5期126-132,共7页
本文研究了一种在卫星授时下,提高授时信号的授时精度和守时能力方法,即利用晶振计数器,记录下每个秒脉冲时刻的晶振频率信息;将记录历史信息输入到扩展卡尔曼滤波器(extended Kalman filter,EKF)中进行滤波,消除卫星秒脉冲信号的随机误... 本文研究了一种在卫星授时下,提高授时信号的授时精度和守时能力方法,即利用晶振计数器,记录下每个秒脉冲时刻的晶振频率信息;将记录历史信息输入到扩展卡尔曼滤波器(extended Kalman filter,EKF)中进行滤波,消除卫星秒脉冲信号的随机误差,提取北斗卫星前N秒秒脉冲的累计时间t_(CN)、k时刻的晶振频率fre(k)、k时刻晶振变化速率v(k);并将经过EKF输出的历史数据作为训练集,输入到长短期记忆(long short-term memory,LSTM)神经网络中建立预测模型;通过控制变量法进行算法参数调试,找到最适合的预测模型.试验结果表明:授时算法输出的授时信号精度最大误差为34 ns;授时算法8 h累计误差为1.001μs,平均误差小于0.125μs/h.有效地提高了系统授时和守时精度. 展开更多
关键词 扩展卡尔曼滤波(EKF) 长短期记忆网络(LSTM) 时间同步 卫星授时 晶振建模
下载PDF
实习护生参与时间银行互助养老志愿服务意愿及影响因素研究
15
作者 张仙娟 申继传 +3 位作者 宋立鹏 张梦雯 李茂 赵桂凤 《大理大学学报》 2024年第8期90-95,共6页
目的:分析实习护生参与时间银行互助养老志愿服务意愿及影响因素。方法:2022年11月-2023年5月对大理白族自治州某三甲医院409名实习护生进行问卷调查,采用χ^(2)检验比较实习护生人口学特征上的差异,多因素Logistic回归模型分析实习护... 目的:分析实习护生参与时间银行互助养老志愿服务意愿及影响因素。方法:2022年11月-2023年5月对大理白族自治州某三甲医院409名实习护生进行问卷调查,采用χ^(2)检验比较实习护生人口学特征上的差异,多因素Logistic回归模型分析实习护生参与时间银行互助养老志愿服务意愿的独立影响因素。结果:409名实习护生中,85.1%的实习护生愿意参与时间银行互助养老志愿服务。性别、文化程度、参与志愿服务情况、参与养老志愿服务意愿、参与养老志愿服务情况、对时间银行互助养老模式的了解程度是实习护生参与时间银行互助养老志愿服务意愿的影响因素(P<0.05)。结论:实习护生对时间银行互助养老志愿服务的知晓率低,但参与意愿较高。 展开更多
关键词 实习护生 时间银行互助养老 志愿服务 参与意愿 影响因素
下载PDF
北京市未来10年失能老人及长期照护服务需求预测
16
作者 蔡娇丽 肖芯兰 《中国健康心理学杂志》 2024年第12期1761-1767,共7页
目的:预测未来十年(2019-2028)北京市失能老人的规模结构,以及对长期照护服务的需求情况,旨在为失能老人及其长期照护需求的预测提供参考。方法:基于2011年和2018年的中国老年健康影响因素跟踪调查(CLHLS)以及北京市2011年至2022年的统... 目的:预测未来十年(2019-2028)北京市失能老人的规模结构,以及对长期照护服务的需求情况,旨在为失能老人及其长期照护需求的预测提供参考。方法:基于2011年和2018年的中国老年健康影响因素跟踪调查(CLHLS)以及北京市2011年至2022年的统计年鉴数据,采用Markov模型和时间序列预测模型(ARIMA)对北京市未来10年失能老年人数量进行预测,并通过宏观模拟方法对其长期照护服务需求进行预测。结果:北京市未来10年失能老人规模持续上涨,轻度、中度和重度失能老人数分别从2019年的64.29万人、47.3万人和102.12人增至2028年的91.21万人、58.05万人和177.95万人。同时,北京市失能老人长期护理服务成本由2019年的90 839.84百万元将增至2028年的227 010.52百万元,养老机构护理型床位需求量也将逐年递增,预计到2028年,需求量将达到3.04万至10.14万张。结论:人口老龄化趋势下,长期照护服务资源供给与养老需求之间的匹配亟待解决,为实现健康老龄化提供可靠依据。 展开更多
关键词 失能老人 人口老龄化 长期照护服务需求 时间序列预测模型
下载PDF
Research on Service Recommendation Method Based on Cloud Model Time Series Analysis
17
作者 Zhiwu Zheng Jing Yao Hua Zhang 《国际计算机前沿大会会议论文集》 2020年第1期655-665,共11页
The problem of information overload is becoming increasingly prominent,and recommendation systems are developing rapidly in various fields.How to find the most user-friendly services has become the focus.Service recom... The problem of information overload is becoming increasingly prominent,and recommendation systems are developing rapidly in various fields.How to find the most user-friendly services has become the focus.Service recommendation based on QoS is an important technology to select appropriate services for users.In this paper,a service selection method based on time series analysis of cloud model is proposed.Firstly,the noise was removed by clustering algorithm,clustering was divided,and similar user sets were obtained.Then,the cloud model was established by using similar user history data in different periods,and the comprehensive cloud model was obtained by combining time decay function.Finally,the recommended service was obtained by comparing TOPSIS method with ideal cloud model.The experimental results on WS-Dream dataset show that the accuracy of recommendation is improved compared with the existing recommendation algorithms. 展开更多
关键词 Cloud model time series Clustering algorithm service recommendation
原文传递
基于时间自动机的物联网服务建模和验证 被引量:48
18
作者 李力行 金芝 李戈 《计算机学报》 EI CSCD 北大核心 2011年第8期1365-1377,共13页
物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变... 物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模,以表现它们的独立性和自主性.这些时间自动机形成一个网络,刻画完整的物联网服务的通信并发过程,物联网服务的实施过程表现为时间自动机网络上的状态变迁通路.最后,文中提出一组物联网服务要满足的性质,并利用模型检测工具UPPAAL验证物联网服务的正确性. 展开更多
关键词 物联网服务 时间自动机 环境实体 服务建模 模型验证
下载PDF
回报型众筹定价模型 被引量:13
19
作者 吕秀梅 邵腾伟 《运筹与管理》 CSSCI CSCD 北大核心 2018年第7期144-151,共8页
构建了众筹融资、向支持者提供产品和向普通消费者出售产品的回报型众筹三阶段模型,研究兼顾增加发起人收益与提高项目众筹成功率的发起人定价决策,并运用比较静态方法探讨了发起人给支持者提供的增值服务和投资者的消费耐心程度因素对... 构建了众筹融资、向支持者提供产品和向普通消费者出售产品的回报型众筹三阶段模型,研究兼顾增加发起人收益与提高项目众筹成功率的发起人定价决策,并运用比较静态方法探讨了发起人给支持者提供的增值服务和投资者的消费耐心程度因素对发起人定价决策的影响。研究表明,发起人与消费者是一个关于价格和效用的动态博弈过程,并最终达到纳什均衡;支持者所得的增值服务和消费者消费的时间偏好在改善发起人收益与项目众筹成功率之间并不协同,因此发起人的产品定价和筹资目标设定应折中设置在一个合理的范围。结论为发起人合理的产品定价和项目筹资成功率的提高提供一定理论依据和实践参考。 展开更多
关键词 回报型众筹 产品定价 增值服务 时间偏好
下载PDF
激励理论下承包商合理化建议奖励模型 被引量:7
20
作者 尹贻林 侯春梅 李贺 《武汉理工大学学报(信息与管理工程版)》 CAS 2013年第1期102-105,共4页
以标准施工招标文件(56号令)为依据,分析得出了承包商合理化建议奖励框架,通过分析该框架的3个组成部分,即承包商赶工、节约成本、提高工程的经济效益等的背后驱动力,揭示这3个事件中承包商如何进行均衡的过程,最终得出缩短工期奖励模... 以标准施工招标文件(56号令)为依据,分析得出了承包商合理化建议奖励框架,通过分析该框架的3个组成部分,即承包商赶工、节约成本、提高工程的经济效益等的背后驱动力,揭示这3个事件中承包商如何进行均衡的过程,最终得出缩短工期奖励模型、成本节约奖励模型和经济效益奖励模型。 展开更多
关键词 合理化建议奖励模型 成本节约奖励 工期奖励 经济效益奖励
下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部