-
题名面向航天器控制的专用语言及编译程序设计
被引量：6
- 1
-
-
作者
杨永安
余培军
张武光
冯祖仁
骆永进
-
机构
西安交通大学系统研究所
西安卫星测控中心
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第12期247-249,共3页
-
文摘
针对陆基测控网测控站遥控操作模式不能适应新的测控需求以及国际测控合作的实际,提出了一种面向航天器操作的航天器控制语言(SCL语言)。该语言能够有效地解决航天器上行控制、参数判断和数据同步等航天器测控专用语句的设计难题,为航天器控制人员提供有力的工具。同时根据SCL语言的特点,提出了一种快速实现其编译程序的技术途径,给出了一种不同于一般高级语言特殊设计的实现方法。通过多颗同步和近地航天器测控实际应用,验证了SCL语言及编译程序的正确性,保证了陆基测控网实现了对卫星的闭环测控,极大提高了航天器的控制效率。
-
关键词
航天工程
测控系统
SCL语言
编译程序
-
Keywords
Space engineering
TT＆C system
SCL
Compiler
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名无应答严次序发布传播复制策略算法及Java实现
- 2
-
-
作者
刘晖
彭勤科
沈钧毅
燕彩蓉
-
机构
西安交通大学软件研究所
西安交通大学系统研究所
-
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第7期1307-1312,共6页
-
基金
国家自然科学基金项目 (60 175 0 15 )资助
-
文摘
介绍无应答严次序发布传播复制策略的定义、准则和算法 ,并给出 Java实现中数据表及核心对象的定义、线程与 Connection间的封锁关系速查表 .该策略在集群服务器节点中容错 4地复制各种文件、操作和数据更新 .其中 ,双钥锁允许加锁者或下一个申请者释放互斥锁 ,次序管理遵循四个准则避免乱序、意图歪曲、因果牵制和反向因果牵制四个数据不一致问题 ,全局 /局部
-
关键词
集群
数据复制
互斥锁
串行化
数据一致性
-
Keywords
cluster
data replication
exclusive lock
serialization
data consistency
-
分类号
TP311.133
[自动化与计算机技术—计算机软件与理论]
-
