租赁设备的状态维修决策建模与优化

随着物联网技术飞速发展,租赁设备大多安装有传感系统,可以及时地对设备关键部件和整体运行状态进行检测,进而可基于设备的健康状态为其安排更为合理的维修方案,在降低租赁商维修费用的同时,尽量少地干预客户的正常施工,并且保证租赁设备在客户施工场所的可靠运行.本文研究了基于状态检测的租赁设备的最优维修问题,研究中引入了顺序状态检测,定义了基于状态的控制限维修策略,并建立了以维修开销最小为目标的解析模型,以决策系统最优的检测间隔和预防维修阈值.除检测、维修等基本费用外,模型中还进一步考虑了租赁系统的故障罚金和故障后维修超时罚金.在模型的求解中,推导了维修干预下设备任意时刻的检测概率和状态概率分布,作为模型构建和求解的依据.数值实验结果验证并表明了面向租赁设备的基于状态的维修策略的有效性.     

SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.     

基于Android 的拼接屏智能移动控制系统

为更好满足用户对大屏幕显示内容进行实时控制的需求, 开发了一款新颖的在Android 系统上对拼接屏进行图形化操作控制的智能移动控制系统, 并提出一种基于世界坐标的智能布局算法, 实现了客户端编辑模式下图像的智能布局。客户端与服务器使用socket 编程建立TCP 通信。该系统在多个城市得到广泛应用, 取得了良好的社会效益与经济效益。     

同步设计方法在CPLD中的应用研究

同步设计和异步设计是时序电路设计中的两种基本类型。通过在CPLD器件中同步设计方法和异步设计方法的应用对比,可知同步设计方法所得电路的工作频率较高且电路中不易产生竞争-冒险现象,因此在复杂可编程逻辑器件的设计中采用同步设计方法是保证电路高效、可靠工作的有效措施。     

服装款式设计零部件数字化问题

指出服装款式设计数字化的根本问题在于服装零部件的数字化。从图形图像选择、服装零部件图形化定义、服装零部件数据结构定义、服装零部件拼接、服装饰物处理几方面讨论服装零部件数字化构思，分析现存问题并展望前景。     

网络计划技术在工程进度计划管理中的应用

以某住宅楼的进度计划管理为例，从网络计划法的特点，编制，优化和动态调整等几个方面，阐述了网络计划技术在工程进度计划管理中的应用。     

作业顺序与负荷均和衡同时决策的动态作业计划模式

本文考察了在作业车间环境下面有作业排序方法所存在的问题，提出了在决定作业优先顺序的同时，做好设备负荷均衡的动态作业计划决策模式。该模式选择材料供应、订货的重要性、关键比、完工不确定性和经济性等５项参量作为评价作业优先级别和配置设备能力的指标，并采用决策树方法来判定作业的优先顺序和相应的能力配置措施。     

Security Analysis of Discrete Logarithm Based Cryptosystems

0 IntroductionNowthere are many well known cryptosystems based ondiscrete logarithms , such as the ElGamal cryptosys-tem[1]and the digital signature algorithm(DSA)[2]. Discretelogarithms have many advantages . Breaking the discrete log-arithm modulo pri mepappears to be somewhat harder thanfactoringintegern,and elliptic curve cryptosystems may usemuchsmaller keysizesthan RSA-basedcryptosystems of com-parable security.The discrete logarithmproblemover a group can be bro-ken down into a numb…     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

C—Bezier曲线

讨论了C—Bezier曲线的端点特性和曲线的性质，给出了C—Bezier曲线和Bezier曲线的G^1光滑拼接和G^2光滑拼接的几何条件，并利用C—Bezier曲线精确地表示二次曲线．