支持语义验证的卫星网络仿真框架研究

为保证卫星网络仿真异构模型和服务的可重用性和互操作性,支持仿真的正确性验证,使用基于本体的集成工具Protégé和推理机Pellet建立了支持语义的卫星网络仿真框架.在分析支持语义的仿真验证概念基础上,明确了卫星网络集成仿真框架的实现目标,并提出仿真框架三维视图.针对卫星网络覆盖特性仿真任务,根据仿真框架生成的一致性仿真实例,开发了仿真应用并给出仿真分析结果,证明仿真框架可以保证仿真应用的语义正确性.     

安全高效的无线传感器网络密钥管理协议与仿真实现

提出一种新的基于单向密钥链的无线传感器网络密钥管理协议,与现有典型的预分配安全协议相比,能提供确定性的安全性并显著降低了存储开销.基于因式分解困难性,一次广播完成簇密钥的安全分发和更新,解决了基于分簇安全协议存在的抵制俘获攻击能力低和簇密钥分发、更新通信开销大的问题.性能分析和仿真结果显示,协议具备了较低的存储开销和最优的抵制俘获攻击能力,并将密钥分发和更新操作所需的通信开销分别由减小至.     

支持数据完整性验证的可问责数据交易方案

针对数据交易方案的密钥泄露、合谋等安全问题,提出原子性可问责的数据交易方案.将数据审计技术与智能合约结合实现自动支付,确保交易过程中数据的完整性以及支付的公平性;采用自认证公钥密码技术设计用户注册过程,确保即使遭受单点故障问题,用户私钥仍然安全;借助会话密钥加密通信,解决了对称密钥分发问题,同时能够高效维护通信安全;构...     

LEO卫星网络指针转发位置管理策略

针对LEO卫星网络移动用户在全球范围内活动,其注册的VLR与HLR距离很远,信令代价大,如果MT的每次位置注册都要更新HLR中的记录,将会导致大量的信令开销。提出的一步指针转发策略,其主要思想是MT的位置更新信息不告知HLR,而在旧VLR中建立一指针指向新VLR,从而大大降低了MT位置更新代价。仿真结果显示此策略特别适用于MT来回注册现象频繁的LEO卫星网络,性能改善非常明显。     

基于IBC策略驱动的组播内容分发方案

针对内容分发应用中的组播加密方案和多接收者加密方案所存在的动态组密钥管理复杂、计算和通信代价高等问题,分析了内容分发系统的典型安全需求,采用基于身份密码学提出了一种新的面向群组的安全内容分发系统模型与方案,经安全性与性能分析表明,方案满足接收方访问控制、发送方鉴别与防抵赖、策略加密等安全要求。将发送方的计算和通信代价降为O(1),同时具有密钥管理简单、组密钥更新开销小和易于实现等特点,能方便地应用于商业的组播内容分发系统。     

基于Web服务的分布式RTI设计与实现

采用HLA(High Level Architecture)的技术标准,可以将单个仿真应用或者模型连接起来组成一个大型的仿真应用.RTI(Run-Time Infrastructure)是HLA的程序实现.现有的RTI大多采用集中式的管理结构,当仿真节点数量增加、节点间进行频繁的数据交换时,仿真性能可能不具备容错能力.提出基于Web服务(Web Services)的RTI设计思想,设计策略中不仅解决了上述问题,而且解决了Web服务额外带来的管理和调度问题,并对一些关键问题提供了解决方案.最后通过实际测试证明了这种方案的可行性.     

基于公钥的虚拟光学信息安全系统

目前国际上关于光学加密的绝大多数研究都属于对称密钥系统,这种系统由于在网络环境下的密钥管理、分发、传输问题尚未得到解决,所以无法与信息安全领域的国际标准相结合,从而不能嵌入到公钥基础设施(PKI)中。基于密码学的公钥技术提出了一种混合密钥加密系统,并加入认证技术,从而构建了一个网络环境下的虚拟光学信息安全系统模型。将新发展的虚拟光学加密算法与公钥系统的概念以及网络安全技术结合,有效地解决上述问题,为虚拟光学加密方法在网络安全中的应用开辟一条途径。     

伴随修理中的维修任务调度策略

伴随修理是一种重要的维修保障形式, 合理地调度维修任务将提高伴随修理的效率, 进而将提高作战单元的作战效能. 应用离散事件仿真方法对伴随修理中的维修任务调度策略进行了研究. 首先, 对伴随修理及维修任务调度策略进行了探讨. 其次, 建立了装备作战单元伴随修理的仿真模型. 最后, 应用仿真模型对几种维修任务调度策略进行了仿真评估, 并分别对 平均故障间隔时间(MTBF)、任务持续时间、抢占资源、优先级更新方式的影响进行了分析. 仿真结果表明, 应尽可能 允许重要维修任务抢占所需资源, 调度过程中优先考虑重要的维修任务, 在故障频繁的时候使用"改进的先到先服务(MFCFS)"策略, 故障不频 繁的时候使用"改进的最小处理时间(MSMPT)"策略, 比较可靠的策略是"改进的预测最早完成时间(MEETOC)"策略.     

基于DSM的研发项目流程多目标仿真优化

分析了复杂产品研发项目中流程结构的不确定性,采用设计结构矩阵对其进行仿真建模,并将设计结构矩阵调度策略嵌入仿真模型,建立了同时最小化项目工期和成本的多目标优化模型.提出了一种基于设计结构矩阵仿真与非支配排序遗传算法的混合优化算法,获取研发项目流程多目标优化的Pareto最优解.以某飞机初步研制项目流程为研究算例,验证了混合优化算法的可靠性和有效性,并对获得的最优流程结构进行了深入的仿真评价与分析。     

一种基于会话聚类算法的Web使用挖掘方法

Web使用挖掘作为数据挖掘的一个重要任务,有助于了解用户群体的特征,从而为其提供个性化服务.提出了一种基于用户会话聚类的Wei使用挖掘算法.首先,对Web日志预处理采用基于时间窗的用户会话识别方法,提出了一种基于三元组的用户会话表示方法,并在此基础上给出了基于网页语义相似性的会话处理方法,该方法能够在保持用户兴趣不变的情况下有效降低会话维度;其次,提出了一种基于时间及频次的用户会话相似性度量方法;最后,设计了一种两阶段PS-KM会话聚类算法,先用PSO方法进行全局搜索再转入基于K-means方法的局部聚类过程.仿真表明了算法的有效性.     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Call for Papers The 12th International Conference on Service Systems and Service Management ICSSSM'15

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~