Abstract: A computer system traces an original electronic design automation (EDA) implementation process for electronic hardware designs. The original EDA implementation process includes multiple subprocesses to convert a hardware model to a physically-realized electronic circuit. The system inputs a cryptographic key and design information that includes the hardware model, constraints, properties, implementation settings, and other directives for directing the conversion. The cryptographic key and design information are processed to generate a sequence of instructions to execute and provide traceability of each subprocess.

Abstract: An approach for detecting unplanned changes in the link performance of a delay tolerant network and making automatic and immediate adjustments to the contact plans of the network to provide route revisions that will reallocate traffic load to improve network performance. Physical layer information is used to predict link performance and to adapt route computation to avoid disruption and to optimize contact performance. Prediction is based on advanced software defined radio observable phenomena such as signal to noise ratio, background noise measurements, and forward error correction bit error counts. This approach can enable a delay-tolerant network node to recompute routes and revise bundle forwarding decisions automatically in response to changes in the properties of the communication link.

Abstract: An adjustable electrical connector having a first and second sleeve component that are rotatable relative to one another to form either a straight connector or an angled connector. The ends of the sleeve components are angled to allow them to be positioned next to one another and rotate relative to one another. A gasket may be attached to one of the ends to provide a more secure connection. One or more stop members may be utilized to facilitate positioning of the sleeve components relative to one another.

Abstract: Systems and methods for providing an end-to-end verifiable proof of votes cast in elections are provided. An example method includes generating an authentication address associated with a voting ballot and generating a cast permission address associated with a cast permission record; storing the authentication address, the voting ballot, the cast permission address, and the cast permission record to a secure data storage; receiving a user input and providing a user interface featuring the voting ballot and enabling the voter to submit a cast vote record (CVR); generating a CVR address, generating a receipt for voting and a receipt address; generating a result record including a final result associated with the CVR and a CVR result address associated with the result record; and storing the receipt address, the receipt for voting, the CVR address, the CVR, the CVR result address, and the result record to the secure data storage.

Abstract: Systems and methods for provisioning and operating a primary security device in a verifiable end-to-end election system are presented herein. The security device serves as a root of trust for chains of certificates that are deployed and utilized throughout the election process. These chains of certificates, originating with the device, which acts as an intermediate certification authority, are used to create a verifiable trust chain throughout the different parts of the election process, the trust chain being traceable back to the device and to the original root of trust certificate. In various embodiments the security device includes a compute module, a security chip, a connection to an interface device, at least one lockable transfer device port, and an air-gapped main board to house the compute module, the security chip, and the lockable transfer device port.

Abstract: Systems and methods for providing an end to end verification of an election run over a public network are disclosed. An example method includes generating, by an election management system (EMS), EMS private keys and EMS certificates; generating, by a security device (SD), an SD private key and an SD certificate, the SD private key and the SD certificate being generated based on a root private key; signing, by the SD, the EMS certificates using the SD private key; upon receiving, by the SD, node settings signed by EMS certificates; signing the node settings and generating, for each of nodes of an election data storage, a package including a node private key, a node certificate, the EMS certificates, and the SD certificate; upon receiving, by the SD, election data signed by EMS certificates, signing the election data and generating and signing tokens including election identifications and voter identifications.

Abstract: Provided are methods and systems for computational quantification of an entity's affinity to a qualitative issue defined with Boolean data in a computing system. The disclosed invention provides for a system for rating a first entity's affinity to an issue through information provided by the entity itself, or derived from information provided by other entities related to the first entity. Further, a first entity's affinity to a group of political issues defined as an umbrella issue can also be rated. With the present system, qualitative data is utilized to quantify an entity's affinity to a topic or issue.

Abstract: Systems and methods for provisioning and operating a primary security device in a verifiable end-to-end election system are presented herein. The security device serves as a root of trust for chains of certificates that are deployed and utilized throughout the election process. These chains of certificates, originating with the device, which acts as an intermediate certification authority, are used to create a verifiable trust chain throughout the different parts of the election process, the trust chain being traceable back to the device and to the original root of trust certificate. In various embodiments the security device includes a compute module, a security chip, a connection to a human interface display device, at least one lockable transfer device port, and an air-gapped main board to house the compute module, the security chip, and the lockable transfer device port.

Abstract: A system for forming a radiating cable includes radiating machine tool having a cable receiving channel and a carriage. The carriage includes an aperture configured to align with the cable receiving channel, and a milling motor having a milling cutter. A radiating machine tool also includes a carriage receiving structure. A radiating machine is in communication with one or more controllers that receives a feeding speed associated with feeding a coaxial cable into the cable receiving channel, receives a pattern, determines a speed of rotation of the carriage by analyzing the feeding speed and the pattern, causes the carriage to rotate about the axis at the determined speed, and causes the milling cutter to perform one or more cutting actions to create one or more slots forming at least a portion of the pattern in an outer conductor of the coaxial cable.

Abstract: A digital video broadcast satellite (DVB-S) television antenna horn assembly, reflector antenna, and a satellite communication system in which the antenna horn includes a suspended dielectric tuning vane that reduces the horn size, modifies the shape the reception pattern, and improves the antenna performance in a number of ways. The antenna horn and the dielectric tuning vane are configured to impart a combined differential phase shift protocol, such as CP polarization, on a circular polarity (CP) signal as the CP signal propagates through the horn from a reception aperture to an output aperture. The dielectric tuning vane may be built into the antenna horn, snap into the antenna horn, be built into a protective plastic lens cover that fits over horn opening, or designed to snap into the plastic lens cover. Various dielectric tuning vanes are suitable for single horn structures and multi-horn structures built into LNB amplifiers.

Abstract: A digital video broadcast satellite (DVB-S) television antenna horn assembly, reflector antenna, and a satellite communication system in which the antenna horn includes a suspended dielectric tuning vane that reduces the horn size, modifies the shape the reception pattern, and improves the antenna performance in a number of ways. The antenna horn and the dielectric tuning vane are configured to impart a combined differential phase shift protocol, such as CP polarization, on a circular polarity (CP) signal as the CP signal propagates through the horn from a reception aperture to an output aperture. The dielectric tuning vane may be built into the antenna horn, snap into the antenna horn, be built into a protective plastic lens cover that fits over horn opening, or designed to snap into the plastic lens cover. Various dielectric tuning vanes are suitable for single horn structures and multi-horn structures built into LNB amplifiers.

Abstract: Methods and related apparatus pertaining to downhole and surface telemetry, such as a method in which a telemetry system is provided with a communication path formed with an electrically conductive transport medium coupled across a plurality of downhole nodes. Such method includes operating on the communication path with a multi-drop system that provides telemetry to the downhole nodes in a wellbore, including employing modulation in a master-slave arrangement using binary differential phase shift keying or differential quadrature phase shift keying.

Abstract: A system for forming a radiating cable includes radiating machine tool having a cable receiving channel and a carriage. The carriage includes an aperture configured to align with the cable receiving channel, and a milling motor having a milling cutter. A radiating machine tool also includes a carriage receiving structure. A radiating machine is in communication with one or more controllers that receives a feeding speed associated with feeding a coaxial cable into the cable receiving channel, receives a pattern, determines a speed of rotation of the carriage by analyzing the feeding speed and the pattern, causes the carriage to rotate about the axis at the determined speed, and causes the milling cutter to perform one or more cutting actions to create one or more slots forming at least a portion of the pattern in an outer conductor of the coaxial cable.

Abstract: Systems, methods, and apparatus for dual port ring compatible satellites are disclosed. In one or more embodiments, a method for removably attaching at least one spacecraft to a payload attach ring on a launch vehicle involves attaching a strongback of each of the spacecrafts to two respective payload ports of the payload attach ring on the launch vehicle. In one or more embodiments, the strongback of each of the spacecrafts is attached to each of the two respective payload ports via a respective beam mounted to a respective port adaptor plate. The method further involves separating the strongback of each of the spacecrafts from the two respective payload ports of the payload attach ring on the launch vehicle by using at least one mechanical actuator on each of the beams.

Abstract: A water bottle cap system combination that can be used with wide mouth water bottles or mason jars. The water bottle cap system includes a large cap portion and a small cap portion, which are coupled by a flexible strap. The small cap portion can be screwed onto the spout of the large cap portion, which is screwed onto the water bottle or mason jar. The small cap portion can be unscrewed from the spout and temporarily attached to the strap so that the small cap portion is out of the way of the spout, but still attached to the water bottle cap system, during drinking or pouring from the water bottle.

Abstract: The invention provides a pilot light ignition system comprising a solenoid valve and a flame safeguard controller. Also provided is a pilot light ignition process comprising a normally open solenoid valve that shuts down a main burner gas supply while the pilot is being lit. A fail last position solenoid can also be utilized with the system.

Abstract: A water bottle cap system combination that can be used with wide mouth water bottles or mason jars. The water bottle cap system includes a large cap portion and a small cap portion, which are coupled by a flexible strap. The small cap portion can be screwed onto the spout of the large cap portion, which is screwed onto the water bottle or mason jar. The small cap portion can be unscrewed from the spout and temporarily attached to the strap so that the small cap portion is out of the way of the spout, but still attached to the water bottle cap system, during drinking or pouring from the water bottle.

Abstract: Systems, methods, and apparatus for dual port ring compatible satellites are disclosed. In one or more embodiments, a method for removably attaching at least one spacecraft to a payload attach ring on a launch vehicle involves attaching a strongback of each of the spacecrafts to two respective payload ports of the payload attach ring on the launch vehicle. In one or more embodiments, the strongback of each of the spacecrafts is attached to each of the two respective payload ports via a respective beam mounted to a respective port adaptor plate. The method further involves separating the strongback of each of the spacecrafts from the two respective payload ports of the payload attach ring on the launch vehicle by using at least one mechanical actuator on each of the beams.