对电子档案赋值确认的思考

基于电子文件所具有的非人工识读性、信息与载体的可分离性、多种信息媒体的继承性以及系统依赖性,必须要为电子档案赋值。本文对电子档案赋值的相关问题进行了探讨。     

北斗卫星通信系统在船舶航线规划中的应用

传统船舶路线规划方法所使用的通信系统,在极端条件下无法进行数据传输,导致规划方法的鲁棒性较差。对此应用北斗卫星通信系统,设计新型船航线规划方法。利用北斗卫星通信系统的高适应性,对当前航向安全区域进行划分,并对其进行适当扩展,确保其区域内包含了潜在障碍物的边界,基于扩展后的安全区域,建立航障物的最小凸包围,作为航线规划的环境基础,最后应用Dijkstra算法,根据权重最小赋值,连接权重点,求取最优航线,实现航线规划。从实验结果可以看出,应用北斗卫星通信系统的船舶航线规划方法,在极端环境下,数据真实应用率提高了29%,数据包传输丢包率降低了33%,相比较传统规划方法,拥有更优秀的鲁棒性。     

格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

轮机阀件附件自动赋值及自动统计程序

介绍了利用AUTOCAD VBA编程及EXCEL实现了轮机管系原理图中阀件附件的自动赋值及明细表的自动生成。     

Weekly Fleet Assignment Model and Algorithm

A 0-1 integer programming model for weekly fleet assignment was put forward based on linear network and weekly flight scheduling in China. In this model, the objective function is to maximize the total profit of fleet assignment, subject to the constraints of coverage, aircraft flow balance, fleet size, aircraft availability, aircraft usage, flight restriction, aircraft seat capacity, and stopover. Then the branch-and-bound algorithm based on special ordered set was applied to solve the model. At last, a real-world case study on an airline with 5 fleets, 48 aircrafts and 1786 flight legs indicated that the profit increase was $1591276 one week and the running time was no more than 4 min, which shows that the model and algorithm are fairly good for domestic airline.     

基于D—S证据理论的复合制导目标识别技术

根据主动雷达／红外复合制导反舰导弹各传感器所提供的信息构建基本概率赋值函数；依据基于准贝叶斯结构的D-S证据理论合成BPA、进行目标识别、提出算法流程。仿真实验表明：这种基于D-S证据理论的复合制导目标识别技术能有效降低目标识别的不确定性概率，提高正确识别率。     

基于动态规划理论的船厂码头移泊作业问题研究

基于动态规划理论,建立了船厂码头移泊作业问题的动态规划模型.分析了移泊作业的特点,在此基础上建立起问题的动态模型和对应的赋值有向图,把问题转化为求解赋值有向图的最优路问题.依据图论相关知识,对赋值有向图进行改进,从而得到图的最优路,最终求得问题的最优方案.通过实例计算结果与船厂实际操作安排进行比较和分析,得出算法研究的有效性和优越性的结论.     

基于一种序数群决策方法的方案排序

论文定义了一种类Borda函数,证明了相关的两个定理,给出了利用该函数进行群决策方案排序的一般方法,最后通过一个实例说明了论文所给方法的可行性和有效性.     

PowerBuilder的数据库联接方法

文中系统地阐述了事务对象、事务对象的赋值方法、赋值内容,同时访问多个数据库时对象的定义方法以及同时联接SYBASE、FOXPRO、WATCOM SQL、TXl等多种文件的方法等。并给出了使用Power Builder产品编程的。     

非常规数学问题解法探究

数学是一门妙趣横生的学科,同时也是一门深奥的学科。随着时代的发展,数学也在不断的发展。随着中等教育和高等教育改革的深入,数学的改革正朝着以培养学生能力为主要目标的方向发展。在其中,有一些非常规数学问题不能用一般的数学方法来解决,因此,本文介绍一些非常规数学问题的解法是很有必要的。